A simple proof of the fundamental theorem of Galois theory

यहाँ मार्टिन ब्रैंडनबर्ग के शोध पत्र "A Simple Proof of the Fundamental Theorem of Galois Theory" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र गैलोआ सिद्धांत के मूलभूत प्रमेय (Fundamental Theorem of Galois Theory) को संबोधित करता है, जो एक परिमित गैलोआ विस्तार (finite Galois extension) $L/K$ के मध्यवर्ती क्षेत्रों (intermediate fields) और उसके गैलोआ समूह $\text{Aut}_K(L)$ के उपसमूहों (subgroups) के बीच एक एकैकी संबंध (bijection) स्थापित करता है।

इस प्रमेय के मानक पाठ्यपुस्तक प्रमाण आमतौर पर निम्नलिखित पर निर्भर करते हैं:

• क्षेत्र के विस्तार की डिग्री (degrees of field extensions) की उपसमूहों के क्रम (orders of subgroups) के साथ तुलना करना।
• अभिलक्षणों की रैखिक स्वतंत्रता (linear independence of characters - डेडेकइंड का लेम्मा)।
• स्प्लिटिंग फील्ड्स (splitting fields) का सिद्धांत।

लेखक का तर्क है कि ये विधियाँ, हालांकि मानक हैं, अक्सर अप्रत्यक्ष हैं या भारी मशीनरी पर निर्भर करती हैं। लक्ष्य एक प्रत्यक्ष, स्व-निहित प्रमाण (direct, self-contained proof) प्रदान करना है जो परिभाषाओं और मूल क्षेत्र सिद्धांत से सीधे प्रमेय के दो मुख्य घटकों को व्युत्पन्न करता है, जिससे उन्नत बीजगणितीय उपकरणों पर निर्भरता न्यूनतम हो जाती है।

2. कार्यप्रणाली (Methodology)

प्रमाण की रणनीति दो अलग-अलग भागों में विभाजित है, जो गैलोआ पत्राचार (Galois correspondence) की दो दिशाओं के अनुरूप है:

A. संयोजन संबंधी दृष्टिकोण (Subgroups to Fields)

यह सिद्ध करने के लिए कि एक उपसमूह $H \subseteq \text{Aut}_K(L)$ के लिए, स्थिर क्षेत्र (fixed field) इस प्रकार है कि $H = \text{Aut}_{L^H}(L)$, लेखक क्षेत्रों की संरचना के संबंध में एक संयोजन संबंधी तर्क (combinatorial argument) का उपयोग करता है।

• मुख्य लेम्मा (Core Lemma): प्रमाण इस तथ्य पर निर्भर करता है कि एक क्षेत्र को परिमित रूप से उचित उपक्षेत्रों (proper subfields) के संघ (union) के रूप में नहीं लिखा जा सकता है (लेम्मा 3.3)।
• तंत्र (Mechanism): लेखक दिखाता है कि यदि एक ऑटोमोर्फिज्म $\tau$, स्थिर क्षेत्र $L^H$ को स्थिर रखता है, तो क्षेत्र $L$ उन "इक्वलाइजर्स" (equalizers - वे उपक्षेत्र जहाँ $\sigma(a) = \tau(a)$) का संघ है, जो सभी $\sigma \in H$ के लिए हैं। संयोजन संबंधी लेम्मा द्वारा, इनमें से एक इक्वलाइज़र संपूर्ण क्षेत्र $L$ होना चाहिए, जिसका अर्थ है कि $\tau = \sigma$ किसी $\sigma \in H$ के लिए।
• लाभ: यह अभिलक्षणों की रैखिक स्वतंत्रता और डिग्री गणना के उपयोग से बचता है।

B. प्रत्यक्ष परिभाषा-आधारित दृष्टिकोण (Fields to Subgroups)

यह सिद्ध करने के लिए कि एक मध्यवर्ती क्षेत्र $E$ के लिए, उसके ऑटोमोर्फिज्म समूह का स्थिर क्षेत्र इस प्रकार है कि $E = L^{\text{Aut}_E(L)}$, लेखक निम्नलिखित का उपयोग करता है:

