قضیه ساختاری جابه‌جاگرها: پیوند هستهٔ مرکزی با نظم دوری
در پی‌گروه‌های متناهی، فاصلهٔ میان «دوری بودن» و «غیردوری بودن» در آینهٔ گروه خارج‌قسمتی بر جابه‌جاگر آشکار می‌شود. اگر بخش آبلی‌شدهٔ یک پی‌گروه تنها یک مولد داشته باشد، تمام پیچیدگی‌های درون‌گروهی فرومی‌ریزند و کل گروه ناگزیر دوری خواهد شد.
۱. موضوع (حکم ۳.۹ دست‌نوشته):
اثبات این‌که برای هر پی‌گروه متناهی، اگر خارج‌قسمت گروه بر زیرگروه جابه‌جاگر آن دوری باشد، آن‌گاه خودِ گروه نیز یک گروه دوری است.
۲. فرض‌ها و روش برهان استقرایی:
برهان بر پایه استقراء روی توان مرتبه پی‌گروه بنا می‌شود. با توجه به غیربدیهی بودن مرکز در پی‌گروه‌ها، زیرگروهی نرمال از مرتبه پی درون مرکز برگزیده شده و هم‌ریختی کانونیک پوشا بر خارج‌قسمت اعمال می‌گردد.
۳. گام‌های استدلال و برآیندها:
الف) نگاشت پوشا جابه‌جاگر گروه اصلی را بر جابه‌جاگر خارج‌قسمت می‌نشاند، پس خارج‌قسمت جدید نیز ویژگی آبلیِ دوری را حفظ می‌کند.
ب) بنابر فرض استقراء، گروه خارج‌قسمت دوری است و توسط تصویر عنصری از گروه تولید می‌شود.
ج) ضرب زیرگروه تولیدشده توسط آن عنصر در زیرگروه مرکزی، کل گروه را پوشش می‌دهد؛ و از آن‌جا که زیرگروه مرکزی با همه عناصر تعویض‌پذیر است، گروه نهایی آبلی و در نهایت دوری از آب درمی‌آید.
۴. شهود مفهومی (جریان نظم از مرکز به پیرامون):
این قضیه نشان می‌دهد که در اقلیم پی‌گروه‌ها، آشفتگیِ ناشی از نابه‌جایی نمی‌تواند در غیابِ تنوع مولدهای آبلی پنهان شود؛ اگر سایهٔ گروه (آبلی‌شدهٔ آن) خطی باشد، قامت کل گروه نیز خطی و دوری است.
نتیجه کلیدی: هیچ پی‌گروه غیردوری وجود ندارد که خارج‌قسمت آبلی‌شدهٔ آن تک‌مولدی باشد؛ هر پی‌گروه غیردوری لااقل در ساحت آبلی به دو مولد مستقل تجزیه می‌شود.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.