ریاضیات

۱. گروه متناهی و میدان

در چارچوب معمول این مبحث، G یک گروه متناهی و k یک میدان است. هر جا از مشخصهٔ میدان سخن می‌گوییم، آن را با char(k) نشان می‌دهیم.

۲. جبر گروهی kG

جبر گروهی kG

فضای برداری‌ای روی k است که اعضای G پایهٔ آن را می‌سازند؛ ضربِ عناصر گروه نیز به‌صورت خطی به این فضا گسترش می‌یابد. چون G متناهی است، kG جبری متناهی‌بُعد روی k خواهد بود.

۳. نمایش گروه و مدول جبر گروهی

نمایش خطی گروه G روی یک فضای برداری، یعنی نسبت‌دادنِ تبدیل‌های خطیِ وارون‌پذیر به اعضای گروه، به‌گونه‌ای که قانون ضرب گروه حفظ شود. چنین نمایشی را می‌توان به‌صورت یک مدول روی

kG

نیز دید. از این رو، مطالعهٔ مدول‌های kG همان مطالعهٔ نمایش‌های خطیِ G است.

۴. مدول تجزیه‌ناپذیر و نوع نمایش متناهی

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

kG

نوع نمایش متناهی دارد، هرگاه تا یکریختی، فقط تعداد متناهی مدول تجزیه‌ناپذیرِ متناهی‌تولیدشده داشته باشد.

ind(kG) دارای تعداد متناهی عضو است

۵. دو حالتِ مربوط به مشخصه

اگر مشخصهٔ k عدد اول p باشد و p مقسوم‌علیه مرتبهٔ G نباشد، قضیهٔ ماشکه نیمه‌سادگیِ

kG

را نتیجه می‌دهد. اگر p مرتبهٔ G را عاد کند، در حالتِ مشخصهٔ مثبت با وضعیتِ پیمانه‌ای روبه‌رو هستیم؛ ساختار نمایش‌ها در این حالت می‌تواند پیچیده‌تر باشد.

این دو حالت، چارچوب عمومیِ بحث را روشن می‌کنند؛ اما به‌تنهایی نشان نمی‌دهند که همهٔ این فرض‌ها در همین برگهٔ دست‌نویس آمده‌اند.

یادداشت دقت:

شرط مربوط به زیرگروه‌های سیلو و هر معیار لازم‌وکافی برای متناهی‌بودن نوع نمایش، در این محور به‌عنوان محتوای دست‌نویس نقل نمی‌شود؛ برای نسبت‌دادن آن‌ها به جزوه باید صفحهٔ مربوط بررسی شود.