ریاضیات

۱. تجزیهٔ ریشه‌ها؛ امتزاج حقیقت و خیال

چندجمله‌ای x³ − 2 در ساحت اعداد مختلط سه ریشه پدید می‌آورد: یک ریشه در اقلیم حقیقت یعنی √[3]{2} و دو ریشه در ساحت خیال که حاصل‌ضرب این مقدار در ریشه‌های سوم یکه (یعنی ω و ω² با ω = e^2πi/3) هستند:

میدان شکافنده، کوچک‌ترین میدانی است که هر سه ریشه را در خود جای دهد؛ از نسبتِ ریشه‌ها پیداست که حضور ω در کنار √[3]{2} برای تولید تمام ریشه‌ها کفایت می‌کند: E = Q(√[3]{2}, ω).

۲. ساخت برج گسترش و اثبات درجهٔ ۶

برج میدانی را به صورت Q ⊂ Q(√[3]{2}) ⊂ E برپا می‌سازیم:

• چندجمله‌ای x³ − 2 طبق معیار آیزنشتاین (با p=2) بر Q تحویل‌ناپذیر است؛ پس درجهٔ طبقهٔ اول برابر ۳ است: [Q(√[3]{2}) : Q] = 3. تمام عناصر این میدان حقیقی‌اند.


• عنصر ω ریشهٔ چندجمله‌ایِ x² + x + 1 است. از آن‌جا که ω بخش موهومی غیرصفر دارد، در میدان حقیقی قبلی نمی‌گنجد؛ پس درجهٔ طبقهٔ دوم برابر ۲ خواهد بود: [E : Q(√[3]{2})] = 2.


• طبق قانون برج گسترش‌ها: [E : Q] = 3 × 2 = 6.

۳. هویدا شدن گروه گالوا؛ تناظر با تقارن‌های مثلث

چون گسترش گالوایی است، مرتبهٔ گروه گالوا با درجهٔ گسترش برابر است (|Gal(E/Q)| = 6). هر خودریختی، ریشه‌های سه‌گانه را به یکدیگر می‌نگارد؛ پس گروه گالوا زیرگروهی از جایگشت‌های سه عضو (S₃) است و چون مرتبهٔ هر دو ۶ است، داریم: Gal(E/Q) ≅ S₃.

این گروه توسط دو خودریختی بنیادین به نظم درمی‌آید:

• دوران سه‌تایی (σ از مرتبهٔ ۳): √[3]{2} را به ω√[3]{2} می‌برد و ω را ثابت می‌دارد (جایگشت دوری ریشه‌ها: 1 → 2 → 3 → 1).


• بازتاب یا مزدوج مختلط (τ از مرتبهٔ ۲): √[3]{2} را ثابت نگاه داشته و ریشه‌های مختلط را به یکدیگر مبدل می‌سازد (ω → ω²).

برقراری رابطهٔ τστ = σ⁻¹ حاکی از سرشتِ ناآبلی و تقارنِ هندسیِ کاملِ این ساختار بر ریشه‌هاست.