ریاضیات

ویژگی‌های زیرگروه‌های ماکزیمال (Maximal Subgroups)

یک زیرگروه
M
از گروه
G
را ماکزیمال می‌نامیم اگر هیچ زیرگروه محض دیگری (به جز خود
G) آن را در بر نگیرد. به عبارت دقیق‌تر:

نکات کلیدی و ویژگی‌های ساختاری

• 
  تعریف دقیق:
  زیرگروه
  M
  ماکزیمال است اگر و تنها اگر هیچ زیرگروه
  H
  وجود نداشته باشد که در شرط
  M ⊊ H ⊊ G
  صدق کند.
  
• 
  زیرگروه نرمال ماکزیمال:
  اگر
  M
  یک زیرگروه نرمال ماکزیمال در
  G
  باشد، آنگاه گروه خارج‌قسمتی
  G/M
  یک گروه ساده (Simple Group) خواهد بود. این یکی از ابزارهای اصلی برای شناسایی گروه‌های ساده است.
  
• 
  نرمال‌ساز و مزدوج‌ها:
  برای هر زیرگروه ماکزیمال
  M،
  اگر
  N_G(M)
  نرمال‌ساز
  M
  باشد، آنگاه یا
  N_G(M) = M
  است (یعنی نرمال‌ساز خودش است) یا
  M
  یک زیرگروه نرمال است.
  
• 
  اشتراک و مزدوج‌ها (ویژگی ۵ در یادداشت‌ها):
  اگر
  M
  یک زیرگروه ماکزیمال غیرنرمال باشد، آنگاه برای هر
  g ∈ G \ M
  خواهیم داشت:
  
  
  M ∩ M^g = 1
  
  
  که در آن
  M^g = gMg^-1
  مزدوج
  M
  است.
  

تحلیل شمارشی (قضیه شمارش مزدوج‌ها)

طبق یادداشت‌های شما، اگر
|G| = n
و
|M| = m
باشد، می‌توان تعداد عناصر گروه را با استفاده از اجتماع مزدوج‌های زیرگروه ماکزیمال
M
محاسبه کرد (در صورتی که
M
نرمال نباشد):

این فرمول کاربرد بسیار زیادی در مسائل ترکیبیاتی گروه دارد، به‌ویژه زمانی که می‌خواهیم نشان دهیم یک گروه ساده نیست یا خواص زیرگروه‌های آن را بررسی کنیم.

خلاصه

زیرگروه‌های ماکزیمال، "ستون‌های" ساختار یک گروه هستند. درک رفتار آن‌ها (مخصوصاً وقتی نرمال نیستند) مستلزم بررسی عمل مزدوج‌سازی و اشتراک‌های آن‌هاست که در نهایت به ما در تعیین مرتبه گروه و ساده یا پیچیده بودن آن کمک می‌کند.