درس‌نامه‌یِ جبرِ مجرد و نظریه‌یِ گالوا
حلِ تفصیلیِ مسئله‌یِ ۴: تبارشناسی و ساختارِ گالواییِ میدان‌هایِ دوری‌سنجی
مقدمه‌یِ هندسی و جبری:
چون دایره‌یِ مثلثاتی در ساحتِ اعدادِ مختلط به n بخشِ مساوی تقسیم شود، نقطه‌هایِ حاصل ریشه‌هایِ معادله‌یِ xn - 1 = 0 خوانده می‌شوند. ریشه‌هایی که توانِ تولیدِ تمامِ رئوسِ این چندضلعیِ منتظم را دارند، ریشه‌هایِ اولیه‌اند؛ و میدانِ برآمده از نشاندنِ آنها بر بسترِ گویایِ Q، یکی از شاهکارهایِ نظمِ جبر یعنی میدانِ دوری‌سنجی است.
۱. تجزیه‌یِ هماهنگ و رابطه‌یِ بازگشتیِ چندجمله‌ای‌ها
چندجمله‌ایِ xn - 1 بر اساسِ مرتبه‌یِ عناصر بر دایره به چندجمله‌ای‌هایِ دوری‌سنجیِ تحویل‌ناپذیر بر رویِ مقسوم‌علیه‌هایِ n تجزیه می‌شود:
xn - 1 = ∏d | n Φd(x)
این اتحادِ زیبا امکانِ محاسبه‌یِ بازگشتیِ چندجمله‌ایِ مینیمالِ ریشه‌هایِ اولیه را فراهم می‌سازد:
Φn(x) = (xn - 1) / ∏d | n , d < n Φd(x)
به‌عنوان نمونه، برای n = 4 داریم:
Φ4(x) = (x4 - 1) / (Φ1(x) * Φ2(x)) = (x4 - 1) / ((x - 1)(x + 1)) = x2 + 1.
۲. ساختِ خودریختی‌ها و هم‌ریختی با گروهِ ضربیِ یکاها
چون Q(ζn) میدانی ساده است، هر خودریختیِ σ که اعدادِ گویا را ثابت نگه دارد، منحصراً با تصویرِ مولدِ خود یعنی σ(ζn) شناخته می‌شود.
از آنجا که ζn ریشه‌یِ چندجمله‌ایِ مینیمالِ Φn(x) است، تصویرِ آن نیز باید ریشه‌یِ همان چندجمله‌ای باشد. از این رو:
σ(ζn) = ζna (gcd(a, n) = 1 , 1 ≤ a < n)
نگاشتِ تناظر را به‌صورت زیر تعریف می‌کنیم:
θ: Gal(Q(ζn)/Q) → (Zn)× , θ(σa) = [a]n
اثباتِ هم‌ریختی از قاعده‌یِ ترکیبِ نگاشت‌ها آشکار است:
(σa ο σb)(ζn) = σa(ζnb) = (ζna)b = ζnab = σab(ζn)؛
بنابراین θ(σa ο σb) = [ab]n = [a]n * [b]n = θ(σa) * θ(σb).
این نگاشت یک‌به‌یک و پوشاست، پس گروهِ گالوا با گروهِ یکاهایِ حلقه‌یِ Zn هم‌ریخت است.
۳. تمایزهایِ درونی: دوری یا کلاین چهارگانی بودن؟
گروهِ گالوایِ میدانِ دوری‌سنجی همواره آبلی است، اما لزوماً دوری نیست! ساختارِ درونیِ آن تابعِ ساختارِ (Zn)× است:
الف) حالتِ دوری (مرتبه‌یِ اول p):
اگر n = 5 باشد، آنگاه φ(5) = 4 و داریم:
Gal(Q(ζ5)/Q) ≅ (Z5)× = {1, 2, 3, 4} ≅ Z4
در اینجا گروهِ گالوا دوریِ مرتبه ۴ است و توسط عنصرِ ۲ تولید می‌شود.
ب) حالتِ غیرِ دوری (توان‌هایِ عدد ۲):
اگر n = 8 باشد، آنگاه φ(8) = 4 و داریم:
Gal(Q(ζ8)/Q) ≅ (Z8)× = {1, 3, 5, 7} ≅ Z2 × Z2
مرتبه‌یِ هر عنصرِ غیرهمانی ۲ است؛ بنابراین این گروه دوری نیست، بلکه گروهِ چهارگانیِ کلاین (Klein 4-group) است!
۴. شکوهِ پیوند با قضیه‌یِ کرونکر-وبر (Kronecker-Weber)
مسئله‌یِ ۴ سنگ‌بنایِ یکی از عمیق‌ترین قضایایِ نظریه‌یِ اعدادِ جبری است:
«هر گسترشِ متناهی و آبلی بر رویِ اعدادِ گویا، زیرمیدانی از یک میدانِ دوری‌سنجی است.»
یعنی هر تقارنِ جابجایی در ساحتِ اعداد، ریشه در هارمونیِ تقسیمِ دایره دارد.
«هر آن رازی که در اقلیمِ گویایی بُوَد پیدا، ز چرخِ ریشه‌هایِ واحد آید نغمه‌اش بر پا.»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.