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

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

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

فرض کنید r حلقه ای شرکت پذیر و یکدار بوده، r-mod(mod-r) رسته r_مدول های چپ (راست) و mod_r (mod-r) رستهr_مدول های چپ (راست) با نمایش متناهی باشد. مدول اگر به طور دقیق مشخص نشده باشد، اشاره به r_مدول چپ خواهد داشت.ab رسته گروه های آبلی بوده و نماد? همیشه به معنی ?r خواهد بود. در این پایان نامه ما به مطالعه زیررسته های تعریف پذیر از r-mod می پردازیم. خواهیم دید که برای این هدف باید زیررسته های خاص...

به صورت کلی یک فضای ناجابجایی، فضایی نمادین است که توسط -c*جبرهای توابع پیوسته ی نمادین روی آن معرفی می شود. به عبارت دیگر رسته ی فضاهای ناجابجایی دوگان رسته ی- c* جبرها است. در این پایان نامه نظریه ی جبری کِی c*-جبرها و نظریه ی توپولوژیکی کِی c*- جبرها و فضاهای توپولوژیک بررسی می شوند.

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

دنباله های آسلاندر-ریتن که دنباله های تقریبال شکافته شده هم نامیده می شود توسط آسلاندر و ریتن در سال 1975-1974 معرفی شده است. در این پایان نامه وجود دنباله های آسلاندر-ریتن در رسته همریختی ها و زیررسته تکریختی ها و زیررسته بروریختی ها اثبات می کنیم و این دنباله ها را بین این رسته ها انتقال می دهیم.

در این پایان نامه که بر مبنای مقالات [hieronymi] و [miller] نوشته شده است، ابتدا به بررسی ویژگی های تعریف پذیر بسط های به طور تعریف پذیر کامل از ترتیب های خطی چگال فاقد نقاط ابتدایی و انتهایی پرداخته می شود. سپس نشان داده می شود که اگر چنین بسط هایی ساختار گروهی داشته باشند، آن گاه هر زیرگروه تعریف پذیر سره در آن ها چگال و متمم-چگال است، یا گسسته بوده و برای ساختار اصلی یک بخش صحیح می باشد. همچ...