Decompositions into a direct sum of projective and stable submodules

यहाँ गुल्लिज़ार गुनाय (Güllizar Günay) और एंगिन मेरमुत (Engin Mermut) के शोध पत्र "Decompositions into a Direct Sum of Projective and Stable Submodules" का विस्तृत तकनीकी सारांश दिया गया है।

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

इस शोध पत्र में संबोधित मुख्य समस्या एक अनिश्चित साहचर्य वलय (arbitrary associative ring) $R$ पर मॉड्यूल का अपघटन (decomposition) है। विशेष रूप से, लेखक उन स्थितियों की जांच करते हैं जिनमें एक $R$-मॉड्यूल $M$ को एक प्रत्यक्ष योग (direct sum) के रूप में विभाजित किया जा सकता है:
$$M = P \oplus N$$
जहाँ:

• $P$ एक प्रोजेक्टिव (projective) उप-मॉड्यूल है।
• $N$ एक स्थिर (stable) उप-मॉड्यूल है (जिसे एक ऐसे मॉड्यूल के रूप में परिभाषित किया गया है जिसमें कोई गैर-शून्य प्रोजेक्टिव प्रत्यक्ष समदायक (direct summand) नहीं होता)।

जबकि ऐसे अपघटन विशिष्ट श्रेणियों के वलयों (जैसे कि सेमीपरफेक्ट वलय, लेफ्ट हेरेडिटरी वलय) और विशिष्ट मॉड्यूल श्रेणियों (जैसे सेमीपरफेक्ट वलयों पर परिमित रूप से जनरेटेड मॉड्यूल) के लिए ज्ञात हैं, यह शोध पत्र निम्नलिखित उद्देश्यों को लक्षित करता है:

1. ऐसे अपघटन के अस्तित्व के लिए सामान्य स्थितियाँ स्थापित करना।
2. उन स्पष्ट प्रति-उदाहरणों (counterexamples) की पहचान करना और निर्माण करना जहाँ ऐसे अपघटन विफल होते हैं, यहाँ तक कि परिमित रूप से जनरेटेड या परिमित रूप से प्रस्तुत (finitely presented) मॉड्यूल के लिए भी।
3. यह निर्धारित करना कि क्या ऐसा मॉड्यूल जो इस अपघटन में विफल रहता है, वह एक स्थिर मॉड्यूल के "प्रोजेक्टिव रूप से तुल्य" (projectively equivalent) है (अर्थात, क्या $M \oplus Q \cong N' \oplus P'$ है, जहाँ $N'$ एक स्थिर मॉड्यूल और $Q, P'$ प्रोजेक्टिव हैं)।

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

लेखक होमोलॉजिकल अलजेब्रा, लैटिस थ्योरी और रिंग-थ्योरेटिक निर्माणों के संयोजन का उपयोग करते हैं:

• आयाम सिद्धांत (Dimension Theory): वे मॉड्यूल की संरचनात्मक बाधाओं का विश्लेषण करने के लिए यूनिफॉर्म आयाम (uniform dimension/Goldie dimension) और हॉलो आयाम (hollow dimension) का उपयोग करते हैं। वे सिद्ध करते हैं कि यदि किसी मॉड्यूल का यूनिफॉर्म या हॉलो आयाम परिमित है, तो अपघटन अवश्य अस्तित्व में होगा।
• ऑसलैंडर-ब्रिजर ट्रांसपोज़ (Auslander-Bridger Transpose): परिमित रूप से प्रस्तुत (finitely presented) मॉड्यूल्स के लिए, लेखक ऑसलैंडर-ब्रिजर ट्रांसपोज़ ($\text{Tr}$) का उपयोग करते हैं। यह फंक्टर (functor) परिमित रूप से प्रस्तुत राइट मॉड्यूल्स को परिमित रूप से प्रस्तुत लेफ्ट मॉड्यूल्स में मैप करता है। वे $\text{Tr}(M)$ के प्रोजेक्टिव आयाम और ड्यूल मॉड्यूल $M^* = \text{Hom}_R(M, R)$ के बीच के संबंध का विश्लेषण करते हैं।
• टॉरशनलेस मॉड्यूल्स (Torsionless Modules): शोध पत्र टॉरशनलेस मॉड्यूल्स (जो $R$ की प्रतियों के डायरेक्ट प्रोडक्ट में एम्बेडेबल होते हैं) और प्रोजेक्टिव मॉड्यूल्स के बीच के संबंध की जांच करता है। वे इस परिणाम का लाभ उठाते है कि एक राइट परफेक्ट और लेफ्ट कोहेरेंट वलय पर, सभी टॉरशनलेस मॉड्यूल्स प्रोजेक्टिव होते हैं।
• प्रति-उदाहरण निर्माण (Counterexample Construction): विफलताओं को प्रदर्शित करने के लिए, लेखक निम्नलिखित का उपयोग करके विशिष्ट वलय और मॉड्यूल का निर्माण करते हैं:
  • क्षेत्रों (fields) के अनंत उत्पाद।
  • त्रिकोणीय मैट्रिक्स वलय (triangular matrix rings)।
  • सेमीआर्टिनियन राइट $V$-वलय।
  • रिंग्स का आइडियलाइजेशन (नागाटा का निर्माण)।

