2025-11-11T23:22:24.410709

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

शुद्ध उप-मॉड्यूल जो प्रत्यक्ष योजकों में आवश्यक हैं

मूल जानकारी

  • पेपर ID: 2510.27450
  • शीर्षक: On Modules Whose Pure Submodules Are Essential in Direct Summands
  • लेखक: Kaushal Gupta, Theophilus Gera, Amit Sharma, Ashok Ji Gupta
  • वर्गीकरण: math.RA (वलय और बीजगणित)
  • प्रकाशन समय: 31 अक्टूबर 2025 (arXiv प्रीप्रिंट)
  • पेपर लिंक: https://arxiv.org/abs/2510.27450

सारांश

यह पेपर शुद्ध विस्तारित मॉड्यूल (pure extending modules) की अवधारणा प्रस्तुत करता है, जो शास्त्रीय विस्तारित मॉड्यूल का एक परिष्कृत संस्करण है जो केवल शुद्ध उप-मॉड्यूल को प्रत्यक्ष योजकों में आवश्यक होने की मांग करता है। पेपर मूल गुणों और विशेषताओं को स्थापित करता है, यह साबित करता है कि von Neumann नियमित वलयों पर, शुद्ध विस्तारित मॉड्यूल विस्तारित मॉड्यूल के साथ मेल खाते हैं। एक अनुप्रयोग के रूप में, यह साबित करता है कि शुद्ध विस्तारित मॉड्यूल शास्त्रीय सिद्धांत के समान विघटन पैटर्न रखते हैं, जिसमें Osofsky-Smith प्रमेय का सामान्यीकरण शामिल है: वास्तविक भागफल मॉड्यूल जो शुद्ध विस्तारित हैं, परिमित रूप से कई शुद्ध सुसंगत उप-मॉड्यूल के प्रत्यक्ष योग में विघटित होते हैं। इसके अलावा, एक केंद्रीय अर्ध-रूपवाद मॉड्यूल का निर्माण करके जो केंद्रीय रूपवाद मॉड्यूल नहीं है, यह Dehghani और Sedaghatjoo द्वारा प्रस्तुत एक खुली समस्या को हल करता है।

अनुसंधान पृष्ठभूमि और प्रेरणा

समाधान की जाने वाली समस्याएं

यह पेपर मॉड्यूल सिद्धांत में तीन मुख्य समस्याओं को हल करने का लक्ष्य रखता है:

  1. विस्तारित मॉड्यूल की संरचनात्मक कठोरता समस्या: शास्त्रीय विस्तारित मॉड्यूल सभी उप-मॉड्यूल को प्रत्यक्ष योजकों में आवश्यक होने की मांग करते हैं, यह शर्त समतल, विभाज्य या टेंसर के तहत सटीकता बनाए रखने वाली समरूप शुद्धता सेटिंग में बहुत कठोर है।
  2. प्रत्यक्ष योग बंदी समस्या: लंबे समय से अनसुलझी समस्या यह है कि विस्तारित मॉड्यूल का परिमित प्रत्यक्ष योग अभी भी विस्तारित है या नहीं (प्रश्न 1.1(1)), और क्या सभी भागफल मॉड्यूल विस्तारित हैं ऐसे मॉड्यूल परिमित रूप से कई सुसंगत मॉड्यूल के प्रत्यक्ष योग में विघटित हो सकते हैं (प्रश्न 1.1(2))।
  3. रूपवाद मॉड्यूल की केंद्रीयता समस्या: Dehghani और Sedaghatjoo 8 द्वारा प्रस्तुत खुली समस्या: क्या प्रत्येक केंद्रीय अर्ध-रूपवाद मॉड्यूल आवश्यक रूप से केंद्रीय रूपवाद मॉड्यूल है?

समस्या की महत्ता

  1. सैद्धांतिक महत्व: विस्तारित मॉड्यूल सिद्धांत मॉड्यूल विघटन सिद्धांत की नींव है, और यह मरोड़ सिद्धांत, शुद्धता और समरूप बीजगणित से घनिष्ठ रूप से संबंधित है। इस अवधारणा को शुद्ध करना इसे समरूप ढांचे के अनुकूल बनाता है।
  2. संरचना विश्लेषण: von Neumann के निरंतर ज्यामिति की नींव का काम और Utumi द्वारा वलयों का विश्लेषण दर्शाता है कि आवश्यक एम्बेडिंग और प्रत्यक्ष योग संरचना का अध्ययन गहरा प्रभाव रखता है।
  3. अनुप्रयोग मूल्य: रूपवाद मॉड्यूल और Rickart मॉड्यूल के बीच संबंध स्वयं-अंत वलय की नियमितता को समझने के लिए उपकरण प्रदान करते हैं।

मौजूदा तरीकों की सीमाएं

  1. शास्त्रीय विस्तारित मॉड्यूल बहुत कठोर हैं: कई बीजगणितीय सेटिंग में, विशेष रूप से समरूप शुद्धता से संबंधित मामलों में, सभी उप-मॉड्यूल को प्रत्यक्ष योजकों में आवश्यक रूप से एम्बेड करने की मांग अव्यावहारिक है।
  2. प्रत्यक्ष योग बंद नहीं है: हालांकि Birkenmeier आदि ने साबित किया कि विस्तारित मॉड्यूल का परिमित प्रत्यक्ष योग FI-विस्तारित है, सामान्य मामले में विस्तारित नहीं है।
  3. शुद्धता दृष्टिकोण की कमी: मौजूदा सिद्धांत शुद्ध उप-मॉड्यूल (टेंसर उत्पाद के तहत सटीकता बनाए रखने वाले उप-मॉड्यूल) के विशेष गुणों का पूरी तरह से उपयोग नहीं करता है।

