آینگیِ گروه‌ها و مشبکه‌یِ میدان‌ها: شهودِ نتایج در بسطِ گالوا
بر مدار درس‌نامه‌های نظریه گالوا — تدوین از دست‌نوشته‌های استاد
هو العلیم؛ در سیر و سلوکِ عالمِ جبر، آن دم که طوفانِ تبدیلات و چرخش‌های تقارنی فرو می‌نشیند، خاکستری از جنس «ثبات و بقا» بر جای می‌ماند. دست‌نوشته‌های پیشین ما را به میدان کارزار معادله‌ی x4 - 2 = 0 و گروهِ هشت‌عضویِ تقارن‌های آن یعنی D4 بُرد؛ اما غایتِ این سفر، صرفِ حل معادلات خطی نبود، بلکه تماشایِ توازن و آینگیِ میان «عالمِ گروه‌ها» و «عالمِ میدان‌ها» بود. در این مقال، ثمره‌ها و لطایفِ هندسیِ حاصل از این محاسبات را به تماشا می‌نشینیم.
یک. اصلِ تقابل و تناظرِ معکوس (The Inverse Lattice Duality)
شگفت‌ترین پرده از نمایشِ گالوا، وارونگیِ جهتِ شمول است. آنجا که گروهی خُرد و ناچیز است، میدانی فراخ و گسترده می‌زاید؛ و چون گروه به اوجِ کمالِ تقارن و جمعیت می‌رسد، میدان به نقطه‌ی وحدت و تنگنایِ گویایی فرو می‌نشیند:
- زیرگروه تک‌عضویِ {1} که کمترین قید و بند را دارد، متناظر با کلِّ میدانِ شکافنده یعنی K = Q(21/4, i) است (فضایی با بُعد ۸).
- کل گروهِ تقارنیِ G با مرتبه‌ی ۸، هر جنبشی را مقید ساخته و میدانی جز سرچشمه‌یِ اعداد گویا یعنی Q بر جای نمی‌گذارد (فضایی با بُعد ۱).
- قاعده‌ی بنیادی: همواره حاصل‌ضرب مرتبه‌ی زیرگروه در درجه‌ی میدانِ ثابت، برابر با بعدِ کل فضا است:
[KH : Q] × |H| = [K : Q] = 8
دو. عیارِ نرمالیته و رازداریِ بسط‌ها (Normality & Splitting)
آیا هر میدانی که در این میانه متولد می‌شود، تمامِ حقیقت (ریشه‌ها) را در خود جای داده است؟ هندسه‌ی گالوا پاسخ می‌دهد: تنها زیرگروه‌های ناوردا (Normal Subgroups)، میدان‌های بسته و خودبسنده (Normal Extensions) پدید می‌آورند.
به عنوان نمونه، زیرگروه A = ⟨σ2⟩ در قلبِ گروه جای دارد و نرمال است؛ از این رو میدان متناظر با آن یعنی Q(i, √2) میدانی نرمال بر Q است. اما زیرگروه انعکاسی B = ⟨τ⟩ ناوردا نیست، فلذا میدانِ حقیقیِ Q(21/4) نیمی از حقیقت را پنهان کرده و ریشه‌های موهومی را در خود ندارد؛ بسطی است ناتمام که تنها با پیوستن به آسمانِ مختلط کامل می‌گردد.
سه. رقصِ قطری‌ها و آفرینشِ عناصر مرکب
محاسبات خطی نشان داد که زیرگروه‌های قطری همچون D = ⟨στ⟩ و E = ⟨σ3τ⟩، مولدهایی ناب از پیوندِ بخش حقیقی و موهومی می‌آفرینند. عناصری همچون (1 + i)21/4 تبلورِ پیوندِ لطافتِ موهوم و صلابتِ رادیکالند که درجه‌ی ۴ دارند و عمقِ تقارنِ هندسی مربع را هویدا می‌سازند.
لوحِ جامع تناظر گالوا (Galois Lattice Concordance)
| نماد | زیرگروه (H) | مرتبه | میدان ثابت (KH) | درجه بر Q | وضعیت بسط |
|---|---|---|---|---|---|
| G | D4 | ۸ | Q | ۱ | پایه |
| S | ⟨σ⟩ | ۴ | Q(i) | ۲ | نرمال (گالوا) |
| T | {1, σ2, τ, σ2τ} | ۴ | Q(√2) | ۲ | نرمال (گالوا) |
| U | {1, σ2, στ, σ3τ} | ۴ | Q(i√2) | ۲ | نرمال (گالوا) |
| A | ⟨σ2⟩ | ۲ | Q(i, √2) | ۴ | نرمال (گالوا) |
| B | ⟨τ⟩ | ۲ | Q(21/4) | ۴ | غیرنرمال |
| C | ⟨σ2τ⟩ | ۲ | Q(i 21/4) | ۴ | غیرنرمال |
| D | ⟨στ⟩ | ۲ | Q((1+i) 21/4) | ۴ | غیرنرمال |
| E | ⟨σ3τ⟩ | ۲ | Q((1-i) 21/4) | ۴ | غیرنرمال |
| {1} | {id} | ۱ | K = Q(21/4, i) | ۸ | شکافنده کامل |
فرجام سخن: بدین‌سان، شبکه‌ی میدان‌های ثابت پیش چشم ما گشوده شد؛ هر گره از مشبکه، آینه‌ای است که درجه‌ای از تقارن را بازمی‌تاباند. این استواریِ ساختاری است که کلید معمای چندقرنیِ حل معادلات جبری را به دست ما می‌دهد. در پست آینده، بر همین بستر نشان خواهیم داد که چگونه این سلسله‌مراتب، پرده از راز «حل‌پذیری به رادیکال‌ها» برمی‌دارد و سرنوشت محتومِ معادلات درجه پنج را رقم می‌زند.
برگرفته از دست‌نوشته‌ها و یادداشت‌های نظریه گالوا — جزوه دکتر محمدی حسن‌آبادی
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.