قضایای شمارشی و شرط هم‌ارزی مرکزساز و نرمال‌ساز
در این بخش به بررسی چهار مسأله کلیدی مطرح شده در یادداشت‌ها می‌پردازیم که ساختار گروه‌های متناهی را از نظر شمارش عناصر خارج از مزدوج‌ها و روابط جابجایی تحلیل می‌کنند.
۱. تعداد عناصر خارج از مزدوج‌های یک زیرگروه (مسأله ۴۲)
فرض کنید G یک گروه متناهی از مرتبه n و H زیرگروهی از آن از مرتبه m باشد. اگر شرط خود-نرمال‌سازی برقرار باشد (یعنی x-1Hx = H ⇒ x ∈ H یا به عبارتی NG(H) = H)، آنگاه:
Number of elements outside all conjugates = n/m - 1
توضیح: تعداد مزدوج‌های متمایز H برابر با شاخص آن یعنی [G : H] = n/m است. از آنجا که تقاطع هر دو مزدوج متمایز تنها شامل عضو همانی است، تعداد عناصر پوشش‌داده‌شده توسط اجتماع مزدوج‌ها محاسبه شده و دقیقاً n/m - 1 عنصر در گروه باقی می‌مانند که در هیچ‌یک از مزدوج‌های H قرار ندارند.
۲. شرط هم‌ارزی مرکزساز و نرمال‌ساز و آبلی بودن (مسأله ۴۵)
یکی از قضایای زیبای مطرح شده در یادداشت‌ها بیان می‌کند:
(∀ A ≤ G : NG(A) = CG(A)) ⇒ G is Abelian
اگر برای هر زیرگروه دلخواه A در گروه متناهی G، نرمال‌ساز و مرکزساز آن برابر باشند، گروه لزوماً آبلی خواهد بود. زیرا برابر بودن نرمال‌ساز و مرکزساز برای زیرگروه‌های دوری تک-عنصری نشان می‌دهد که هیچ عضوی نمی‌تواند اعضای دیگر را به غیر از خودشان مزدوج کند، که این معادل جابجاپذیر بودن تمام اعضا است.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.