فرض کنید k‎ میدان و ‎s=k[x_1,...,x_n]‎ حلقه ی چندجمله ای مدرج استاندارد با ایده ال مدرج ماکسیمال ‎m=(x_1,...,x_n)‎ باشد و ‎m‎و‎n‎،‎ s-‎مدولهای مدرج و متناهی مولد باشند. ما با شرط اینکه بُعد کرول مدول همولوژی ‎tor_1^s(m,n)‎ کمتر یا مساوی یک باشد کرانی برای عدد نظم کوهمولوژی موضعی ‎tor_k^s(m,n)‎ بر حسب اعداد بتی مدرج مدولهای ‎m‎ و ‎n‎ می یابیم و نتایج به دست آمده را برای سیزیجی‎ ها،‎ حاصل ضربها و توانهای اید ه ال ها بکار می بریم. به عنوان نمونه نشان می دهیم هر ایده ال همگن ‎m-‎اولیه که نمایش خطی دارد توانی برابر با توانی از ‎m‎ دارد.

در این پایان نامه به بررسی این سوال می پردازیم که‏، اگر r حلقه ای نوتری‏، i ‎ ایده آلی از آن و m ‎ یک‎r -مدول متناهی مولد باشد‏، آیا تکیه گاه h_i^i (m)‎ با توپولوژی زاریسکی بسته است؟ در چند مورد به این سوال پاسخ مثبت می دهیم‎‎‎‎‏؛‎‎ بویژه ثابت می کنیم اگر بعد کوهمولوژیکی ایده آل i حداکثر دو باشد‏، ‎ و ‎یا‎ حلقه مورد نظر موضعی با بعد حداکثر چهار باشد آنگاه به ازای هر i?0 تکیه گاه h_i^i (r)‎‎‎ بسته است.

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

فرض کنید ‎$s‎‎$‎ یک جبر مدرج استاندارد‎‎‎‎ نوتری روی حلقه جابه جایی ‎$‎‎‎r‎$‎ و ‎$m$‎ یک ‎$s$-‎مدول مدرج متناهی مولد باشد. هدف اصلی ما در این تحقیق‏، به دست آوردن یک اثبات ساده با تکنیکی جدید از نتیجه به طور مجانبی یکنواخت برادمن در cite{‎brodman-‎sta}‎ برای مولفه های مدرج کوهمولوژی موضعی روی حلقه های نوتری با بُعد حداکثر ‎?‎ است. این اثبات نتایج قبلی را نیز تعمیم می دهد. همچنین‏، در این تحقیق نتایجی برای پایداری عمق و بُعد کوهمولوژیکی ‎$‎‎‎m_‎mu‎$‎‎ نسبت به یک ایده آل متناهی مولد از ‎$‎‎‎r‎$‎ به دست می آوریم.‎‎ تعمیم قضایای کلاسیک عدد نظم کاستلنیوو-مامفورد مدول ‎$‎‎‎m‎$‎ از دیگر اهداف این تحقیق است.

در این پایان نامه یک نگاه ‎‎کلی به تجزیه های استنلی و رابطه آن ها با عمق یک مدول داریم. همچنین‏ حدس استنلی که به این رابطه اشاره می کند را مورد بررسی قرار می دهیم. فرض کنید ‎‎‎‎‎j‎subseteq ‎i‎‎‎ ایده آل های تک جمله ای باشند. نشان می دهیم عمق استنلی ‎‎‎i/j‎‎ با تعداد متناهی مرحله محاسبه می شود. همچنین‏ عمق صافی یک ایده آل تک جمله ای را معرفی می کنیم که به وسیله صافی اول تعریف می شود و نشان می دهیم عمق صافی یک ایده آل نیز با تعداد متناهی مرحله محاسبه می شود. در هر دو مورد نشان داده می شود که این متغیرها به وسیله در نظر گرفتن افرازهایی مناسب و متناهی روی مجموعه های جزئا مرتب‎‎‎‎‎‎‎‎ از بازه ها مشخص می شوند.‎

