ریاضیات

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

۱. کالبدشکافیِ گسترشِ میدان؛ از پایه‌یِ خاکی تا افقِ افلاکی

فرض کنید F یک میدان باشد (مانند میدانِ اعدادِ گویا Q). هرگاه میدانی وسیع‌تر مانند E وجود داشته باشد که F را به عنوانِ زیرمیدان در بر گیرد، گوییم E یک گسترشِ میدانی از F است و آن را با نمادِ E / F نمایش می‌دهیم.

ژرف‌ترین نکته‌یِ ساختاری این است که میدانِ گسترش‌یافته‌یِ E، به‌طور طبیعی یک فضایِ برداری روی میدانِ پایه F تشکیل می‌دهد. بنابراین، می‌توان از «بُعدِ این فضایِ برداری» سخن گفت. این بُعد را درجه‌یِ گسترش نامیده و با [E : F] نشان می‌دهند:

۲. چندجمله‌ایِ تکین، تحویل‌ناپذیری و زایشِ ریشه

هنگامی که یک چندجمله‌ای مانند f(x) در میدانِ F هیچ ریشه‌ای ندارد، ما ناچاریم ریشه‌ای موهوم یا بیرونی مانند α را به میدان الحاق کنیم: F(α). ساختارِ این گسترشِ ساده چگونه تعیین می‌شود؟

پاسخ در چندجمله‌ایِ کمینه (Minimal Polynomial) نهفته است. چندجمله‌ایِ کمینه‌یِ عنصرِ جبریِ α، یگانه‌چندجمله‌ایِ تحویل‌ناپذیر با ضریبِ پیشروِ ۱ (مُنیک) است که α را ریشه می‌دارد. اگر درجه‌یِ این چندجمله‌ای برابر با n باشد، آنگاه:

این هم‌ریختیِ شگفت نشان می‌دهد که ساختنِ یک میدانِ جدید با افزودنِ ریشه، هیچ شعبده‌ای نیست؛ بلکه دقیقاً معادل است با گرفتنِ حلقه‌یِ خارج‌قسمتی از چندجمله‌ای‌ها نسبت به ایده‌آلِ ماکسیمالِ تولیدشده توسطِ p(x). پایه و اساسِ این میدان، دسته‌یِ بردارهایِ {1, α, α2, ..., αn-1} خواهد بود و درجه‌یِ آن برابرِ n است.

۳. میدانِ شکافنده (Splitting Field)؛ سرایِ آرامشِ تمامِ ریشه‌ها

آیا افزودنِ یک ریشه برای حلِ تمامِ ابعادِ مسئله کافی است؟ هرگز! چندجمله‌ایِ معروفِ f(x) = x3 - 2 را در نظر بگیرید. ریشه‌هایِ آن عبارتند از:

• ریشه‌یِ حقیقی: α1 = 21/3
• ریشه‌هایِ مختلط: α2 = 21/3 · ω و α3 = 21/3 · ω2 (که در آن ω ریشه‌یِ سومِ واحد است).

اگر تنها ریشه‌یِ حقیقی را به Q بیفزاییم، میدانِ Q(21/3) تولید می‌شود که درجه‌یِ آن ۳ است؛ اما این میدان دو ریشه‌یِ دیگر را ندارد و درونِ اعدادِ حقیقی محبوس مانده است! برای داشتنِ یک ساختارِ متقارن، ما به میدانِ شکافنده نیاز داریم؛ یعنی کوچک‌ترین میدانی که چندجمله‌ای در آن به عواملِ خطی (درجه‌ی اول) تجزیه گردد:

میدانِ شکافنده ضامنِ نرمال بودن (عادی بودن) گسترش است؛ بدین معنا که اگر چندجمله‌ایِ تحویل‌ناپذیری یک ریشه در این میدان داشته باشد، حتماً باید تمامیِ ریشه‌هایش در همین میدان ساکن باشند.

۴. قضیه‌یِ عنصرِ اولیه (Primitive Element Theorem)

هنگامی که ریشه‌هایِ متعددی نظیرِ α1, α2, ..., αk را به میدان اضافه می‌کنیم، به ظاهر با فضایی پیچیده و چندمولفه‌ای F(α1, ..., αk) مواجهیم. اما یکی از درخشان‌ترین قضایایِ جبر بیان می‌دارد:

به عنوان نمونه، میدانِ حاصل از الحاقِ دو رادیکالِ مستقل یعنی Q(√2, √3) را در نظر آورید. به ظاهر دو عنصرِ مولد داریم؛ اما قضیه‌یِ عنصرِ اولیه تضمین می‌کند که با جمعِ خطیِ آن‌ها، عنصری مانند γ = √2 + √3 کلیدِ گشایشِ تمامِ خانه است: یعنی Q(√2, √3) = Q(√2 + √3)، و بدین‌سان مطالعه‌یِ ساختارِ پیچیده به شناختِ یک چندجمله‌ایِ درجه‌یِ ۴ فروکاسته می‌شود.

۵. گشایشِ درگاه: تبدیلِ تقارنِ ریشه‌ها به خودریختی‌هایِ میدانی

شرطِ کمالِ یک گسترش برای آن‌که نامِ گسترشِ گالوا بر آن نهاده شود، تحققِ دو خصلت است: عادی بودن (نرمال) و جدایی‌پذیر بودن (سِپارابِل). در چنین میدانی، هر تبدیلِ تقارنی که ریشه‌ها را به یکدیگر نگاشت کند در حالی که میدانِ پایه دست‌نخورده بماند، یک خودریختی (Automorphism) بر روی میدانِ E است.

مجموعه‌یِ این خودریختی‌ها، تشکیلِ یک «گروه» می‌دهند که همان گروه گالوا Gal(E/F) است؛ نقطه‌یِ پیوندِ آسمانی میانِ نظریه‌یِ گروه‌ها و ساختارِ میدان‌ها.