ریاضیات

و نتایجِ استخراج‌شده از تصاویر

قضیهٔ مرکزی: کنشِ گروه G روی Ω اولیه است اگر و تنها اگر تثبیت‌کنندهٔ نقطه، یعنی Gα، زیرگروهی ماکسیمال در G باشد.

احکامِ جهتِ اول

• اگر زیرگروهی میانی H با Gα وجود داشته باشد، آنگاه مدارِ α تحت H یعنی Γ=αH یک بلاکِ نابدیهی است.


• اندازهٔ این بلاک برابر است با |Γ|=[H:Gα].


• اگر Γg∩Γ≠∅، آنگاه ناچار g∈H و در نتیجه Γg=Γ.


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


• بنابراین از اولیه بودن، ماکسیمال بودنِ Gα نتیجه می‌شود.

احکامِ جهتِ دوم

• اگر کنش اولیه نباشد، بلاکی حقیقی X⊂Ω با |X|>1 وجود دارد.


• برای این بلاک، زیرگروهِ تثبیت‌کنندهٔ آن H={g∈G | Xg=X} تعریف می‌شود.


• از α∈X و تعریف بلاک، داریم Gα≤H.


• همچنین |X|=[H:Gα]، پس Gα.


• اگر H=G باشد، آنگاه X=Ω و این با حقیقی بودن بلاک ناسازگار است.


• پس Gα و این با ماکسیمال بودنِ Gα تناقض دارد.


• نتیجه: کنش G روی Ω اولیه است.

نتیجهٔ تکمیلی

• اگر برای هر β∈Ω داشته باشیم Gβ≤H، آنگاه این وضعیت به نرمال بودنِ H می‌انجامد: H⊴G.


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

خلاصهٔ یک‌خطی: «ابتدایی بودنِ کنش» دقیقاً با «ماکسیمال بودنِ تثبیت‌کنندهٔ نقطه» هم‌ارز است، و بلاک‌ها پلی هستند میان این دو توصیف.

'''