ریاضیات

اندیس زیرگروه و محک سیلو: قلهٔ ساختاری حکم ۳.۷

در صفحات ۱۰۰ و ۱۰۱، دست‌نوشته‌ها به یکی از پرشکوه‌ترین قضایای ترکیبی میان جبر مجرد و نظریه اعداد می‌رسند: «حکم ۳.۷». در این‌جا هم‌ارزی میان مفاهیم نظریه نمایش و نظریه مقدماتی گروه‌ها آشکار می‌گردد.

1. ۱. موضوع (معیار هم‌ارز برای تصویری بودنِ نسبی روی زیرگروه):
   

   بررسی این مسئله که برای زیرگروهی دلخواه مانند H در گروه متناهی G، تحت چه شرایطی جبر گروهی روی جبر زیرگروه به طور نسبی تصویری می‌شود.

2. ۲. گزاره‌های چهارگانهٔ هم‌ارز (صفحه ۱۰۰):
   

   حکم بیان می‌دارد که چهار گزارهٔ زیر کاملاً معادل یکدیگرند:
   

   گزاره الف: جبر گروهی اصلی روی جبر زیرگروه، نسبتاً تصویری است.
   

   گزاره ب: اندیس زیرگروه در گروه اصلی (شمار هم‌مجموعه‌های چپ)، بر مشخصهٔ اولِ میدان p بخش‌پذیر نباشد.
   

   گزاره ج: زیرگروه H شامل دست‌کم یکی از زیرگروه‌های p-سیلوی گروه اصلی باشد.
   

   گزاره د: هر مدول دلخواه از جبر اصلی، بر روی جبر این زیرگروه نسبتاً تصویری باشد.

3. ۳. برهان و سازوکار فضای هم‌مجموعه‌ها (صفحه ۱۰۱):
   

   در صفحه ۱۰۱، برهان با ساختن فضای برداری هم‌مجموعه‌های چپ آغاز می‌شود. بُعد فضای القاشده دقیقاً برابر با اندیس زیرگروه است. با تعریف نگاشت مجموع روی پایه‌ها و رسم دیاگرام جابجایی، نشان داده می‌شود که شکافندگی این نگاشت، دقیقاً وابسته به این است که ضریبِ مجموع (همان اندیس زیرگروه) در میدان برابر با صفر نشود؛ یعنی مشخصه p آن را عاد نکند!

4. ۴. پیوند (راز دربرگیری کانون‌های بحرانی):
   

   اینکه زیرگروه باید شامل زیرگروه سیلو باشد، بیانی دیگر از ضرورت مهارِ کانون‌های تنش است؛ وقتی هستهٔ دارای مرتبهٔ توانی از p در آغوش زیرگروه مهار شود، کل پیکرهٔ گروه به تعادل می‌رسد.