Explicit descriptions of the subfields $(NL)^{pi}$ and $(NL)^{pi}(NL)^{sep}$ of $NL$ and new explicit criteria for $NL = (NL)^{pi}(NL)^{sep}$

तकनीकी सारांश: "NL और (NL)pi(NL)sep के उपक्षेत्रों (NL)pi और (NL)pi(NL)sep का स्पष्ट विवरण और NL = (NL)pi(NL)sep के लिए नए स्पष्ट मानदंड"

समस्या विवरण
यह शोध पत्र धनात्मक अभिलक्षण (characteristic) $p > 0$ वाले अभाज्य अभिलक्षण में परिमित क्षेत्र विस्तारों (finite field extensions) के संरचनात्मक विश्लेषण पर केंद्रित है। विशेष रूप से, यह सरल परिमित क्षेत्र विस्तारों $L/K$ पर ध्यान केंद्रित करता है जहाँ $L = K(\theta) \cong K[x]/(f(x))$, और $L$ तथा एक शुद्ध रूप से अनिबंधी (purely inseparable) विस्तार $N/K$ द्वारा निर्मित सम्मिश्र (compositum) $NL$पर विचार किया गया है। मुख्य समस्या$L$के भीतर अधिकतम शुद्ध रूप से अनिबंधी उपक्षेत्र ($L_{pi}$), अधिकतम पृथक (separable) उपक्षेत्र ($L_{sep}$), और उनके सम्मिश्र ($L_{pi}L_{sep}$) का स्पष्ट और रचनात्मक विवरण प्रदान करना है। इसके अतिरिक्त, यह पत्र $NL/N$के भीतर भी समान उपक्षेत्रों, जिन्हें$(NL){pi}$और$(NL){sep}$ कहा जाता है, का अन्वेषण करता है।

इस क्षेत्र में एक प्रमुख मुद्दा यह है कि सामान्यतः, सम्मिश्र $L_{pi}L_{sep}$, $L$ का एक उचित उपक्षेत्र होता है (अर्थात $L_{pi}L_{sep} \subsetneq L$)। यह शोध पत्र इस बात को सटीक रूप से मापने का प्रयास करता है कि $L$, अपने पृथक और शुद्ध रूप से अनिबंधी भागों के टेंसर उत्पाद (tensor product) होने से कितना विचलित होता है, इसके लिए इन विस्तारों की डिग्री और $f(x)$ के गुणांकों के संदर्भ में इन उपक्षेत्रों के विशिष्ट जनरेटर (generators) निर्धारित करता है।

कार्यप्रणाली
लेखक बहुपदों के "पृथक प्रस्तुतीकरण" (separable presentation) पर आधारित एक रचनात्मक बीजगणितीय दृष्टिकोण अपनाते हैं। एक न्यूनतम बहुपद $f(x) \in K[x]$ के लिए, शोध पत्र $f(x) = f_{sep}(x^{p^n})$ के अद्वितीय अपघटन का उपयोग करता है, जहाँ $f_{sep}$ पृथक है और $n$ अनिबंधता की डिग्री है।

कार्यप्रणाली निम्नलिखित पर आधारित है:

1. क्षेत्र अपरिवर्तनीय (Field Invariants): संख्यात्मक अपरिवर्तनीयों का उपयोग और परिभाषा, विशेष रूप से $m_f$ (L/K के लिए) और $m_{f,N}$ एवं $m_{f,N}(\theta)$ (NL/N के लिए)। इन्हें उन अधिकतम पूर्णांकों $m'$ के रूप में परिभाषित किया गया है जिनके लिए $f(x)$ के गुणांकों के विशिष्ट $p^{m'}$-वें मूल संबंधित क्षेत्र विस्तारों के भीतर होते हैं।
2. स्पष्ट निर्माण (Explicit Construction): बहुपद $f(x) = \sum \lambda_i x^{ip^n}$ के गुणांकों $\lambda_i$ से सीधे उपक्षेत्रों के जनरेटर को व्युत्पन्न करना।
3. डिग्री गणना: $[L_{pi}:K]$, $[L_{sep}:K]$, $[L_{pi}L_{sep}:L_{pi}]$, और दोष डिग्री (defect degree) $[L : L_{pi} \otimes L_{sep}]$ जैसे विस्तारों की स्पष्ट संख्यात्मक मानों की गणना करना।
4. सम्मिश्र विश्लेषण (Compositum Analysis): जब $N/K$ एक शुद्ध रूप से अनिबंधी विस्तार हो, तो $NL/N$के मामले में इन परिणामों का विस्तार करना,$NL = N(\theta)$की संरचना का विश्लेषण करना, और$N$तथा मूल गुणांकों के बीच$NL$ के पृथक और शुद्ध रूप से अनिबंधी भागों के संबंध को निर्धारित करना।

मुख्य योगदान और परिणाम

1. सरल विस्तारों $L/K$ के लिए स्पष्ट विवरण
शोध पत्र एक सरल विस्तार $L = K(\theta)$ के उपक्षेत्रों का पूर्ण लक्षण वर्णन प्रदान करता है जिसका न्यूनतम बहुपद $f(x) = \sum_{i=0}^s \lambda_i x^{ip^n}$ है:

• अधिकतम पृथक उपक्षेत्र: $L_{sep} = K(\theta^{p^n})$, जिसकी डिग्री $[L_{sep}:K] = s = \deg(f_{sep})$ है।
• अधिकतम शुद्ध रूप से अनिबंधी उपक्षेत्र: $L_{pi} = K(\lambda_0^{1/p^m}, \dots, \lambda_{s-1}^{1/p^m})$, जहाँ $m = m_f$ वह अपरिवर्तनीय है जो उन अधिकतम $p$ शक्तियों को परिभाषित करता है जिनके लिए गुणांकों के मूल $L_{pi}$ में स्थित होते हैं। इसकी डिग्री $[L_{pi}:K] = p^m$ है।
• सम्मिश्र (The Compositum): $L_{pi}L_{sep} = L_{pi}(\theta^{p^{n-m}})$। शोध पत्र सिद्ध करता है कि $L_{pi}L_{sep} \cong L_{pi} \otimes_K L_{sep}$।
• दोष (The Defect): $L_{pi}L_{sep}$ के ऊपर विस्तार $L$, घातांक $n-m$ वाला एक सरल शुद्ध रूप से अनिबंधी विस्तार है, जिसकी डिग्री $p^{n-m}$ है। यह स्पष्ट रूप से मात्रा निर्धारित करता है कि $L_{pi}L_{sep}$ अक्सर $L$ का एक उचित उपक्षेत्र क्यों होता है।

2. सम्मिश्र विस्तारों $NL/N$ के लिए स्पष्ट विवरण
$L/K$ सरल और $N/K$ शुद्ध रूप से अनिबंधी होने पर, शोध पत्र $NL/N$ के उपक्षेत्रों का वर्णन करता है:

• यह $NL/N$से जुड़े अपरिवर्तनीय$m_{f,N}$और$m_{f,N}(\theta)$ को प्रस्तुत करता है।
• **$NL$की संरचना:**$N$पर$\theta$का न्यूनतम बहुपद स्पष्ट रूप से$f_N(x) = \sum \lambda_i^{1/p^{m_{f,N}}} x^{i p^{n-m_{f,N}}}$ के रूप में दिया गया है।
• उपक्षेत्र:
  • $(NL)_{sep} = N(\theta^{p^{n-m_{f,N}}})$।
  • $(NL)_{pi} = N(\lambda_0^{1/p^{m_{f,N} + m_{f,N}(\theta)}}, \dots, \lambda_{s-1}^{1/p^{m_{f,N} + m_{f,N}(\theta)}})$।
  • सम्मिश्र $(NL)_{pi}(NL)_{sep}$ को $L/K$ के मामले की तरह ही वर्णित किया गया है, जिसकी डिग्री अपरिवर्तनीयों के योग द्वारा निर्धारित होती है।
• शोध पत्र स्पष्ट करता है कि $(NL)_{pi}$ सामान्यतः $NL_{pi}$ (L का शुद्ध रूप से अनिबंधी भाग जिसे N द्वारा विस्तारित किया गया है) को सख्ती से समाहित करता है, और इस समावेशन की सटीक डिग्री प्रदान करता है।

3. समानता $L = L_{pi}L_{sep}$ के लिए नए स्पष्ट मानदंड
शोध पत्र समानता $L = L_{pi}L_{sep}$ (तुल्य $L \cong L_{pi} \otimes L_{sep}$) के लिए नए, आवश्यक और पर्याप्त शर्तें स्थापित करता है:

• सरल विस्तारों के लिए: $L = L_{pi}L_{sep}$ यदि और केवल यदि $m_f = n$ हो। यह इस शर्त के समतुल्य है कि सभी $i$ के लिए $\lambda_i^{1/p^n} \in L$, या कि $f$ के $p^n$-वें मूल के गुणांक $L$ के शुद्ध रूप से अनिबंधी भाग में स्थित हैं।
• सामान्य परिमित विस्तारों के लिए: एक सामान्य परिमित विस्तार $L = L_1 \cdots L_\nu$ (सरल विस्तारों का सम्मिश्र) के लिए, शोध पत्र जनरेटर के न्यूनतम बहुपदों के गुणांकों $\lambda_{ij}$ पर आधारित एक मानदंड प्रदान करता है। विशेष रूप से, $L = L_{pi}L_{sep}$ यदि और केवल यदि सभी जनरेटरों और गुणांकों के लिए $\lambda_{ij}^{1/p^{n_i}} \in L_{pi}$ हो।

महत्व और दावे
लेखक का दावा है कि इस कार्य का प्राथमिक महत्व अमूर्त अस्तित्व प्रमेयों से आगे बढ़कर स्पष्ट, गणना योग्य विवरण प्रदान करने में निहित है।

• स्पष्टता (Explicitness): पिछले परिणामों के विपरीत, जो इन उपक्षेत्रों को अमूर्त रूप से वर्णित कर सकते हैं, यह शोध पत्र सीधे परिभाषित बहुपद $f(x)$ के गुणांकों के संदर्भ में $L_{pi}$ और $L_{sep}$ के जनरेटर के लिए सूत्र प्रदान करता है।
• दोष का परिमाणीकरण (Quantification of the Defect): शोध पत्र स्पष्ट रूप से $[L : L_{pi}L_{sep}] = p^{n-m_f}$ की गणना करता है, जो क्षेत्र और उसके पृथक-शुद्ध रूप से अनिबंधी सम्मिश्र के बीच के सटीक "अंतराल" को प्रकट करता है।
• नए मानदंड: यह $L = L_{pi}L_{sep}$ के लिए नए मानदंड प्रस्तुत करता है जो न्यूनतम बहुपद के गुणांकों के माध्यम से जांचने योग्य हैं, जो ज्ञात मानदंडों (जैसे कि डिग्री मानदंड या शुद्ध रूप से अनिबंधी भाग पर पृथकता) को अधिक रचनात्मक ढांचे में विस्तारित करते हैं।
• सामान्यीकरण: परिणाम सरल विस्तारों से एक शुद्ध रूप से अनिबंधी विस्तार $N$ को जोड़ने के मामले तक सामान्यीकृत होते हैं, जो $NL$ की संरचना का विश्लेषण करने के लिए एक एकीकृत ढांचा प्रदान करते हैं।

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