A constructive proof of Orzech's theorem

प्रदान किए गए शोध पत्र "A constructive proof of Orzech's theorem" (डेरिज ग्रिनबर्ग द्वारा) के आधार पर, यहाँ एक विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र ओरज़ेक के प्रमेय (Orzech's Theorem) (1971) को संबोधित करता है, जो कम्यूटेटिव रिंग्स (commutative rings) पर फिनाइटली जेनरेटेड मॉड्यूल्स (finitely generated modules) से संबंधित कम्यूटेटिव अलजेब्रा का एक परिणाम है।

• प्रमेय 0.1: मान लीजिए कि $A$ एक यूनिट के साथ एक कम्यूटेटिव रिंग है, और $M$ एक फिनाइटली जेनरेटेड $A$-मॉड्यूल है। यदि $N$, $M$ का एक सबमॉड्यूल है और $f: N \to M$ एक सरजेक्टिव (surjective) $A$-मॉड्यूल होमोमोर्फिज्म है, तो $f$ एक आइसोमोर्फिज्म (isomorphism) है।
• संदर्भ: यह सुप्रसिद्ध वासकोसेलोस के सह-प्रमेय (Vasconcelos' Corollary) (सह-प्रमेय 0.2) का सामान्यीकरण है, जो यह बताता है कि एक फिनाइटली जेनरेटेड मॉड्यूल का एक सरजेक्टिव एंडोमोर्फिज्म (endomorphism) एक आइसोमोर्फिज्म होता है।
• अंतराल (The Gap): ओरज़ेक के मूल प्रमाण में समस्या को इस स्थिति में बदलने पर निर्भरता थी जहाँ रिंग $A$ नोएथेरियन (Noetherian) हो। यह रिडक्शन गैर-रचनात्मक (non-constructive) है (यह अस्तित्व संबंधी तर्कों पर निर्भर करता है जो इनवर्स खोजने या इंजेक्टिविटी को सीधे सत्यापित करने के लिए एल्गोरिदम प्रदान नहीं करते हैं)। इस शोध पत्र का लक्ष्य एक रचनात्मक प्रमाण (constructive proof) प्रदान करना है जो रचनात्मक गणित (constructive mathematics) के ढांचे के भीतर कार्य करता है, और जहाँ तक संभव हो, नॉन-कंस्ट्रक्टिव सिद्धांतों जैसे कि चॉइस का एक्सिओम (Axiom of Choice) या लॉ ऑफ एक्सक्लूडेड मिडल (Law of Excluded Middle) से बचता है।

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

ग्रिनबर्ग का दृष्टिकोण पूरी तरह से बीजगणितीय है और यह कम्यूटेटिव रिंग्स के लिए अनुकूलित केले-हैमिल्टन प्रमेय (Cayley–Hamilton theorem) पर आधारित है। प्रमाण की रणनीति निम्नलिखित लेम्मा (lemmas) की एक श्रृंखला के माध्यम से आगे बढ़ती है:

A. मौलिक उपकरण (Foundational Tools)

• केले-हैमिल्टन प्रमेय (Theorem 0.3): किसी भी कम्यूटेटिव रिंग $A$ पर $n \times n$ मैट्रिक्स $M$ के लिए, विशेषता बहुपद (characteristic polynomial) $\chi_M(X) = \det(X \cdot I_n - M)$ इस प्रकार संतुष्ट करता है कि $\chi_M(M) = 0$।
• सह-प्रमेय 0.4: केले-हैमिल्टन का एक सीधा परिणाम। यह बताता है कि किसी भी मैट्रिक्स $M$ के लिए, एक मोनिक बहुपद संबंध $c_0 I + c_1 M + \dots + c_n M^n = 0$ मौजूद है जहाँ $c_n = 1$ है। यह $M$ की घातों के बीच एक विशिष्ट रैखिक निर्भरता (linear dependence) प्रदान करता है।

B. मुख्य लेम्मा: इनवेरिएंट सबमॉड्यूल्स (Invariant Submodules) (Lemma 0.5)

• कथन: मान लीजिए $g: A^n \to A^n$ एक $A$-लीनियर मैप है और $V$, $A^n$ का एक सबमॉड्यूल है ऐसा कि $g^{-1}(V) \subseteq V$। तब, $g(V) \subseteq V$।
• प्रमाण तकनीक: यह मुख्य रचनात्मक इंजन है।
  1. $g$ को एक मैट्रिक्स $M$ द्वारा निरूपित करें।
  2. सह-प्रमेय 0.4 से बहुपद संबंध का उपयोग करें: $\sum_{k=0}^n c_k M^k = 0$ जहाँ $c_n=1$।
  3. इंडेक्स $u$ पर इंडक्शन (induction) का उपयोग करके यह दिखाने के लिए करें कि बहुपद के विशिष्ट ट्रंकेटेड (truncated) योगों का $V$ पर अनुप्रयोग $V$ के भीतर ही रहता है।
  4. विशेष रूप से, प्रमाण $\sum c_k M^k = 0$ को आइसोलेट (isolate) करने के लिए समीकरण का हेरफेर करता है, यह दिखाते हुए कि यदि $g^{-1}(V) \subseteq V$, तो $V$ पर $g$ का एक्शन भी $V$ में ही लैंड करेगा। यह नॉन-कंस्ट्रक्टिव सेट-थ्योरेटिक तर्कों से बचता है।

C. मध्यवर्ती परिणाम: फिनाइटली जेनरेटेड सबमॉड्यूल्स (Finitely Generated Submodules) (Lemma 0.6)

• कथन: यदि $N$, $M$ का एक फिनाइटली जेनरेटेड सबमॉड्यूल है और $f: N \to M$ सरजेक्टिव है, तो $f$ एक आइसोमोर्फिज्म है।
• प्रमाण तकनीक:
  1. चूंकि $N$ फिनाइटली जेनरेटेड है, इसलिए एक सरजेक्शन $p: A^n \to N$ मौजूद है।
  2. कंपोजिशन $f \circ p: A^n \to M$ सरजेक्टिव है।
  3. एक मैप $g: A^n \to A^n$ का निर्माण करें ताकि $f \circ p \circ g = p$ हो। यह $f \circ p$ के सरजेक्शन के माध्यम से $A^n$ के बेसिस एलिमेंट्स को लिफ्ट (lift) करके किया जाता है।
  4. $V = \ker(f \circ p)$ को परिभाषित करें। निर्माण यह सुनिश्चित करता है कि $g^{-1}(V) \subseteq V$।
  5. $g(V) \subseteq V$ निकालने के लिए लेम्मा 0.5 लागू करें।
  6. दिखाएं कि $f$ के कर्नेल (kernel) के लिए कोई भी $w \in \ker(f)$, $w=0$ होना चाहिए, इसे मैप्स के माध्यम से ट्रैक करके और कर्नेल प्रॉपर्टीज से इंजेक्टिविटी का उपयोग करके।

D. प्रमेय 0.1 का अंतिम प्रमाण (Final Proof of Theorem 0.1)

• रणनीति: प्रमेय यह मानती है कि $M$ फिनाइटली जेनरेटेड है, लेकिन $N$ (डोमेन) आवश्यक रूप से फिनाइटली जेनरेटेड नहीं है।
• रिडक्शन (Reduction):
  1. $v \in \ker(f)$ लें। लक्ष्य यह दिखाना है कि $v=0$।
  2. एक नया सबमॉड्यूल $N' = Av + \sum A g_i$ का निर्माण करें, जहाँ $g_i$, $f$ के तहत $M$ के जनरेटर्स के प्री-इमेज (pre-images) हैं।
  3. $N'$ फिनाइटली जेनरेटेड है ( $v$ और $g_i$'s द्वारा) और $N$ का एक सबमॉड्यूल है।
  4. प्रतिबंध $f|_{N'}: N' \to M$ सरजेक्टिव है क्योंकि इसका इमेज $M$ के जनरेटर्स को समाहित करता है।
  5. $N'$ और $f|_{N'}$ के लिए लेम्मा 0.6 लागू करें। यह दर्शाता है कि $f|_{N'}$ एक आइसोमोर्फिज्म है, अतः इंजेक्टिव है।
  6. चूंकि $v \in N'$ और $f(v)=0$, इंजेक्टिविटी से $v=0$ सिद्ध होता है।
  7. इस प्रकार, $\ker(f) = 0$, जो $f$ को एक आइसोमोर्फिज्म सिद्ध करता है।

3. प्रमुख योगदान (Key Contributions)

1. रचनात्मक वैधता (Constructive Validity): प्राथमिक योगदान ओरज़ेक के प्रमेय को एक गैर-रचनात्मक अस्तित्व प्रमाण से एक रचनात्मक प्रमाण में बदलना है। प्रमाण इंजेक्टिविटी को सिद्ध करने के लिए आवश्यक बीजगणितीय संबंधों (केले-हैमिल्टन बहुपद के माध्यम से) को स्पष्ट रूप से निर्मित करता है, बिना यह माने कि रिंग नोएथेरियन है या नॉन-कंस्ट्रक्टिव लॉजिक का उपयोग किए बिना।
2. लेम्मा 0.5 (इनवेरिएंट सबमॉड्यूल्स): लेम्मा 0.5 का प्रमाण एक नवीन तकनीकी योगदान है। यह प्रदर्शित करता है कि कैसे केले-हैमिल्टन प्रमेय का उपयोग यह सिद्ध करने के लिए किया जा सकता है कि एक लीनियर मैप एक सबमॉड्यूल को सुरक्षित रखता है यदि वह उस सबमॉड्यूल के "प्री-इमेज" को सुरक्षित रखता है, जो कि रिंग्स पर लीनियर अलजेब्रा में स्वतंत्र रुचि का परिणाम है।
3. एकीकृत दृष्टिकोण (Unified Approach): शोध पत्र एक स्व-निहित (self-contained) प्रमाण प्रदान करता है जो जनरल केस (सबमॉड्यूल से मॉड्यूल तक) को हैंडल करता है, जिसे फिर मैट्रिक्स अलजेब्रा का उपयोग करके फिनाइटली जेनरेटेड केस तक कम किया जाता है।

4. परिणाम (Results)

• प्रमेय 0.1 रचनात्मक रूप से सिद्ध है: यह स्थापित किया गया है कि $N$ के एक सरजेक्टिव होमोमोर्फिज्म से $M$ तक का कोई भी मैप एक आइसोमोर्फिज्म है।
• सह-प्रमेय 0.2 (वासकोसेलोस) रचनात्मक रूप से सिद्ध है: इसके प्रत्यक्ष परिणाम के रूप में, एक फिनाइटली जेनरेटेड मॉड्यूल का कोई भी सरजेक्टिव एंडोमोर्फिज्म एक आइसोमोर्फिज्म है।
• एल्गोरिद्मिक प्रकृति: प्रमाण यह संकेत देता है कि यदि कोई प्रासंगिक मैट्रिक्स के विशेषता बहुपद (characteristic polynomial) की गणना कर सकता है (जो कि रचनात्मक है), तो वह मैप की इंजेक्टिविटी को एल्गोरिद्मिक रूप से सत्यापित कर सकता है।

5. महत्व (Significance)

• मौलिक गणित (Foundational Mathematics): रचनात्मक गणित (जैसे, इंट्यूशनिस्टिक लॉजिक) में, कम्यूटेटिव अलजेब्रा के कई क्लासिकल प्रमेय विफल हो जाते हैं या उनके लिए अलग स्वरूप की आवश्यकता होती है। यह शोध पत्र प्रदर्शित करता है कि एक महत्वपूर्ण संरचनात्मक प्रमेय (structural theorem) रचनात्मक रूप से मान्य है, जो इस संदर्भ में केले-हैमिल्टन प्रमेय की मजबूती को पुष्ट करता है।
• नोएथेरियन धारणा को हटाना: नोएथेरियन रिंग्स तक रिडक्शन से बचकर, यह प्रमाण अस्तित्व संबंधी एक्सिओम्स (existence axioms) पर निर्भर किए बिना रिंग्स के एक व्यापक वर्ग (गैर-नोएथेरियन सहित) पर लागू होता है।
• भावी दिशाएँ (Future Directions): शोध पत्र मल्टीप्लिकेटिव वर्जन (एल्gebras के लिए) के रचनात्मक वैधता के संबंध में खुले प्रश्न पूछकर समाप्त होता है, और यह भी कि क्या $A$-एल्gebras के लिए एक समान प्रमेय मौजूद है, जो रचनात्मक कम्यूटेटिव अलजेब्रा में आगे के अनुसंधान का मार्ग सुझाता है।

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