3. प्रमुख योगदान और परिणाम (Key Contributions and Results)

A. अपघटन का अस्तित्व (Existence of Decompositions)

यह शोध पत्र $M = P \oplus N$ अपघटन के लिए पर्याप्त स्थितियाँ स्थापित करता है:

1. परिमित आयाम (Finite Dimensions): यदि किसी मॉड्यूल $M$ का यूनिफॉर्म आयाम ($u.\dim(M) < \infty$) या हॉलो आयाम ($h.\dim(M) < \infty$) परिमित है, तो इसमें ऐसा अपघटन प्राप्त होता है।
   • उपकोश (Corollary): इसका तात्पर्य यह है कि यह अपघटन सभी नोथेरियन (Noetherian), आर्टिनियन (Artinian), और सेमीलोकल वलयों पर परिमित रूप से जनरेटेड मॉड्यूल्स के लिए मान्य है।
2. सेमीहेरेडिटरी वलयों पर परिमित रूप से प्रस्तुत मॉड्यूल्स:
   • प्रमेय 3.10: यदि $R$ एक लेफ्ट सेमीहेरेडिटरी वलय है और $M$ एक फाइनाइटली प्रेजेंटेड राइट $R$-मॉड्यूल है, तो $M = P \oplus N$।
   • तंत्र (Mechanism): इसका प्रमाण इस तथ्य पर आधारित है कि ऐसे वलयों के लिए, $\text{pd}(\text{Tr}(M)) \leq 1$ होता है। यह अपघटन $M \cong M^{**} \oplus \text{Ext}^1_R(\text{Tr}(M), R)$ की ओर ले जाता है, जहाँ $M^{**}$ प्रोजेक्टिव है और $\text{Ext}$ पद स्थिर (stable) है।

B. अपघटन की विफलता (Failure of Decompositions - Counterexamples)

शोध पत्र का मुख्य योगदान उन मॉड्यूल्स का निर्माण है जिन्हें प्रोजेक्टिव और स्थिर भाग में विभाजित नहीं किया जा सकता।

1. सामान्य विफलता की स्थिति (General Failure Condition):

   • प्रमेय 4.1: यदि $R$ एक राइट हेरेडिटरी वलय है जो राइट परफेक्ट (या लेफ्ट कोहेरेंट) नहीं है, तो एक ऐसा टॉरशनलेस मॉड्यूल मौजूद है जो प्रोजेक्टिव नहीं है। ऐसा मॉड्यूल $P \oplus N$ में विभाजित नहीं हो सकता।
   • उदाहरण: वलय $\mathbb{Z}$ पर पूर्णांकों का अनंत उत्पाद $\prod_{i=1}^\infty \mathbb{Z}$।

2. फाइनाइटली जनरेटेड विफलताएँ (Finitely Generated Failures):

   • प्रमेय 4.3: यदि $R$ एक राइट सेमीहेरेडिटरी वलय है जो राइट बेयर (Baer) वलय नहीं है, तो एक साइक्लिक (cyclic) (फाइनाइटली जनरेटेड) टॉरशनलेस मॉड्यूल मौजूद है जो अपघटन में विफल रहता है।
   • उदाहरण: वॉन न्यूमैन रेगुलर वलयों से प्राप्त त्रिकोणीय मैट्रिक्स वलयों पर मॉड्यूल।

