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

رساله را با نگاهی اجمالی به تعاریف و مفاهیم مقدماتی نظریه کوهمولوژی موضعی و تعمیم های آن، و نظریه پوشش یکدست مدولها شروع می کنیم. در فصل دوم برای یک دستگاه ایده آلی از حلقه ‏‎r‎‏، مدول با تولید متناهی ‏‎m‎‏ و عدد طبیعی ‏‎‏‎n‎‏ ثابت می کنیم که ‏‎f (m)>n‎‏ اگر و تنها اگر به ازای هر ایده آل اول ‏‎f (mp)>n,p spec(r)، که در آن ‏‎f (m)‎‏، بعد ‏‎‏‎‏‎a‎‏-متناهی ‏‎‏‎m‎‏ نسبت به است. اثبات این قضیه، که ب...

با استفاده از نتایج، مفاهیم و تکنیک های جبرجابجایی مانند ایده آل صفر یک مجموعه از نقاط، ‎ -‎a ‎پایا، چندجمله ای و سری هیلبرت، و همچنین تحلیل آزاد متناهی و مدول های متعارف، نتایجی در مورد کدهای رید-مولر، که روی یک مقطع کامل صفر بعدی در فضای تصویری تعریف شده اند، حاصل می شود. در ادامه، نتایج حاصل روی چند مثال اعمال می شوند.

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

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

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

در سال ‎1962‎، جبرئیل ‎ltrfootnote{gabriel}‎ در مرجع ‎cite{0}‎ ثابت کرد که یک ایزومورفیسم شبکه ی بین مجموعه? همه? زیرکاتگوری های ‎ extbf{‎‎ سر} از کاتگوری‎$r~$-مدول ‎های متناهی مولد و مجموعه? همه? زیرمجموعه هایی از ‎${ m spec}(r)$‎که تحت ویژگی سازی بسته هستند وجود دارد‎.‎ در این پایاننامه هدف ما بدست آوردن معیاری برای ‎ extbf{سر}‎ کاتگوری بودن ‎$(mathcal{s}_{1},mathcal{s}_{2})~$‎ است، که در آن...