ریاضیات

نظریه گروه‌ها: اجتماع مزدوج‌ها و زیرگروه‌های ماکسیمال

در این بخش به بررسی شرایط وجودی یک عضو خاص خارج از اجتماع مزدوج‌های یک زیرگروه و ویژگی‌های زیرگروه ماکسیمال مرتبط با آن می‌پردازیم.

۱. تعریف عضو خارج از اجتماع

فرض می‌کنیم عضوی مانند u در گروه G وجود دارد که در هیچ‌یک از مزدوج‌های زیرگروه M قرار نمی‌گیرد:

∃ u ∈ G - ⋃ M^g (g ∈ G)

در این صورت، اگر K یک زیرگروه ماکسیمال باشد که u را در بر می‌گیرد، روابط ساختاری جدیدی در گروه ایجاد می‌شود.

۲. شرط اشتراک بدیهی

در تحلیل روابط، فرض بر این است که برای تمام x و y در گروه G، اشتراک مزدوج‌های K و M برابر با زیرگروه بدیهی (واحد) است:

K^x ∩ M^y = 1

این رابطه نشان می‌دهد که مزدوج‌های دو زیرگروه مذکور در هیچ عضو غیربدیهی مشترک نیستند.

۳. روابط شمارشی (کاردینالیتی)

با در نظر گرفتن n به عنوان مرتبه گروه G، و k و m به عنوان مراتب زیرگروه‌های K و M، تعداد اعضای باقی‌مانده در متمم اجتماع مزدوج‌ها به صورت زیر محاسبه می‌شود:

|G - ⋃ K^g| = (n / k) - 1

|G - ⋃ M^g| = (n / m) - 1