ریاضیات

دنباله‌های تقریباً تجزیه‌پذیر و تانگرهای ساده در جبرهای آرتین

نقش پروژکتیوها و دنباله‌های تقریباً تجزیه‌پذیر (Almost Split Sequences) در رستهٔ A آشکار می‌سازد که این دنباله‌ها دقیقاً متناظر با تانگرهای ساده در F هستند که تصویر مدول‌های پروژکتیو روی آن‌ها صفر می‌شود.

۱. خاصیت دنباله‌های دقیق کوتاه

یک دنبالهٔ دقیق کوتاه در A متعلق به این رده است اگر جمع مستقیم از یک دنبالهٔ دقیق تجزیه‌پذیر و حداکثر تعداد متناهی دنبالهٔ تقریباً تجزیه‌پذیر (almost split) باشد:

𝜙 = Ext¹_A

۲. قضایای ساختاری نوع نمایش متناهی

عبارت ادعایی این است که هر تانگر با نمایش متناهی دارای ساپورت متناهی خواهد بود. در حالت اول:

یک جبر آرتین دارای نوع نمایش متناهی (Finite Representation Type) است اگر و تنها اگر رستهٔ مدول‌های آن دارای طول متناهی باشد؛ به‌طوری‌که رسته از جمع مستقیم یکتا از هر کلاس مدول تجزیه‌ناپذیر تشکیل شده باشد.

در حالت دوم، اگر F یک تانگر از شبکه‌های تجزیه‌ناپذیر روی A باشد، رفتار تانگر به‌وسیلهٔ دنبالهٔ دقیق کوتاه از شبکه‌ها به‌طور کامل توصیف می‌شود.