فرض کنید ‎‎‎ ‎r=‎k‎[x‎_{1}‎,...,x‎_{n}‎]‎$‎‎‎‎یک‎ حلقه ی چندجمله ای روی میدان ‎‎k‎‎ باشد. همچنین فرض کنید ‎c‎‎‎ یک پادزنجیر و ‎‎‎i(‎c‎)‎‎‎ ایده آل یالی متناظر با آن باشد. هدف ما در این پایان نامه مطالعه ی خواص جبری ‎‎‎‎r‎i(c‎)‎‎‎‎ و ‎خواص‎ ترکیبیاتی ‎‎‎‎c‎‎‎‎ می باشد. با ارائه ی معیاری مناسب‏، کرانی برای عدد نظم ‎‎‎‎r‎i(‎c‎)‎‎‎‎ می یابیم و با به کار بردن این معیار اثبات های جدیدی برای برخی فرمول های عدد نظم به دست می آوریم. به عنوان مثال اگر ‎‎‎‎ri(‎c‎)‎‎ کوهن-مکالی دنباله ای باشد‏، یک فرمول برای عدد نظم ایده آل پوشش راسی ‎‎c‎‎‎ و ‎همچنین‎ یک فرمول برای بعد تصویری ‎‎r‎i(c)‎‎‎‎‎ ارائه می دهیم.

فرض کنیم i یک ایده آل حلقه نوتری r باشد. منظور ما از ass(i) مجموعه ایده آل های اول وابسته r/i می باشد. برادمن قبلا نشان داده است که ass(ik)=ass(ik+1) برای k های بقدر کافی بزرگ، کوچکترین عدد k0 که در تساوی فوق صدق کند را اندیس پایداری و ass(ik0 ) را مجموعه پایایی ایده آل های اول وابسته i نامیم و با ass?(i) نشان می دهیم. از قضیه برادمن سوالات زیر بطور طبیعی مطرح می شود; 1-آیا کران بالایی برای اندیس پایداری فقط وابسته به r وجود دارد؟ 2-اگر r یک حلقه چند جمله ای و i یک ایده آل مدرج r باشد ، آیا ass?(i) قابل محاسبه است؟ 3-آیا عبارت زیر صحیح است؟ ass(i) ? ass(i2) ? …? ass(ik) ? … تمام سوالات فوق حتی برای ایده آل های تک جمله ای در یک حلقه چند جمله ای باز است. فرض کنیم ایده ال i در سوال سوم صدق کند، گوییم i در خاصیت پیوسته صدق می کند. هدف ما در این پایان نامه مطالعه مجموعه پایداری ایده آل های اول وابسته ایده ال های ماتریس وار چندگانه می باشد. نشان می دهیم ،ایده آل های ماتریس وار چندگانه دارای خاصیت پیوسته می باشند. اندیس پایداری و مجموعه پایداری ایده آل های اول وابسته مربوط به ایده آل های چندگانه عرضی و ایده آل های چندگانه از نوع ورونس را بطور واضح مشخص خواهیم کرد.

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

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

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

فرض کنید r حلقه ای جابجایی نوتری موضعی وl وl^? ، -rمدول باشند.هدف این پایان¬نامه تحقیق در مورد ویژگی¬های تابعگون¬های tor_i^r (l,-) و ext_r^i (l,-) است، به عنوان مثال ما نتایج زیر را نشان می¬دهیم: اگر l و l^? آرتینی باشند، tor_i^r (l,l^?) آرتینی و ext_r^i (l,l^?) روی r ? نوتری است. اگر l آرتینی و l^? ماتلیس انعکاسی باشد، ext_r^i (l,l^?) ، ext_r^i (l^?,l) و tor_i^r (l,l^?) ماتلیس انعکاسی هستند.

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

در این پایان نامه به بررسی اید ه آل های تک جمله ای خالی از مربعی می پردازیم که تابع عمق ثابت دارند. اید ه آل های یالی، اید ه آل های ماتریس وار و اید ه آل های رویه ای یک جنگل سادکی همبند از هم بعد یک، در این رده از اید ه آل ها قرار می گیرند.