अनुसंधान प्रेरणा

इस पेपर की मुख्य प्रेरणा शुद्धता अवधारणा के माध्यम से शास्त्रीय C1 शर्त को कमजोर करना है, इस प्रकार:

  • विघटन को बनाए रखते हुए अनुसंधान योग्य मॉड्यूल वर्गों को विस्तृत करना
  • शुद्ध सटीक विघटन के समरूप अनुरूप स्थापित करना
  • शुद्धता के अच्छे गुणों (जैसे प्रत्यक्ष योजकों के तहत व्यवहार) का उपयोग करके शास्त्रीय समस्याओं को हल करना

मुख्य योगदान

  1. शुद्ध विस्तारित मॉड्यूल अवधारणा का परिचय: शुद्ध विस्तारित मॉड्यूल (pure extending modules) को परिभाषित करता है, जो केवल शुद्ध उप-मॉड्यूल को प्रत्यक्ष योजकों में आवश्यक होने की मांग करते हैं, यह शास्त्रीय विस्तारित मॉड्यूल का प्राकृतिक कमजोरीकरण है।
  2. मूल सिद्धांत स्थापित करना:
    • साबित करता है कि von Neumann नियमित वलयों पर शुद्ध विस्तारित मॉड्यूल विस्तारित मॉड्यूल के साथ मेल खाते हैं (प्रस्ताव 2.8)
    • साबित करता है कि शुद्ध विस्तारित मॉड्यूल वर्ग परिमित प्रत्यक्ष योग के तहत बंद है (प्रमेय 2.10)
    • कई विशेषता प्रमेय देता है (प्रस्ताव 2.7, 2.14, प्रमेय 2.15)
  3. RD-शुद्ध विस्तारित मॉड्यूल का परिचय: तत्व विभाज्यता के आधार पर RD-शुद्ध विस्तारित मॉड्यूल को परिभाषित करता है, जो शुद्ध विस्तारित मॉड्यूल वर्ग को सख्ती से शामिल करता है, अधिक लचीला ढांचा प्रदान करता है (उदाहरण A.1)।
  4. Osofsky-Smith प्रमेय का सामान्यीकरण: साबित करता है कि वास्तविक भागफल मॉड्यूल जो शुद्ध विस्तारित हैं, परिमित रूप से कई शुद्ध सुसंगत उप-मॉड्यूल के प्रत्यक्ष योग में विघटित होते हैं (प्रमेय 3.2), प्रश्न 1.1(2) का आंशिक उत्तर देता है।
  5. खुली समस्या को हल करना:
    • केंद्रीय अर्ध-रूपवाद मॉड्यूल आवश्यक रूप से केंद्रीय रूपवाद मॉड्यूल नहीं है यह साबित करने के लिए प्रतिउदाहरण बनाता है (उदाहरण 3.22)
    • 8 में कई प्रस्तावों में त्रुटियों को इंगित करता है (टिप्पणी 3.23)
    • परिमित रूप से उत्पन्न, गैर-विलक्षण, शुद्ध विस्तारित मॉड्यूल के मामले में दोनों के समतुल्य होने को साबित करता है (प्रस्ताव 3.20)
  6. Σ-Rickart मॉड्यूल के साथ संबंध स्थापित करना: साबित करता है कि Noetherian वलय पर परिमित रूप से उत्पन्न गैर-विलक्षण शुद्ध विस्तारित मॉड्यूल Σ-Rickart हैं (प्रमेय 3.19)।

विधि विवरण

मुख्य अवधारणा परिभाषाएं

परिभाषा 2.1 (शुद्ध विस्तारित मॉड्यूल): मॉड्यूल MM को शुद्ध विस्तारित कहा जाता है, यदि MM का प्रत्येक शुद्ध उप-मॉड्यूल MM के किसी प्रत्यक्ष योजक में आवश्यक है।

यहाँ शुद्ध उप-मॉड्यूल PMP \leq M का अर्थ है कि सभी आदर्श IRI \subseteq R के लिए, IP=IMPIP = IM \cap P। उप-मॉड्यूल NN को MM में आवश्यक कहा जाता है (जिसे NeMN \leq_e M से दर्शाया जाता है) यदि MM का प्रत्येक गैर-शून्य उप-मॉड्यूल NN के साथ गैर-तुच्छ रूप से प्रतिच्छेद करता है।

परिभाषा 2.16 (RD-शुद्ध विस्तारित मॉड्यूल): उप-मॉड्यूल PMP \leq M को सापेक्ष विभाज्य (RD-pure) कहा जाता है, यदि प्रत्येक rRr \in R के लिए, rP=rMPrP = rM \cap P। मॉड्यूल MM को RD-शुद्ध विस्तारित कहा जाता है, यदि प्रत्येक RD-शुद्ध उप-मॉड्यूल प्रत्यक्ष योजक में आवश्यक है।

सैद्धांतिक ढांचा

