فرض کنیم r یک حلقه جابجایی و یکدار باشد. خانواده f از ایده آل های r را خانواده oka می نامیم هرگاه برای هر ایده آل i و هرعضو a از r، از اینکه (i,a) و (i:a) متعلق به f باشند نتیجه شود i نیز متعلق به f است. همچنین خانواده f از ایده آل های r را خانواده ako می نامیم هرگاه برای هر ایده آل i واعضای a,b از r، از اینکه (i,a) و (i,b) متعلق به f باشند نتیجه شود (i,ab) نیز متعلق به f است. اصل ایده آل اول بیان می کند که اگر f یک خانواده oka یا ako باشد، آنگاه ماکسیمال مکمل f یک ایده آل اول است. مثالهای متنوعی از خانواده های oka یا ako آورده شده است که استفاده از اصل ایده آل اول در مورد آنها منجر به نتایجی شناخته شده و یا شناخته نشده در جبر جابجایی می شود. به عنوان مثال می توان نتیجه گرفت حلقه r نوتری (حوزه ددکیند یا حلقه ایده آل اصلی)است هرگاه هر ایده آل اول غیرصفر با تولید متناهی (به ترتیب: معکوس پذیر یا اصلی) باشد. خانواده های oka با زیررسته هایی از رسته مدولهای دوری که تحت توسیع بسته هستند، متناظر می شوند. با استفاده از این تناظر می توان نمونه های دیگری از خانواده های oka را مورد بررسی قرار داد.

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

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

فرض کنید r یک حلقه جابجایی و یکدار و e یک r-مدول یکانی باشد. در این پایان نامه که در مورد توسیع می نیمال حلقه ها بحث شده است نشان می دهیم: همریختی حلقه ای یک به یک کانونی از r به r(+)e یک همریختی می نیمال حلقه است اگر و تنها اگر e یک r-مدول ساده باشد. برای e ناصفر، r(+)e در حد r-جبر یک روحلقه از r نیست. اگر e_1 و e_2 مدول های ساده غیر یکریختی باشند، آنگاه r(+)e_1 و r(+)e_2 توسیع های می نیمال حلقه روی r اند که در حد r-جبر با هم یکریخت نیستند. حلقه اعداد دوگان روی r توسیع می نیمال تاست اگر و تنها اگر r*r یک توسیع می نیمال حلقه روی r باشد اگر و تنها اگر r یک میدان باشد و از همه مهمتر اینکه هر حلقه جابجایی یک توسیع می نیمال حلقه دارد. همچنین نشان می دهیم برای هر حوزه صحیح r توسیع می نیمال حلقه s از r در سه دسته طبقه بندی شده است: 1) حوزه صحیح s که شامل r بوده و توسیع می نیمال حلقه r است. 2) حلقه ایده آلی r(+)r/m که m یک ایده آل ماکسیمال r است. 3) حلقه r*r/m که m یک ایده آل ماکسیمال r است.

در این پایان نامه کرانی برای درجه همولوژیکی بر اساس نظم کاستلنو مامفورد معرفی میشود.برای رسیدن به آن نظم کاستلنو مامفورد مدول بیان میشودهمچنین تخمین هایی برای این نظم ارایه میشود.کرانی برای نظم مدول های ext تهیه شده و از روی آن مولفه های مدرج مدول هایextوضرایب هیلبرت آن هابیان میشود

در این پایان نامه، به بررسی نظم کاستلنو-مامفورد جزیی برای یک همبافت از ‎‎ -‎r مدول های مدرج و همولوژی مدول های مثبت می پردازیم و در ادامه سعی می کنیم رفتار نظم کاستلنو-مامفورد را تحت ضرب تانسوری مدول ها بررسی کنیم. بخصوص نشان می دهیم، که به ازای ‎ -‎r ‎مدول های مدرج متناهی مولد ‎m و n ‎ ، reg (m ? n)<reg (m)+reg(n مشروط بر این که ‎ ‎‎ dim tor_{1}^{r}(m,k)< 1 ‎ ‎ و در پایان، نظم بر حسب اعداد قیاسی برخی مقاطع ابرصفحه ای را به دست می آوریم.

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

فرض کنید δ یک مجتمع سادکی با بعد 1-d و بردار آن باشد. ثابت میکنیم که اگر δ در شرط سر (sr) صدق کند، آنگاه به ازای هر i و r با شرط مجموع نامنفی است. بعلاوه نشان می دهیم که اگر حلقه استنلی-رایزنر مجتمع سادکی مجموعه های مستقل یک گراف دو بخشی g در شرط سر (s2) صدق کند آنگاه g کوهن-مکالی است. این نشان می دهد که هم ارزی خاصیت کوهن- مکالی و شرط s2 برای گراف های چوردال درست است.

فرض کنید a,b حلقه های جابجایی یکدار،j ایده آل b و f یک همریختی حلقه ای باشد. زیر حلقه ای از حاصلضرب دکارتی aو b را در نظر بگیریدکه متشکل از تمام زوج های مرتب (a,f(a)+j) به ازای a عضو a و j عضو j باشد. این ساختار ادغام a با b در طول j نسبت به f نامیده می شود و توسط دوآنا، فونتانا و فینوکیارو معرفی شده است.این سه نفر نشان داده اند که با فرض کوهن-مکالی بودن a و متناهی مولد بودن j و مشمول بودن j در رادیکال جیکبسون b، حلقه ادغامی کوهن-مکالی است اگر و تنها اگر به عنوان a-مدول کوهن-مکالی باشداگر وتنها اگر j یک a-مدول کوهن-مکالی ماکسیمال باشد.همچنین آنها ذکر کرده اند که اگر j بعنوان a-مدول متناهی مولد نباشدیافتن شرایطی که کوهن-مکالی بودن حلقه ادغامی را نتیجه دهد خیلی دشوار است.در این رساله ما شرایطی را یافته ایم که کوهن-مکالی بودن حلقه ادغامی را نتیجه می دهد.

فرض کنیم d یک دامنه ی صحیح با میدان کسرهای k باشد. در این پایان نامه روحلقه های ارزیابی d را مورد مطالعه قرار می دهیم.

دراین پایان نامه نظریه استنلی-رایزنر بررسی می شود.