بخش ششم ــ محور سوم: نتیجه‌ها و قضایای بنیادین
پس از پایه‌ریزی مفاهیم اولیه، دستگاه نظری این بخش به بیان قضایایی می‌پردازد که رفتار هندسی و جبریِ نمایش‌های متناهی را مقید و دسته‌بندی می‌کنند:
۱. یکتایی ساختار با قضیهٔ کرول–اشمیت
نخستین اصل حاکم، تضمین تجزیه‌پذیری یکتاست؛ هر مدول متناهی‌تولیدشده M را می‌توان تا حد یکریختی و جابه‌جایی جملات، به صورت یکتایی به جمع مستقیم مدول‌های عضو ind Λ تجزیه کرد:
M ≅ M1n1 ⊕ M2n2 ⊕ ... ⊕ Mknk
در شرایط تناهی نمایش، این بدان معناست که تمامی اشیای رسته از ترکیب خطی شمار متناهی سنگ‌بنا بازتولید می‌شوند.
۲. تناهی نمایش در جبرهای ناکایاما (Nakayama)
بر پایهٔ سرفصل ۳ یادداشت‌ها، جبرهای ناکایامای متناهی‌بعد، رده‌ای کاملاً مهارشده با نوع نمایش متناهی هستند. در این ساختارها، تمام مدول‌های تجزیه‌ناپذیر الزاماً تک‌ستونی (Uniserial) بوده و از زنجیرهٔ زیرمدول‌های پروژکتیو حاصل می‌آیند.
۳. عیار رده‌بندی در جبرهای گروهی (Group Algebras)
در سرفصل مربوط به جبرهای گروهی، قضیهٔ کلاسیک هیگمن مرز تناهی را بر اساس زیرگروه‌های سیلو تعیین می‌کند:
فرض کنید k هیأتی با مشخصهٔ p > 0 و G یک گروه متناهی باشد. در این صورت جبر گروهی kG دارای نوع نمایش متناهی است اگر و تنها اگر:
زیرگروه‌های p-سیلوِ گروه G دوری (سیکلیک) باشند.
۴. کرانداری ابعاد (افق قضیهٔ براور–تریل)
تناهی شمارِ رده‌های یکریختی تجزیه‌ناپذیر معادل با کراندار بودن بعد آنها در فضای برداری است:
sup { dimk(M) | M ∈ ind Λ } < ∞
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.