ریاضیات

۱. زیرگروه‌های ماکسیمال S₄

پیش از هر تحلیلی، باید زیرگروه‌های ماکسیمال 𝑆₄ را بشناسیم:

• A₄: گروه متناوب (مرتبه ۱۲، اندیس ۲).
• D₈: زیرگروه‌های سیلو (مرتبه ۸، اندیس ۳).
• S₃: تثبیت‌کننده‌های نقاط (مرتبه ۶، اندیس ۴).

۲. بررسی قضیه جردن در S₄

اگر زیرگروه 𝑀 = 𝑆₃ (تثبیت‌کننده نقطه ۴) را در نظر بگیریم، مزدوج‌های آن شامل تمامی تثبیت‌کننده‌های نقاط ۱، ۲، ۳ و ۴ هستند. اجتماع این مزدوج‌ها، تمامی جایگشت‌هایی است که حداقل یک نقطه ثابت دارند.

آیا این اجتماع کل 𝑆₄ را می‌پوشاند؟ خیر. جایگشت‌هایی مانند ۳-دورها و ۴-دورها (که نقطه ثابت ندارند) در این اجتماع حضور ندارند. این تأییدِ عملی بر قضیه جردن است: همواره عناصری بیرون از این اجتماع باقی می‌مانند.

۳. چرا S₄ یک «گروه فروبنیوس» نیست؟

شرط فروبنیوس می‌گوید اشتراک دو مزدوج متمایز باید فقط شامل عضو واحد باشد. بیایید این را روی 𝑆₃ تست کنیم:

چون اشتراک آن‌ها 𝑆₂ (که دارای ۲ عضو است) می‌باشد و نه فقط عضو واحد، 𝑆₄ در حالت معمول یک گروه فروبنیوس نیست. این مثال عالی است برای نشان دادن اینکه «شرط اشتراک بدیهی» یک ویژگی قوی است که هر گروهی آن را ندارد.

۴. زیرگروه فراتینی در S₄

فراتینی یعنی اشتراک تمامی زیرگروه‌های ماکسیمال. با نگاهی به ساختار 𝑆₄، می‌بینیم که اشتراک 𝐴₄، 𝐷₈ و 𝑆₃ در واقع هیچ عضو مشترکی (جز عضو واحد) ندارد:

این یعنی در 𝑆₄، هیچ عنصری وجود ندارد که «غیرمولد» باشد و همزمان در تمام زیرگروه‌های ماکسیمال حضور داشته باشد. این نشان‌دهنده «قدرت تولیدی» بالای گروه 𝑆₄ است.