• पृथक्करणीयता और सामान्यता (Separability and Normality): प्रमाण सीधे पृथक्करणीय (separable) और सामान्य (normal) विस्तारों की परिभाषाओं का उपयोग करता है।
• संक्रामकता (Transitivity): यह $\text{Hom}_K(L, \bar{K})$ के सेट पर गैलोआ समूह की संक्रामक क्रिया (transitive action) का लाभ उठाता है।
• तर्क: यदि कोई तत्व $a$, $L$ के उन सभी ऑटोमोर्फिज्म द्वारा स्थिर रहता है जो $E$ को स्थिर रखते हैं, तो लेखक यह दिखाता है कि $a$ अपने न्यूनतम बहुपद (minimal polynomial) के मूलों (roots) और पृथक्करणीय विस्तारों के गुणों का विश्लेषण करके $E$ में ही स्थित होगा।

3. मुख्य योगदान और संरचना (Key Contributions and Structure)

प्रारंभिक बातें (Preliminary - Section 2)

शोध पत्र एक स्व-निहित आधार स्थापित करता है, जो केवल बुनियादी क्षेत्र सिद्धांत (न्यूनतम बहुपद, विस्तार की डिग्री) को मानता है। यह सिद्ध करता है:

• लेम्मा 2.1 और 2.2: विस्तारों के बीच होमोमोर्फिज्म (homomorphisms) की सीमाएँ।
• लेम्मा 2.3: बीजगणितीय समापन (algebraic closures) तक होमोमोर्फिज्म के विस्तार का अस्तित्व (ज़ोर्न के लेम्मा या इंडक्शन का उपयोग करके)।
• लेम्मा 2.5: बीजगणिक विस्तारों के लिए, अंतःक्षेपी अंतोमोर्फिज्म (injective endomorphisms) सर्वाक्षेपी (surjective) होते हैं ($\text{Hom}_K(L, L) = \text{Aut}_K(L)$)।

संयोजन संबंधी परिणाम (Combinatorial Results - Section 3)

यह खंड प्रमाण के लिए नवीन इंजन प्रदान करता है:

• लेम्मा 3.1: एक अनंत क्षेत्र (infinite field) पर एक सदिश समष्टि (vector space) उचित उप-समष्टियों (proper subspaces) के परिमित संघ के रूप में नहीं होती है।
• लेम्मा 3.3: एक क्षेत्र को परिमित रूप से उचित उपक्षेत्रों के संघ के रूप में नहीं लिखा जा सकता है।
  • प्रमाण का संक्षिप्त विवरण: परिमित क्षेत्रों के लिए, गुणात्मक समूह (multiplicative group) चक्रीय होता है, जो संघ को असंभव बनाता है। अनंत क्षेत्रों के लिए, यह उपक्षेत्रों के प्रतिच्छेदन (intersection) पर एक सदिश समष्टि के मामले में बदल जाता है।
• महत्व: इस परिणाम का उपयोग यह सिद्ध करने के लिए किया जाता है कि ऑटोमोर्फिज्मों का एक परिमित समूह ठीक उसी समूह को कैप्चर करता है (प्रपोजिशन 4.2)।

विस्तार का वर्गीकरण (Classification of Extensions - Sections 5 & 6)

शोध पत्र कठोरता से निम्नलिखित के गुणों को परिभाषित और सिद्ध करता है:

• पृथक्करणीय विस्तार (Separable Extensions): यह सिद्ध करना कि परिमित पृथक्करणीय विस्तारों के लिए, एम्बेडिंग्स (embeddings) की संख्या डिग्री $[L:K]$ के बराबर होती है (प्रपोजिशन 5.3)।
• सामान्य विस्तार (Normal Extensions): $\text{Hom}_K(L, \bar{K})$ पर $\text{Aut}_K(L)$ की संक्रामकता के माध्यम से परिभाषित। यह सिद्ध करता है कि सामान्यता मध्यवर्ती विस्तारों में भी बनी रहती है (लेम्मा 6.2)।

मुख्य प्रमेय (The Main Theorem - Section 7)

लेखक पिछले परिणामों को जोड़कर मूलभूत प्रमेय (थ्योरम 7.4) को सिद्ध करता है:

1. एकैकी संबंध (Bijection): मध्यवर्ती क्षेत्रों और उपसमूहों के बीच व्युत्क्रम संबंध स्थापित करता है।
   • $E \mapsto \text{Aut}_E(L)$
   • $H \mapsto L^H$
