ساختارهای جبری مرتب در بسیاری از شاخه های علوم نظیر آنالیز، منطق، فیزیک و علوم کامپیوتر نقش به سزایی را ایفا می کند. یکی از مفاهیم مهم در هر ساختار جبری مرتب، کمال است. هدف این پایان نامه، دسته بندی تکواره های مرتب s با استفاده از مفهوم کامل بودن، در رسته ی s- مجموعه های مرتب است. و در پایان کامل سازی s- مجموعه های مرتب که‏، قبلا در [14] برای‎ تکواره های مرتب بیان شده است، به روشی مشابهی‏، ارای...

در فصل اول، به بیان مفاهیم و تعاریف اولیه پرداخته و سپس نشان می دهیم که تکواره های معکوس پذیر، مطلقا هموار هستند. فصل بعدی را با معرفی رسته - سیستم های مرتب جزیی آغاز نموده و در ادامه ساختارهای کلی در رسته pos-sرا مورد بررسی فرار داده، سپس برخی خواص نظریه ای رسته ای را برای آن بیان می کنیم. در فصل سوم، ابتدا به معرفی تکواره های جزیی مرتب مطلقا هموار پرداخته، نشان می دهیم که نیم مشبکه مرتب s ...

تکواره های مرتب جزیی s را به صورت در نظر می گیریم که g یک گروه مرتب جزیی و i یک ایده ال مرتب جزیی s است و نشان می دهیم که اگر یک s- سیستم مرتب جزیی به عنوان یک - سیستم مرتب جزیی، هموار ضعیف اصلی، هموار (ضعیف)، هموار مرتب جزیی، هموار مرتب جزیی ضعیف (اصلی) و بی تاب (مرتب جزیی) باشد یا در شرط های ، ، ، ، ، یا صدق کند، آنگاه به عنوان یک s- سیستم نیز این خاصیـت ها را دارد . همچنین نشان می دهیم یــک ...

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

در سال 1971، با الهام از کار لازارد و گُورو برای مدول ها روی یک حلقه، استنستروم ثابت کرد که سیستم راست به طور قوی هموار است هرگاه تابعگون a تانسور (از رسته s-سیستم های چپ به رسته مجموعه ها) حافظ عقب برها و برابرکننده ها باشد. او همچنین نوعی از شرایط را (که تحت عنوان شرط (p) و (e) به آن اشاره خواهیم کرد) برای تشخیص همواری قوی فراهم کرد. بر خلاف حالت مدول های روی یک حلقه، همواری قوی اکیداً قوی تر ا...

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

در این پایان نامه s همواره یک مونوئید است. در صورتی که بیانگر معنای دیگری باشد، ذکر خواهد شد. همچنین قضایا و تعاریف را روی یک s- سیستم راست بررسی می کنیم، که می توان آنها را برای s– سیستم های چپ نیز تعمیم داد. ابتدا قضایا و تعاریف مقدماتی و مورد نیاز در فصل های بعد آورده می شود، سپس مونوئید یا نیمگروه هایی که همه s- سیستم های روی آنها انژکتیو ( انژکتیو ضعیف، انژکتیو ضعیف اصلی و انژکتیو ضعیف مت...

در این پایان نامه، انواع خاصیت های یکدست (یکدست، یکدست مرتب، شرط (p و ...) را در رسته ی pos-s، مورد مطالعه قرار می دهیم و تکواره های مرتب s را توسط s-مجموعه های مرتب دسته بندی می کنیم و در حالت های خاص، خاصیت های یکدست بودن برای s-مجموعه های مرتب دوری و خارج@قسمتی ریس راست، بررسی خواهد شد.هم چنین قضیه ی استنستروم-گوورف-لازارد، که برای s-مجموعه ها وجود دارد، را برای s-مجموعه های مرتب بیان خواهیم...

در فصل اول تعاریف و مفاهیم مقدماتی پایان نامه را آورده ایم. در فصل دوم ابتدا (a(i را تعریف و سپس نشان می دهیم که (a(i یک سیستم مرتب جزیی راست می باشد که در شرط (e) صدق می کند اما در شرط (p) صدق نمی کند. سپس به بررسی شرایطی روی تکواره مرتب جزیی s می پردازیم که تحت آن شرایط (a(i دارای خواص (p_w)، به طور ضعیف هموار مرتب جزیی، به طور اساسی ضعیف هموار مرتب جزیی، بدون تاب و بدون تاب مرتب جزیی باشد....

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