1. पदानुक्रम संरचना

पेपर निम्नलिखित निहितार्थ संबंध स्थापित करता है:

अंतःक्षेपी ⟹ अर्ध-अंतःक्षेपी ⟹ विस्तारित
 ⇓         ⇓         ⇓
शुद्ध अंतःक्षेपी ⟹ अर्ध-शुद्ध अंतःक्षेपी ⟹ शुद्ध विस्तारित

सामान्य मामले में ये निहितार्थ सभी प्रतिवर्ती नहीं हैं (उदाहरण 2.2)।

2. मूल गुण

प्रस्ताव 2.3: शुद्ध विस्तारित मॉड्यूल के प्रत्यक्ष योजक शुद्ध विस्तारित हैं।

प्रमाण विचार: मान लीजिए M=NNM = N \oplus N', PNP \leq N NN में शुद्ध उप-मॉड्यूल है। चूंकि विभाजन समावेश शुद्ध है, PP MM में शुद्ध है। शुद्ध विस्तारण गुण द्वारा, DMD \leq^{\oplus} M मौजूद है जैसे PeDP \leq_e D। मॉड्यूल सिद्धांत के मानक तर्क के माध्यम से, DND \cap N NN का प्रत्यक्ष योजक है और Pe(DN)P \leq_e (D \cap N)

प्रमेय 2.10 (परिमित प्रत्यक्ष योग बंदी): M=M1M2M = M_1 \oplus M_2 शुद्ध विस्तारित है यदि और केवल यदि M1M_1 और M2M_2 दोनों शुद्ध विस्तारित हैं।

प्रमाण मुख्य बिंदु:

  • (⇒) प्रस्ताव 2.3 द्वारा तुरंत अनुसरण करता है
  • (⇐) मान लीजिए PMP \leq M शुद्ध है, तब πi(P)\pi_i(P) MiM_i में शुद्ध है। DiMiD_i \leq^{\oplus} M_i मौजूद है जैसे πi(P)eDi\pi_i(P) \leq_e D_iD=D1D2D = D_1 \oplus D_2 को परिभाषित करें, सत्यापित करें कि PeDP \leq_e D: किसी भी 0(d1,d2)D0 \neq (d_1, d_2) \in D के लिए, यदि d10d_1 \neq 0, तब π1(P)eD1\pi_1(P) \leq_e D_1 द्वारा rr मौजूद है जैसे 0d1rπ1(P)0 \neq d_1r \in \pi_1(P), सूक्ष्म विश्लेषण के माध्यम से साबित करें कि P(d1,d2)R0P \cap (d_1, d_2)R \neq 0

नोट: यह परिणाम अनंत प्रत्यक्ष योग तक सामान्यीकृत नहीं हो सकता (उदाहरण 2.11)।

3. वलय सिद्धांत विशेषताएं

प्रस्ताव 2.8: मान लीजिए RR von Neumann नियमित वलय है, तब दाएं RR-मॉड्यूल MM शुद्ध विस्तारित है यदि और केवल यदि यह विस्तारित है।

कारण: von Neumann नियमित वलय पर, प्रत्येक मॉड्यूल समतल है, इसलिए प्रत्येक उप-मॉड्यूल शुद्ध है।

प्रस्ताव 2.14: निम्नलिखित समतुल्य हैं:

  1. RR von Neumann नियमित है
  2. प्रत्येक शुद्ध विस्तारित दाएं RR-मॉड्यूल समतल है

प्रमेय 2.15: निम्नलिखित समतुल्य हैं:

  1. RR अर्ध-सरल है
  2. प्रत्येक शुद्ध C3 मॉड्यूल प्रक्षेपी है
  3. प्रत्येक शुद्ध C2 मॉड्यूल प्रक्षेपी है
  4. प्रत्येक अर्ध-शुद्ध अंतःक्षेपी मॉड्यूल प्रक्षेपी है
  5. प्रत्येक शुद्ध अंतःक्षेपी मॉड्यूल प्रक्षेपी है
  6. प्रत्येक शुद्ध विस्तारित मॉड्यूल प्रक्षेपी है

तकनीकी नवाचार बिंदु

  1. शुद्धता का सटीक उपयोग: आदर्श शुद्धता (IP=IMPIP = IM \cap P) और तत्व शुद्धता (rP=rMPrP = rM \cap P) के बीच अंतर करके, दो-स्तरीय सैद्धांतिक प्रणाली स्थापित करता है।
  2. Fieldhouse परिणाम का अनुप्रयोग: समतल मॉड्यूल पर शुद्धता और RD-शुद्धता के मेल खाने के शास्त्रीय परिणाम का उपयोग करता है (प्रस्ताव 2.19, परिणाम 2.20)।
  3. शुद्धिकरण संचालक की एकरसता: विघटन प्रमेय प्रमाण में, शुद्धिकरण संचालक Pur()\text{Pur}(-) की एकरसता का उपयोग करके अवरोही श्रृंखला को नियंत्रित करता है (प्रस्ताव 3.7)।
  4. स्वयं-अंत वलय शर्तें: मजबूत π\pi-स्वयं-अंत नियमितता के माध्यम से (प्रस्ताव 3.12) रूपवाद गुणों को विघटन गुणों से जोड़ता है।

अनुप्रयोग: विघटन सिद्धांत

