بسیار عالی؛ از آنجا که محتوای قبلی تکراری بود و ما اکنون به **پست ۱۱۶** رسیدهایم، طبق زنجیره آموزشی «جبر مجرد» و با تمرکز بر ساختار گروهها و کاربردهای کنش، ۱۰ پست جدید (از ۱۱۶ تا ۱۲۵) را با همان استانداردهای فنی و بصری برای شما تدوین میکنم.
در این سری، به سراغ مفاهیم تکمیلی کنش (قضیه برنساید)، کاربردهای قضایای سیلو در طبقهبندی گروههای کوچک و مقدمات گروههای ساده میرویم.
---
## پست ۱۱۶: نقاط ثابت یک کنش
```html
نقاط ثابت یک کنش (Fixed Points)
در مطالعهٔ کنش گروه G بر مجموعهٔ X، مجموعهای از عناصر X که توسط یک عضو خاص g تغییر نمیکنند، اهمیت بالایی دارند. این مجموعه را با Xg نمایش میدهیم:
X^g = \{x \in X : gx = x\}
همچنین، تمام عناصری از X که توسط کل گروه ثابت میمانند را با Fix(X) نشان میدهیم:
Fix(X) = \{x \in X : gx = x, \forall g \in G\}
این نقاط ثابت در واقع همان مدارهای تکعضوی هستند. در معادلهٔ کلاسی، Fix(X) نقش مرکز گروه را ایفا میکند.
```
---
## پست ۱۱۷: لم برنساید (شمارش مدارها)
```html
لم برنساید: ابزاری برای شمارش
لم برنساید (که گاهی لم شمارش نیز نامیده میشود) بیان میکند که تعداد مدارهای یک کنش برابر است با میانگین تعداد نقاط ثابت اعضای گروه:
|X/G| = \frac{1}{|G|} \sum_{g \in G} |X^g|
این قضیه کاربرد وسیعی در ترکیبیات و شمارش اشیای متقارن (مانند رنگآمیزی مهرهها یا چندوجهیها) دارد.
نکته: برای استفاده از این لم، باید تعداد نقاطی که هر جایگشت ثابت نگه میدارد را محاسبه کرده و میانگین بگیریم.
```
---
## پست ۱۱۸: کاربرد سیلو در گروههای مرتبه ۱۲
```html
تحلیل ساختار گروههای مرتبه ۱۲
فرض کنید |G| = 12 = 22 \times 3. طبق قضایای سیلو:
- n3 ∈ {1, 4}
- n2 ∈ {1, 3}
اگر n3 = 4 باشد، گروه دارای ۸ عضو با مرتبه ۳ است. در این حالت تنها ۴ عضو باقی میماند که دقیقاً یک ۲-زیرگروه سیلو (با مرتبه ۴) را تشکیل میدهند.
\text{نتیجه: حداقل یکی از زیرگروههای سیلو باید نرمال باشد.}
بنابراین هیچ گروه سادهای با مرتبه ۱۲ وجود ندارد.
```
---
## پست ۱۱۹: گروههای ساده (Simple Groups)
```html
گروههای ساده: آجرهای بنای جبر
گروه ناتبیهی G را ساده مینامیم اگر هیچ زیرگروه نرمال سرهای نداشته باشد. تنها زیرگروههای نرمال آن {1} و خود G هستند.
گروههای دوری با مرتبه اول (Cp) سادهترین نمونهها هستند. اما یافتن گروههای سادهٔ ناآبلی دشوارتر است.
A_5 \text{ کوچکترین گروه ساده ناآبلی است و مرتبه آن ۶۰ است.}
گروههای ساده مانند اعداد اول در نظریه اعداد هستند؛ هر گروه متناهی را میتوان از طریق گروههای ساده ساخت.
```
---
## پست ۱۲۰: سادگی گروه متناوب A5
```html
چرا A5 ساده است؟
گروه متناوب A5 دارای ۶۰ عضو است. کلاسهای مزدوجی آن دارای اندازههای ۱، ۱۲، ۱۲، ۱۵ و ۲۰ هستند.
یک زیرگروه نرمال باید اجتماعی از کلاسهای مزدوجی باشد که شامل عنصر همانی است و مرتبهٔ آن نیز باید ۶۰ را عاد کند.
1 + \text{ترکیبی از } \{12, 12, 15, 20\} \mid 60
با بررسی تمام حالات، هیچ مجموعهای از این اعداد (به همراه ۱) پیدا نمیشود که مجموع آنها مقسومعلیه ۶۰ باشد (بجز ۱ و ۶۰). لذا A5 ساده است.
```
---
## پست ۱۲۱: حاصلضرب زیرگروهها
```html
حاصلضرب دو زیرگروه HK
اگر H و K دو زیرگروه از G باشند، مجموعهٔ حاصلضرب را چنین تعریف میکنیم:
HK = \{hk : h \in H, k \in K\}
قضیه: HK یک زیرگروه است اگر و تنها اگر HK = KH.
تعداد اعضای این مجموعه از رابطهٔ زیر به دست میآید:
|HK| = \frac{|H| \cdot |K|}{|H \cap K|}
این فرمول در اثبات قضایای سیلو و تحلیل ساختار گروههای با مرتبه pq بسیار حیاتی است.
```
---
## پست ۱۲۲: قضایای یکریختی (قضیه اول)
```html
قضیه اول یکریختی (Isomorphism Theorem)
این قضیه پل ارتباطی بین همریختیها و گروههای خارجقسمتی است. اگر f: G → G' یک همریختی گروهی باشد، آنگاه:
G / Ker(f) \cong Im(f)
به زبان ساده: تصویر هر همریختی، با خارجقسمت دامنه نسبت به هسته یکریخت است.
این قضیه به ما اجازه میدهد ساختار تصویر یک نگاشت را تنها با مطالعهٔ هستهٔ آن درک کنیم.
```
---
## پست ۱۲۳: قضیه دوم یکریختی (قضیه الماس)
```html
قضیه دوم یکریختی (Diamond Theorem)
فرض کنید H زیرگروه و N زیرگروه نرمال از G باشد. در این صورت:
1. \quad H \cap N \trianglelefteq H
2. \quad H/(H \cap N) \cong (HN)/N
این قضیه به دلیل شکل نمودار زیرگروههای درگیر، به قضیه الماس معروف است و برای سادهسازی خارجقسمتهای پیچیده به کار میرود.
```
---
## پست ۱۲۴: قضیه سوم یکریختی
```html
قضیه سوم یکریختی: خارجقسمتِ خارجقسمت
این قضیه بیان میکند که اگر دو زیرگروه نرمال داشته باشیم که یکی در دیگری محاط باشد (K ⊆ H ⊆ G)، میتوانیم عملیات خارجقسمتگیری را ساده کنیم:
(G/K) / (H/K) \cong G/H
این دقیقاً مشابه ساده کردن کسرها در حساب معمولی است: (a/c) / (b/c) = a/b.
```
---
## پست ۱۲۵: زیرگروه فراتینی (Frattini Subgroup)
```html
زیرگروه فراتینی Φ(G)
زیرگروه فراتینی یک گروه، اشتراک تمام زیرگروههای ماکزیمال آن تعریف میشود. اگر گروه زیرگروه ماکزیمال نداشته باشد، Φ(G) = G.
ویژگی کلیدی: Φ(G) شامل تمام عناصری است که «نامولد» (Non-generators) هستند. یعنی اگر این عناصر را از هر مجموعه مولد گروه حذف کنیم، مجموعه باقیمانده هنوز گروه را تولید میکند.
\Phi(G) = \bigcap \{ M : M \text{ is a maximal subgroup of } G \}
در گروههای p-ای متناهی، G/Φ(G) بزرگترین خارجقسمت آبلی مقدماتی گروه است.
```
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.