در این پایان نامه با معرفی سیستم های رمزنگاری و یکی از انواع مهم آن به نام رمزهای جریان به سراغ توابع بولی رفته و با تعریف تابع بولی و مفاهیم مرتبط با آن از جمله درجه ی جبری، غیر خطی بودن، صفرکنندگی و امنیت جبری و...آشنا می شویم. سپس حملات جبری به سیستم های رمزنگاری را شرح خواهیم داد و ارتباط امنیت جبری با مقاومت یک سیستم رمزنگاری در مقابل حملات جبری را بیان خواهیم کرد. در ادامه قضایایی خواهیم ...

در این پایان نامه رده ای خاص از حلقه ها با عنوان حلقه های به طور ضعیف منظم را بررسی می کنیم و به یک طبقه بندی از نتایج در مورد ساختار این حلقه ها و ایدال های آن ها دست می یابیم. رامامورتی برای حلقه های آرتینی چپ ثابت کرد که به طور ضعیف منظم بودن معادل با منظم بودن و دومنظم بودن است. مشاهده می کنیم که این نتیجه یک شرط تعمیم یافته است. در واقع نتیجه گیری می کنیم که برای حلقه ی r که در شرط acc روی...

این پایان¬نامه بر اساس منبع [1]نوشته شده است. در این پایان¬نامه دنباله دقیق نیم مدول ها روی نیم حلقه ها مورد بررسی قرار می گیرند. چند نتیجه کاربردی برای مطالعه لم های همولوژیکی بدست می آیند [2]. همچنین لم پنج و لم مار مورد بررسی قرار می گیرند که در جدیدی برای مطالعه همولوژیکی اشیا در این رسته را می گشاید [3].

منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت ...

در سرتاسر این پایان نامه، تمامی حلقه ها، تعویض پذیر، یکدار و کاهش یافته هستند. پس از مقدمات، به معرفی انواع مهمی از توسیع های حلقه ها، از جمله توسیع های صلب و -rتوسیع ها خواهیم پرداخت. برای حلقه r، توسیعی به نام حلقه کامل کسرها که آن را با نماد q(r) نشان می دهیم و دو زیرحلقه مهم از آن به نام های پوش اپی مورفیک و پوش بئر، معرفی شده و مورد مطالعه قرار خواهند گرفت. پوش اپی مورفیک r را با نماد ( ...

فرض کنیم r حلقه ای نوتری باشد. ثابت می شود هر r - مدول متناهی از بعد کرول متناهی با همبافتهای کوهمولوژی کوزین متناهی دارای پوچسازهای یکنواخت کوهمولوژی موضعی است . اگر r موضعی با فرمال فایبرهای کوهن - مکوئلی باشد آنگاه عکس مطلب بالا برای مدولهای متناهی مولد صادق در شرط ( s2 )برقرار است .

در این پایان نامه ابتدا حلقه ها تبادلی و خاصیت برد پایدار یک را معرفی می کنیم. سپس حلقه های تبادلی با برد پایدار یک را دسته بندی می نماییم. علاوه بر این ثابت می کنیم حلقه تبادلی r برد پایدار یک دارد اگر و تنها اگر برای هر عضو منظمa از حلقه r خودتوان e و یکه u از حلقه r موجود باشد به طوری کهa=e+u واشتراک ar و er صفر می باشد. همچنین نشان می دهیم حلقه تبادلی r برد پایدار یک دارد اگر و تنها اگر برا...

دراین پایانه به تعریف مجموعه غالبی تام ،عددغالبی تام و عدد پوچساز پرداخته و در نهایت رابطه بین آنها مورد بررسی قرار می گیرد. و در نهایت به بررسی این رابطه γt (t)≤a(t)+1 روی درخت های پرداخته می شود و اثبات این حدث را روی درخت ها ارادئه می دهیم .

برای یک حلقه¬¬¬ی جابه¬جایی و یکدار r، گراف شمارنده¬ی صقر نسبت به ایده¬آل i، که با γ_i (r) نشان داده می شود، گرافی است که مجموعه¬ی رئوس این گراف {xϵ ri | xy ϵ i,y ϵ ri ازای به } می¬باشد و دو رأس مجزای xو y از این گراف مجاورند، اگر و تنها اگر xy ϵ i. این پایان نامه بر اساس مقاله¬ی [5] نوشته شده است. در این پایان نامه گراف γ_(ann(m)) (r) را مورد مطالعه قرار می¬دهیم که ann(m) مجموعه اعضای پوچساز...

مجموعه های احاطه ‏‏گر موضوعی کاربردی و گسترده در نظریه ی گراف می باشد که به صورت های گوناگونی تعمیم یافته و مورد مطالعه قرار گرفته است. زیرمجموعه ی ‎$s$‎ از ‎$‎v(‎g)$‎ را یک مجموعه‎‏ ی احاطه ‏گر گویند هرگاه ‎$n[s]=v(g)$‎. کمترین اندازه ممکن برای یک مجموعه ی احاطه گر را عدد احاطه ای گویند و با ‎$gamma(g)$‎ ‎‏نمایش می دهند. تابع ‎$f:v(g) ightarrow {0,1‎, ‎2}$‎ را یک تابع احاطه گر رومی روی...