ریاضیات

شکاف‌پذیری پایه‌ها و تقارن فانکتورها (لم ۳.۴ تا ۳.۶)

بخش پایانی این یادداشت‌ها (صفحات ۹۷ و ۹۸)، سازوکار دقیق جبری را برملا می‌کند که چگونه یک زیرگروه دلخواه، خصلت تناهی را از گروه مادر به ارث می‌برد و چگونه دنباله‌های دقیق شکافنده رفتار جمعوندها را معین می‌سازند.

1. ۱. موضوع (تجزیهٔ پایه و آزمون‌های شکافندگی):
   

   تحلیل تجزیهٔ فضای برداری جبر گروهی نسبت به زیرگروه $H$ و بررسی هم‌ارزیِ ساختاری جمعوندها با تبدیل دنباله‌های دقیق کوتاه.

2. ۲. تجزیهٔ مکمل (لم ۳.۴ و حکم ۳.۵):
   

   به ازای هر زیرگروه $H \le G$، عناصر خارج از $H$ یک زیرفضای مکمل برداری $k[G \setminus H]$ می‌سازند، به طوری که:

   
   

   $$kG = kH \oplus k[G \setminus H]$$

   این تجزیه در نقش $kH$-مدول دوجانبه برقرار است. بر این اساس و با تکیه بر لم ۳.۱، حکم ۳.۵ نتیجه می‌شود: اگر $kG$ نوع نمایش متناهی داشته باشد، برای هر زیرگروه $H \le G$ نیز جبر $kH$ قطعاً نوع نمایش متناهی دارد.

3. ۳. محک دنباله‌های شکافنده (حکم ۳.۶ و صفحه ۹۸):
   

   در صفحهٔ ۹۸، هم‌ارزی شرایط جمعوند بودن یک مدول با پایستگی شکافندگی دنباله‌ها فرمول‌بندی می‌شود:

   • مدول $X$ جمعوندی مستقیم از ضرب تانسوری است.
   • هر دنبالهٔ دقیق که در یک سطح بشکافد، با اعمال فانکتور $\operatorname{Hom}$ نیز رفتار دقیق و شکافندهٔ خود را حفظ می‌کند.
   • دیاگرام جابجایی تانسور و هوم، سازگاری این تبدیلات را اثبات می‌نماید.

4. ۴. پیوند (وحدت در سایهٔ تجزیه‌پذیری مستقیم):
   

   شکافته شدنِ تمیز یک فضا به مؤلفهٔ خودی ($kH$) و مؤلفهٔ بیرونی ($k[G \setminus H]$)، اجازه می‌دهد بدون تداخل، خواص ساختاری در راستای شمول زیرگروه‌ها جاری شوند؛ تصویری روشن از عدم تزاحمِ حقایق ریاضی در مراتب گوناگون.