حل تفصیلی مسئله سوم: تبعیض‌گر، میزان‌الحقِ تقارن در درجاتِ سوم
صورت مسئله: اثباتِ اینکه گروهِ گالوای یک چندجمله‌ایِ تحویل‌ناپذیرِ درجه ۳، تنها تابعِ مربع‌کامل بودنِ تبعیض‌گر (Discriminant) در میدانِ پایه است.
۱. ریشه‌ها و طلسمِ تفاضل‌ها
در هر معادلهٔ درجه سوم، تفاضلِ ریشه‌ها (تفاضلِ زوج‌های سه‌گانه) را در هم ضرب می‌کنیم تا به عنصری بنیادین چون δ برسیم. مجذورِ این عنصر همان تبعیض‌گر (Δ) است که هویتِ ریشه‌ها را در دلِ خود نهان دارد. آیا این ریشهٔ تبعیض‌گر، از جنسِ اعدادِ میدانِ گویاست؟ این پرسشی است که سرنوشتِ گروهِ تقارنی را رقم می‌زند.
۲. قانونِ تغییر علامت و دو راهیِ بزرگ
هر خودریختی در گروه گالوا، ریشه‌ها را جابه‌جا می‌کند. جایگشت‌های زوج (مانند چرخش‌های دوری) این عنصر δ را دست‌نخورده باقی می‌گذارند، اما جایگشت‌های فرد (مانند تعویضِ دو ریشه) موجبِ تغییرِ علامتِ آن می‌شوند. این‌جاست که دوگانگی رخ می‌نماید:
- اگر Δ مربع کامل باشد: ریشهٔ آن (δ) عددی گویاست. پس هیچ خودریختی‌ای حق ندارد علامتِ آن را تغییر دهد؛ نتیجتاً تنها جایگشت‌های زوج مجازند و گروه گالوا به گروه دوریِ مرتبه ۳ (A3) محدود می‌شود.
- اگر Δ مربع کامل نباشد: خودِ δ گنگ است و خودریختی‌هایی وجود دارند که آن را به قرینه‌اش تبدیل کنند. این اجازه، تمامی جایگشت‌های فرد را به میدان فرامی‌خواند و گروه گالوا به تمامیتِ گروه متقارن S3 (مرتبه ۶) گسترش می‌یابد.
۳. سخنِ نهایی
بدین‌سان، تبعیض‌گر نه تنها مقیاسی برای تشخیص ریشه‌های تکراری (که در اینجا مفروض نیست)، بلکه کلیدی است که درِ خزانهٔ تقارنِ معادله را می‌گشاید. اگر معادلهٔ شما درجه سوم است، پیش از هر چیز، به تبعیض‌گر بنگرید؛ چرا که کلِ ساختارِ گالوا در همان مربع بودن یا نبودنِ آن مستتر است.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.