ریاضیات

معیار نوع نمایش متناهی در آینهٔ گروه گروتندیک

یکی از زیباترین قضایای ساختاری جبرهای آرتینی متناهی‌بعد، ایجاد پیوند میان متناهی بودن تعداد نمایش‌های تجزیه‌ناپذیر و خواص تولیدکنندگی عناصر دنباله‌های تقریباً شکافنده در گروه گروتندیک است.

1. ۱. صورت قضیهٔ هم‌ارزی (قضیه ۴.۳ جزوه):
   

   برای یک جبر آرتینی $\Lambda$، گزاره‌های زیر هم‌ارزند:

   • جبر $\Lambda$ از نوع نمایش متناهی است (یعنی $\operatorname{ind}\Lambda$ متناهی است).
   • مجموعهٔ $\{\delta_{[C]}\}_{C \in \operatorname{ind}\Lambda}$ گروه گروتندیک $K_0(\operatorname{mod}\Lambda, 0)$ را تولید می‌کند.
   • مجموعهٔ $\{\delta_{[C]}\}_{C \in \operatorname{ind}\Lambda}$ یک پایه برای گروه گروتندیک است.

2. ۲. نگاشت طبیعی به گروه کلاس‌های ایولر:
   

   اگر نگاشت طبیعی $\phi: K_0(\operatorname{mod}\Lambda, 0) \to K_0(\operatorname{mod}\Lambda)$ را در نظر بگیریم، هستهٔ این نگاشت ($\operatorname{Ker}\phi$) دقیقاً بازتاب‌دهندهٔ روابط ناشی از دنباله‌های شکافنده است.

3. ۳. هم‌ارزی از طریق هستهٔ نگاشت (قضیه ۴.۴ جزوه):
   

   جبر $\Lambda$ از نوع متناهی است اگر و تنها اگر زیرمجموعهٔ عناصر نامتعامد با مدول‌های غیرتصویری، هستهٔ $\operatorname{Ker}\phi$ را تولید کنند یا پایه‌ای برای آن بسازند.

4. ۴. برهان ساختاری و افول در جبرهای نامتناهی:
   

   در جبرهای وحشی یا رام با بعد نامتناهی، به دلیل وجود خانواده‌های پیوسته از مدول‌های تجزیه‌ناپذیر، این عناصر نمی‌توانند کل فضا را پوشش دهند و شکاف همولوژی بی‌پایان باقی می‌ماند.