بررسی زنجیره‌ی نرمال و سری ترکیبی گروه متقارن S4
در نظریه‌ی گروه‌ها، یکی از ابزارهای اصلی برای درک ساختار یک گروهِ متناهی، تجزیه‌ی آن به زیرگروه‌های نرمال است. این فرآیند که به ایجاد «زنجیره‌ی نرمال» یا «سری ترکیبی» (Composition Series) می‌انجامد، امکان مطالعه‌ی گروه را از طریق گروه‌های خارج‌قسمتیِ ساده‌تر فراهم می‌کند. در این مطلب، ساختارِ زنجیره‌ی نرمالِ گروه متقارن S4 را بررسی می‌کنیم.
تعریف زنجیره‌ی نرمال
زنجیره‌ی نرمال برای یک گروه G، دنباله‌ای از زیرگروه‌ها به صورت زیر است:
{e} = H₀ ◁ H₁ ◁ H₂ ◁ ... ◁ Hₙ = G
به طوری که هر زیرگروه، یک زیرگروه نرمال در زیرگروه بعدی خود باشد (Hᵢ در Hᵢ₊₁ نرمال است).
مثال: تجزیه‌ی گروه S4
گروه S4 (گروه جای‌گشت‌های ۴ عضو) دارای مرتبه‌ی ۲۴ است. می‌توان زنجیره‌ی نرمال زیر را برای آن در نظر گرفت:
- گروه S4: مرتبه ۲۴.
- زیرگروه A4 (گروه متناوب): مجموعه‌ی جای‌گشت‌های زوج در S4. مرتبه‌ی آن ۱۲ است. این زیرگروه در S4 نرمال است و شاخص آن [S4 : A4] = 2 می‌باشد.
- گروه کلاین (V4): یک زیرگروه نرمال در A4 با مرتبه‌ی ۴. عناصر آن عبارتند از: { (1), (12)(34), (13)(24), (14)(23) }.
- زیرگروه {e}: زیرگروه بدیهی که تنها شامل عضو همانی است.
تحلیل گروه‌های خارج‌قسمتی
اهمیت این زنجیره در ساختار گروه‌های خارج‌قسمتی (Quotient Groups) است که در هر مرحله تشکیل می‌شوند:
- S4 / A4: یک گروهِ ایزومورف با Z₂ (مرتبه‌ی ۲).
- A4 / V4: یک گروهِ ایزومورف با Z₃ (مرتبه‌ی ۳).
- V4 / {e}: خودِ گروهِ V4 (مرتبه‌ی ۴)، که می‌تواند بیشتر به گروه‌های دوری مرتبه‌ی ۲ شکسته شود.
نتیجه‌گیری
دارای مرتبه‌ی ۲۴ است. می‌توان زنجیره‌ی نرمال زیر را برای آن در نظر گرفت:
- گروه S4: مرتبه ۲۴.
- زیرگروه A4 (گروه متناوب): مجموعه‌ی جای‌گشت‌های زوج در S4. مرتبه‌ی آن ۱۲ است. این زیرگروه در S4 نرمال است و شاخص آن [S4 : A4] = 2 می‌باشد.
- گروه کلاین (V4): یک زیرگروه نرمال در A4 با مرتبه‌ی ۴. عناصر آن عبارتند از: { (1), (12)(34), (13)(24), (14)(23) }.
- زیرگروه {e}: زیرگروه بدیهی که تنها شامل عضو همانی است.
تحلیل گروه‌های خارج‌قسمتی
اهمیت این زنجیره در ساختار گروه‌های خارج‌قسمتی (Quotient Groups) است که در هر مرحله تشکیل می‌شوند:
- S4 / A4: یک گروهِ ایزومورف با Z₂ (مرتبه‌ی ۲).
- A4 / V4: یک گروهِ ایزومورف با Z₃ (مرتبه‌ی ۳).
- V4 / {e}: خودِ گروهِ V4 (مرتبه‌ی ۴)، که می‌تواند بیشتر به گروه‌های دوری مرتبه‌ی ۲ شکسته شود.
نتیجه‌گیری
این تجزیه نشان می‌دهد که S4 یک گروه «حل‌شدنی» (Solvable Group) است. به این معنا
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.