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

فرض کنیم r یک حلقه باشد. یکی از رسته های مثلثی نظیر شده به آن، رسته مشتق شده کراندار میباشد. دو حلقه a و b را هم ارز مشتقی مینامیم هرگاه رسته های مشتق شده کراندار آنها به عنوان رسته های مثلثی با هم، هم ارز باشند. یکی از مسایل مهم در نظریه نمایش پیدا کردن و دسته بندی جبرهایی است که با هم، هم ارز مشتقی هستند. هاپل در سال 1986 در قضیه خود ثابت کرد که اگر a یک جبر آرتینی با بعد متناهی روی میدان بو...

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

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

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

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

در این رساله n-امین مدول کوهمولوژی موضعی ازr-مدول m در یک زیرکاتگوری سر از کاتگوری r-مدولها از پایین (in)مطالعه می شوند. در حالت کلی عمق و رشته های منظم تعریف می شوند. رابطه آنها با کوهمولوژی موضعی نشان می دهد که مطالعه مدولهای کوهمولوژی موضعی یک r-مدول متناهی مولد از بالا در یک زیرکاتگوری سر از کاتگوری r-مدولها فقط به تکیه گاه مدول بستگی دارد.

دوزیرکاتگوری مدول های آرتینی رابررسی می کنیم که عبارتنداز:زیرکاتگوری سروزیرکاتگوری عریض.ثابت می کنیم که همه ی زیرکاتگوری مدول های آرتینی زیرکاتگوری سر هستند.همچنین یک تناظردوسویی رابین مجموعه زیرکاتگوری سر و مجموعه ویژه سازی زیرمجموعه بسته مجموعه ایده آل های اول بسته ی برخی از حلقه های کامل را ایجاد می کنیم. این نتایج مشابه قضیه های آرتینی که در [13]ثابت شده است.

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

کوپربرگ این سوال را مطرح کرد که آیا منحنی سینوسی توپولوژیدان ها شبه انقباض پذیر است؟ در سال 1992 کاتسورآ شبه انقباض ناپذیری منحنی سینوسی توپولوژیدان ها را نسبت به خود فضا اثبات کرد و در سال1994 ، دبسکی شبه انقباض ناپذیری منحنی سینوسی توپولوژیدان ها را اثبات کرد و به این سوال باز جواب داد. در سال 2007 ریپووز، ادا و کریموف بر پایه منحنی سینوسی یک ساختار تابعگونی از فضاهای شبه مخروطی ارائه دادن...