کاوشی در هندسه‌یِ میدان‌ها
«دفترِ ششم: تقارنِ دوری و ساختِ رزولوانت‌هایِ لاگرانژ»
ای جوینده‌یِ حقیقت در کلامِ جبر! در این بخش از درس‌نامه‌هایِ دکتر محمدی حسن‌آبادی، به سراغِ موردی خاص می‌رویم: بسطِ میدانیِ K بر رویِ F که درجه‌یِ آن عددی اول چون p است و گروهِ گالوایِ آن توسطِ یک نگاشتِ دوری چون σ تولید می‌شود (G(K, F) = ⟨σ⟩).
ساختِ مدارِ عناصر
استاد با نگاهی دقیق، ریشه‌هایِ نگاشتِ σ را بر رویِ یک عنصرِ دلخواه c در میدانِ K نشان می‌دهند. اگر مدارِ این عنصر را در نظر بگیریم:
c1 = c
c2 = σ(c)
...
cp = σp-1(c)
در اینجا، تقارن به اوج می‌رسد؛ چرا که با اعمالِ دوباره‌یِ σ بر آخرین عنصر (cp)، دوباره به عنصرِ نخست (c) باز می‌گردیم. این یعنی گروهِ ما، چرخه‌ای است بی‌انتها و موزون.
رزولوانت‌هایِ لاگرانژ: کلیدِ گشایش
استاد برایِ آنکه پرده از ساختارِ این بسط بردارند، عناصرِ جدیدی به نام di (رزولوانت) را با استفاده از ریشه‌هایِ واحدِ p-اُم (ξi) معرفی می‌کنند:
di = c1 + c2ξi + c3ξi2 + ... + cpξip-1
زیباییِ این نگاشت در این است که وقتی خودریختیِ σ را بر این رزولوانت اعمال می‌کنیم، ریشه‌هایِ واحد، ساختارِ آن را چنان تغییر می‌دهند که یک «چرخشِ ساده» در ضرایب ایجاد می‌شود. این همان ابزاری است که در دستانِ استاد، پیچیدگیِ معادلاتِ درجه‌یِ بالاتر را به سادگیِ یک عبارتِ دوری بدل می‌کند.
خلاصه و نتیجه:
این دست‌نوشته نشان می‌دهد که اگر بتوانیم چنین رزولوانت‌هایی بسازیم، عملاً میدانِ گالوا را با یک الحاقِ ساده‌یِ p-اُم (مانند ریشه‌گیری) توصیف کرده‌ایم. این پلِ میانِ «گروه‌هایِ گالوا» و «جبرِ مقدماتی» است.
«در جهانِ جبر، تقارن نه یک ایستایی، که یک چرخشِ مدام است؛ ریشه‌ها می‌چرخند و حقیقت در پیوندِ میانشان آشکار می‌شود.»
برگرفته از اوراقِ استاد دکتر محمدی حسن‌آبادی
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.