Osofsky-Smith प्रमेय का सामान्यीकरण

ऐतिहासिक पृष्ठभूमि: Osofsky और Smith 31 ने साबित किया:

प्रमेय 3.1: मान लीजिए MM चक्रीय मॉड्यूल है, यदि MM का प्रत्येक चक्रीय उप-मॉड्यूल पूर्ण विस्तारित है, तब MM परिमित रूप से कई सुसंगत मॉड्यूल के प्रत्यक्ष योग है।

यहाँ पूर्ण विस्तारण का अर्थ है सभी भागफल मॉड्यूल विस्तारित हैं, जो शुद्धता से अधिक मजबूत है।

मुख्य परिणाम

प्रमेय 3.2: मान लीजिए MM चक्रीय मॉड्यूल है, यदि MM का प्रत्येक चक्रीय भागफल मॉड्यूल शुद्ध विस्तारित है, तब MM परिमित रूप से कई शुद्ध सुसंगत उप-मॉड्यूल के प्रत्यक्ष योग है।

प्रमाण रणनीति:

  1. स्वयं-अंत Artinian गुण (प्रमेय 3.3): साबित करता है कि यदि चक्रीय मॉड्यूल के सभी भागफल मॉड्यूल स्वयं-अंत Artinian हैं, तब मॉड्यूल स्वयं स्वयं-अंत Artinian है।
    प्रमाण: मान लीजिए MM स्वयं-अंत Artinian नहीं है, सख्त अवरोही श्रृंखला M=f0(M)f1(M)M = f_0(M) \supsetneq f_1(M) \supsetneq \cdots मौजूद है। N=ifi(M)N = \bigcap_i f_i(M) को परिभाषित करें, तब M/NM/N संगत अवरोही श्रृंखला को विरासत में लेता है, विरोधाभास।
  2. शुद्ध सुसंगतता (प्रस्ताव 3.4): अविघटनीय शुद्ध विस्तारित मॉड्यूल का प्रत्येक गैर-शून्य शुद्ध उप-मॉड्यूल शुद्ध आवश्यक है।
    प्रमाण: मान लीजिए PMP \leq M गैर-शून्य शुद्ध है, XPX \leq P गैर-शून्य शुद्ध है। शुद्ध विस्तारण गुण द्वारा, DMD \leq^{\oplus} M मौजूद है जैसे XeDX \leq_e D। अविघटनीयता द्वारा, D=MD = M, इसलिए XeMX \leq_e M
  3. परिमित विघटन (प्रमेय 3.6): शुद्ध विस्तारित स्वयं-अंत Artinian मॉड्यूल परिमित रूप से कई शुद्ध सुसंगत उप-मॉड्यूल के प्रत्यक्ष योग में विघटित होता है।
  4. भागफल मॉड्यूल Artinian गुण (प्रस्ताव 3.7): साबित करता है कि चक्रीय शुद्ध विस्तारित मॉड्यूल का प्रत्येक चक्रीय भागफल मॉड्यूल Artinian है, मुख्य रूप से सुसंगत आयाम की परिमितता और शुद्धिकरण संचालक के गुणों का उपयोग करता है।

परिणाम 3.8: von Neumann नियमित वलय पर, यदि चक्रीय मॉड्यूल के सभी चक्रीय भागफल मॉड्यूल विस्तारित हैं, तब वह मॉड्यूल परिमित रूप से कई सुसंगत मॉड्यूल के प्रत्यक्ष योग है।

अनुप्रयोग: रूपवाद मॉड्यूल सिद्धांत

पृष्ठभूमि अवधारणाएं

Rickart मॉड्यूल: MM को Rickart कहा जाता है, यदि प्रत्येक fEnd(M)f \in \text{End}(M) के लिए, ker(f)=eM\ker(f) = eM किसी वर्गसम तत्व e2=ee^2 = e के लिए।

Σ-Rickart मॉड्यूल: MM को Σ-Rickart कहा जाता है, यदि MM का कोई भी प्रत्यक्ष योग Rickart है; समतुल्य रूप से, किसी भी समुच्चय II और fEnd(MI)f \in \text{End}(M^I) के लिए, परिमित JIJ \subseteq I मौजूद है जैसे ker(f)MJ\ker(f) \leq^{\oplus} M^J

केंद्रीय अर्ध-रूपवाद मॉड्यूल: MM को केंद्रीय अर्ध-रूपवाद कहा जाता है, यदि प्रत्येक fEnd(M)f \in \text{End}(M) के लिए, केंद्रीय तत्व g,hCent(End(M))g, h \in \text{Cent}(\text{End}(M)) मौजूद हैं जैसे ker(f)=Im(g)\ker(f) = \text{Im}(g) और Im(f)=ker(h)\text{Im}(f) = \ker(h)। यदि g=hg = h ले सकते हैं, तब केंद्रीय रूपवाद कहा जाता है।

मुख्य परिणाम

प्रमेय 3.19: मान लीजिए RR दाएं Noetherian वलय है, MM परिमित रूप से उत्पन्न, गैर-विलक्षण, शुद्ध विस्तारित दाएं RR-मॉड्यूल है, तब MM Σ-Rickart है।

