ریاضیات

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

۱. هندسه‌یِ جایگشت‌ها: گروه‌هایِ متقارن (S_n) و متناوب (A_n)

اگر معادله‌ای با n ریشه‌یِ متمایز داشته باشیم، هرگونه تغییرِ مکان و جابه‌جاییِ میانِ این ریشه‌ها که روابطِ جبریِ میدانِ پایه را مخدوش نسازد، یک جایگشت نامیده می‌شود. مجموعه‌یِ کلِ این جایگشت‌ها، گروه متقارن (Symmetric Group) را با نمادِ Sn تشکیل می‌دهد که مرتبه‌یِ آن برابر با n! است.

هر جایگشت را می‌توان به حاصل‌ضربِ تعدادی «تعدیلِ دوتایی» (Transposition) تجزیه کرد. اگر تعدادِ این جابه‌جایی‌ها زوج باشد، جایگشت را زوج و اگر فرد باشد، آن را فرد می‌نامند. با تعریفِ هم‌ریختیِ علامت، هسته‌یِ این نگاشت زیرگروهی حیاتی را به نام گروه متناوب (Alternating Group) پدید می‌آورد:

۲. حل‌پذیریِ رادیکالی و سرشتِ گروه‌هایِ حل‌پذیر (Solvable Groups)

حل‌شدنِ یک معادله به وسیله‌یِ رادیکال‌ها از منظرِ نظریه‌یِ میدان‌ها به چه معناست؟ به معنایِ ساختنِ برجی متوالی از گسترش‌هایِ رادیکالی است که در هر پله، تنها یک ریشه‌یِ n-اُم به میدان افزوده می‌شود:

شاهکارِ بی‌بدیلِ گالوا در ترجمه‌یِ این برجِ میدانی به زبانِ گروه‌ها رخ نمود: یک معادله با رادیکال‌ها حل‌پذیر است اگر و تنها اگر گروهِ گالوایِ آن، یک «گروه حل‌پذیر» باشد.

۳. مرزِ رهایی و پرتگاه: سادگیِ شگفت‌انگیزِ گروهِ A₅

تا درجه‌یِ چهارم، همه‌چیز در آرامشِ تقارن‌هایِ رام و حل‌پذیر پیش می‌رود:

• برایِ درجه ۳: گروهِ S3 حل‌پذیر است (زیرا A3 ≅ Z3 آبلی است).
• برایِ درجه ۴: گروهِ S4 حل‌پذیر است (به واسطه‌یِ زیرگروهِ کلاینِ V4).

اما به محضِ ورود به درجه‌یِ پنج، ساختارِ طبیعت دستخوشِ جهشی کیفی می‌گردد. گروهِ A5 که دارایِ ۶۰ عضو است، ویژگیِ سرنوشت‌سازی دارد:

از آنجا که A5 ساده است و در عینِ حال آبلی نیست (غیرجابه‌جایی است)، شکستنِ آن به خارج‌قسمت‌هایِ آبلی محالِ ذاتی است. بنابراین زنجیره‌یِ حل‌پذیری در پایِ صخره‌یِ A5 متوقف می‌شود. چون A5 حل‌پذیر نیست، لاجرم گروهِ کلان‌تر یعنی S5 (با ۱۲۰ عضو) نیز هرگز حل‌پذیر نخواهد بود.

۴. نمونه‌یِ عینی: تجلیِ گروهِ S₅ در یک معادله‌یِ حقیقی

آیا این تنها یک انتزاعِ نظری است یا معادلاتی وجود دارند که دقیقاً به این سرنوشت گرفتار شوند؟ معادله‌یِ معروفِ زیر را بر روی میدانِ اعدادِ گویا (Q) بررسی کنید:

اثباتِ عدمِ حل‌پذیریِ این معادله شاهکاری از پیوندِ آنالیز و جبر است:

1. تحویل‌ناپذیری: با معیارِ آیزنشتاین به ازایِ عددِ اولِ p=5، چندجمله‌ای روی Q تحویل‌ناپذیر است؛ بنابراین گروهِ گالوا ترایا (Transitive) بوده و مرتبه‌یِ آن بر ۵ بخش‌پذیر است (دارایِ دَوَرانِ طولِ ۵ است).
2. شمارشِ ریشه‌ها در آنالیز: با استفاده از قضیه‌یِ رول و مشتق‌گیری، معلوم می‌شود تابع دقیقاً دارای ۳ ریشه‌یِ حقیقی و لاجرم ۲ ریشه‌یِ مختلطِ مزدوج است.
3. زایشِ جابه‌جاییِ دوتایی: خودریختیِ مزدوجِ مختلط، تنها دو ریشه‌یِ غیرحقیقی را با یکدیگر عوض می‌کند و سه ریشه‌یِ حقیقی را ثابت نگه می‌دارد؛ یعنی گروهِ گالوا شاملِ یک «تعدیلِ دوتایی» (Transposition) است.
4. حکمِ قطعی: هر زیرگروهی از S5 که هم شاملِ دَوَرانِ طولِ ۵ و هم شاملِ تعدیلِ دوتایی باشد، کلِ گروهِ S₅ را تولید می‌کند!

نتیجه آن‌که گروهِ گالوایِ این معادله دقیقاً برابر با S5 است؛ و چون S5 حل‌پذیر نیست، این معادله هیچ فرمولِ رادیکالیِ بسته‌ای ندارد!