تحلیل موردی: گروه دیهدرال D10 به عنوان یک مثال فروبنیوسی
پس از بررسی گروه متقارن S4، اکنون مناسب است مثالی را مطالعه کنیم که در آن ساختار فروبنیوسی واقعاً ظاهر شود. یکی از سادهترین و آموزندهترین نمونهها، گروه دیهدرال D10 است؛ یعنی گروه تقارنهای یک پنجضلعی منتظم. این گروه با مرتبه ۱۰، در عین کوچکی، نمونهای بسیار روشن برای مشاهده همزمانِ قضیه جردن، ساختار گروههای فروبنیوس، و رفتار زیرگروه فراتینی است.
۱. معرفی گروه
گروه D10 را میتوان به صورت زیر معرفی کرد:
D10 = <r, s | r5 = 1, s2 = 1, srs = r-1>
در این نمایش، r یک دوران از مرتبه ۵ و s یک بازتاب از مرتبه ۲ است. بنابراین عناصر گروه از دو نوع تشکیل میشوند: دورانها
1, r, r2, r3, r4
و بازتابها
s, rs, r2s, r3s, r4s
در نتیجه، این گروه دقیقاً ۱۰ عضو دارد.
۲. زیرگروههای مهم در D10
دو زیرگروه اصلی در این مثال نقش محوری دارند:
- <r> زیرگروهی چرخهای از مرتبه ۵ است.
- <s> زیرگروهی از مرتبه ۲ است.
زیرگروه <r> در D10 نرمال است و کل گروه به صورت یک ضرب نیممستقیم نوشته میشود:
D10 = <r> ⋊ <s>
این تجزیه، از همان ابتدا نشانهای از حضور یک ساختار فروبنیوسی در گروه است.
۳. بررسی قضیه جردن در D10
اکنون زیرگروه
M = <s>
را در نظر میگیریم. مزدوجهای این زیرگروه همان زیرگروههای مرتبه ۲ هستند که توسط بازتابها تولید میشوند. چون در D10 پنج بازتاب وجود دارد، پنج مزدوج برای <s> خواهیم داشت.
اجتماع این مزدوجها شامل عضو همانی و تمام بازتابهاست، اما دورانهای نابدیهی
r, r2, r3, r4
در هیچیک از این زیرگروههای مرتبه ۲ قرار ندارند. بنابراین:
D10 ⊈ ⋃g∈G <s>g
و این دقیقاً همان چیزی است که قضیه پوشش جردن پیشبینی میکند: اجتماع مزدوجهای یک زیرگروه سره هرگز کل گروه را نمیپوشاند.
۴. چرا D10 یک گروه فروبنیوس است؟
اکنون همان زیرگروه H = <s> را به عنوان مکمل فروبنیوس در نظر میگیریم. برای فروبنیوسی بودن باید داشته باشیم:
H ∩ Hg = 1 برای هر g ∈ G − H
هر مزدوجِ <s> نیز یک زیرگروه مرتبه ۲ است که توسط یک بازتاب تولید میشود. اگر دو مزدوج متمایز باشند، تنها عضو مشترک آنها عضو همانی است؛ زیرا هر زیرگروه مرتبه ۲ دقیقاً شامل دو عضو است: همانی و یک بازتاب مشخص. پس دو زیرگروه متمایزِ از این نوع نمیتوانند بازتاب غیرهمانی مشترک داشته باشند.
در نتیجه شرط فروبنیوس برقرار است و D10 یک گروه فروبنیوس است.
۵. هسته و مکمل فروبنیوس
در این مثال، مکمل فروبنیوس همان زیرگروه
<s>
و هسته فروبنیوس همان زیرگروه نرمال
<r>
است. به بیان دیگر، عناصر بیرون از اجتماع مزدوجهای <s> دقیقاً همان دورانها را تشکیل میدهند، و این مجموعه همراه با عضو همانی یک زیرگروه نرمال میسازد:
N = {1, r, r2, r3, r4} = <r>
این همان پدیدهای است که قضیه فروبنیوس تضمین میکند: عناصر بیرون از اجتماع مزدوجها، به جای آنکه صرفاً مجموعهای پراکنده باشند، یک ساختار جبری نرمال و منظم میسازند.
۶. زیرگروه فراتینی در D10
اکنون به سراغ زیرگروه فراتینی میرویم. چون
D10
گروهی از مرتبه
2×5
است، زیرگروههای ماکسیمال آن به ترتیب از مرتبه ۵ و ۲ هستند. به طور مشخص:
- <r> زیرگروهی ماکسیمال با اندیس ۲ است.
- هر زیرگروه تولیدشده توسط یک بازتاب، مانند <s>، نیز زیرگروهی ماکسیمال با اندیس ۵ است.
اشتراکِ همه این زیرگروههای ماکسیمال فقط شامل عضو همانی است. بنابراین:
Φ(D10) = {1}
پس در این گروه نیز زیرگروه فراتینی بدیهی است و هیچ عنصر نابدیهیای وجود ندارد که در تمام زیرگروههای ماکسیمال حضور داشته باشد.
نتیجهگیری: گروه D10 نمونهای بسیار مناسب برای مقایسه با S4 است. در هر دو گروه، قضیه جردن برقرار است و فراتینی بدیهی به دست میآید؛ اما تفاوت اساسی آنجاست که در D10 شرط اشتراک بدیهی مزدوجها برقرار است و بنابراین گروه واقعاً فروبنیوسی است. از این رو، این مثال به خوبی نشان میدهد که چگونه یک نتیجه عمومی مانند قضیه جردن، در برخی گروهها به ساختاری بسیار منظمتر و عمیقتر منتهی میشود.
این مثال، صورت کاملتری از پیوند میان قضیه جردن، گروههای فروبنیوس و زیرگروه فراتینی را در یک گروه کوچک و محاسبهپذیر نشان میدهد.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.