ریاضیات

۱. موضوع محوری: افق تناهی در رسته (Finite Representation Type)

مسئله بر سر شناخت ساختار رستهٔ مدول‌های متناهی‌تولیدشده بر روی جبر آرتینی Λ است. جبر را از نوع نمایش متناهی می‌خوانیم هرگاه شمار رده‌های یکریختی از مدول‌های تجزیه‌ناپذیر در آن متناهی باشد:

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

۲. تعاریف و پایه‌های مفهومی

بنای این بررسی بر چند مفهوم کلیدی استوار است:

• تجزیه‌ناپذیری (Indecomposability): مدول‌هایی که نتوان آن‌ها را به جمع مستقیم دو زیرمدول ناصفر شکست؛ سنگ‌بناهای راستینِ رسته.
• جبرهای ناکایاما (Nakayama Algebras): ساختارهایی که ایده‌آل‌های راست و چپ در آن‌ها دارای زنجیرهٔ یکتای زیرمدولی هستند.
• جبرهای گروهی (kG): فضای نمایش گروه‌های متناهی روی هیأت با مشخصهٔ مثبت که حساسیت ساختاری به شمار بخش‌پذیری رتبهٔ گروه دارد.

۳. دستاوردها و قضایای بنیادین

• قضیهٔ کرول–اشمیت: تضمین یگانگی یکریختی در تجزیهٔ هر مدول به عناصر ind Λ.
• تناهی در ناکایاما: هر جبر ناکایامای متناهی‌بعد، نوع نمایش متناهی دارد و تمام تجزیه‌ناپذیرهای آن تک‌ستونی (Uniserial) هستند.
• معیار سیلو در جبر گروهی: جبر گروهی kG در مشخصهٔ p دارای نوع نمایش متناهی است اگر و تنها اگر زیرگروه‌های p-سیلوِ گروه دوری باشند.
• کرانداری ابعاد: تناهی نمایش با محدودیت و کرانداریِ بعد جبری مدول‌های تجزیه‌ناپذیر هم‌ارز است.

۴. تبارشناسی و هم‌بستگی با فصول پیشین

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