به دیدهٔ منت، ای جانِ شیفتهٔ حکمت و دانایی!
اکنون که مدول‌های تصویری، سیز‌یگی، و ساختارِ لایه‌بندیِ درون را کاویدیم، وقتِ آن است که به یکی از رازآمیزترین، عمیق‌ترین و کارآمدترین قضایای نظریهٔ نمایش بپردازیم؛ قضیه‌ای که در دست‌نویس‌ها در برگه‌های تجزیه، پایانِ دورها و سرشتِ جبرهای با بعد متناهی همواره سایه‌افکن است: **«قضیهٔ کرول–اشمیت–آزومایا (Krull–Schmidt–Azumaya Theorem)؛ رازِ یکتاییِ تجزیه و حلقه‌های موضعیِ اندومورفیسم»**.
در دنیای اعداد، هر عدد طبیعی به حاصل‌ضربِ یکتایی از اعداد اول تجزیه می‌شود؛ اما آیا در دنیای غول‌پیکرِ مدول‌ها نیز چنین موهبتی وجود دارد؟ آیا یک مدول همیشه به شکلی یکتا به «مدول‌های تجزیه‌ناپذیر» خرد می‌شود، یا ممکن است دو نقابِ کاملاً متفاوت بر چهره داشته باشد؟ پاسخ به این پرسش، شاه‌کلیدِ تمامِ آن چیزهایی است که از ابتدای این وبلاگ تاکنون دربارهٔ «فهرستِ تجزیه‌ناپذیرها» نوشته‌ایم.
---
### پست بیست‌ونهم: وحدت در کثرت؛ قضیهٔ کرول–اشمیت و کیمیایِ حلقه‌های موضعی
```html
پست بیست‌ونهم: وحدت در کثرت؛ قضیهٔ کرول–اشمیت و کیمیایِ حلقه‌های موضعی
در حسابِ اعداد، قضیهٔ بنیادینِ علمِ حساب مایهٔ آرامشِ خاطر است: هر عدد، شناسنامه‌ای یگانه از ضربِ اعداد اول دارد. اما هنگامی که پای به اقلیمِ بیکران و پرپیچ‌وخمِ مدول‌ها و جبرهای آرتینی می‌گذاریم، ترسی غریب دلِ پوینده را می‌لرزاند:
«آیا ممکن است یک مدول، در یک سوی کائنات به خشت‌هایی تجزیه شود و در سویی دیگر به خشت‌هایی یکسر متفاوت؟ آیا ساختارِ هستیِ یک شیء، منحصر‌به‌فرد و یکتاست؟»
پاسخِ این دلهرهٔ ازلی در شاهکاری به نام «قضیهٔ کرول–اشمیت–آزومایا (Krull-Schmidt Theorem)» رقم خورده است؛ قانونی زرین که ضامنِ بقا و وثاقتِ تمامِ کویورها و دسته‌بندی‌های ماست.
۱. معیارِ تجزیه‌ناپذیری؛ نگاه در آینهٔ خود (Endomorphism Ring)
یک مدول M چه زمانی «تجزیه‌ناپذیر (Indecomposable)» است؟ آنگاه که نتوان آن را به صورتِ جمع مستقیم دو زیرمدولِ غیرصفر شکست: M ≠ M₁ ⊕ M₂.
اما آزمودنِ تمامِ زیرمدول‌ها کاری طاقت‌فرساست! فیلسوفانِ همولوژی گفتند: به درونِ مدول منگرید، بلکه به «رفتارِ مدول با خودش» یعنی حلقهٔ ریخت‌های درونیِ آن بنشینید:
End_A(M) = Hom_A(M, M)
قاعدهٔ موضعی بودن (Fitting's Lemma):
برای یک مدول با طول متناهی، M تجزیه‌ناپذیر است اگر و تنها اگر حلقهٔ اندومورفیسم‌های آن یک «حلقهٔ موضعی (Local Ring)» باشد؛ یعنی هر نگاشت از M به خودش، یا یک هم‌ریختیِ وارون‌پذیر (ایزومورفیسم) است و یا یک نگاشتِ پوچ‌توان (Nilpotent) که در غبارِ رادیکال حل می‌شود! در این اقلیم، تردید و دورنگی راه ندارد؛ ریخت‌ها یا پادشاهند یا هیچ.
۲. متنِ قضیهٔ کرول–اشمیت؛ شناسنامهٔ انحصاریِ آفرینش
اگر A جبری آرتینی (یا با بعد متناهی) باشد و M مدولی با طول متناهی بر آن، هرگاه M به دو صورتِ دلخواه به جمع مستقیمِ مدول‌های تجزیه‌ناپذیر تجزیه شود:
M ≅ M₁ ⊕ M₂ ⊕ ... ⊕ Mᵣ ≅ N₁ ⊕ N₂ ⊕ ... ⊕ Nₛ
آنگاه با قاطعیتِ ریاضی برقرار است که:
- تعدادِ اجزا برابر است:
r = s(هیچ خشتی کم یا زیاد نخواهد شد). - اجزا نظیر‌به‌نظیر هم‌ریختند: جایگشتی چون σ وجود دارد که به ازای هر i، داریم
Mᵢ ≅ Nσ(i).
این یعنی هر مدول در عالمِ جبر، دقیقاً یک ترکیبِ تجزیه‌ناپذیرِ منحصر‌به‌فرد دارد؛ شناسنامه‌ای ازلی که دستخوشِ تغییر نمی‌شود.
۳. بازتاب در رادیکال و ایدئوپوتنت‌ها (Idempotents)
این قضیه مستقیماً ساختارِ خودِ جبر A را به عنوان یک مدولِ راست روی خودش روشن می‌سازد. جبر A به عنوان یک مدول به شکل زیر می‌شکند:
A = P₁ ⊕ P₂ ⊕ ... ⊕ Pₙ = e₁A ⊕ e₂A ⊕ ... ⊕ eₙA
که در آن eᵢها همان ایدئوپوتنت‌های بدویِ متعامد (Primitive Orthogonal Idempotents) هستند (عناصری که eᵢ² = eᵢ و ضربِ دوتادوتای آنها صفر است). هر Pᵢ خشتِ بنیادینِ فضای تصویری‌هاست و تناظرِ یک‌به‌یک میان این ایدئوپوتنت‌ها، مدول‌های تصویریِ تجزیه‌ناپذیر، و مدول‌های سادهٔ جبر برقرار می‌گردد.
کلامِ آخر و تأملِ فلسفی:
قضیهٔ کرول–اشمیت، منشورِ تقارنِ ریاضیات است. این قضیه به ما نشان می‌دهد که در زیرِ پوستینِ متکثر و آشفتهٔ پیکان‌ها و فضاهای برداری، نظمی استوار و «اتم‌گونه» حکم‌فرماست. مدول‌ها متلاشی نمی‌شوند مگر به ذراتی بنیادین، و آن ذرات بنیادین با حلقه‌های موضعیِ خود، اصالت و فردیتِ خویش را در دادگاهِ هستی پاس می‌دارند.
```
---
با استقرار این پایهٔ وزین، مسیر برای **پست سی‌اُم** هموارتر از پیش است. گزینه‌های پیش رویِ این کاروان معرفت:
1. **جبرهای نیمه‌موروثی (Quasi-hereditary Algebras) و مدول‌های استاندارد (Verma / Standard Modules):** پلی زرین به نظریهٔ لی و رده‌بندی نمایش‌های بی‌پایان.
2. **قضیهٔ تندیس‌گونِ گابریل (Gabriel's Theorem) - بازخوانی کامل اثبات و ساختارِ فرم دوخطی تیتس:** بررسی چگونگی انطباق هندسهٔ ریشه‌ها بر ابعاد مدول‌ها.
3. **پست سیم و جشن پایانِ این دوره:** غزلی شیوا و منظومه‌ای عرفانی که همهٔ این ۳۰ منزل را در قابی از نور و شعر ماندگار سازد.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.