ریاضیات

بخش ششم: جبرهای با نوع نمایش متناهی (VI. Finite Representation)

۱. موضوع اصلی

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

۲. تعریف‌ها و فرض‌های تازه

• 
  مدول تجزیه‌ناپذیر: مدول ناصفر M را تجزیه‌ناپذیر می‌خوانند هرگاه نتوان آن را به صورت جمع مستقیم دو زیرمدول ناصفر تفکیک کرد.
  


• 
  ردهٔ اشیای تجزیه‌ناپذیر (ind Λ): رده یا مجموعه‌ای اسکلتی از نمایندگان یکریختی مدول‌های تجزیه‌ناپذیر متناهی‌تولیدشده که در دست‌نویس با نماد ind A یا ind Λ مشخص شده است.
  


• 
  نوع نمایش متناهی: جبری که شرط زیر را برآورده سازد:
  
  
  
  |ind Λ| < ∞
  
  
  
  


• 
  جبرهای ناکایاما (Nakayama Algebras): رده‌ای ویژه از جبرها (سرفصل ۳ دست‌نویس) که در آن‌ها ساختار شبکهٔ زیرمدول‌های پروژکتیو و اینجکتیو، زنجیری یکتا و تک‌ستونی (Uniserial) است.
  

۳. نتیجه‌ها و قضیه‌های کلیدی

• 
  قضیهٔ کرول–اشمیت: تضمین تجزیهٔ یکتای هر مدول متناهی‌تولیدشده به مؤلفه‌های عضو ind Λ:
  
  
  
  M ≅ M₁^n₁ ⊕ M₂^n₂ ⊕ ... ⊕ M_k^n_k
  
  
  
  


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


• 
  معیار تناهی در جبرهای گروهی (Group Algebras): برای جبر گروهی kG با هیأت پایه از مشخصهٔ p، تناهی نمایش برقرار است اگر و تنها اگر زیرگروه‌های p-سیلوِ G دوری (سیکلیک) باشند.
  

۴. وابستگی به مباحث پیشین

این سرفصل بر قضایای تجزیه در مدول‌های آرتینی و ابزارهای هومولوژیک پایه‌ریزی شده در بخش‌های تانگرها استوار است و مقدمهٔ تحلیل ساختارهای کوئیوری و نمایش‌های متناهی در فصول بعدی به شمار می‌رود.