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

فرض کنیم x))b_n به معنای چند جمله ای برنولی باشد، همچنین فرض کنیم p یک عدد اول فرد و b یک عدد صحیح مثبت و زوج باشد، به طوری که .b?0 (mod p-1) در سال 1850 کومر برای k=0,1,2,… ثابت کرد که b_(k(p-1)+b)/(k(p-1)+b)?b_b/b (mod p). این همنهشتی ها به همنهشتی های کومر برای اعداد برنولی معروف می باشند. در سال 2000 ژی هون سان تعمیم همنهشتی های کومر را به اثبت رسانید. او ثابت کرد که b_(k(p-1)+b)/(k(p-1)...

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

فرض کنیم k یک حلقه جابه جایی و آرتینی و ? یک k-جبر با تولید متناهی باشد. در این صورت ? را یک جبر آرتینی گوییم. رسته همه ?–مدول ها را با mod? ورسته همه ?-مدول های با تولید متناهی را با mod? نشان می دهیم. ?-مدول m را یک مولد برای mod? می نامیم اگر برای هر مدول ناصفر x، همریختی ناصفر از m به x موجود باشد. ?-مدول m را یک هم مولد گوییم هرگاه برای هر مدول ناصفر x،همریختی ناصفر از x بهm موجود باشد. ...