ریاضیات

به نامِ مُنظم‌کننده‌یِ عالَم؛ در صفحاتِ یادداشتِ استاد، هر اثبات یا محاسبه، در واقعِ پیمودنِ مسیری است الگوریتمیک. ریاضی‌دان، چون مهندسی چیره، برای رسیدن به حقیقت، گام‌هایی مشخص برمی‌دارد. در اینجا سه «الگوریتمِ معرفتی» را از میانِ انبوهِ فرمول‌هایِ تصاویرِ ارسالی استخراج کرده و به زبانِ گام‌به‌گامِ روشمند بازنویسی می‌کنیم.

این روش، نقشه‌یِ راهِ یافتنِ تمامِ زیرمیدان‌هایِ یک بسط است.

• گام اول (گروه): گروهِ گالوایِ چندجمله‌ای، یعنی G = Gal(K/F) را به دست آور.
• گام دوم (شبکه): تمامِ زیرگروه‌هایِ H را در G فهرست کن.
• گام سوم (معکوس‌سازی): برای هر زیرگروه، میدانِ ثابتِ K^H را محاسبه کن.
• نتیجه: این میدان‌ها، دقیقاً تمامیِ زیرمیدان‌هایِ بین F و K هستند.

چگونه دریابیم آیا ریشه‌هایِ یک معادله با رادیکال‌ها قابلِ بیان‌اند؟

• گام اول (زنجیره): یک «زنجیره‌یِ نرمال» برای گروهِ G بساز.
• گام دوم (خارج‌قسمت): عواملِ متوالیِ زنجیره (خارج‌قسمت‌ها) را تشکیل بده.
• گام سوم (شرطِ آبلی): بررسی کن که آیا تمامِ این عوامل، گروه‌هایِ آبلی (تعویض‌پذیر) هستند؟
• نتیجه: اگر پاسخ «مثبت» باشد، معادله حل‌پذیر است؛ در غیر این صورت (مانند S₅)، دیوارِ صلبِ غیرحل‌پذیری برپا می‌ماند.

برای ساختنِ میدانی با pⁿ عضو، این مسیر را طی کن:

• گام اول (چندجمله‌ای): یک چندجمله‌ایِ تحویل‌ناپذیر از درجه‌ی n بر روی Z_p بیاب.
• گام دوم (بسط): این چندجمله‌ای را به Z_p الحاق کن (میدانِ خارج‌قسمتی).
• گام سوم (ریشه‌گیری): ریشه‌هایِ معادله‌یِ x^pn - x = 0 را در این میدانِ جدید جمع‌آوری کن.
• نتیجه: این همان میدانِ F_pⁿ با تمامیِ خواصِ اعجازی‌اش است.