Analogue of the Galois Theory for normal fields and B-extensions (characteristic free approach)

यहाँ वी. वी. बावुला के शोध पत्र "Analogue of the Galois Theory for normal fields and B-extensions (characteristic free approach)" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र क्षेत्र सिद्धांत (field theory) की एक लंबे समय से चली आ रही खुली समस्या को संबोधित करता है: सभी परिमित सामान्य क्षेत्र विस्तारों (finite normal field extensions) के लिए एक एकीकृत गैलुआ सिद्धांत (unified Galois theory) का अभाव, चाहे वे पृथक्करणीय (separable/Galois), विशुद्ध रूप से अनुप्रमेय (purely inseparable), या दोनों का मिश्रण हों।

• शास्त्रीय संदर्भ (Classical Context): शास्त्रीय गैलुआ सिद्धांत मध्यवर्ती क्षेत्रों (intermediate fields) और ऑटोमोर्फिज्म समूह $G(L/K)$ के उपसमूहों के बीच एक द्विक संबंध (bijection) स्थापित करता है, लेकिन यह केवल पृथक्करणीय (Galois) विस्तारों के लिए ही मान्य है।
• अनुप्रमेय संदर्भ (Inseparable Context): विशुद्ध रूप से अनुप्रमेय विस्तारों के लिए, जैकोबसन (1937) और बाद में स्वीडर और गेरस्टेनहोफर-ज़ारोमप ने ऑटोमोर्फिज्म के स्थान पर डेरिवेशंस (derivations) या उच्च डेरिवेशंस (higher derivations) के प्रतिबंधित ली बीजगणित (restricted Lie algebras) का उपयोग करके इसके अनुरूप सिद्धांत विकसित किए।
• अंतराल (The Gap): ऐसा कोई एकल ढांचा नहीं था जो ऑटोमोर्फिज्म और डिफरेंशियल ऑपरेटर्स (differential operators) दोनों का उपयोग करते हुए सामान्य विस्तारों (जो पृथक्करणीय और अनुप्रमेय दोनों भाग हो सकते हैं) को एक एकीकृत संरचनात्मक दृष्टिकोण के साथ उपचारित कर सके।

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

लेखक सेंट्रल सिंपल अल्जेब्रा (central simple algebras) और डबल सेंट्रलइज़र थ्योरम (Double Centralizer Theorem) के सिद्धांत पर आधारित एक रिंग-थ्योरेटिक, विशेषता-मुक्त (characteristic-free) दृष्टिकोण का उपयोग करते हैं।

• एंडोमोर्फिज्म अल्जेब्रा (Endomorphism Algebra): अध्ययन एंडोमोर्फिज्म अल्जेब्रा $E(L/K) = \text{End}_K(L)$ पर केंद्रित है, जो $n=[L:K]$ के मैट्रिक्स अल्जेब्रा $M_n(K)$ के समरूप (isomorphic) है।
• मुख्य संरचनाएं (Key Structures): शोध पत्र $E(L/K)$ के भीतर दो मौलिक उप-संरचनाओं का विश्लेषण करता है:
  1. ऑटोमोर्फिज्म समूह $G(L/K) = \text{Aut}_{K\text{-alg}}(L)$।
  2. $K$-अल्जेब्रा $L$ पर डिफरेंशियल ऑपरेटर्स का अल्जेब्रा $D(L/K)$।
• स्क्यू ग्रुप अल्जेब्रा (Skew Group Algebras): मुख्य निर्माण स्क्यू ग्रुप अल्जेब्रा $D(L/K) \rtimes G(L/K)$ है, जो डिफरेंशियल ऑपरेटर्स और ऑटोमोर्फिज्म द्वारा जनित (generated) है।
• डबल सेंट्रलइज़र थ्योरम: गैलुआ पत्राचार (Galois correspondences) को सेंट्रल सिंपल अल्जेब्रा $E(L/K)$ और इसमें $L$ को समाहित करने वाले इसके उप-अल्जेब्रा पर डबल सेंट्रलइज़र थ्योरम लागू करके प्राप्त किया जाता है।

3. मुख्य परिभाषाएँ और अवधारणाएँ (Key Definitions and Concepts)

B-एक्सटेंशन (B-Extensions)

केंद्रीय नवाचार B-एक्सटेंशन (Balanced extension) की परिभाषा है।

• परिभाषा: एक परिमित क्षेत्र विस्तार $L/K$ एक B-एक्सटेंशन है यदि एंडोमोर्फिज्म अल्जेब्रा ठीक उसी प्रकार जनित होता है जैसे डिफरेंशियल ऑपरेटर्स और ऑटोमोर्फिज्म समूह:
  $$E(L/K) = D(L/K) \rtimes G(L/K)$$