3. फाइनाइटली प्रेजेंटेड विफलताएँ (मुख्य परिणाम) (Finitely Presented Failures):

   • प्रमेय 4.6: एक राइट सेमीआर्टिनियन राइट $V$-वलय पर जो सेमीसिंपल नहीं है, वहाँ एक साइक्लिक मॉड्यूल $M$ मौजूद है जो अपघटन नहीं कर सकता।
   • उदाहरण 4.8 (प्राथमिक प्रति-उदाहरण):
     • निर्माण: मान लीजिए $R = \prod_{i=1}^\infty \mathbb{Z}_2$ और $S = R/T$ (एक सरल बाइमॉड्यूल)। एक कम्यूटेटिव वलय $A = \begin{pmatrix} R & S \\ 0 & R \end{pmatrix}$ (आइडियलाइजेशन) का निर्माण करें।
     • मॉड्यूल: मान लीजिए $J$ वलय $A$ का जैकोबसन रेडिकल (Jacobson radical) है, और $M = A/J$ है।
     • गुणधर्म:
       • $M$ साइक्लिकली प्रेजेंटेड (अतः फाइनाइटली प्रेजेंटेड) है।
       • $M$ प्रोजेक्टिव नहीं है।
       • $M$ में कोई गैर-शून्य स्थिर उप-मॉड्यूल नहीं है।
     • महत्व: क्योंकि $M$ में कोई गैर-शून्य स्थिर उप-मॉड्यूल नहीं है, इसलिए इसे $P \oplus N$ के रूप में नहीं लिखा जा सकता (जब तक कि $N=0$ न हो, जो यह संकेत देगा कि $M$ प्रोजेक्टिव है, जो कि एक विरोधाभास है)।
     • प्रोजेक्टिव तुल्यता (Projective Equivalence): लेखक सिद्ध करते हैं (लेम्मा 4.7) कि यदि कोई मॉड्यूल प्रोजेक्टिव नहीं है और उसमें कोई गैर-शून्य स्थिर उप-मॉड्यूल नहीं है, तो वह किसी भी स्थिर मॉड्यूल के प्रोजेक्टिव रूप से तुल्य नहीं है। इस प्रकार, $M$ अपघटन की अवधारणा की एक "शुद्ध" विफलता का प्रतिनिधित्व करता है।

4. महत्व (Significance)

• प्रतिनिधित्व सिद्धांत का परिशोधन (Refining Representation Theory): यह शोध पत्र मॉड्यूल थ्योरी में अपघटन प्रमेयों की सीमाओं को स्पष्ट करता है। जबकि प्रोजेक्टिव और स्थिर भागों में अपघटन आर्टिन अल्जेब्रा (जहाँ वलय सेमीपरफेक्ट होते हैं) के प्रतिनिधित्व सिद्धांत में एक मानक उपकरण है, यह कार्य दर्शाता है कि ऐसे उपकरण सार्वभौमिक रूप से लागू नहीं होते हैं, यहाँ तक कि कम्यूटेटिव वलयों पर फाइनाइटली प्रेजेंटेड मॉड्यूल्स जैसी सुव्यवस्थित श्रेणियों के लिए भी।
• स्टेबल कैटेगरी के निहितार्थ (Stable Category Implications): $M = P \oplus N$ अपघटन का अस्तित्व एक व्यक्ति को स्टेबल कैटेगरी में स्थिर मॉड्यूल $N$ का अध्ययन करने की अनुमति देता है। प्रति-उदाहरण दिखाते हैं कि कुछ मॉड्यूल्स के लिए, "स्थिर भाग" को इस तरह अलग नहीं किया जा सकता है, और मॉड्यूल स्टेबल कैटेगरी में किसी स्थिर वस्तु के तुल्य भी नहीं होता है।
• वलय लक्षण वर्णन (Ring Characterization): परिणाम वलय के गुणों के नए लक्षण वर्णन प्रदान करते हैं। उदाहरण के लिए, फाइनाइटली प्रेजेंटेड मॉड्यूल्स के लिए अपघटन की विफलता, वलय के राइट परफेक्ट या लेफ्ट कोहेरेंट न होने से जुड़ी है।
• पद्धतिगत प्रगति (Methodological Advancement): सेमीहेरेडिटरी वलयों के लिए अपघटन मानदंडों को प्राप्त करने के लिए ऑसलैंडर-ब्रिजर ट्रांसपोज़ का उपयोग एक शक्तिशाली होमोलॉजिकल तकनीक प्रदान करता है, जो ट्रांसपोज़ के प्रोजेक्टिव आयाम को मूल मॉड्यूल की स्थिरता से जोड़ती है।

संक्षेप में, यह शोध पत्र सफलतापूर्वक उन सटीक बीजगणितीय स्थितियों को रेखांकित करता है जिनके तहत $M = P \oplus N$ अपघटन मान्य होता है और विशिष्ट, गैर-तुच्छ मामलों में इसकी विफलता के लिए कठोर, रचनात्मक प्रमाण प्रदान करता है, जिससे सामान्य वलयों पर मॉड्यूल्स की संरचना की समझ गहरी होती है।