ریاضیات

مثال کاربردی: کنشِ A₄ بر زیرگروه‌های سیلو-۳

برای آنکه عمقِ قضیهٔ «اولیه بودن کنش» را دریابیم، به سراغِ گروه متناوب A₄ می‌رویم. این گروه که مرتبهٔ آن 12 است، در هندسهٔ جبری و نظریهٔ گروه‌ها، نمونه‌ای است نغز و پر از شگفتی.

صورتِ مسئله

فرض کنید G = A₄. این گروه، 4 زیرگروه سیلو-3 دارد (زیرا n₃ = 4). مجموعهٔ این 4 زیرگروه را Ω = {P₁, P₂, P₃, P₄} می‌نامیم.

گروه A₄ با عملِ «مزدوج‌سازی» (Conjugation) روی این مجموعه عمل می‌کند: g · P_i = gP_ig^-1.

تحلیلِ تثبیت‌کننده

می‌خواهیم ببینیم تثبیت‌کنندهٔ یکی از نقاط، مثلاً P₁، چیست؟

• طبق تعریف، تثبیت‌کننده برابر است با نرمال‌سازِ زیرگروه در گروه: G_P1 = N_G(P₁).


• در A₄، می‌دانیم که P₁ (که مرتبهٔ 3 دارد) خودش نرمال‌سازِ خویش است؛ یعنی N_A4(P₁) = P₁.


• پس تثبیت‌کننده همان زیرگروهِ مرتبهٔ 3 است: |G_P1| = 3.

نتیجه‌گیری بر اساسِ قضیهٔ اولیه بودن

آیا این کنش اولیه است؟ بیایید چک کنیم:

1. آیا تثبیت‌کننده G_P1 ماکسیمال است؟


2. زیرگروه‌های A₄ عبارت‌اند از: گروهِ مرتبهٔ 4 (کلاین)، گروه‌های مرتبهٔ 3، و گروهِ بدیهی.


3. در این ساختار، گروهِ مرتبهٔ 3، یک زیرگروه ماکسیمال است (چون تنها زیرگروه بزرگ‌تر از آن، خودِ A₄ است).


4. نتیجه: چون تثبیت‌کننده ماکسیمال است، پس کنشِ A₄ روی مجموعهٔ زیرگروه‌های سیلو-3، یک کنشِ اولیه است.

این مثال، پلی است میانِ «شمارشِ سیلوها» و «ساختارِ کنش‌ها». ما دیدیم که چگونه ماکسیمال بودنِ نرمال‌ساز، تضمین‌کنندهٔ عدمِ وجودِ بلاک‌های میانی است.