On Modules Whose Pure Submodules Are Essential in Direct Summands
Gupta, Gera, Sharma et al.
We introduce the notion of pure extending modules, a refinement of classical extending modules in which only pure submodules are required to be essential in direct summands. Fundamental properties and characterizations are established, showing that pure extending and extending modules coincide over von Neumann regular rings. As an application, we prove that pure extending modules admit decomposition patterns analogous to those in the classical theory, including a generalization of the Osofsky-Smith theorem: a cyclic module whose proper factor modules are pure extending decomposes into a finite direct sum of pure-uniform submodules. Additionally, we resolve an open problem of Dehghani and Sedaghatjoo by constructing a centrally quasi-morphic module that is not centrally morphic, arising from the link between pure-extending behavior and nonsingularity in finitely generated modules over Noetherian rings.
academic
शुद्ध उप-मॉड्यूल जो प्रत्यक्ष योजकों में आवश्यक हैं
यह पेपर शुद्ध विस्तारित मॉड्यूल (pure extending modules) की अवधारणा प्रस्तुत करता है, जो शास्त्रीय विस्तारित मॉड्यूल का एक परिष्कृत संस्करण है जो केवल शुद्ध उप-मॉड्यूल को प्रत्यक्ष योजकों में आवश्यक होने की मांग करता है। पेपर मूल गुणों और विशेषताओं को स्थापित करता है, यह साबित करता है कि von Neumann नियमित वलयों पर, शुद्ध विस्तारित मॉड्यूल विस्तारित मॉड्यूल के साथ मेल खाते हैं। एक अनुप्रयोग के रूप में, यह साबित करता है कि शुद्ध विस्तारित मॉड्यूल शास्त्रीय सिद्धांत के समान विघटन पैटर्न रखते हैं, जिसमें Osofsky-Smith प्रमेय का सामान्यीकरण शामिल है: वास्तविक भागफल मॉड्यूल जो शुद्ध विस्तारित हैं, परिमित रूप से कई शुद्ध सुसंगत उप-मॉड्यूल के प्रत्यक्ष योग में विघटित होते हैं। इसके अलावा, एक केंद्रीय अर्ध-रूपवाद मॉड्यूल का निर्माण करके जो केंद्रीय रूपवाद मॉड्यूल नहीं है, यह Dehghani और Sedaghatjoo द्वारा प्रस्तुत एक खुली समस्या को हल करता है।
यह पेपर मॉड्यूल सिद्धांत में तीन मुख्य समस्याओं को हल करने का लक्ष्य रखता है:
विस्तारित मॉड्यूल की संरचनात्मक कठोरता समस्या: शास्त्रीय विस्तारित मॉड्यूल सभी उप-मॉड्यूल को प्रत्यक्ष योजकों में आवश्यक होने की मांग करते हैं, यह शर्त समतल, विभाज्य या टेंसर के तहत सटीकता बनाए रखने वाली समरूप शुद्धता सेटिंग में बहुत कठोर है।
प्रत्यक्ष योग बंदी समस्या: लंबे समय से अनसुलझी समस्या यह है कि विस्तारित मॉड्यूल का परिमित प्रत्यक्ष योग अभी भी विस्तारित है या नहीं (प्रश्न 1.1(1)), और क्या सभी भागफल मॉड्यूल विस्तारित हैं ऐसे मॉड्यूल परिमित रूप से कई सुसंगत मॉड्यूल के प्रत्यक्ष योग में विघटित हो सकते हैं (प्रश्न 1.1(2))।
रूपवाद मॉड्यूल की केंद्रीयता समस्या: Dehghani और Sedaghatjoo 8 द्वारा प्रस्तुत खुली समस्या: क्या प्रत्येक केंद्रीय अर्ध-रूपवाद मॉड्यूल आवश्यक रूप से केंद्रीय रूपवाद मॉड्यूल है?
सैद्धांतिक महत्व: विस्तारित मॉड्यूल सिद्धांत मॉड्यूल विघटन सिद्धांत की नींव है, और यह मरोड़ सिद्धांत, शुद्धता और समरूप बीजगणित से घनिष्ठ रूप से संबंधित है। इस अवधारणा को शुद्ध करना इसे समरूप ढांचे के अनुकूल बनाता है।
संरचना विश्लेषण: von Neumann के निरंतर ज्यामिति की नींव का काम और Utumi द्वारा वलयों का विश्लेषण दर्शाता है कि आवश्यक एम्बेडिंग और प्रत्यक्ष योग संरचना का अध्ययन गहरा प्रभाव रखता है।
अनुप्रयोग मूल्य: रूपवाद मॉड्यूल और Rickart मॉड्यूल के बीच संबंध स्वयं-अंत वलय की नियमितता को समझने के लिए उपकरण प्रदान करते हैं।
शास्त्रीय विस्तारित मॉड्यूल बहुत कठोर हैं: कई बीजगणितीय सेटिंग में, विशेष रूप से समरूप शुद्धता से संबंधित मामलों में, सभी उप-मॉड्यूल को प्रत्यक्ष योजकों में आवश्यक रूप से एम्बेड करने की मांग अव्यावहारिक है।
प्रत्यक्ष योग बंद नहीं है: हालांकि Birkenmeier आदि ने साबित किया कि विस्तारित मॉड्यूल का परिमित प्रत्यक्ष योग FI-विस्तारित है, सामान्य मामले में विस्तारित नहीं है।
शुद्धता दृष्टिकोण की कमी: मौजूदा सिद्धांत शुद्ध उप-मॉड्यूल (टेंसर उत्पाद के तहत सटीकता बनाए रखने वाले उप-मॉड्यूल) के विशेष गुणों का पूरी तरह से उपयोग नहीं करता है।
शुद्ध विस्तारित मॉड्यूल अवधारणा का परिचय: शुद्ध विस्तारित मॉड्यूल (pure extending modules) को परिभाषित करता है, जो केवल शुद्ध उप-मॉड्यूल को प्रत्यक्ष योजकों में आवश्यक होने की मांग करते हैं, यह शास्त्रीय विस्तारित मॉड्यूल का प्राकृतिक कमजोरीकरण है।
मूल सिद्धांत स्थापित करना:
साबित करता है कि von Neumann नियमित वलयों पर शुद्ध विस्तारित मॉड्यूल विस्तारित मॉड्यूल के साथ मेल खाते हैं (प्रस्ताव 2.8)
साबित करता है कि शुद्ध विस्तारित मॉड्यूल वर्ग परिमित प्रत्यक्ष योग के तहत बंद है (प्रमेय 2.10)
कई विशेषता प्रमेय देता है (प्रस्ताव 2.7, 2.14, प्रमेय 2.15)
RD-शुद्ध विस्तारित मॉड्यूल का परिचय: तत्व विभाज्यता के आधार पर RD-शुद्ध विस्तारित मॉड्यूल को परिभाषित करता है, जो शुद्ध विस्तारित मॉड्यूल वर्ग को सख्ती से शामिल करता है, अधिक लचीला ढांचा प्रदान करता है (उदाहरण A.1)।
Osofsky-Smith प्रमेय का सामान्यीकरण: साबित करता है कि वास्तविक भागफल मॉड्यूल जो शुद्ध विस्तारित हैं, परिमित रूप से कई शुद्ध सुसंगत उप-मॉड्यूल के प्रत्यक्ष योग में विघटित होते हैं (प्रमेय 3.2), प्रश्न 1.1(2) का आंशिक उत्तर देता है।
खुली समस्या को हल करना:
केंद्रीय अर्ध-रूपवाद मॉड्यूल आवश्यक रूप से केंद्रीय रूपवाद मॉड्यूल नहीं है यह साबित करने के लिए प्रतिउदाहरण बनाता है (उदाहरण 3.22)
8 में कई प्रस्तावों में त्रुटियों को इंगित करता है (टिप्पणी 3.23)
परिमित रूप से उत्पन्न, गैर-विलक्षण, शुद्ध विस्तारित मॉड्यूल के मामले में दोनों के समतुल्य होने को साबित करता है (प्रस्ताव 3.20)
Σ-Rickart मॉड्यूल के साथ संबंध स्थापित करना: साबित करता है कि Noetherian वलय पर परिमित रूप से उत्पन्न गैर-विलक्षण शुद्ध विस्तारित मॉड्यूल Σ-Rickart हैं (प्रमेय 3.19)।
परिभाषा 2.1 (शुद्ध विस्तारित मॉड्यूल): मॉड्यूल M को शुद्ध विस्तारित कहा जाता है, यदि M का प्रत्येक शुद्ध उप-मॉड्यूल M के किसी प्रत्यक्ष योजक में आवश्यक है।
यहाँ शुद्ध उप-मॉड्यूल P≤M का अर्थ है कि सभी आदर्श I⊆R के लिए, IP=IM∩P। उप-मॉड्यूल N को M में आवश्यक कहा जाता है (जिसे N≤eM से दर्शाया जाता है) यदि M का प्रत्येक गैर-शून्य उप-मॉड्यूल N के साथ गैर-तुच्छ रूप से प्रतिच्छेद करता है।
परिभाषा 2.16 (RD-शुद्ध विस्तारित मॉड्यूल): उप-मॉड्यूल P≤M को सापेक्ष विभाज्य (RD-pure) कहा जाता है, यदि प्रत्येक r∈R के लिए, rP=rM∩P। मॉड्यूल M को RD-शुद्ध विस्तारित कहा जाता है, यदि प्रत्येक RD-शुद्ध उप-मॉड्यूल प्रत्यक्ष योजक में आवश्यक है।
प्रस्ताव 2.3: शुद्ध विस्तारित मॉड्यूल के प्रत्यक्ष योजक शुद्ध विस्तारित हैं।
प्रमाण विचार: मान लीजिए M=N⊕N′, P≤NN में शुद्ध उप-मॉड्यूल है। चूंकि विभाजन समावेश शुद्ध है, PM में शुद्ध है। शुद्ध विस्तारण गुण द्वारा, D≤⊕M मौजूद है जैसे P≤eD। मॉड्यूल सिद्धांत के मानक तर्क के माध्यम से, D∩NN का प्रत्यक्ष योजक है और P≤e(D∩N)।
प्रमेय 2.10 (परिमित प्रत्यक्ष योग बंदी): M=M1⊕M2 शुद्ध विस्तारित है यदि और केवल यदि M1 और M2 दोनों शुद्ध विस्तारित हैं।
प्रमाण मुख्य बिंदु:
(⇒) प्रस्ताव 2.3 द्वारा तुरंत अनुसरण करता है
(⇐) मान लीजिए P≤M शुद्ध है, तब πi(P)Mi में शुद्ध है। Di≤⊕Mi मौजूद है जैसे πi(P)≤eDi। D=D1⊕D2 को परिभाषित करें, सत्यापित करें कि P≤eD: किसी भी 0=(d1,d2)∈D के लिए, यदि d1=0, तब π1(P)≤eD1 द्वारा r मौजूद है जैसे 0=d1r∈π1(P), सूक्ष्म विश्लेषण के माध्यम से साबित करें कि P∩(d1,d2)R=0।
नोट: यह परिणाम अनंत प्रत्यक्ष योग तक सामान्यीकृत नहीं हो सकता (उदाहरण 2.11)।
शुद्धता का सटीक उपयोग: आदर्श शुद्धता (IP=IM∩P) और तत्व शुद्धता (rP=rM∩P) के बीच अंतर करके, दो-स्तरीय सैद्धांतिक प्रणाली स्थापित करता है।
Fieldhouse परिणाम का अनुप्रयोग: समतल मॉड्यूल पर शुद्धता और RD-शुद्धता के मेल खाने के शास्त्रीय परिणाम का उपयोग करता है (प्रस्ताव 2.19, परिणाम 2.20)।
शुद्धिकरण संचालक की एकरसता: विघटन प्रमेय प्रमाण में, शुद्धिकरण संचालक Pur(−) की एकरसता का उपयोग करके अवरोही श्रृंखला को नियंत्रित करता है (प्रस्ताव 3.7)।
स्वयं-अंत वलय शर्तें: मजबूत π-स्वयं-अंत नियमितता के माध्यम से (प्रस्ताव 3.12) रूपवाद गुणों को विघटन गुणों से जोड़ता है।
ऐतिहासिक पृष्ठभूमि: Osofsky और Smith 31 ने साबित किया:
प्रमेय 3.1: मान लीजिए M चक्रीय मॉड्यूल है, यदि M का प्रत्येक चक्रीय उप-मॉड्यूल पूर्ण विस्तारित है, तब M परिमित रूप से कई सुसंगत मॉड्यूल के प्रत्यक्ष योग है।
यहाँ पूर्ण विस्तारण का अर्थ है सभी भागफल मॉड्यूल विस्तारित हैं, जो शुद्धता से अधिक मजबूत है।
प्रमेय 3.2: मान लीजिए M चक्रीय मॉड्यूल है, यदि M का प्रत्येक चक्रीय भागफल मॉड्यूल शुद्ध विस्तारित है, तब M परिमित रूप से कई शुद्ध सुसंगत उप-मॉड्यूल के प्रत्यक्ष योग है।
प्रमाण रणनीति:
स्वयं-अंत Artinian गुण (प्रमेय 3.3): साबित करता है कि यदि चक्रीय मॉड्यूल के सभी भागफल मॉड्यूल स्वयं-अंत Artinian हैं, तब मॉड्यूल स्वयं स्वयं-अंत Artinian है। प्रमाण: मान लीजिए M स्वयं-अंत Artinian नहीं है, सख्त अवरोही श्रृंखला M=f0(M)⊋f1(M)⊋⋯ मौजूद है। N=⋂ifi(M) को परिभाषित करें, तब M/N संगत अवरोही श्रृंखला को विरासत में लेता है, विरोधाभास।
शुद्ध सुसंगतता (प्रस्ताव 3.4): अविघटनीय शुद्ध विस्तारित मॉड्यूल का प्रत्येक गैर-शून्य शुद्ध उप-मॉड्यूल शुद्ध आवश्यक है। प्रमाण: मान लीजिए P≤M गैर-शून्य शुद्ध है, X≤P गैर-शून्य शुद्ध है। शुद्ध विस्तारण गुण द्वारा, D≤⊕M मौजूद है जैसे X≤eD। अविघटनीयता द्वारा, D=M, इसलिए X≤eM।
परिमित विघटन (प्रमेय 3.6): शुद्ध विस्तारित स्वयं-अंत Artinian मॉड्यूल परिमित रूप से कई शुद्ध सुसंगत उप-मॉड्यूल के प्रत्यक्ष योग में विघटित होता है।
भागफल मॉड्यूल Artinian गुण (प्रस्ताव 3.7): साबित करता है कि चक्रीय शुद्ध विस्तारित मॉड्यूल का प्रत्येक चक्रीय भागफल मॉड्यूल Artinian है, मुख्य रूप से सुसंगत आयाम की परिमितता और शुद्धिकरण संचालक के गुणों का उपयोग करता है।
परिणाम 3.8: von Neumann नियमित वलय पर, यदि चक्रीय मॉड्यूल के सभी चक्रीय भागफल मॉड्यूल विस्तारित हैं, तब वह मॉड्यूल परिमित रूप से कई सुसंगत मॉड्यूल के प्रत्यक्ष योग है।
Rickart मॉड्यूल: M को Rickart कहा जाता है, यदि प्रत्येक f∈End(M) के लिए, ker(f)=eM किसी वर्गसम तत्व e2=e के लिए।
Σ-Rickart मॉड्यूल: M को Σ-Rickart कहा जाता है, यदि M का कोई भी प्रत्यक्ष योग Rickart है; समतुल्य रूप से, किसी भी समुच्चय I और f∈End(MI) के लिए, परिमित J⊆I मौजूद है जैसे ker(f)≤⊕MJ।
केंद्रीय अर्ध-रूपवाद मॉड्यूल: M को केंद्रीय अर्ध-रूपवाद कहा जाता है, यदि प्रत्येक f∈End(M) के लिए, केंद्रीय तत्व g,h∈Cent(End(M)) मौजूद हैं जैसे ker(f)=Im(g) और Im(f)=ker(h)। यदि g=h ले सकते हैं, तब केंद्रीय रूपवाद कहा जाता है।
प्रमेय 3.19: मान लीजिए R दाएं Noetherian वलय है, M परिमित रूप से उत्पन्न, गैर-विलक्षण, शुद्ध विस्तारित दाएं R-मॉड्यूल है, तब M Σ-Rickart है।
प्रमाण मुख्य बिंदु:
X=M(I) को परिभाषित करें, f∈End(X), K=kerf
K=Pur(K) को K का शुद्धिकरण परिभाषित करें
शुद्ध विस्तारण गुण द्वारा, K≤eD किसी D≤⊕X के लिए
साबित करें कि K=K: यदि नहीं, तब परिमित रूप से उत्पन्न उप-मॉड्यूल F मौजूद है जैसे (F∩K)/(F∩K) गैर-शून्य और परिमित प्रस्तुत है, लेकिन X/K गैर-विलक्षण है, विरोधाभास
साबित करें कि D=K: y∈D के लिए, परिमित रूप से उत्पन्न F≤D चुनें जिसमें y हो। F∩KF में शुद्ध और आवश्यक है, परिमित प्रस्तुति द्वारा F∩K=F
प्रस्ताव 3.20: मान लीजिए R Noetherian वलय है, M परिमित रूप से उत्पन्न, गैर-विलक्षण, शुद्ध विस्तारित मॉड्यूल है, तब M केंद्रीय अर्ध-रूपवाद है यदि और केवल यदि यह केंद्रीय रूपवाद है।
प्रमाण विचार:
प्रमेय 3.19 द्वारा, M Σ-Rickart है
22, प्रस्ताव 4.3 द्वारा, End(M) दाएं अर्ध-विरासत है
साबित करें कि End(M) von Neumann नियमित है: प्रत्येक मुख्य दाएं आदर्श fS प्रक्षेपी है, इसलिए वर्गसम तत्व द्वारा उत्पन्न है
इसलिए M स्वयं-अंत नियमित है
8 के परिणाम द्वारा, स्वयं-अंत नियमित और केंद्रीय अर्ध-रूपवाद मजबूत स्वयं-अंत नियमितता का अर्थ है, जो केंद्रीय रूपवाद का अर्थ है
शुद्ध विस्तारित मॉड्यूल विस्तारित मॉड्यूल का प्राकृतिक सामान्यीकरण है: मुख्य विघटन गुणों को बनाए रखते हुए, समरूप शुद्धता ढांचे के अनुकूल है।
von Neumann नियमित वलयों की विशेषता: इस प्रकार की वलयों पर, शुद्ध विस्तारित विस्तारित के साथ मेल खाते हैं, परिमित प्रत्यक्ष योग बंदी समस्या का सकारात्मक उत्तर मिलता है।
विघटन प्रमेय: शुद्धता धारणा के तहत, चक्रीय मॉड्यूल का विघटन व्यवहार शास्त्रीय मामले के समान है।
रूपवाद गुणों का सूक्ष्म अंतर: केंद्रीय अर्ध-रूपवाद और केंद्रीय रूपवाद के बीच अंतर परिमितता, गैर-विलक्षणता और शुद्ध विस्तारण के सूक्ष्म अंतःक्रिया पर निर्भर करता है।
अनंत प्रत्यक्ष योग: शुद्ध विस्तारण गुण अनंत प्रत्यक्ष योग के तहत संरक्षित नहीं है (उदाहरण 2.11), यह अनंत आयामी मामले में सिद्धांत के अनुप्रयोग को सीमित करता है।
von Neumann नियमितता की आवश्यकता: परिणाम 3.8 में von Neumann नियमितता धारणा आवश्यक है या नहीं यह पूरी तरह स्पष्ट नहीं है (नोट 3.9)।
परिमित रूप से उत्पन्न धारणा: परिणाम 3.21 में "परिमित रूप से उत्पन्न" धारणा को हटाया जा सकता है या नहीं यह अभी स्पष्ट नहीं है (टिप्पणी 3.23(1))।
विपरीत निहितार्थ: प्रमेय 3.19 का विपरीत (क्या Noetherian वलय पर परिमित रूप से उत्पन्न Σ-Rickart मॉड्यूल शुद्ध विस्तारित है) अभी भी खुला है।
रचनात्मकता: कई अस्तित्व परिणाम (जैसे उदाहरण 2.13(2)) स्पष्ट निर्माण की कमी है।
अवधारणा की प्राकृतिकता: शुद्ध विस्तारित मॉड्यूल की परिभाषा दो मूल अवधारणाओं (शुद्धता और आवश्यकता) को प्राकृतिक रूप से जोड़ती है, समरूप बीजगणित ढांचे में आंतरिक तर्कसंगतता है।
सैद्धांतिक पूर्णता:
मूल गुणों का व्यवस्थित निर्माण (प्रस्ताव 2.3-2.7)
कई समतुल्य विशेषताएं देता है (प्रस्ताव 2.8, 2.14, प्रमेय 2.15)
RD-शुद्ध संस्करण का परिचय लचीलापन बढ़ाता है
प्रमाण की कठोरता:
प्रत्येक प्रमेय का पूर्ण प्रमाण है
प्रतिउदाहरण निर्माण सटीक है (उदाहरण 2.2, 2.5, 2.11, 3.22, A.1)
8 में त्रुटियों का संकेत पर्याप्त तर्क के साथ है (टिप्पणी 3.23)
अनुप्रयोग मूल्य:
शास्त्रीय विघटन प्रमेय का सामान्यीकरण (प्रमेय 3.2)
खुली समस्या को हल करता है (उदाहरण 3.22 प्रश्न 2.14 का उत्तर देता है)
नए संबंध स्थापित करता है (शुद्ध विस्तारित↔Σ-Rickart, प्रमेय 3.19)
लेखन स्पष्टता:
तर्कसंगत संरचना (गुण→विशेषता→अनुप्रयोग)
स्पष्ट प्रेरणा (परिचय पृष्ठभूमि विस्तार से समझाता है)
मॉड्यूल गुणों के माध्यम से वलय को विशेषता देना (जैसे प्रस्ताव 2.8, 2.14, प्रमेय 2.15)
विशेष वलय वर्गों का अध्ययन (von Neumann नियमित वलय, PDS वलय, दाएं perfect वलय)
प्रतिनिधित्व सिद्धांत:
बीजगणित की मॉड्यूल श्रेणी संरचना का अध्ययन
झुकाव सिद्धांत में शुद्धता शर्तें
श्रेणी सिद्धांत:
Grothendieck श्रेणियों में शुद्धता
Morita समतुल्यता के तहत अपरिवर्तनीय (प्रस्ताव 2.9)
क्रमविनिमेय बीजगणित:
हालांकि पेपर मुख्य रूप से गैर-क्रमविनिमेय मामले पर विचार करता है, लेकिन उदाहरण 3.22 जैसे क्रमविनिमेय उदाहरण दर्शाते हैं कि सिद्धांत क्रमविनिमेय मामले में भी अनुप्रयोग है
28 Mohamed & Müller (1990): C शर्तों का व्यवस्थितकरण
31 Osofsky & Smith (1991): मूल विघटन प्रमेय
33 Wisbauer (1991): मॉड्यूल और वलय सिद्धांत हैंडबुक
समग्र मूल्यांकन: यह शुद्ध गणित सिद्धांत का एक उच्च गुणवत्ता वाला पेपर है, जो मॉड्यूल सिद्धांत के शास्त्रीय क्षेत्र में वास्तविक योगदान देता है। शुद्ध विस्तारित मॉड्यूल अवधारणा का परिचय देकर, लेखक विस्तारित मॉड्यूल सिद्धांत और शुद्धता सिद्धांत के बीच एक सेतु सफलतापूर्वक स्थापित करता है, शास्त्रीय परिणामों को सामान्यीकृत करता है, खुली समस्याओं को हल करता है, और साहित्य में त्रुटियों को सुधारता है। पेपर की सैद्धांतिक गहराई, प्रमाण की कठोरता और अनुप्रयोग मूल्य सभी उच्च स्तरीय शैक्षणिक पत्रिकाओं के मानदंड तक पहुंचते हैं। हालांकि कुछ तकनीकी कठिनाइयां और अनसुलझी समस्याएं हैं, लेकिन ये भविष्य के अनुसंधान के लिए दिशाएं प्रदान करती हैं। मॉड्यूल सिद्धांत और वलय सिद्धांत के शोधकर्ताओं के लिए, यह एक महत्वपूर्ण साहित्य है जिसे सावधानीपूर्वक पढ़ा जाना चाहिए।