توسط علی رضا نقش نیلچی
| شنبه چهارم مهر ۱۴۰۵ | 20:24
قضیهٔ کرول–اشمیت و جایگاه مدول‌های تجزیه‌ناپذیر در کویور AR
چرا مدول‌های تجزیه‌ناپذیر تا این حد اهمیت دارند؟ زیرا با شناخت آنها، تمام رستهٔ مدول‌ها شناخته می‌شود.
قضیهٔ کرول–اشمیت (Krull-Schmidt Theorem):
هر مدول متولّد متناهی M روی یک جبر آرتینی Λ، به شکلی یکتا (تا حد یکریختی و جابه‌جایی جملات) به صورت جمع مستقیم متناهی از مدول‌های تجزیه‌ناپذیر نوشته می‌شود:
M ≅ M1 ⊕ M2 ⊕ ... ⊕ Mk
که در آن هر Mi یک مدول تجزیه‌ناپذیر است.
رستهٔ مدول‌های تجزیه‌ناپذیر: ind(Λ)
زیررستهٔ کاملی از mod-Λ که اشیای آن دقیقاً یک نماینده از هر ردهٔ یکریختی مدول‌های تجزیه‌ناپذیر است، با ind(Λ) نمایش داده می‌شود:
- رئوس کویور آسلندر–رایتن (AR Quiver): در گراف آسلندر–رایتن، هر رأس نمایانگر دقیقاً یک مدول تجزیه‌ناپذیر از ind(Λ) است.
- پیکان‌های کویور: پیکان‌های میان این رئوس، نگاشت‌های تحویل‌ناپذیر (Irreducible Morphisms) میان این مدول‌های تجزیه‌ناپذیر را نشان می‌دهند.
- دنباله‌های تقریباً مساوی (AR-Sequences): هر دنبالهٔ AR با یک مدول تجزیه‌ناپذیر نافرافکن (Non-projective indecomposable) پایان می‌یابد:
0 → τN → E → N → 0
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.