ریاضیات

جبرهای ناکایاما (Nakayama Algebras)؛ تعاریف و قضایای ساختاری

جبرهای ناکایاما یکی از زیباترین و خوش‌رفتارترین رده‌های جبرهای آرتینی در نظریهٔ نمایش هستند که ساختار مدولی آن‌ها کاملاً شفاف و خطی تحلیل می‌شود.

قضیه ۱ (تک‌خطی بودن مدول‌های ناکایاما)

اگر Λ یک جبر ناکایاما باشد، آنگاه:

• هر مدول تجزیه‌ناپذیر روی Λ، یک مدول یگانی (Uniserial) است؛ به این معنا که تنها یک سری ترکیبی دارد و مشبکهٔ زیرمدول‌های آن خطی است.
• هر مدول روی Λ به صورت جمع مستقیم از مدول‌های یگانی تجزیه می‌شود:

  
  

  M ≅ U₁ ⊕ U₂ ⊕ ⋯ ⊕ Uₖ

• هر زیرمدول و هر مدول خارج‌قسمتی از یک مدول یگانی، خود دوباره یگانی است.

قضیه ۲ (معیار سری کوپیسک - Kupisch Series)

برای یک جبر ناکایامای همبند، مدول‌های تصویری ساده P₁, P₂, ..., Pₙ را می‌توان چنان مرتب کرد که طول لوری (طول سری ترکیبی) آن‌ها با بردار زیر مشخص شود:

c = (c₁, c₂, ..., cₙ)   به طوری که   c_{i+1} ≥ cᵢ - 1

این بردار که سری کوپیسک نامیده می‌شود، هندسهٔ نمایش‌های جبر و طول هر مدول را به شکلی دقیق کنترل می‌کند.