دفتر سوم: تناظر اساسی، طلسم درجه ۵ و فروبنیوس (مسائل ۷ تا ۱۰)
مسئله ۷: تناظر اساسی گالوا (Fundamental Theorem)
صورت مسئله: تناظر گالوا را برای گسترش Q(√2, √3) بر Q بیان و تمام زیرمیدان‌ها را با زیرگروه‌ها متناظر کنید.
پاسخ تشریحی:
- گروه گالوا G ≅ Z2 × Z2 است که دارای ۳ زیرگروه مرتبه ۲ با مولدهای σ، τ و στ است.
- میدان‌های ثابت متناظر با این زیرگروه‌ها به صورت دقیق عبارتند از:
• زیرگروه ⟨σ⟩ ←→ زیرمیدان ثابت Q(√3)
• زیرگروه ⟨τ⟩ ←→ زیرمیدان ثابت Q(√2)
• زیرگروه ⟨στ⟩ ←→ زیرمیدان ثابت Q(√6) - این تناظر به وضوح نشان‌دهندهٔ وارونگی شمول (Antitone) در تناظر گالواست.
مسئله ۸: گسترش‌های گالوایی و نرمال‌بودن زیرگروه‌ها
صورت مسئله: قضیهٔ تناظر گالوا چه ارتباطی میان «نرمال بودن یک زیرگروه» و «گالوایی بودن زیرمیدانِ متناظر» برقرار می‌کند؟
پاسخ تشریحی:
- اگر E/F گالوایی باشد و H زیرگروهی از Gal(E/F) باشد، زیرمیدان ثابت EH بر روی F یک گسترش نرمال (و در نتیجه گالوایی) است اگر و تنها اگر H یک زیرگروه نرمال در G باشد.
- در صورت نرمال بودن H، داریم: Gal(EH / F) ≅ Gal(E/F) / H. این قضیه پلی حیاتی میان جبر خارج‌قسمتی و تحدید خودریختی‌هاست.
مسئله ۹: حل‌پذیری با رادیکال‌ها و قضیه آبل–روفینی
صورت مسئله: چرا معادلات جبری درجه ۵ به بالا در حالت کلی با رادیکال‌ها حل‌پذیر نیستند؟
پاسخ تشریحی:
- یک معادله با رادیکال‌ها حل‌پذیر است اگر و تنها اگر گروه گالوای آن یک گروه حل‌پذیر (Solvable Group) باشد.
- گروه گالوای چندجمله‌ای درجه ۵ کلی، گروه متقارن S5 است.
- تنها زیرگروه نرمال سرهٔ S5، گروه متناوب A5 (با ۶۰ عضو) است که یک گروه سادهٔ غیرآبلی است؛ یعنی به زیرگروه‌های نرمال با خارج‌قسمت‌های دوری تجزیه نمی‌شود.
- نتیجه: S5 حل‌پذیر نیست، پس هیچ فرمول رادیکالی کلی برای درجه ۵ و بالاتر وجود ندارد.
مسئله ۱۰: ساختار میدان‌های متناهی و نگاشت فروبنیوس
صورت مسئله: ثابت کنید مرتبهٔ هر میدان متناهی توان اول q = pn است و گروه گالوای آن دوری است.
پاسخ تشریحی:
- هر میدان متناهی دارای مشخصهٔ اول p است و شامل میدان اول Fp = Z/pZ می‌باشد. اگر بعد میدان به عنوان فضای برداری روی Fp برابر n باشد، تعداد کل عناصر برابر |F| = pn خواهد بود.
- نگاشت فروبنیوس Φ(x) = xp یک خودریختی از میدان است.
- گروه گالوای Gal(Fpn / Fp) یک گروه دوری از مرتبهٔ n است که دقیقاً توسط توان‌های نگاشت فروبنیوس تولید می‌شود: Gal ≅ ⟨Φ⟩ ≅ Zn.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.