प्रमाण मुख्य बिंदु:

  1. X=M(I)X = M^{(I)} को परिभाषित करें, fEnd(X)f \in \text{End}(X), K=kerfK = \ker f
  2. K=Pur(K)\overline{K} = \text{Pur}(K) को KK का शुद्धिकरण परिभाषित करें
  3. शुद्ध विस्तारण गुण द्वारा, KeD\overline{K} \leq_e D किसी DXD \leq^{\oplus} X के लिए
  4. साबित करें कि K=KK = \overline{K}: यदि नहीं, तब परिमित रूप से उत्पन्न उप-मॉड्यूल FF मौजूद है जैसे (FK)/(FK)(F \cap \overline{K})/(F \cap K) गैर-शून्य और परिमित प्रस्तुत है, लेकिन X/KX/K गैर-विलक्षण है, विरोधाभास
  5. साबित करें कि D=KD = K: yDy \in D के लिए, परिमित रूप से उत्पन्न FDF \leq D चुनें जिसमें yy हो। FKF \cap K FF में शुद्ध और आवश्यक है, परिमित प्रस्तुति द्वारा FK=FF \cap K = F

प्रस्ताव 3.20: मान लीजिए RR Noetherian वलय है, MM परिमित रूप से उत्पन्न, गैर-विलक्षण, शुद्ध विस्तारित मॉड्यूल है, तब MM केंद्रीय अर्ध-रूपवाद है यदि और केवल यदि यह केंद्रीय रूपवाद है।

प्रमाण विचार:

  1. प्रमेय 3.19 द्वारा, MM Σ-Rickart है
  2. 22, प्रस्ताव 4.3 द्वारा, End(M)\text{End}(M) दाएं अर्ध-विरासत है
  3. साबित करें कि End(M)\text{End}(M) von Neumann नियमित है: प्रत्येक मुख्य दाएं आदर्श fSfS प्रक्षेपी है, इसलिए वर्गसम तत्व द्वारा उत्पन्न है
  4. इसलिए MM स्वयं-अंत नियमित है
  5. 8 के परिणाम द्वारा, स्वयं-अंत नियमित और केंद्रीय अर्ध-रूपवाद मजबूत स्वयं-अंत नियमितता का अर्थ है, जो केंद्रीय रूपवाद का अर्थ है

प्रतिउदाहरण निर्माण

उदाहरण 3.22: kk को क्षेत्र मान लीजिए, R=k[x]/(x2)R = k[x]/(x^2), M=RM = R को दाएं RR-मॉड्यूल के रूप में।

  • EndR(M)R\text{End}_R(M) \cong R (r(ssr)r \mapsto (s \mapsto sr) के माध्यम से), और RR क्रमविनिमेय है, इसलिए प्रत्येक स्वयं-अंत केंद्रीय है
  • RR के आदर्श {0,xR,R}\{0, \overline{x}R, R\} हैं
  • aRa \in R से गुणा करने वाले स्वयं-अंत ff के लिए:
    • यदि aa इकाई है: (Im(f),ker(f))=(R,0)(\text{Im}(f), \ker(f)) = (R, 0)
    • यदि a=0a = 0: (0,R)(0, R)
    • यदि a=λxa = \lambda\overline{x}, λ0\lambda \neq 0: (xR,xR)(\overline{x}R, \overline{x}R)

इसलिए MM केंद्रीय अर्ध-रूपवाद है।

लेकिन MM केंद्रीय रूपवाद नहीं है: RR के एकमात्र वर्गसम तत्व 0 और 1 हैं, संगत केंद्रीय वर्गसम स्वयं-अंत केवल eM{0,M}eM \in \{0, M\} दे सकते हैं, xR\overline{x}R नहीं दे सकते।

महत्व: यह उदाहरण साबित करता है कि 8, प्रस्ताव 2.2, परिणाम 2.3, प्रस्ताव 3.11 में कई दावे सामान्य मामले में सत्य नहीं हैं।

प्रायोगिक परिणाम (सैद्धांतिक सत्यापन)

चूंकि यह शुद्ध गणित सैद्धांतिक पेपर है, पारंपरिक अर्थ में "प्रयोग" नहीं हैं, लेकिन बड़ी संख्या में उदाहरणों के माध्यम से सिद्धांत को सत्यापित करता है:

मुख्य सत्यापन

  1. शुद्ध विस्तारित सख्ती से विस्तारित को शामिल करता है (उदाहरण 2.2):
    • M=Z2Z8M = \mathbb{Z}_2 \oplus \mathbb{Z}_8 शुद्ध विस्तारित है लेकिन विस्तारित नहीं है
    • मैट्रिक्स वलय पर मॉड्यूल उदाहरण
  2. गैर-विरासत गुण (उदाहरण 2.5):
    • A=n1Z/pnZA = \bigoplus_{n \geq 1} \mathbb{Z}/p^n\mathbb{Z} में शुद्ध उप-समूह UU है जो प्रत्यक्ष योजक नहीं है, इसलिए शुद्ध विस्तारित नहीं है
    • लेकिन E(A)E(A) (अंतःक्षेपी आवरण) शुद्ध विस्तारित है
  3. अनंत प्रत्यक्ष योग विफल (उदाहरण 2.11):
    • M=i=1ZM = \bigoplus_{i=1}^{\infty} \mathbb{Z}
    • P={(ni)ni=0}P = \{(n_i) \mid \sum n_i = 0\} शुद्ध है लेकिन किसी भी प्रत्यक्ष योजक में आवश्यक नहीं है
  4. RD-शुद्ध सख्ती से शुद्ध को शामिल करता है (उदाहरण A.1):
    • M=Z(p)Z/pZM = \mathbb{Z}(p^{\infty}) \oplus \mathbb{Z}/p\mathbb{Z}
    • U=(y,x)U = \langle(y, x)\rangle शुद्ध है लेकिन RD-शुद्ध विस्तारण के लिए आवश्यक नहीं है
    • तीन मामलों का विस्तृत सत्यापन साबित करता है कि MM RD-शुद्ध विस्तारित है

