پلههایِ رهایی و دیوارِ آشوب: ریاضیاتِ زنجیرههایِ نرمال
تحلیلی بر ساختارِ گروههایِ گالوا و رازِ «حلپذیری»
یارانِ علم و معرفت؛ پیشتر از «میدانهایِ ثابت» سخن گفتیم. اما آیا هر معادله، به سادگیِ x4 - 2 به رادیکالها گشوده میشود؟ پاسخ در چیدمانِ متقارنِ گروههاست. ما برایِ درکِ این راز، باید از «زنجیرههایِ نرمال» (Normal Series) مدد بجوییم؛ نردبانی که یا ما را به سرمنزلِ مقصود (عددِ یک) میرساند، یا در میانهیِ راه در بنبستِ «آشوب» متوقف میسازد.
یک: نردبانِ گالوا (زنجیرهیِ نرمال)
حلکردنِ معادله، یعنی یافتنِ زنجیرهای از زیرگروههایِ تودرتو:
G = H0 ▹ H1 ▹ H2 ▹ ... ▹ Hk = {e}
در این زنجیره، هر Hi+1 باید نسبت به Hi نرمال باشد. شرطِ حلپذیری (Solvability) آن است که خارجقسمتهایِ این زنجیره یعنی Hi / Hi+1، همگی گروههایی «آبلی» (Abelian) باشند. به زبانِ ساده: اگر در هر مرحله، «تقارنِ باقیمانده» رفتاریِ منظم و جابجاییپذیر داشته باشد، معادله به رادیکالها تن میدهد.
دو: تفاوتِ بنیادین (درجه ۴ در برابر درجه ۵)
در معادلهیِ درجه ۴ (گروه D4)، این نردبان بینقص است. ما میتوانیم با تقسیمهایِ متوالی، به زیرگروههایی برسیم که خارجقسمتِ آنها چیزی جز C2 (گروهِ دوریِ مرتبه ۲) نیست. این یعنی عملیاتِ رادیکالی (جذر گرفتن).
اما در درجه ۵ (گروه S5)، فاجعه رخ میدهد. زنجیره به A5 میرسد که یک «گروه ساده» (Simple Group) است. در زبانِ ریاضی:
A5 دارای هیچ زیرگروهِ نرمالِ سرهای نیست.
یعنی زنجیره نمیتواند ادامه یابد و به {e} برسد.
چون A5 «تجزیهناپذیر» است، نردبانِ ما در همین پله شکسته میشود. اینجاست که گالوا، با تیزبینیِ شهودی، ثابت کرد که چنین معادلهای، «فرمانِ رادیکالها» را نمیپذیرد میدهد.
دو: تفاوتِ بنیادین (درجه ۴ در برابر درجه ۵)
در معادلهیِ درجه ۴ (گروه D4)، این نردبان بینقص است. ما میتوانیم با تقسیمهایِ متوالی، به زیرگروههایی برسیم که خارجقسمتِ آنها چیزی جز C2 (گروهِ دوریِ مرتبه ۲) نیست. این یعنی عملیاتِ رادیکالی (جذر گرفتن).
اما در درجه ۵ (گروه S5)، فاجعه رخ میدهد. زنجیره به A5 میرسد که یک «گروه ساده» (Simple Group) است. در زبانِ ریاضی:
A5 دارای هیچ زیرگروهِ نرمالِ سرهای نیست.
یعنی زنجیره نمیتواند ادامه یابد و به {e} برسد.
چون A5 «تجزیهناپذیر» است، نردبانِ ما در همین پله شکسته میشود. اینجاست که گالوا، با تیزبینیِ شهودی، ثابت کرد که چنین معادلهای، «فرمانِ رادیکالها» را نمیپذیرد.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.