ریاضیات

گسترش جبر و مهار تناهی: درآمدی بر لم بنیادین ۳.۱

در آغازین برگ‌های فصل سوم از دست‌نوشته‌های درس‌نامه (صفحات ۹۴ و ۹۵)، سخن از پیوند میان یک «جبر بزرگ‌تر» و «زیرجبر درونیِ آن» است؛ آن‌گاه که می‌پرسیم: اگر ساختار مادر در شمارِ مدول‌های تجزیه‌ناپذیرش به مرز تناهی رسیده باشد، آیا پاره‌های درونی آن نیز از این انضباط و آرامش بهره‌مند خواهند شد؟

1. ۱. موضوع (انتقالِ تناهی از کل به جزء):
   

   بررسی ویژگی «نوع نمایش متناهی» در جبرها و تبیین قاعده‌ای که نشان می‌دهد تناهیِ رده‌های تجزیه‌ناپذیر، چگونه از یک جبر فراگیر به زیرجبرهای سازندهٔ آن به ارث می‌رسد.

2. ۲. فرضیات و تعریف‌ها (شرط جمعوند مستقیم):
   

   جبر لاندا را زیرجبری از جبر گاما در نظر می‌گیریم، با این شرطِ بنیادی که لاندا بتواند همچون یک «جمعوند مستقیم» در دل گاما جای گیرد؛ یعنی ساختار جبر بزرگ‌تر، بدون هیچ گره‌خوردگیِ مبهم، به خودِ زیرجبر و یک بخش مکمل تجزیه شود.

3. ۳. نتایج و قضیه (لم ۳.۱ - سازوکار القا و تحدید):
   

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

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

4. ۴. پیوند (حکمت سقفِ کل بر بی‌کرانگی اجزا):
   

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