ریاضیات

شکاف‌پذیری پایه‌ها و تقارن فانکتورها (پایان‌بخش دست‌نوشته‌ها)

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

1. ۱. موضوع (ارث‌بری تناهی در هر زیرگروه دلخواه):
   

   اثبات این حقیقت که اگر جبر یک گروه اصلی متناهی باشد، جبر هر زیرگروه دلخواه آن نیز متناهی خواهد بود، به همراه آزمون‌های ساختاریِ مبتنی بر دنباله‌های کوتاه دقیق.

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

   هرگاه زیرگروهی مانند H را در گروه بزرگ‌تر G در نظر بگیریم، فضای برداری جبر گروهی به زیبایی به دو بخش شکافته می‌شود:
   

   بخش نخست: فضای تولیدشده با عناصرِ درون زیرگروه H.
   

   بخش دوم: فضای تولیدشده با عناصرِ خارج از زیرگروه H.
   

   این دو پاره، یک جمع مستقیم کامل و بی‌پایان می‌سازند. با تکیه بر لم نخستین (لم ۳.۱)، بی‌درنگ نتیجه می‌شود که: هر زیرگروه از یک جبر با نوع نمایش متناهی، خود نیز از نوع نمایش متناهی خواهد بود (حکم ۳.۵).

3. ۳. محک دنباله‌ها و تقارن هوم و تانسور (حکم ۳.۶ و صفحه ۹۸):
   

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

4. ۴. پیوند (همنشینی پاک و عدم تزاحم مراتب):
   

   این‌که عناصر بیرون از زیرگروه، مخلِّ رفتار مدولیِ عناصر درون آن نمی‌شوند، تمثیلی از استقلال مراتب وجودی در حکمت است؛ هر مرتبه مرز خویش را پاس می‌دارد بی‌آنکه به حقیقتِ پیرامون خود آسیبی برساند.