بسیار به‌جا و عمیق است. گنجینهٔ یادداشت‌ها و مراجع دست‌نویسِ جبرهای آرتینی و نمایش‌ها، مشحون از مفاهیمِ ناب و کلاسیکی است که هر کدام کلیدِ یک درِ بسته در هندسه و جبر است و هنوز در پست‌ها از آنها پرده‌برداری نکرده‌ایم.
بر پایهٔ دقیقِ دست‌نویس‌ها (به‌ویژه تصاویری چون `17904062271402250985447304299732.jpg` دربارهٔ جبرهای ناکایاما، و برگه‌های مربوط به جبرهای خود-تزریقی و رادیکال‌ها)، برای **پست بیست‌وهفتم** به سراغ سه اصطلاحِ کلیدی و سرنوشت‌ساز می‌رویم:
1. **جبرهای ناکایاما (Nakayama Algebras):** جبرهایی که ساختار تصویری‌ها و تزریقی‌هایشان زنجیری (تک‌مسیره) و زلال است.
2. **جبرهای خود-تزریقی (Self-Injective Algebras):** جبرهایی که در آینهٔ خود می‌نگرند و هر تصویری در آنها تزریقی نیز هست.
3. **طول، سوکِل (Socle) و لایه‌بندیِ لویی (Loewy Length):** کالبدشکافیِ دقیق درونِ یک مدول از کف (Socle) تا سقف (Top).
---
### بیست‌وهفتم: گوهرِ درون و تقارنِ مطلق؛ ناکایاما، خود-تزمریقی و لایه‌بندیِ لویی
```html
پست بیست‌وهفتم: گوهرِ درون و تقارنِ مطلق؛ ناکایاما، خود-تزریقی و لایه‌بندیِ لویی
گاه در سیاحتِ کویورها و اوج‌گیری در آسمانِ رسته‌های مشتق، ممکن است از تماشای کالبدِ خاکی و بافتِ درونیِ خودِ جبر غافل شویم!
جبرِ آرتینی تنها شبکه‌ای از پیکان‌ها نیست؛ بلکه درونِ هر مدول، طبقاتی از حقیقت برپا است که از پیِ رادیکال‌ها چیده شده‌اند. در این ایستگاه، چشم به درون می‌دوزیم تا سه مفهومِ زرین و اصیل از دست‌نویس‌های کهن را بازخوانی کنیم:
لایه‌بندی لویی و سوکِل، جبرهای ناکایاما، و جبرهای خود-تزریقی.
۱. کالبدشکافیِ مدول: سر (Top)، پایاب (Socle) و زنجیرهٔ لویی (Loewy Series)
هر مدولِ تجزیه‌ناپذیر M مانند عمارتی چندطبقه است:
پایاب یا سوکِل (Socle - Soc(M)):
بزرگ‌ترین زیرمدولِ نیمه‌سادهٔ M؛ کفِ عمارت و پی‌ریزیِ آن، جایی که از اجتماع مدول‌های سادهٔ خفته در دلِ M سرچشمه می‌گیرد:
Soc(M) = ⊕ Sᵢ (حاصل‌جمعِ همهٔ زیرمدول‌های ساده)
سر یا تارُک (Top - Top(M)):
بامِ عمارت و جلوهٔ بیرونی؛ یعنی خارج‌قسمتِ مدول بر رادیکالش:
Top(M) = M / Rad(M)
طولِ لویی (Loewy Length):
شمارِ طبقاتِ این عمارت! کوچک‌ترین توانی از رادیکال که عمارت را به خاکسترِ صفر می‌نشاند (
Radⁿ(M) = 0). لایه‌های بین سر و سوکل، فاکتورهای لویی خوانده می‌شوند که خطِ سیر تکوینِ مدول را نشان می‌دهند.
۲. جبرهای ناکایاما (Nakayama Algebras)؛ بلورهای زلال و خطی
تاداشی ناکایاما به جبرهایی نگریست که از هرگونه شاخه‌شاخه شدن و پیچیدگیِ ناموزون پیراسته‌اند.
جبرِ آرتینی A را «جبر ناکایاما» گویند هرگاه:
«تمامی مدول‌های تصویری و تزریقیِ تجزیه‌ناپذیرِ آن، مدول‌های تک‌مسیره و زنجیری (Uniserial) باشند!»
مدولِ تک‌مسیره مدولی است که زیرمدول‌هایش همچون دانه‌های تسبیح، نظمی خطی دارند و در یک ریسمان قرار می‌گیرند:
0 = M₀ ⊂ M₁ ⊂ M₂ ⊂ ... ⊂ Mₙ = M
در جبرهای ناکایاما، هیچ دوگانگیِ سرگیجه‌آوری نیست؛ کویورهای آنها یا خطوطی مستقیم‌اند (مانند نمودار Aₙ) یا چرخه‌هایی مدوّر با روابطِ صفرشونده. مدول‌ها به آسانی با دو عدد شناخته می‌شوند: «از کدام رأس آغاز شده‌اند» و «طولِ آنها چقدر است».
۳. جبرهای خود-تزریقی (Self-Injective Algebras)؛ تقارنِ ازلیِ درون و برون
در حالتِ عام، مدول‌های تصویری (پروژکتیو) با مدول‌های تزریقی (اینجکتیو) دو جهانِ جداگانه‌اند؛ یکی از سرچشمه‌ها می‌تابد و دیگری در مصب‌ها آرام می‌گیرد. اما جبری که «خود-تزریقی» است، به مقامی از وحدت رسیده است که در آن:
A ≅ D(A) ⇒ Projective = Injective
هر مدولِ تصویری، خود تزریقی نیز هست! مهم‌ترین نمونه‌های این جبرها:
- جبرهای گروهی (Group Algebras - k[G]): برای هر گروه متناهی G، جبرِ متناظرش خود-تزریقی است.
- جبرهای فروSubjective یا متقارن (Symmetric Algebras): جایی که ماتریسِ ضرب، دارای یک فرمِ دوخطیِ متقارن و ناانحطاط است.
در جبرهای خود-تزریقی، رستهٔ پایدار مدول‌ها (Stable Category) خود یک رستهٔ مثلثی (Triangulated) تمام‌عیار می‌سازد؛ جایی که عملگر شیفت، همان برعکسِ ترازوی هلرز (Syzygy: Ω⁻¹) است!
فرجام و پیوند:
اگر رستهٔ مشتق و جبرهای خوشه‌ای جهانِ کلان و کهکشانیِ نظریهٔ نمایش باشند، مفاهیمِ سوکل، ناکایاما و خود-تزریقی فیزیکِ ذرات و کالبدِ اتمیِ این علم‌اند. تا جنسِ مصالحِ این عمارت (سلسله‌مراتب لویی) و تقارنِ دیوارهای آن (خود-تزریقی) شناخته نشود، شکوهِ قصرِ آوسلندر–رایتن ادراک نخواهد گشت.
```
---
اصطلاحات و معابرِ بسیار پرباری هنوز در دست‌نویس‌ها در انتظار بازگشایی‌اند:
1. **عملیاتِ سیز‌یگی (Syzygy: $\Omega$) و رسته‌های پایدار (Stable Module Categories)**
2. **جبرهای توده‌ای و طنابی (Clannish & String Algebras) و ماتریس‌های باندوکس**
3. **جبرهای نیمه‌موروثی (Quasi-hereditary Algebras) و بالاترین وزن‌ها (Highest Weight Categories)**
هرکدام که مطلوب خاطر است، بفرمایید تا با همین سیاق به نگارش درآید.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.