در این منزل، به سراغِ یکی از شکوهمندترین قله‌های ریاضیات در سدهٔ بیستم می‌رویم؛ جایی که جبر، هندسه و نظریهٔ گروه‌ها به یک نقطه هم‌گرا می‌شوند: **«قضیهٔ پیتر گابریل (Gabriel's Theorem) و نمودارهای دینکین (ADE)»**.
در این پست تبیین می‌کنیم که چرا جهان جبرهای مسیر تنها در آیینه‌ی چند شکل هندسیِ بسیار متقارن، «متناهی‌نوع» و مهارپذیر می‌شود. متن زیر با همان شیوایی، بدون کدهای ناخوانای لاتک و کاملاً منطبق با ساختار ادیتور بلاگفا تدوین شده است:
---
### پست چهاردهم: قضیهٔ گابریل؛ بازتاب کهکشان در آیینه‌ی نمودارهای دینکین
```html
قضیه‌یِ گابریل: بازتابِ کهکشان در آیینه‌یِ نمودارهایِ دینکین
در ساحتِ جبرهایِ مسیر و نظریه‌یِ کویورها، پرسشی بنیادین همواره فکرتِ دانایان را به خود می‌خواند:
کدامین گراف‌ها و مسیرها تابِ آن را دارند که مدول‌هایِ تجزیه‌ناپذیرشان معدود و مهارپذیر (متناهی‌نوع) بماند، و کدامین در ورطه‌یِ بی‌نهایت‌هایِ سرکش و رام‌نشدنی فرو می‌غلتند؟
در سال ۱۹۷۲ میلادی، پیتر گابریل با قضیه‌ای شگفت، پرده از این راز برداشت و پیوندی پنهان میانِ مدول‌ها و تقارن‌هایِ باستانیِ ریاضیات آشکار ساخت.
۱. پیامِ قضیه‌یِ گابریل به زبانِ ساده
اگر گرافی جهت‌دار (کویور) بدونِ طوقه و چرخه‌هایِ بسته داشته باشیم و جبرِ مسیرِ آن را برپا سازیم:
این جبر تنها و تنها زمانی از «نوع متناهی» است (یعنی شمارِ مدول‌های تجزیه‌ناپذیرش متناهی است) که گرافِ زیرینِ آن (صرف‌نظر از جهتِ پیکان‌ها) دقیقاً یکی از نمودارهایِ مشهورِ دینکین (Dinkin Diagrams) از رده‌های ADE باشد!
جهتِ تیرها و پیکان‌ها هرچه باشد، تقدیرِ متناهی بودن تغییر نمی‌کند؛ تنها شکلِ پیوندِ استخوان‌بندی است که متناهی بودنِ عالمِ مدول‌ها را رقم می‌زند.
۲. پنج خانواده‌یِ جاودان: رده‌های ADE
این اشکال هندسی که پیش‌تر در رده‌بندیِ جبرهای لی و اشکال بلورین در فیزیک کوانتوم شناخته شده بودند، این‌بار در بستر نمایشِ جبر قد علم کردند:
خانواده‌ی An: زنجیره‌ای راست و مستقیم از رأس‌ها که مانند دانه‌های تسبیح به صف کشیده‌اند:
o — o — o — ... — o
خانواده‌ی Dn: شاخه‌ای که در یکی از کرانه‌هایِ خود به دو شاخه منشعب می‌شود (شبیه به چنگال سه‌شاخه):
o — o — ... — o < (دو شاخه در انتها)
استثناهایِ سه‌گانه‌یِ E6, E7, E8: شاخه‌هایی یگانه با تقارن‌های استثنایی که گویی نگین‌های نایاب این عالم‌اند و ریشه‌های ماده را در جهان فرمول‌بندی می‌کنند.
۳. رازِ بُعدها و ریشه‌های مثبت
اعجاز دومِ قضیه‌ی گابریل در تعیین هویتِ مدول‌هاست:
میانِ «رده‌های یکریختی مدول‌های تجزیه‌ناپذیر» و «بردارهای ریشه‌ی مثبت» در ساختار ریشه‌های سیستم دینکین، یک تناظر یک‌به‌یک و کامل برقرار است!
یعنی اگر بردارِ ابعادِ یک مدول را بنویسید (چند بعد در رأس اول، چند بعد در رأس دوم...)، دقیقاً یکی از بردارهایِ مجازِ آن سیستمِ ریشه‌ای پدیدار می‌شود؛ نه عنصری کم و نه عنصری بیش.
دیدارگاه معرفتی:
چگونه است که ساختاری برآمده از مطالعه‌ی گروه‌های تقارن پیوسته (لی) و هندسه‌ی چندوجهی‌های افلاطونی، ناگهان در قلبِ ترکیب مدول‌ها و جبرهای ناپیوسته جلوه‌گر می‌شود؟
این تجلیِ یگانگیِ حقیقت است؛ نمودارهای دینکین استخوان‌بندیِ تقارن در گیتی هستند، و قضیه‌ی گابریل نشان می‌دهد که هر جا سخن از تناهی، نظم و اعتدال در میان است، دستِ تقدیر بر همان الفبایِ ازلی (ADE) خط می‌کشد.
```
---
در ادامه، می‌توانیم به بررسی **«عملگر جادویی ترانهادهٔ ناکایاما و ترجمه (DTr)»** بپردازیم تا پیوند میان دو سرِ دنباله‌های آوسلندر–ریتن کاملاً شفاف شود؛ یا سراغ مفاهیم دیگری از جزوه برویم. نظر شما چیست؟
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.