ریاضیات

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

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

۱. نردبانِ توسیع (Tower of Extensions)

بنایِ ما یک‌باره ساخته نمی‌شود؛ بلکه همچون بنایی طبقه به طبقه بالا می‌رود. ما میدانِ پایه $F$ را داریم و ریشه‌هایِ $\omega_n$ را یکی‌یکی به آن می‌افزاییم:

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

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

۲. نگاشت‌هایِ صامت: رقصِ $\sigma(K) \cong K$

در تصاویرِ تازه، استاد بر نگاشتِ $\sigma$ تأکیدِ ویژه دارند. این نگاشت، همان «تقارنِ مخفی» است. وقتی ما ثابت می‌کنیم $\sigma(K) \cong K$ است، در حقیقت می‌گوییم: «ساختارِ میدانِ ما، حتی پس از جابه‌جاییِ ریشه‌ها، ثابت می‌ماند.»

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

۳. مثالِ زنده: $\mathbb{Q}(\sqrt{2}, \sqrt[3]{5})$

استاد در یادداشت‌هایِ جدید، مثالِ گویایِ $[\mathbb{Q}(\sqrt{2}, \sqrt[3]{5}) : \mathbb{Q}] = 6$ را آورده‌اند. چرا ۶؟ چون این میدان، حاصلِ ترکیبِ دو فضایِ مستقل است (یکی با درجه‌یِ ۲ و دیگری با درجه‌یِ ۳).

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

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