प्रतिउदाहरणों का महत्व

उदाहरण 3.22 का निर्माण सूक्ष्म है:

  • R=k[x]/(x2)R = k[x]/(x^2) चुनता है ताकि वलय स्थानीय हो लेकिन अर्ध-सरल या von Neumann नियमित न हो
  • xR\overline{x}R का उपयोग करता है जो केंद्रीय और छवि दोनों है लेकिन केंद्रीय वर्गसम तत्व द्वारा उत्पन्न नहीं हो सकता
  • यह दर्शाता है कि परिणाम 3.21 में "परिमित रूप से उत्पन्न" धारणा आवश्यक है

संबंधित कार्य

ऐतिहासिक विकास

  1. विस्तारित मॉड्यूल की उत्पत्ति:
    • von Neumann की निरंतर ज्यामिति की नींव का कार्य
    • Utumi 32: बाएं आदर्श जो प्रक्षेपी प्रत्यक्ष योजकों में आवश्यक रूप से शामिल हैं
    • Jeremy 17 और Chatters-Hajarnavis 7: CS-मॉड्यूल ("पूरक प्रत्यक्ष योजक है")
    • Harada: "extending module" शब्दावली का परिचय
    • Müller 28: C1, C2, C3 शर्तों का व्यवस्थितकरण
  2. शुद्धता सिद्धांत:
    • Fieldhouse 11, 12: शुद्धता सिद्धांत, PDS वलय
    • Azumaya-Facchini 4: शुद्ध अंतःक्षेपी आवरण
    • Harmanci आदि 15: शुद्ध अंतःक्षेपी प्रोफाइल
  3. Rickart मॉड्यूल:
    • Lee-Rizvi-Roman 24-26: Rickart और द्वैत Rickart मॉड्यूल
    • Lee-Bárcenas 22: Σ-Rickart मॉड्यूल
  4. रूपवाद मॉड्यूल:
    • Nicholson-Campos 29, 30: रूपवाद मॉड्यूल
    • Camillo-Nicholson 6: अर्ध-रूपवाद वलय
    • Dehghani-Sedaghatjoo 8: केंद्रीय रूपवाद मॉड्यूल (यह पेपर इसमें त्रुटियों को इंगित करता है)

इस पेपर की नवाचार

  1. अवधारणा नवाचार: पहली बार शुद्ध विस्तारित मॉड्यूल का व्यवस्थित अध्ययन, विस्तारित मॉड्यूल और शुद्ध अंतःक्षेपी मॉड्यूल के बीच की खाई को भरता है।
  2. विधि नवाचार:
    • शुद्धता और आवश्यकता का सूक्ष्म विश्लेषण
    • विघटन को नियंत्रित करने के लिए स्वयं-अंत वलय की Artinian शर्त का उपयोग
    • शुद्धिकरण संचालक की एकरसता के माध्यम से अवरोही श्रृंखला को संभालना
  3. परिणाम नवाचार:
    • कमजोर धारणाओं के तहत Osofsky-Smith प्रमेय का सामान्यीकरण
    • शुद्ध विस्तारित और Σ-Rickart के बीच गहरा संबंध स्थापित करना
    • 8 में खुली समस्या को हल करना और त्रुटियों को सुधारना

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. शुद्ध विस्तारित मॉड्यूल विस्तारित मॉड्यूल का प्राकृतिक सामान्यीकरण है: मुख्य विघटन गुणों को बनाए रखते हुए, समरूप शुद्धता ढांचे के अनुकूल है।
  2. von Neumann नियमित वलयों की विशेषता: इस प्रकार की वलयों पर, शुद्ध विस्तारित विस्तारित के साथ मेल खाते हैं, परिमित प्रत्यक्ष योग बंदी समस्या का सकारात्मक उत्तर मिलता है।
  3. विघटन प्रमेय: शुद्धता धारणा के तहत, चक्रीय मॉड्यूल का विघटन व्यवहार शास्त्रीय मामले के समान है।
  4. रूपवाद गुणों का सूक्ष्म अंतर: केंद्रीय अर्ध-रूपवाद और केंद्रीय रूपवाद के बीच अंतर परिमितता, गैर-विलक्षणता और शुद्ध विस्तारण के सूक्ष्म अंतःक्रिया पर निर्भर करता है।

