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

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

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

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

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

‏اگر در تعریف حلقه حداقل یکی از عمل ها را به عنوان ابرعمل در نظر بگیریم‏، تعریف های متفاوتی برای ابرحلقه حاصل می شود.‎‎ یک تعریف آشنا از یک ابرحلقه‏، ابرحلقه ی کراسنر است cite{krasner} که با در‎~‎نظر گرفتن جمع به عنوان یک ابرعمل به دست می آید به طوری که ‎$ ‎(r,+) $‎ ‏‎ ‎یک‎ ابرگروه کانونی است. یک مطالعه ی کلی از نظریه ی ابرحلقه ها در مرجع cite{davvaz2}‏ انجام گرفته است. حلقه ی ترکیبی به عنوان...

فرض کنیم r حلقه ای منظم و m و a نیز دو r مدول باشند. نگاشت f از a به m را منظم گوییم هرگاه g از m به a موجود باشد که fgf= f. به یک زیر مخموعه از hom (a, m منظم گوییم هرگاه هر عضو از آن منظم باشد. در این پایان نامه به بررسی خواص بزرگ ترین زیر مدول منظم ازhom(a, m که آن را با reg(a, m)نشان می دهیم می پردازیم. انا بیشتر بحث اصلی را روی reg(a, a) که در آن a یک گروه آبلی است متمرکز کرده و خواص آن را...

در این پایاننامه wرا یک کلاس از r-مدولهای چپ خود متعامد در نظر می گیریم و مدولهای جدیدی را با عنوان مدولهای w-گرنشتاین معرفی ومورد مطالعه قرار میدهیم که توسیع مشترکی از مدولهای تصویری(انژکتیو) گرنشتاین و مدولهای v-گرنشتاین می باشند. به طور اخص به مدولهای wp-گرنشتاین و wi -گرنشتاین توجه می کنیم: wp =}c ?r p | -مدول تصویری است r یک p{ wi = {homs (c, e) | - مدول انژکتیو استs یک e} که در آنs ...

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

تعریف: فضای توپولوژی x، یک فضای k تفکیک پذیر نامیده می شود، اگر به ازای هر دو نقطه متمایز a و b از آن، بتوانیم یک تابع c(x,k) f بیابیم که f(a)=1 و f(b)=0. تعریف: فضای توپولوژی x با خاصیت t1 را، k- منظم می نامیم هرگاه به ازای هر x a و هر زیر مجموعه بسته که بتوانیم یک تابع c(x,k) f بیابیم که f(a)=1 و f(x)=0 و b در x . ابتدا توجه می کنیم که فضاهای k- منظم غیر یکسان ریخت x و y موجودند که (x,k)c و...