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

در این پایان نامه خواص مولدها و مولدهای تصویری دوری را در رسته ی s-سیستم های مرتب جزئی مورد مطالعه قرار می دهیم که در آن s یک تکواره مرتب جزئی است. نشان می دهیم برای هر a در رسته ی pos نگاشت pos(-,a) با عملی که روی آن تعریف می کنیم یک تابعگون مرتب جزئی با این ویژگی است که هر شیء از pos(s) پس از قرار گرفتن در آن می تواند به یک شیء در رسته ی (t)pos و بالعکس تبدیل شود. این ویژگی تحت شرایطی به ارتب...

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

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

پیشگفتار: همانطور که در چکیده ذکر شد تصویری بودن و تعمیم هایی از آن همچون همواری، همواری قوی و همواری ضعیف سیستم ها روی تکواره ها توسط دانشمندان زیادی مورد بررسی قرار گرفته اند. تعمیم های دیگری از تصویری بودن از قبیل: به طور ضعیف تصویری و (b , b)- تصویری توسط کلیپ ، کناور و لان کمتر مورد مطالعه قرار گرفته اند. در این پایان نامه تعمیمی از تصویری بودن را که شبه- تصویری نامیده می شود را مورد برر...

دراین پایان نامه، تکواره هایی را که هر s-کنش راست دارای یک پوشش یکدستد قوی (شرط(p))است، دسنه بندی می کنیم. مشابه تکواره های کامل، چنین تکواره هایی توسط شرط(a)دسته بندی شده اندودارای پوشش یکدست قوی (شرط (p))برای هر s-کنش راست دوری هستند. همچنین یک دسته بندی جدید برای تکواره های کامل،تکواره هایی که هر s-کنش راست دارای یک پوشش تصویری است، ارائه می دهیم. مطالعه ی اولیه روی تکواره های کامل توسط isbe...

ما یک نیاز جدید و شرط کافی برای سیستم های دوری که یک پوشش پروژکتیو می دهند را ارائه میدهیم.ما یک برهان جدید از کلاسهای ایزوبل ونتیجه درباره ی پوشش های پروژکتیوی ارائه می دهیم وما نشان می دهیم شرط p پوشش ها یکتا نیست.