सीमाएं

  1. अनंत प्रत्यक्ष योग: शुद्ध विस्तारण गुण अनंत प्रत्यक्ष योग के तहत संरक्षित नहीं है (उदाहरण 2.11), यह अनंत आयामी मामले में सिद्धांत के अनुप्रयोग को सीमित करता है।
  2. von Neumann नियमितता की आवश्यकता: परिणाम 3.8 में von Neumann नियमितता धारणा आवश्यक है या नहीं यह पूरी तरह स्पष्ट नहीं है (नोट 3.9)।
  3. परिमित रूप से उत्पन्न धारणा: परिणाम 3.21 में "परिमित रूप से उत्पन्न" धारणा को हटाया जा सकता है या नहीं यह अभी स्पष्ट नहीं है (टिप्पणी 3.23(1))।
  4. विपरीत निहितार्थ: प्रमेय 3.19 का विपरीत (क्या Noetherian वलय पर परिमित रूप से उत्पन्न Σ-Rickart मॉड्यूल शुद्ध विस्तारित है) अभी भी खुला है।
  5. रचनात्मकता: कई अस्तित्व परिणाम (जैसे उदाहरण 2.13(2)) स्पष्ट निर्माण की कमी है।

भविष्य की दिशाएं

पेपर द्वारा अंतर्निहित अनुसंधान दिशाएं:

  1. अनंत प्रत्यक्ष योग की शर्तें: शुद्ध विस्तारण गुण के अनंत प्रत्यक्ष योग के तहत संरक्षित होने के लिए आवश्यक और पर्याप्त शर्तें खोजना।
  2. पूर्ण विशेषता: किन वलय वर्गों पर शुद्ध विस्तारित विस्तारित के साथ मेल खाते हैं?
  3. RD-शुद्धता सिद्धांत: RD-शुद्ध विस्तारित मॉड्यूल का आगे अध्ययन, विशेष रूप से गैर-समतल मामले में।
  4. रूपवाद मॉड्यूल का पूर्ण चित्र: स्पष्ट करना कि 8 में कौन से परिणाम सुधारे जा सकते हैं, कौन से मूलतः गलत हैं।
  5. गणना विधियां: दिए गए मॉड्यूल के शुद्ध विस्तारित होने का निर्धारण करने के लिए एल्गोरिदम विकसित करना।
  6. श्रेणी सिद्धांत सामान्यीकरण: शुद्ध विस्तारित अवधारणा को Grothendieck श्रेणियों तक सामान्यीकृत करना।

गहन मूल्यांकन

लाभ

  1. अवधारणा की प्राकृतिकता: शुद्ध विस्तारित मॉड्यूल की परिभाषा दो मूल अवधारणाओं (शुद्धता और आवश्यकता) को प्राकृतिक रूप से जोड़ती है, समरूप बीजगणित ढांचे में आंतरिक तर्कसंगतता है।
  2. सैद्धांतिक पूर्णता:
    • मूल गुणों का व्यवस्थित निर्माण (प्रस्ताव 2.3-2.7)
    • कई समतुल्य विशेषताएं देता है (प्रस्ताव 2.8, 2.14, प्रमेय 2.15)
    • RD-शुद्ध संस्करण का परिचय लचीलापन बढ़ाता है
  3. प्रमाण की कठोरता:
    • प्रत्येक प्रमेय का पूर्ण प्रमाण है
    • प्रतिउदाहरण निर्माण सटीक है (उदाहरण 2.2, 2.5, 2.11, 3.22, A.1)
    • 8 में त्रुटियों का संकेत पर्याप्त तर्क के साथ है (टिप्पणी 3.23)
  4. अनुप्रयोग मूल्य:
    • शास्त्रीय विघटन प्रमेय का सामान्यीकरण (प्रमेय 3.2)
    • खुली समस्या को हल करता है (उदाहरण 3.22 प्रश्न 2.14 का उत्तर देता है)
    • नए संबंध स्थापित करता है (शुद्ध विस्तारित↔Σ-Rickart, प्रमेय 3.19)
  5. लेखन स्पष्टता:
    • तर्कसंगत संरचना (गुण→विशेषता→अनुप्रयोग)
    • स्पष्ट प्रेरणा (परिचय पृष्ठभूमि विस्तार से समझाता है)
    • समृद्ध उदाहरण (13 उदाहरण/प्रतिउदाहरण)

कमियां

  1. तकनीकी कठिनाई:
    • पूर्ण समझ के लिए गहरे मॉड्यूल सिद्धांत की पृष्ठभूमि की आवश्यकता है
    • कुछ प्रमाण (जैसे प्रमेय 3.19) बहुत तकनीकी हैं, पठनीयता सीमित है
  2. अनुप्रयोग की सीमा:
    • मुख्य परिणाम Noetherian वलय और von Neumann नियमित वलय पर केंद्रित हैं
    • सामान्य वलय पर परिणाम कम हैं
  3. खुली समस्याएं:
    • कई अनसुलझी समस्याएं छोड़ता है (जैसे नोट 3.9, टिप्पणी 3.23(1))
    • कुछ परिणामों की आवश्यकता स्पष्ट नहीं है
  4. गणना पहलू:
    • निर्णय एल्गोरिदम या प्रभावी मानदंड की कमी है
    • ठोस उदाहरणों में शुद्ध विस्तारण गुण को सत्यापित करना कठिन है
  5. अन्य सिद्धांतों के साथ संबंध:
    • झुकाव सिद्धांत, व्युत्पन्न श्रेणी के साथ संबंध अन्वेषित नहीं है
    • प्रतिनिधित्व सिद्धांत के साथ संबंध अधिक गहरा हो सकता है

प्रभाव

