وبلاگ

2-1- تعریف و مفاهیم مقدماتی

 

 

تعریف: فرض كنید گروه G روی مجموعه X عمل كند و در این صورت مجموعه   را پایدارساز x در G نامیده و با نماد یا  نشان می‌دهیم.

 

 

تعریف: عمل G روی X را انتقالی می‌گوئیم هر گاه به ازای هر  و از X عضوی از G مانند g باشد به طوری كه .

 

 

تعریف: عمل G روی X را انتقالی است هر گاه به ازای هر دوگانه و که در آن  و برای هر عضوی از G مانند g باشد به طوری كه  برای هر .

 

 

تعریف: عمل گروه G روی مجموعه X را نیمه‌منظم گوئیم هرگاه برای هر  داشته باشیم

 

 

{1}=

 

 

قضیه 1-2-1 فرض كنید گروه G روی X به طور نیمه منظم عمل كند آنگاه مرتبه G مقسوم‌علیهی از مرتبه X است.

 

 

برهان. به [8] رجوع شود.

 

 

برای یک گروه دلخواه مانند G تعداد سیلو p-زیرگروههای آن را با نماد نمایش می دهیم.

 

 

قضیه 1-2-2 فرض كنید G یك گروه متناهی و N یك زیرگروه نرمال G باشد، آن‌گاه  و  مقسوم‌علیهی از است و همچنین داریم.

 

 

برهان. به [33] رجوع شود.

 

 

تعریف: فرض كنید n یك عدد صحیح باشد. در این صورت ، مجموعه تمام اعداد اولی است كه n را می‌شمارد.

 

 

 اگر G یك گروه متناهی باشد،  را همان  تعریف می‌كنیم.

 

 

 

 

قضیه 1-2-3 فرض كنید G یك گروه متناهی،  فرد باشد همچنین فرض كنید P  یك سیلو  زیرگروه G و  جائیكه . اگر P دوری نباشد،  آن گاه تعداد عناصر از مرتبه n گروه G مضربی از  است.

 

 

برهان. به [24] رجوع شود.

 

 

قضیه 1-2-4 فرض كنید G یك گروه متناهی . همچنین فرض كنید G دارای سری نرمال  باشد. اگر  و p مرتبه K را عاد نکند آن‌گاه نتایج زیر برقرار است:

 

 

 

1. i)

 

 

1. ii) یعنی ؛

 

 

iii)  به عبارت دیگر داریم  جائیكه t یك عدد صحیح مثبت است و.

 

 

برهان. به [27] رجوع شود.

 

 

تعریف: فرض كنید G یك گروه متناهی باشد و  كه در آن m و n دو عدد طبیعی متباین‌اند. هر زیرگروه G از مرتبه m را یك زیرگروه هال می‌نامند. به عبارت دیگر، زیرگروه H از G را یك زیر گروه هال گویند در صورتی كه  و  نسبت به هم اول باشد.

 

 

همچنین اگر کهها اعداد صحیح نامنفی و لااقل یکی مخالف صفر است و  در اینصورت H را یك  هال زیر گروه G می‌نامند.

 

 

قضیه 1-2-5 فرض كنید G یك گروه متناهی حلپذیر و، جائیكه و . همچنین فرض كنید  و  تعداد هال زیرگروههای G باشد، آن‌گاه  است كه به ازای هر   در شرایط زیر صدق می‌كند:

 

 

 

1. i) برای یك ؛

 

 

1. ii) مرتبه یكی از فاكتورهای اصلی از سری اصلی گروه G را عاد می‌كند.

 

 

برهان. به [12] رجوع شود.

 

 

تعریف: گروه G را با  گروه می‌نامیم هر گاه . اگر G یك گروه ساده و  آن گاه G را یك  گروه ساده می‌نامیم.

 

 

قضیه 1-2-6  فرض كنید G یك گروه ساده غیر آبلی باشد در این صورت .

 

 

برهان. بنا به قضیه برنساید هر  گروه و هر گروه از مرتبه  حلپذیرند، چون G غیرحلپذیر است پس .

 

 

[1] – W.j shi

 

 

[2] – R. Shen