ریاضیات

معجزهٔ شاخص هم‌اول: پل بازگشت از زیرگروه به گروه

اگر انتقال تناهی از گروه به زیرگروه همواره برقرار است، مسیر وارون (از زیرگروه به کل گروه) تنها زمانی گشوده می‌شود که مرتبهٔ خارج‌قسمت بر مشخصهٔ میدان بخش‌پذیر نباشد؛ جایی که میانگین‌گیری روی هم‌دسته‌ها هم‌چنان معتبر است.

1. ۱. موضوع (کفایت زیرگروه شاخصِ هم‌اول):
   

   اگر شاخص زیرگروه در گروه بر مشخصهٔ میدان بخش‌پذیر نباشد، تیپ نمایش متناهیِ زیرگروه، تناهیِ تیپ نمایشِ گروه اصلی را تضمین می‌نماید.

2. ۲. سازوکار میانگین‌گیری ماسکه و شکافتگی:
   

   هنگامی که شاخص زیرگروه بر مشخصه اول بخش‌پذیر نباشد، این عدد در میدان وارون‌پذیر است. نگاشت همانی از طریق جمع روی هم‌دسته‌های چپ و تقسیم بر این شاخص می‌تواند یک هم‌ریختی معکوس بسازد که نگاشت شمول را می‌شکافد.

3. ۳. نتایج ساختاری (نسبتاً تصویری بودن):
   

   الف) در این حالت، هر مدول روی گروه اصلی، جمع‌وند مستقیمی از القایِ تحدیدِ خود خواهد بود.
   

   ب) بنابراین، ساختار مدول‌های تجزیه‌ناپذیر گروه اصلی کاملاً توسط جمع‌وندهای القایِ مدول‌های تجزیه‌ناپذیر زیرگروه کنترل می‌شود.
   

   ج) از آن‌جا که زیرگروه متناهی‌التیپ است، القای تعداد متناهی مدولِ آن تنها شمار محدودی جمع‌وند تجزیه‌ناپذیر جدید تولید می‌کند.

4. ۴. شهود مفهومی (پل بازگشت بدون اعوجاج):
   

   بخش‌پذیر نبودن شاخص بر مشخصهٔ میدان مانع از پدیدار شدن پدیده‌های پوچ‌توان در گذر میان هم‌دسته‌ها می‌شود؛ گروه رفتار زیرگروه را مانند طنینی مهارشده تکرار می‌کند.