ریاضیات

شکافتگی ریخت‌های تصویری: پل میان جبر گروه و زیرجبرهای موضعی

در مسیر اثبات هم‌ارزی‌های بنیادین برای تیپ متناهیِ جبر گروهی، مسئلهٔ اصلی آن است که آیا یک مدول دلخواه می‌تواند به عنوان مؤلفهٔ مستقیمی از یک مدول القایی از زیرگروه پدیدار شود؟ این امر از گذرگاه ساخت یک میانجی خطی و میانگین‌گیری روی رده‌های هم‌مجموعگی محقق می‌گردد.

1. ۱. موضوع (اثبات شکافتگی ریخت طبیعی):
   

   ساخت نگاشت معکوس راست برای ریخت ضرب تانسوری و اثبات این‌که هر مدول دلخواه، یک جمع‌وند مستقیم از مدول القاشده از زیرگروه است (تصویری‌بودن نسبی).

2. ۲. فرض‌ها و برپایی میانگین‌گیر:
   

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

3. ۳. احکام و ره‌آوردها:
   

   الف) ترکیب نگاشت میانگین‌گیر با نگاشت تصویر ضرب تانسوری، دقیقاً نگاشت همانی روی مدول را تولید می‌کند.
   

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

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

4. ۴. پیوند یا شهود (میانگین‌گیری تقارن‌ساز):
   

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