• महत्व: यह स्थिति दर्शाती है कि इस विस्तार में "अधिकतम सममिति" (maximal symmetry) है, जो पूरे लीनियर एंडोमोर्फिज्म स्पेस को स्पैन करने के लिए ऑटोमोर्फिज्म और डिफरेंशियल ऑपरेटर्स दोनों का उपयोग करती है।

संबंधित अवधारणाएँ

• G-एक्सटेंशन (G-extensions): वे विस्तार जहाँ $E(L/K) = L \rtimes G(L/K)$ होता है। ये सटीक रूप से गैलुआ विस्तार (Galois extensions) हैं।
• D-एक्सटेंशन (D-extensions): वे विस्तार जहाँ $E(L/K) = D(L/K)$ होता है। ये सटीक रूप से विशुद्ध रूप से अनुप्रमेय विस्तार (purely inseparable extensions) हैं।
• बैलेंस्ड ली बीजगणित (Balanced Lie Algebras): एक ली उप-बीजगणित $\mathcal{G} \subseteq D(L/K)_+$ (उचित डिफरेंशियल ऑपरेटर्स) बैलेंस्ड है यदि स्थिरांकों का क्षेत्र (field of constants) $L^{\mathcal{G}}$, सेंट्रलइज़र $C_L(\mathcal{G})$ के बराबर है।
• डोमिनेंट ली बीजगणित और डोम-ग्रुप्स (Dominant Lie Algebras & Dom-groups): एक डोमिनेंट ली बीजगणित दिए गए स्थिरांक क्षेत्र के लिए सबसे बड़ा बैलेंस्ड ली बीजगणित है। एक डोम-ग्रुप एक जोड़ा $(\mathcal{G}, H)$ है जहाँ $\mathcal{G}$ एक डोमिनेंट ली बीजगणित है और $H$, $G(L/K)$ का एक उपसमूह है जो $\mathcal{G}$ को नॉर्मलाइज़ (normalize) करता है।

4. मुख्य परिणाम और प्रमेय (Key Results and Theorems)

A. सामान्यता का अभिलक्षण (Characterization of Normality - The Main Theorem)

प्रमेय 6.4 मूलभूत तुल्यता स्थापित करता है:

एक परिमित क्षेत्र विस्तार $L/K$ (विशेषता $p$ में) एक B-एक्सटेंशन है यदि और केवल यदि यह एक सामान्य क्षेत्र विस्तार (normal field extension) है।

यह परिणाम सामान्यता का एक नया अभिलक्षण प्रदान करता: एक सामान्य विस्तार वही है जहाँ डिफरेंशियल ऑपरेटर्स और ऑटोमोर्फिज्म समूह मिलकर पूर्ण एंडोमोर्फिज्म अल्जेब्रा को जनित करते हैं।

• विघटन (Decomposition): एक सामान्य विस्तार के लिए, $L \cong L_{pi} \otimes_K L_{gal}$ ($L_{pi}$ विशुद्ध रूप से अनुप्रमेय भाग $\otimes$ $L_{gal}$ गैलुआ भाग)।
• संरचना: शोध पत्र सिद्ध करता है कि $E(L/K) \cong D(L_{pi}/K) \otimes (L_{gal} \rtimes G(L_{gal}/K))$।

B. गैलुआ पत्राचार का अनुलग्नक (Analogue of the Galois Correspondence)

शोध पत्र सामान्य विस्तारों के लिए एक एकीकृत गैलुआ पत्राचार (Theorem 7.4) स्थापित करता है जो शास्त्रीय और जैकोबसन दोनों मामलों का सामान्यीकरण करता है।

1. उपक्षेत्र पत्राचार (Subfield Correspondence): मध्यवर्ती क्षेत्रों $M$ और $\mathcal{A}(E(L/K), L)$ में उप-अल्जेब्रा $A$ के बीच एक द्विक संबंध है:
   $$M \mapsto C_{E(L/K)}(M) = D(L/M) \rtimes G(L/M)$$
   विपरीत मानचित्र (inverse map) $M$ को $A \cap D(L/K)_+$ और $A \cap G(L/K)$ के इनवेरियंट्स के प्रतिच्छेदन के रूप में पुनः प्राप्त करता है:
   $$A \mapsto L^{A \cap D(L/K)_+} \cap L^{A \cap G(L/K)}$$

2. सामान्य उपक्षेत्र पत्राचार (Normal Subfield Correspondence): सामान्य उपक्षेत्रों के लिए, पत्राचार $(\mathcal{G}, H)$ (डोम-ग्रुप्स) और सामान्य उपक्षेत्रों के बीच स्थापित किया गया है, जहाँ $\mathcal{G}$ एक डोमिनेंट ली बीजगणित है और $H$ एक सामान्य उपसमूह है।