क्षेत्र पर योगदान:

  1. अवधारणा योगदान: शुद्ध विस्तारित मॉड्यूल मॉड्यूल सिद्धांत की मानक अवधारणा बन सकता है, जैसे विस्तारित मॉड्यूल है।
  2. विधि योगदान: विघटन सिद्धांत में शुद्धिकरण संचालक का अनुप्रयोग (प्रस्ताव 3.7) नए उपकरण प्रदान करता है।
  3. त्रुटि सुधार योगदान: 8 में त्रुटियों को इंगित करना इस क्षेत्र के स्वस्थ विकास के लिए महत्वपूर्ण है।

व्यावहारिक मूल्य:

  1. सैद्धांतिक उपकरण: मॉड्यूल विघटन के अध्ययन के लिए नया दृष्टिकोण प्रदान करता है, विशेष रूप से शुद्धता से संबंधित मामलों में।
  2. निर्णय मानदंड: प्रमेय 2.15 जैसे परिणाम वलय गुणों को निर्धारित करने के लिए मॉड्यूल सिद्धांत विशेषताएं प्रदान करते हैं।
  3. प्रतिउदाहरण पुस्तकालय: निर्मित प्रतिउदाहरण (विशेष रूप से उदाहरण 3.22) भविष्य के अनुसंधान के लिए संदर्भ मूल्य है।

पुनरुत्पादनीयता:

  • उच्च: सभी परिणामों का पूर्ण प्रमाण है, मानक मॉड्यूल सिद्धांत ज्ञान पर आधारित है
  • प्रतिउदाहरण निर्माण स्पष्ट है, सत्यापन योग्य है
  • संदर्भ साहित्य पर्याप्त है, पता लगाना आसान है

लागू परिस्थितियां

  1. सैद्धांतिक अनुसंधान:
    • मॉड्यूल विघटन सिद्धांत
    • समरूप बीजगणित में शुद्धता अनुसंधान
    • स्वयं-अंत वलय की संरचना सिद्धांत
  2. वलय वर्गीकरण:
    • मॉड्यूल गुणों के माध्यम से वलय को विशेषता देना (जैसे प्रस्ताव 2.8, 2.14, प्रमेय 2.15)
    • विशेष वलय वर्गों का अध्ययन (von Neumann नियमित वलय, PDS वलय, दाएं perfect वलय)
  3. प्रतिनिधित्व सिद्धांत:
    • बीजगणित की मॉड्यूल श्रेणी संरचना का अध्ययन
    • झुकाव सिद्धांत में शुद्धता शर्तें
  4. श्रेणी सिद्धांत:
    • Grothendieck श्रेणियों में शुद्धता
    • Morita समतुल्यता के तहत अपरिवर्तनीय (प्रस्ताव 2.9)
  5. क्रमविनिमेय बीजगणित:
    • हालांकि पेपर मुख्य रूप से गैर-क्रमविनिमेय मामले पर विचार करता है, लेकिन उदाहरण 3.22 जैसे क्रमविनिमेय उदाहरण दर्शाते हैं कि सिद्धांत क्रमविनिमेय मामले में भी अनुप्रयोग है

संदर्भ (चयनित)

मुख्य उद्धरण:

  • 7 Chatters & Hajarnavis (1977): CS-मॉड्यूल की मूल परिभाषा
  • 8 Dehghani & Sedaghatjoo (2025): केंद्रीय रूपवाद मॉड्यूल (यह पेपर इसमें त्रुटियों को इंगित करता है)
  • 11, 12 Fieldhouse (1969, 1970): शुद्धता सिद्धांत की नींव
  • 20, 21 Lam (1999, 2001): मानक मॉड्यूल सिद्धांत पाठ्यपुस्तक
  • 22 Lee & Bárcenas (2020): Σ-Rickart मॉड्यूल
  • 28 Mohamed & Müller (1990): C शर्तों का व्यवस्थितकरण
  • 31 Osofsky & Smith (1991): मूल विघटन प्रमेय
  • 33 Wisbauer (1991): मॉड्यूल और वलय सिद्धांत हैंडबुक

समग्र मूल्यांकन: यह शुद्ध गणित सिद्धांत का एक उच्च गुणवत्ता वाला पेपर है, जो मॉड्यूल सिद्धांत के शास्त्रीय क्षेत्र में वास्तविक योगदान देता है। शुद्ध विस्तारित मॉड्यूल अवधारणा का परिचय देकर, लेखक विस्तारित मॉड्यूल सिद्धांत और शुद्धता सिद्धांत के बीच एक सेतु सफलतापूर्वक स्थापित करता है, शास्त्रीय परिणामों को सामान्यीकृत करता है, खुली समस्याओं को हल करता है, और साहित्य में त्रुटियों को सुधारता है। पेपर की सैद्धांतिक गहराई, प्रमाण की कठोरता और अनुप्रयोग मूल्य सभी उच्च स्तरीय शैक्षणिक पत्रिकाओं के मानदंड तक पहुंचते हैं। हालांकि कुछ तकनीकी कठिनाइयां और अनसुलझी समस्याएं हैं, लेकिन ये भविष्य के अनुसंधान के लिए दिशाएं प्रदान करती हैं। मॉड्यूल सिद्धांत और वलय सिद्धांत के शोधकर्ताओं के लिए, यह एक महत्वपूर्ण साहित्य है जिसे सावधानीपूर्वक पढ़ा जाना चाहिए।