ریاضیات

دفترِ معرفتِ ریاضی و جبرِ پیشرفته

ده پرسش و پاسخِ کلیدی در نظریه‌یِ گالوا و ساختارِ میدان‌ها

پرسشِ نخست: گسترشِ گالوایی و شروطِ تحققِ آن

پاسخ: گسترشِ جبریِ K/F را گالوایی خوانند هرگاه هم‌زمان «نرمال» (Normal) و «تفکیک‌پذیر» (Separable) باشد. نرمال‌بودن یعنی میدانِ K خانه‌یِ امنِ همه‌یِ ریشه‌هایِ چندجمله‌ای‌هایِ مینیمالِ عناصرِ خویش است؛ و تفکیک‌پذیری یعنی هیچ ریشه‌ای در ورطه‌یِ تکرار و مضاعف‌شدن فرو نلغزد. در چنین میدانی، شمارِ خودریختی‌هایِ ثابت‌نگه‌دارنده‌یِ پایه‌کفیل، با مرتبه‌یِ گسترش هم‌تراز است:

|Gal(K/F)| = [K : F].

پرسشِ دوم: علتِ عدمِ نرمال‌بودنِ گسترشِ Q(∛2)/Q

پاسخ: چندجمله‌ایِ مینیمالِ عنصرِ ∛2 بر رویِ اعدادِ گویا، چندجمله‌ایِ x³ - 2 است. این چندجمله‌ای دارایِ سه ریشه است: یک ریشه‌یِ حقیقی (∛2) و دو ریشه‌یِ موهومی (∛2 ω و ∛2 ω²). از آنجا که میدانِ Q(∛2) تماماً در راستایِ محورِ حقیقی جا خوش کرده و آن دو ریشه‌یِ دیگر در فضایِ مختلطِ برون سرگردانند، کمالِ پوشش محقق نشده و این گسترش، نرمال نخواهد بود.

پرسشِ سوم: قضیه‌یِ بنیادینِ گالوا و تناظرِ متقابل

پاسخ: این قضیه پلی میانِ کالبدِ میدان‌ها و روانِ گروه‌هاست؛ تناظری یک‌به‌یک و وارون‌نگار میانِ زیرمیدان‌هایِ واسط (F ⊆ E ⊆ K) و زیرگروه‌هایِ ساختارِ گالوا (H ≤ Gal(K/F)). زیرمیدانِ بزرگ‌تر به زیرگروهِ خُردتر متناظر است، و زیرمیدانی نرمال بر فرازِ پایه خواهد بود اگر و تنها اگر زیرگروهِ متناظر با آن در دلِ گروهِ مادر، زیرگروهی نرمال (پایا) باشد.

پرسشِ چهارم: ساختارِ گروهِ گالوایِ میدان‌هایِ دوری‌سنجی (سیکلوتومیک)

پاسخ: هرگاه ریشه‌یِ nـُم واحد، یعنی ζ_n را به گویایان ضمیمه کنیم، میدانِ دوری‌سنجیِ Q(ζ_n) زاده می‌شود. گروهِ گالوایِ این گسترش همواره آبلی (جابجایی‌پذیر) بوده و با گروهِ ضربیِ یکاهایِ پیمانه‌ایِ (Z/nZ)^× یک‌ریخت (ایزومورف) است؛ مرتبه‌یِ این حلقه برابر است با تابعِ فی اویلر:

[Q(ζ_n) : Q] = φ(n).

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

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

پرسشِ ششم: مفهومِ «میدانِ ثابت» (Fixed Field)

پاسخ: اگر H زیرگروهی از گروهِ گالوا باشد، میدانی که عناصرِ آن تحتِ تأثیرِ تک‌تکِ تبدیلاتِ درونِ H بی‌تغییر و استوار می‌مانند را میدانِ ثابت می‌نامند و با K^H نشان می‌دهند. این میدان نقطه‌یِ پیوندِ صوریِ زیرگروه به هندسه‌یِ میدان‌هاست و درجه‌یِ [K : K^H] هم‌ارزِ مرتبه‌یِ زیرگروهِ |H| خواهد بود.

پرسشِ هفتم: تفکیک‌پذیری در میدان‌هایِ با مشخصه‌یِ صفر

پاسخ: در هر میدانی با مشخصه‌یِ صفر (مانند Q, R, C)، مشتقِ صوریِ هیچ چندجمله‌ایِ تحویل‌ناپذیرِ غیرِثابتی برابر با صفر نمی‌شود؛ بنابراین بزرگ‌ترین مقسوم‌علیهِ مشترکِ چندجمله‌ای و مشتقِ آن برابر با ۱ است. پیامدِ شگفتِ این قاعده آن است که در این اقلیم، تمامیِ چندجمله‌ای‌هایِ تحویل‌ناپذیر، ریشه‌هایی مجزا و نامکرر دارند و هر گسترشِ جبری خودبه‌خود «تفکیک‌پذیر» است.

پرسشِ هشتم: رازِ حل‌ناپذیریِ معادله‌یِ درجه‌یِ پنج (قضیه‌یِ آبل-روفینی)

پاسخ: گروهِ تقارن‌هایِ کلیِ معادله‌یِ درجه‌یِ پنج برابر با گروهِ متقارنِ S₅ است. زیرگروهِ متناوبِ آن، یعنی A₅، یک گروهِ «ساده‌یِ غیرِآبلی» است و هیچ زیرگروهِ نرمالِ غیربدیهی در میانه‌یِ آن نمی‌توان یافت. از این رو سلسله‌مراتبِ حل‌پذیری در مرتبه‌یِ ۶۰ شکسته شده و استخراجِ فرمولِ جبریِ کلی با رادیکال‌ها برایِ درجه‌یِ پنج و بالاتر ناممکن می‌گردد.

پرسشِ نهم: قضیه‌یِ عنصرِ اولیه (Primitive Element Theorem)

پاسخ: این قضیه نوید می‌دهد که هر گسترشِ متناهی و تفکیک‌پذیرِ K/F را می‌توان به گونه‌ای ساده بازآرایی کرد؛ بدان معنا که عنصری یگانه چون θ در K وجود دارد به گونه‌ای که کلِ بنایِ گسترش از الحاقِ همان یک گوهر ساخته می‌شود:

K = F(θ). برایِ نمونه، گسترشِ مرکبِ Q(√2, √3) با عنصرِ ساده‌یِ θ = √2 + √3 بازسازی می‌شود.

پرسشِ دهم: گروهِ گالوایِ چندجمله‌ایِ x³ - 2 بر رویِ Q

پاسخ: میدانِ شکافنده‌یِ این چندجمله‌ای برابر است با K = Q(∛2, ω) که درجه‌یِ آن بر رویِ گویایان برابر با ۶ است (3 × 2 = 6). گروهِ گالوا متشکل از جایگشت‌هایِ سه ریشه‌یِ معادله است. چون مرتبه‌یِ گروه ۶ بوده و گروهی غیرِآبلی است (زیرا اثرِ الحاقِ ریشه‌یِ موهومی و حقیقی جابجا نمی‌شوند)، لاجرم با گروهِ متقارنِ سه حرفی S₃ هم‌ریخت خواهد بود.

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