در پیشین دیدیم که بر اساس قضیه پوشش جردن، اجتماع مزدوجهای یک زیرگروه سره نمیتواند تمام گروه را بپوشاند. اکنون گام بعدی آن است که بررسی کنیم این عناصرِ بیرون از اجتماع مزدوجها چه جایگاهی در ساختار گروه دارند. پاسخ این پرسش، ما را به نظریه گروههای فروبنیوس میرساند؛ جایی که همین عناصر، نقشی اساسی و ساختاری ایفا میکنند.
پس از اجتماع: زیرگروه فراتینی و اشتراک زیرگروههای ماکسیمال
در دو یادداشت پیشین، نخست با قضیه پوشش جردن دیدیم که اجتماع مزدوجهای یک زیرگروه سره، هرگز تمام گروه را نمیپوشاند؛ سپس در بحث گروههای فروبنیوس مشاهده کردیم که عناصر بیرون از این اجتماع، میتوانند ساختاری نرمال و بنیادین پدید آورند. اکنون برای تکمیل این چشمانداز، مناسب است از «اجتماع» به سوی «اشتراک» حرکت کنیم؛ یعنی به جای آنکه بپرسیم کدام عناصر در برخی زیرگروههای ماکسیمال قرار میگیرند، بپرسیم کدام عناصر در همهی زیرگروههای ماکسیمال حضور دارند.
این پرسش ما را به یکی از مفاهیم مهم در نظریه گروههای متناهی میرساند: زیرگروه فراتینی.
تعریف
اگر 𝐺 یک گروه متناهی باشد، زیرگروه فراتینی آن با نماد Φ(𝐺) تعریف میشود:
Φ(𝐺) = ⋂M ∈ Max(G) M
یعنی Φ(𝐺) برابر است با اشتراک تمامی زیرگروههای ماکسیمالِ گروه 𝐺.
تفسیر مفهومی
اگر در بحثهای پیشین با عناصری سروکار داشتیم که از اجتماع برخی زیرگروهها بیرون میماندند، در اینجا با عناصری روبهرو هستیم که در تمام زیرگروههای ماکسیمال مشترکاند. از این رو، زیرگروه فراتینی را میتوان ناحیهای از گروه دانست که به شکلی پایدار در تمام ساختارهای ماکسیمال حضور دارد.
ویژگی بنیادی
یکی از مهمترین توصیفهای Φ(𝐺) آن است که عناصر آن، غیرمولد هستند. به این معنا که اگر 𝑆 یک زیرمجموعه از 𝐺 باشد و
〈S, x〉 = G با x ∈ Φ(G)
آنگاه در واقع خودِ 𝑆 نیز به تنهایی گروه را تولید میکند. بنابراین، افزودن عنصری از Φ(𝐺) به یک مجموعه مولد، توان تولیدی تازهای ایجاد نمیکند.
رابطه با زیرگروههای ماکسیمال
از آنجا که Φ(𝐺) اشتراک همه زیرگروههای ماکسیمال است، مطالعه آن مکمل طبیعیِ بحث شما درباره اجتماع مزدوجهای زیرگروههای ماکسیمال به شمار میآید. در یک نگاه، اجتماع نشان میدهد که عناصر چگونه در زیرگروههای مختلف پخش میشوند؛ اما اشتراک فراتینی نشان میدهد کدام عناصر در تمام این زیرگروهها حضور ثابت دارند.
نمونه ساده
در یک گروه اولیّه-توانیِ متناهی (finite p-group)، زیرگروه فراتینی معمولاً نقش بسیار مهمی ایفا میکند و به صورت
Φ(G) = Gp[G,G]
ظاهر میشود؛ یعنی از ضرب زیرگروه توانهای pاُم و زیرگروه جابهجایی ساخته میشود. این رابطه یکی از ابزارهای اصلی برای مطالعه مولدهای کمینه در گروههای p-ای است.
اهمیت آموزشی
اگر بخواهیم سه یادداشت این مجموعه را در یک خط فکری واحد خلاصه کنیم، میتوان گفت: قضیه جردن درباره ناتوانیِ یک اجتماع در پوشاندن کل گروه سخن میگوید؛ گروههای فروبنیوس نشان میدهند که عناصر بیرون از آن اجتماع، میتوانند ساختار نرمال بسازند؛ و زیرگروه فراتینی از سوی دیگر، ما را به اشتراک زیرگروههای ماکسیمال و مسئله مولدهای واقعی گروه هدایت میکند.
بدینترتیب، زیرگروه فراتینی را میتوان حلقهای مهم میان نظریه زیرگروههای ماکسیمال، مسئله تولید گروه، و ساختار درونی گروههای متناهی دانست.
این یادداشت، مکمل طبیعیِ بحث اجتماع مزدوجها و پلی به سوی نظریه مولدهای گروه است.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.