ریاضیات

کلاس‌های مزدوج در S_n و ایدهٔ «هم‌نوع بودن» جایگشت‌ها

در این بخش از دست‌نوشته، بحث روی این نکته متمرکز است که در گروه متقارن

S_n، دو جایگشت وقتی در یک کلاس مزدوج قرار می‌گیرند که از نظر ساختار دوری یکسان باشند.

به بیان دیگر، نوعِ تجزیهٔ آن‌ها به دورهای جدا از هم، نقش اصلی را بازی می‌کند.

متن دست‌نویس تأکید دارد که مزدوج‌سازی با

gag^-1

شکل کلیِ پرش از یک عضو به عضو دیگرِ همان کلاس را می‌دهد. در نتیجه، چیزی که حفظ می‌شود «ساختار دوری» است، نه خودِ برچسب‌های اعداد.

در یادداشت، این ایده به‌صورت مرحله‌ای توضیح داده شده که اگر جایگشتی به شکل

(a₁ a₂ ...)(b₁ b₂ ...)

نوشته شود، هر مزدوجِ آن نیز همان طولِ دورها را خواهد داشت.

تابع علامت و هستهٔ آن: A_n

یکی از تصاویر جدید دوباره به تابع علامت

sgn

برمی‌گردد. ایده این است که هر جایگشت یا زوج است یا فرد، و تابع علامت این دو حالت را از هم جدا می‌کند.

دست‌نوشته یادآوری می‌کند که هستهٔ این همریختی، دقیقاً گروه متناوب است:

بنابراین، A_n از همهٔ جایگشت‌های زوج تشکیل می‌شود و شاخص آن در

S_n برابر 2 است.

این نتیجه در متن به‌عنوان یکی از پایه‌ای‌ترین ابزارها برای تشخیص زوج/فرد بودنِ جایگشت‌ها آمده است.

افرازهای عدد و شمارش کلاس‌های مزدوج در A_n

در یکی از صفحات، رابطه‌ای میان «افراز عدد» و «تعداد کلاس‌های مزدوج» دیده می‌شود.

ایدهٔ کلی این است که کلاس‌های مزدوج در گروه متقارن با افرازِ طولِ دورها مشخص می‌شوند.

به‌صورت خلاصه:

اگر یک جایگشت به صورت حاصل‌ضربِ دورهایی با طول‌های

m₁, m₂, ...

نوشته شود، آنگاه دادهٔ اصلیِ آن یک افراز از عدد

n

است.

دست‌نوشته سپس توضیح می‌دهد که در

A_n

همیشه همهٔ کلاس‌های مزدوجِ

S_n

یکسان نمی‌مانند و گاهی یک کلاس در A_n به دو کلاس می‌شکند.

این شکستن، وابسته به نوعِ افراز و رفتارِ مزدوج‌سازی درون گروه متناوب است.

در تصویر چند بخش ریز و کم‌نور است و من فقط همین صورتِ روشن و مطمئن را بازنویسی می‌کنم.

گروه A₄ و فهرست اعضای آن

یکی از تصاویر، به‌صورت مستقیم فهرست اعضای

A₄

را بررسی می‌کند. در این فهرست، چهار جابه‌جاییِ سه‌تایی و سه جفت‌تبدیلِ مزدوج‌گونهٔ زوج دیده می‌شود.

البته در متنِ دست‌نویس، فهرست به‌صورت دسته‌بندی‌شده و در چند سطر آمده است. مضمون اصلی این است که

A₄

دوازده عضو دارد و این اعضا یا هویت‌اند، یا حاصل‌ضرب دو ترانهشت، یا دورهای سه‌تایی.

سپس با همین فهرست، بحثی دربارهٔ کلاس‌های مزدوجِ درون

A₄

و تفاوت آن با کلاس‌های S₄ شروع می‌شود.

قضیهٔ سادگی A₅ و نتیجهٔ نهاییِ صفحه

آخرین بخش از تصاویر جدید به یکی از مشهورترین نتایج جبر مجرد می‌رسد:

گروه متناوب A₅ ساده است.

در متن، این نتیجه در امتداد بحث کلاس‌های مزدوج و شمارش افرازها آمده است.

مضمون استدلال این است که اگر

N

زیرگروه نرمالِ ناتهی از

A₅

باشد، آنگاه باید با یک کلاسِ مزدوجِ غیر بدیهی سازگار شود؛ اما بررسیِ اندازه و نوع عناصر نشان می‌دهد چنین زیرگروهی نمی‌تواند وجود داشته باشد مگر این‌که کل گروه را بگیرد.

در پایانِ صفحه، این نتیجه به‌عنوان نقطهٔ اوجِ فصل ظاهر می‌شود:

از «زوج/فرد بودن»، «کلاس‌های مزدوج»، و «افراز طولِ دورها» می‌رسیم به یک نمونهٔ بنیادی از گروه ساده.