ریاضیات

کالبدشکافیِ یک توسیع: مهندسیِ رادیکال‌ها

در یادداشت‌هایِ دست‌نویسِ استاد، ما از انتزاعِ مطلق به سمتِ «بنایِ دقیقِ توسیع‌ها» حرکت می‌کنیم. مسئله اینجاست: چگونه یک میدانِ حقیر (مثلِ اعدادِ گویا) را با افزودنِ ریشه‌ها به جهانی بزرگ‌تر (یک میدانِ رادیکالی) بدل کنیم؟

۱. پله‌کانِ هستی (توسیع‌هایِ متوالی)

میدانِ $K$ را در نظر بگیرید که از میدانِ پایه $F$ با افزودنِ $\omega_n$ ساخته شده است. این ساختار، یک‌باره نیست؛ بلکه یک زنجیره است:

$K = F(\omega_1, \omega_2, \dots, \omega_n)$

هر گامِ این مسیر، افزودنِ یک ریشه‌یِ جدید است که خودش در پله‌یِ پیشین ریشه دارد ($\omega_i^{k_i} \in F(\dots)$). این همان «توسعِ رادیکالی» است؛ گویی ما داریم پله‌به‌پله از زمینِ اعدادِ گویا به آسمانِ ریشه‌ها صعود می‌کنیم.

۲. در آینه‌یِ مثال: $\mathbb{Q}(\sqrt{2}, \sqrt[3]{5})$

استاد در یادداشت‌هایِ خود مثالی بسیار گویا آورده‌اند. وقتی ما دو ریشه‌یِ $\sqrt{2}$ و $\sqrt[3]{5}$ را به اعدادِ گویا اضافه می‌کنیم، درجه‌یِ میدانِ نهایی چقدر است؟

با استفاده از ضربِ درجات:

$[\mathbb{Q}(\sqrt{2}, \sqrt[3]{5}) : \mathbb{Q}] = 2 \times 3 = 6$

این یعنی فضایِ اعدادِ ما اکنون شش‌بعدی شده است! این عددِ ۶، نه تنها یک محاسبه‌یِ ساده، بلکه نشان‌دهنده‌یِ «غنایِ تقارن‌هایِ نهفته» در این میدان است. هر چه این درجه بالاتر باشد، گروهِ گالوایِ ما بزرگ‌تر و پیچیده‌تر است.

۳. تقارن‌هایِ همانی و جابه‌جایی

در برگه‌هایِ مربوط به صفحه ۱۳، بحث بر سرِ نگاشت‌هایِ $\tau$ است که یک $\omega$ را به ریشه‌یِ دیگرش می‌برد. این همان قلبِ نظریه‌یِ گالواست. ما اجازه داریم ریشه‌ها را با هم عوض کنیم، به شرطی که «جمع» و «ضربِ» آن‌ها باقی بماند. این ایزومورفیسم‌ها، شناسنامه‌یِ میدانِ ما هستند.

این یادداشت‌هایِ فنی، شالوده‌یِ تمامِ آن زیبایی‌هایی بود که در پست‌هایِ پیشینِ «داستانِ گالوا» بیان کردیم. امیدوارم با این کالبدشکافی، درکِ عمیق‌تری از جبرِ محض حاصل شده باشد.