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

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

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

چکیده: در این پایان نامه، ابتدا بعد یک زیررسته از یک رسته ی آبلی با کافی پروژکتیو را بیان می کنیم. سپس با در نظر گرفتن حلقه ی کوهن مکالی موضعی (r,m) به مطالعه ی دقیق پوچ ساز و محمل torو ext بر روی زیررسته های دلخواه mod(r) و معرفی مکان غیرآزاد حلقه ی r می پردازیم . با مطالعه این مطالب روشن خواهد شد که ارتباط نزدیکی بین بعد متناهی زیررسته ی همه ی r مدول های ماکسیمال کوهن مکالی که به طور موضع...

فرض کنیمm یک r-مدول و a یک ایدآل از حلقه r باشد. کلاس s از r-مدول ها، زیر رسته سر از رسته r-مدول هاست در صورتیکه تحت تحت زیر مدولها، مدولهای خارج قسمتی و توسیع مدولها بسته باشد.عضویت مدول های کوهمولوزی موضعی، در زیر رسته سر از رستهr-مدول ها به ازای in بررسی شده است.دنباله های s-منظم و تعمیم یافتگی عمق تعریف شده است و رابطه این نماد با کوهمولوژی موضعی بیان شده است.از طرفی اگر m یک r-مدو...

فرض کنید r- جبر آرتینی ? چنان باشد که، برای هر ?- مدول x، اگر تابعگون ?ext?_?^i (x,-)، برای هر i>0 روی همه ی ?- مدول های تزریقی گرنشتاین صفر شود، آن گاه تابعگون ?ext?_?^i (-,x) برای هر i>0 روی همه ی ?- مدول های تصویری گرنشتاین صفر شود و برعکس. دراین صورت ? را جبر گرنشتاین مجازی نامیم. فرض کنید ? جبر آرتین و ?mod?_? رسته ی ?- مدول های راست با تولید متناهی باشد. دراین صورت زیررسته ی x از ?mod?_?...

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

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

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

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