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

: در این پایان نامه تعداد مرکزسازهای یک گروه متناهی را بررسی می کنیم. فرض کنیم g یک گروه باشد، مجموعه ی مرکزسازهای g را با cent(g) نشان می دهیم. بررسی ارتباط ساختار گروه و |cent(g)| موضوع جالبی است. یک گروه g، n-مرکزساز نامیده می شود اگر |cent(g)|=n. هم چنین یک گروه را n-مرکزساز اولیه می گوییم اگر |cent(g) |=|cent(g/z(g) ) |=n، که در آن z(g) مرکز g است. در این پایان نامه گروه های 4-مرکزساز تا 8...

نشان می دهیم که اگر g یک گروه توانا و زیرگروه مشتق آن دوری باشد آنگاه اندیس مرکز توسط تابعی از مرتبه زیرگروه مشتق کران دار است. همچنین کران های دیگری نیز به همراه شرایطی دیگر بیان می شود. در جایی دیگر نشان می دهیم که q8 نمی تواند زیرگروه نرمال یک گروه توانا باشد و از آن نتیجه می گیریم که گروه کواترنیون های تعمیم یافته و گروه نیم دووجهی نمی توانند توانا باشند.

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

فرض کنیم g یک گروه متناهی باشد. ما از نمادهای استاندارد z(g) وg))? برای مرکز و زیر گروه فراتینی g و از نماد های f(g) برای زیر گروه فیتینگ g و u(g) برای زیر گروه پوچتوان مانده g استفاده می کنیم. در این پایان نامه به بررسی اندازه ی زیر گروه جا به جا گر g می پردازیم. به عنوان مثال نشان می دهیم، اگر g یک گروه غیر آبلی متناهی باشد به طوری که1 =(g)?، آن گاه g?>[g:z(g)]½ ?. هم چنین نشان می دهیم، اگر g...

در این پایان نامه گروه های n- جایگشت پذیر(? گروه ها-p?_n)، گروه های n- بازنویسی پذیر(? گروه ها-q?_n) و همچنین گروه جبرهایی که در همانی چند جمله ای از درجه ی nصدق می کنند(? گروه ها-pi?_n ) را معرفی می کنیم و نشان می دهیم اگر g، یک ? گروه -q?_n باشد آنگاه g دارای یک زیرگروه مشخصه ی n است، به طوری که |g:n| و |n^ | هردو متناهی و توسط تابعی از n کراندار می باشند. این درواقع تعمیم قضیه بلایث می باشد ...