حل تفصیلی مسئله چهارم: رمزگشایی از درجات چهارم با معجزهٔ برطرف‌کنندهٔ فرعی
صورت مسئله: تعریف چندجمله‌ای برطرف‌کنندهٔ درجه سه (Resolvent Cubic)، اثبات تعلق ضرایب آن به میدان گویا و یکسانی تبعیض‌گرها، دسته‌بندی پنج‌گانهٔ زیرگروه‌های ترایای S4 و تعیین صریح گروه گالوای چندجمله‌ای x4 − 2.
۱. پناه بردن به چهارگروه کلاین (V4)
در ساحتِ چندجمله‌ای‌های درجه چهار، بیست و چهار تقارن در گروه متقارن S4 در تلاطمند. رازِ مهار این تقارن‌ها در زیرگروه نرمالِ کلاین نهفته است؛ گروهی چهارعضوی شامل جایگشت‌های دوگانه:
V = {(1), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)} & তেলে; S4
اگر سه ترکیبِ زوجی از ریشه‌ها را بدین‌گونه بسازیم:
θ1 = α1α2 + α3α4, θ2 = α1α3 + α2α4, θ3 = α1α4 + α2α3
خواهیم دید که اعضای زیرگروه کلاین این مقادیر را تغییر نمی‌دهند و تقارنِ کلی میان این سه عنصر به تقارنِ درجاتِ سه (S3) تنزل می‌یابد. چندجمله‌ای تولیدشده با این ریشه‌ها، چندجمله‌ای برطرف‌کنندهٔ فرعی نام دارد:
R(x) = (x − θ1)(x − θ2)(x − θ3)
۲. وحدتِ تبعیض‌گر و اصالتِ ضرایب در Q
چون توابع متقارن بر حسب θها، نسبت به هرگونه جابه‌جایی ریشه‌های اصلی متقارنند، طبق اصل اساسی توابع متقارن، همگی به صورت عباراتی از ضرایب معادلهٔ نخستین درمی‌آیند؛ لذا ضرایب R(x) همگی در Q جای دارند.
شگفت‌تر آنکه از تفاضلِ θها درمی‌یابیم حاصل‌ضرب تفاضلات، عیناً با حاصل‌ضرب تفاضلات ریشه‌های چهارگانه برابر است؛ از این رو تبعیض‌گرِ حلّال با تبعیض‌گر معادلهٔ اصلی هم‌ارز و یکسان است: Δ(R) = Δ(f).
۳. ترازوی پنج‌گانه برای تشخیص ساختار گروه گالوا
تحویل‌ناپذیری چندجمله‌ای درجه چهار، گروه گالوا را به یکی از پنج زیرگروه ترایای S4 محدود می‌کند که نوع آن از جدول حکمت‌آمیز زیر آشکار می‌گردد:
| ریشه‌های R(x) در Q | Δ(f) مربع کامل است؟ | گروه گالوا (G) | مرتبه |
|---|---|---|---|
| بدون ریشه (تحویل‌ناپذیر) | خیر | S4 (متقارن کامل) | ۲۴ |
| بدون ریشه (تحویل‌ناپذیر) | بله | A4 (متناوب) | ۱۲ |
| دقیقاً ۱ ریشه در Q | خیر | D4 (دی‌هدرال مربع) | ۸ |
| ۳ ریشهٔ متمایز در Q | بله | V4 (چهارگروه کلاین) | ۴ |
| دقیقاً ۱ ریشه در Q | بله | C4 (دوری مرتبه ۴) | ۴ |
۴. نمونهٔ عینی: تحلیل معادلهٔ x4 − 2
چندجمله‌ای f(x) = x4 − 2 را بررسی می‌کنیم:
- به برهان معیار آیزنشتاین با p=2 بر روی Q تحویل‌ناپذیر است.
- چندجمله‌ای برطرف‌کنندهٔ آن با فرمول R(x) = x3 − 4rx پدید می‌آید که برابر است با: R(x) = x3 + 8x = x(x2 + 8). این معادله تنها یک ریشه در Q دارد (ریشهٔ صفر).
- تبعیض‌گر آن برابر با Δ = −2048 < 0 بوده و قطعاً در میدان گویا مربع کامل نیست.
- با تطبیق با جدول احکام، بی‌درنگ حاصل می‌شود: Gal(x4 − 2 / Q) ≅ D4 (گروه تقارن‌های هشت‌گانهٔ مربع).
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.