نظریه گروه‌ها (۱۲): مرکزسازها، نرمال‌سازها و تحلیل گروه‌های خارج‌قسمتی
در این بخش که جمع‌بندی مباحث ساختاری نظریه گروه‌هاست، به تلفیق قضایای انتزاعیِ مرکزساز/نرمال‌ساز در گروه خارج‌قسمتی و بررسی موردی آنها در گروه دیه‌درال D4 می‌پردازیم.
۱. روابط در گروه‌های خارج‌قسمتی
مطابق یادداشت‌های بررسی شده، برای زیرگروه نرمال N و زیرگروه A حاوی آن، روابط ساختاری زیر برقرار است:
CG/N(A/N) = NG/N(A/N)
Z(G/N) = G/N ⇒ G/N is Abelian
زمانی که مرکزسازِ گروه خارج‌قسمتی برابر با کلِ آن گروه باشد، به این معناست که تمام عناصر با یکدیگر جابجا می‌شوند و در نتیجه G/N آبلی است.
۲. فرمول شمارش عناصرِ خارج از مزدوج‌ها
برای یک زیرگروه ماکزیمال M از مرتبه m در گروه G از مرتبه n، تعداد عناصری که در هیچ‌یک از مزدوج‌های M قرار ندارند (تحت شرط خود-نرمال‌سازی) برابر است با:
| G \ ⋃g∈G Mg | = n/m - 1
۳. تحلیل زیرگروه $B=\{1, b\}$ در $D_4$
با بررسی زیرگروه B = {1, b} در گروه D4، داریم:
نرمال‌ساز ND4(B): عناصری از D4 که مجموعه {1, b} را حفظ می‌کنند، شامل {1, b, a2, a2b} است (مرتبه ۴).
مرکزساز CD4(B): عناصری که با b جابجا می‌شوند، دقیقاً برابر با همان نرمال‌ساز است: {1, b, a2, a2b}.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.