C. विशिष्ट मामले

• विशुद्ध रूप से अनुप्रमेय विस्तार (Purely Inseparable Extensions): पत्राचार मध्यवर्ती क्षेत्रों और डिफरेंशियल ऑपरेटर्स (या डोमिनेंट ली बीजगणित) के अल्जेब्रा के बीच द्विक में बदल जाता है, जिससे जैकोबसन का सिद्धांत पुनः प्राप्त होता है। यहाँ, $G(L/K)$ तुच्छ (trivial) है, और $D(L/K)$ "गैलुआ समूह" की भूमिका निभाता है।
• गैलुआ विस्तार (Galois Extensions): पत्राचार $G(L/K)$ के उपसमूहों और उपक्षेत्रों के बीच शास्त्रीय द्विक में बदल जाता है, क्योंकि $D(L/K) = L$ है।

D. "न्यूनतम को-नॉर्मल" उपक्षेत्र (The "Least Co-normal" Subfield)

शोध पत्र न्यूनतम को-नॉर्मल उपक्षेत्र $(L/K)_{nor}$ को परिभाषित करता है, जो वह सबसे छोटा मध्यवर्ती क्षेत्र $M$ है जिसके लिए $L/M$ सामान्य है।

• विशेषता $p$ में: $(L/K)_{nor} = L_{G(L/K)}^{\text{dif}} / K$ (डिफरेंशियल स्थिरांकों का इनवेरिएंट क्षेत्र)।
• विशेषता 0 में: $(L/K)_{nor} = L_{G(L/K)} / K$ (ऑटोमोर्फिज्म समूह का फिक्स्ड फील्ड)।

5. तकनीकी मूल और प्रमाण (Technical Core and Proofs)

प्रमाणों के लिए सेंट्रल सिंपल अल्जेब्रा की संरचना पर अत्यधिक निर्भरता है:

• प्रमेय 2.8: मध्यवर्ती क्षेत्रों के सेंट्रलइज़र के रूप में $E(L/K)$ के उप-अल्जेब्रा का वर्णन करता है।
• प्रमेय 5.15: सिद्ध करता है कि $D(L/K)$ और $G(L/K)$ द्वारा जनित उप-अल्जेब्रा स्क्यू ग्रुप अल्जेब्रा $D(L/K) \rtimes G(L/K)$ है।
• प्रमेय 5.20 और 5.25: सामान्य विस्तारों के लिए डिफरेंशियल ऑपरेटर अल्जेब्रा और स्क्यू ग्रुप अल्जेब्रा के स्पष्ट टेंसर उत्पाद विघटन (tensor product decompositions) प्रदान करते हैं, जो विशुद्ध रूप से अनुप्रमेय और गैलुआ घटकों को अलग करते हैं।

6. महत्व और प्रभाव (Significance and Impact)

1. एकीकरण (Unification): शोध पत्र सफलतापूर्वक पृथक्करणीय विस्तारों के गैलुआ सिद्धांत और अनुप्रमेय विस्तारों के डिफरेंशियल गैलुआ सिद्धांत को सभी सामान्य विस्तारों के लिए एक एकल ढांचे में एकीकृत करता है।
2. नया अभिलक्षण (New Characterization): यह सामान्यता को एंडोमोर्फिज्म अल्जेब्रा के जनन (generation) के माध्यम से पुनर्गठित करता है, जो "अधिकतम सममिति" का एक नया दृष्टिकोण देता है।
3. वैचारिक सरलता (Conceptual Simplicity): यह दृष्टिकोण डबल सेंट्रलइज़र थ्योरम का लाभ उठाकर गैलुआ सिद्धांत के शास्त्रीय परिणामों के लिए संक्षिप्त, वैचारिक प्रमाण प्रदान करता है।
4. सामान्यीकरण (Generalization): यह जैकोबसन, स्वीडर और गेरस्टेनहोफर-ज़ारोमप के पिछले कार्यों का विस्तार करता है, यह दिखाते हुए कि उनके परिणाम इस व्यापक सिद्धांत के विशिष्ट मामले हैं जहाँ डिफरेंशियल ऑपरेटर्स का निर्धारण डेरिवेशंस या उच्च डेरिवेशंस द्वारा किया जाता है।
5. विशेषता-मुक्त (Characteristic Free): कार्यप्रणाली विशेषता 0 और अभाज्य विशेषता $p$ दोनों में समान रूप से कार्य करती है, जिससे क्षेत्र सिद्धांत के साहित्य में देखी जाने वाली विखंडन (fragmentation) से बचा जा सकता है।

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