گروه دوری
در جبر، گروه دوری گروهی است که توسط یک عضوش تولید میشود. به ازای هر عدد طبیعی n یک گروه دوری از مرتبهٔ n وجود دارد. هر دو گروه دوری متناهی هممرتبه، یکریخت هستند.
تعریف
ویرایشبه ازای گروه مفروض G و عضوی چون a از G اگر آنگاه a را مولدی برای G و <G = <a را دوری مینامیم.
مثالها
ویرایش- در گروه {Z۴ = {۰، ۱، ۲، ۳ داریم:
- یعنی <Z۴ = <۱> = <۳. بنابراین Z۴ دوری است و هر یک از ۱ و ۳ یک مولد آن هستند.
- گروه چهارتایی کلاین دوری نیست.
- گروه Z تحت جمع، گروهی دوری است. هر دو ۱ و ۱- مولدهای گروه هستند.
قضیهها
ویرایش- فرض کنیم G یک گروه و a عضو G باشد. در اینصورت
- زیر گروهی از G و کوچکترین زیرگروه G شامل a است. بدین معنی که هر زیرگروه شامل a شامل H هم هست. H را زیرگروه دوری G شامل a مینامیم.
- هر گروه دوری آبلی است.
- هر زیرگروه یک گروه دوری، خود دوری است.
- مجموعهٔ {n-۱ , … , ۱، ۰} با عمل جمع به هنگ n گروهی دوری است دارای n عضو که با Zn نمایش داده میشود.
- هر گروه دوری نامتناهی G با گروه جمعی Z از اعداد صحیح یکریخت (ایزومورف) است.
جستارهای وابسته
ویرایشمنابع
ویرایش- فرالی، جان ب. (۱۳۸۳). بهزاد، مهدی، ویراستار. نخستین درس در جبر مجرد. ج. اول. ترجمهٔ مسعود فرزان. تهران: مرکز نشر دانشگاهی. شابک ۹۶۴-۰۱-۰۳۵۱-۹.