ریاضیات

افرازهای عدد و شمارش کلاس‌های مزدوج (مبنای طبقه‌بندی)

ارتباط بین گروه‌های متقارن و نظریه اعداد، از طریق «افرازهای عدد» (Partitions) برقرار می‌شود. در دست‌نوشته اشاره شده است که هر کلاس مزدوج در

S_n

دقیقاً متناظر با یک افراز از عدد

n

است.

افرازِ عدد $n$ به معنی نوشتن $n$ به صورت مجموعی از اعداد صحیح مثبت است. اگر یک جایگشت را به صورت حاصل‌ضرب دورهای جدا از هم بنویسیم، طول این دورها یک افراز از $n$ را می‌سازند.

نکتهٔ مهم دست‌نوشته این است که در گروه متناوب

A_n، این تناظر کمی پیچیده‌تر می‌شود. اگرچه هر کلاسِ مزدوجِ

A_n

هنوز با یک افراز (فقط از نوع زوج) مرتبط است، اما برخی کلاس‌های مزدوج در

S_n

وقتی به A_n منتقل می‌شوند، به دو کلاس مجزا شکافته می‌شوند. این شکافت وابسته به خواصِ مرکزی‌سازِ عناصر در A_n است.

تحلیل اعضا و زیرگروه نرمال V₄ در گروه A₄

گروه متناوب

A₄

با مرتبه ۱۲، کوچک‌ترین گروه متناوبی است که ساده نیست. دست‌نوشته به بررسی اعضای آن می‌پردازد:

در مجموع

1 + 3 + 8 = 12

عضو.

سپس بحث به زیرگروه مهم

V

(زیرگروه کلاین) کشیده می‌شود، که در متن به‌عنوان زیرگروه نرمالِ A₄ مشخص شده است. این زیرگروه از همانی و سه عضو از نوع

(ab)(cd)

تشکیل شده است:

V

به دلیل این‌که اجتماعِ کلاس‌های مزدوجِ عناصرش است و در

A₄

شاخص ۳ دارد، یک زیرگروه نرمال است و نشان می‌دهد که

A₄

ساده نیست. این نقطهٔ مقابلِ سادگی

A₅

است که در مباحث بعدی باید بررسی شود.