2. क्रम-विपरीत संबंध (Order Reversal): सिद्ध करता है कि मानचित्र समावेशन-विपरीत (inclusion-reversing) हैं।
3. डिग्री/इंडेक्स सूत्र (Degree/Index Formula): दिखाता है कि $[E:K] = [\text{Aut}_K(L) : \text{Aut}_E(L)]$।
4. लैटिस आइसोमोर्फिज्म (Lattice Isomorphism): प्रदर्शित करता है कि कैसे क्षेत्रों के प्रतिच्छेदन और सम्मिश्रण (compositums), जनित उपसमूहों और उपसमूहों के प्रतिच्छेदन के अनुरूप होते हैं।
5. सामान्यता पत्राचार (Normality Correspondence): सिद्ध करता है कि एक मध्यवर्ती क्षेत्र $E/K$ सामान्य है यदि और केवल यदि $\text{Aut}_E(L)$, $\text{Aut}_K(L)$ का एक सामान्य उपसमूह है, जिससे आइसोमोर्फिज्म $\text{Aut}_K(L)/\text{Aut}_E(L) \cong \text{Aut}_K(E)$ प्राप्त होता है।

4. परिणाम (Results)

• भाग (1) का प्रत्यक्ष प्रमाण: $E = L^{\text{Aut}_E(L)}$ को सामान्य और पृथक्करणीय विस्तारों की परिभाषाओं से सीधे प्राप्त किया गया है, बिना डिग्री की तुलना किए।
• भाग (2) का प्रत्यक्ष प्रमाण: $H = \text{Aut}_{L^H}(L)$ को इस संयोजन संबंधी तथ्य का उपयोग करके प्राप्त किया गया है कि एक क्षेत्र उचित उपक्षेत्रों का परिमित संघ नहीं है।
• स्व-निहितता: शोध पत्र गैलोआ सिद्धांत, स्प्लिटिंग फील्ड्स, या अभिलक्षणों की रैखिक स्वतंत्रता का पूर्व ज्ञान नहीं मानता है, जो इसे एक स्वतंत्र परिचय बनाता है।

5. महत्व (Significance)

• शैक्षणिक मूल्य (Pedagogical Value): यह शोध पत्र उन छात्रों के लिए गैलोआ सिद्धांत के एक उत्कृष्ट परिचय के रूप में कार्य करता है जिनके पास केवल बुनियादी क्षेत्र सिद्धांत है। यह "ब्लैक बॉक्स" प्रमेयों जैसे कि अभिलक्षणों की रैखिक स्वतंत्रता को हटाकर इस प्रमेय को सरल बनाता है।
• वैचारिक स्पष्टता (Conceptual Clarity): प्रमाण को एक संयोजन संबंधी भाग (उपसमूहों के लिए) और एक संरचनात्मक भाग (क्षेत्रों के लिए) में विभाजित करके, यह पत्राचार की दो दिशाओं की विशिष्ट प्रकृति को उजागर करता है।
• मानक प्रमाणों का विकल्प: यह एक नया दृष्टिकोण प्रदान करता है जो पारंपरिक "डिग्री काउंटिंग" तर्क से बचता है, जो अक्सर उन संरचनात्मक कारणों को अस्पष्ट कर देता है जिनके कारण एकैकी संबंध बना रहता है।
• व्यापकता (Generality): संयोजन संबंधी लेम्मा (लेम्मा 3.3) एक शक्तिशाली उपकरण है जिसे बीजगणित के अन्य क्षेत्रों में लागू किया जा सकता है, जैसे कि प्रिमिटिव एलिमेंट थ्योरम को सिद्ध करना (जैसा कि टिप्पणी 3.4 में उल्लेख किया गया है)।

संक्षेप में, ब्रैंडनबर्ग गैलोआ सिद्धांत के मूलभूत प्रमेय का एक सुव्यवस्थित, कठोर और वैचारिक रूप से विशिष्ट प्रमाण प्रदान करते हैं, जो इस सुंदर संयोजन संबंधी अंतर्दृष्टि पर निर्भर करता है कि क्षेत्र उचित उपक्षेत्रों के परिमित संघ में विभाजित नहीं हो सकते हैं।