🔢 mathematics

Applications of reduced and coreduced modules II: Radicality of the functor $\text{Hom}_R(R/I, -)$

यह शोध पत्र $I$ -न्यू réduit (reduced) मॉड्यूल के संदर्भ में $R$ -मॉड्यूल्स के एक अबेलियन फुल सबकैटेगरी (Abelian full subcategory) पर फन्क्टर $\text{Hom}_R(R/I, -)$ के एक रेडिकल होने के लिए आवश्यक और पर्याप्त स्थितियाँ स्थापित करता है, जबकि साथ ही जेन्स (Jans) के पत्राचार (correspondence) का सामान्यीकरण करने और रिंग्स के एक नए रेडिकल क्लास का निर्माण करने के लिए $I$ -न्यू réduit और $I$ -को-न्यू réduit (coreduced) मॉड्यूल्स का उपयोग करता है।

मूल लेखक: David Ssevviiri

प्रकाशित 2026-06-29

📖 7 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: David Ssevviiri

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक पुस्तकालयाध्यक्ष (librarian) हैं जो एक विशाल, अराजक पुस्तकालय को व्यवस्थित करने की कोशिश कर रहे हैं। इस पुस्तकालय में, "किताबें" गणितीय वस्तुएं हैं जिन्हें मॉड्यूल (modules) कहा जाता है, और "अलमारियां" एक विशिष्ट "आइडियल" (एक विशेष संख्याओं या नियमों का संग्रह) द्वारा निर्धारित नियमों द्वारा परिभाषित की जाती हैं जिसे I कहा जाता है।

डेविड सेविरी (David Ssevviiri) का शोध पत्र इन किताबों को व्यवस्थित करने का सही तरीका खोजने के बारे में है ताकि एक विशिष्ट सॉर्टिंग मशीन (एक गणितीय उपकरण जिसे फंक्टर (functor) कहा जाता है) पूरी तरह से काम कर सके।

यहाँ इस शोध पत्र की यात्रा का विवरण दिया गया है, रोज़मर्रा के उपमाओं (analogies) का उपयोग करते हुए:

1. समस्या: एक टूटी हुई सॉर्टिंग मशीन

लेखक एक मशीन से शुरुआत करते हैं जिसे Hom(R/I, −) कहा जाता है। इस मशीन को एक स्कैनर के रूप में सोचें जो एक किताब को देखता है और पूछता है: "क्या यह किताब नियम I द्वारा परिभाषित अनुभाग से संबंधित है?"

लक्ष्य: लेखक चाहते हैं कि यह मशीन एक "रेडिकल" (radical) बने। गणित की भाषा में, एक "रेडिकल" एक आदर्श, विश्वसनीय फिल्टर है। यदि आप इसमें एक किताब चलाते हैं, तो यह "बुरे" हिस्सों को "अच्छे" हिस्सों से स्पष्ट रूप से अलग कर देता है, और यदि आप परिणाम को दोबारा चलाते हैं, तो कुछ भी नहीं बदलता है।
समस्या: इस मशीन में एक समस्या है। सामान्य पुस्तकालय (सभी मॉड्यूल की श्रेणी) में, यह मशीन टूटी हुई है। यह हमेशा एक साफ परिणाम नहीं देती है। कभी-कभी यह पीछे एक कचरा छोड़ देती है, या यह दो बार चलाने पर भी बदलने से रुकने में विफल रहती है।
क्यों? मशीन इसलिए विफल होती है क्योंकि पुस्तकालय में "अव्यवस्थित" किताबें मौजूद हैं। विशेष रूप से, इसमें ऐसी किताबें हैं जहाँ नियम I को दो बार लागू करने ( $I^2$ ) से एक पन्ना गायब हो जाता है, लेकिन एक बार लागू करने ( $I$ ) से वह गायब नहीं हुआ। ये "भ्रमित" किताबें हैं जो उस सरल तर्क का पालन नहीं करतीं जिसकी मशीन को आवश्यकता होती है।

2. समाधान: दो विशेष कमरे (रिड्यूस्ड और कोरियुस्ड)

लेखक को एहसास होता है कि यदि वे मशीन को केवल दो विशिष्ट, सुव्यवस्थित कमरों में काम करने के लिए प्रतिबंधित कर दें, तो यह फिर से पूरी तरह से काम करती है।

कमरा A: "रिड्यूस्ड" कमरा ( $I$ -reduced modules)
- नियम: इस कमरे में, यदि नियम I को दो बार लागू करने से एक पन्ना गायब हो जाता है, तो एक बार लागू करने से ही उसे गायब हो जाना चाहिए था। यहाँ कोई "आधे-मरे" हुए पन्ने नहीं हैं।
- परिणाम: जब मशीन इस कमरे में काम करती है, तो यह एक पूर्ण रेडिकल बन जाती है। यह चीजों को स्पष्ट रूप से छाँटती है।
- उपमा: कल्पना कीजिए कि एक ऐसा कमरा जहाँ हर किताब या तो पूरी तरह से सुरक्षित है या पूरी तरह से नष्ट हो चुकी है। वहाँ कोई "आंशिक रूप से फटी हुई" किताबें नहीं हैं। इस कमरे में, स्कैनर पूरी तरह से काम करता है।
कमरा B: "कोरियुस्ड" कमरा ( $I$ -coreduced modules)
- नियम: इस कमरे में, किताबें इस तरह से संरचित हैं कि नियम I को दो बार लागू करना ठीक वैसा ही है जैसे एक बार लागू करना। संरचना स्थिर है।
- परिणाम: यहाँ, एक अलग मशीन (जो नियम लागू करने के बाद जो बचा है उसे देखती है) भी पूरी तरह से काम करती है।

3. बड़ी खोज: जेन्स के पत्राचार (Jans' Correspondence) को ठीक करना

गणित में एक प्रसिद्ध पुराना नियम है जिसे जेन्स का पत्राचार (Jans' Correspondence) कहा जाता है।

पुराना नियम: इसने कहा था, "यदि आपका नियम I 'आइडम्पोटेंट' (idempotent) है (अर्थात, नियम को दो बार लागू करना एक बार लागू करने के समान है, जैसे कि एक लाइट स्विच जो या तो चालू है या बंद), तो आपके द्वारा फिल्टर की गई किताबों और नियम के बीच एक पूर्ण एक-से-एक मिलान होता है।"
समस्या: कई नियम गणित में "परफेक्ट स्विच" नहीं होते। वे "डिमर स्विच" (dimmer switches) की तरह होते हैं। पुराना नियम इन डिमर स्विचों के लिए विफल हो गया।
शोध पत्र का समाधान: लेखक दिखाते हैं कि भले ही नियम एक पूर्ण स्विच न हो (यह केवल "फ्लैट" है, जो एक तकनीकी शब्द है जिसका अर्थ है कि यह अन्य नियमों के साथ अच्छी तरह से तालमेल बिठाता है), हम अभी भी एक पूर्ण मिलान प्राप्त कर सकते हैं!
- हमें बस पुस्तकालय को ऊपर बताए गए दो विशेष कमरों (रिड्यूस्ड और कोरियुस्ड) में विभाजित करना होगा।
- रिड्यूस्ड कमरे में, मशीन एक "टोरशन" (Torsion) फिल्टर के रूप में कार्य करती है (बुरे हिस्सों को ढूँढना)।
- कोरियुस्ड कमरे में, मशीन एक "टोरशन-फ्री" (Torsion-free) फिल्टर के रूप में कार्य करती है (अच्छे हिस्सों को ढूँढना)।
- जादू: किताबों का वही समूह (वे जिनमें नियम उन्हें पूरी तरह से खत्म कर देता है) बीच में स्थित है, जो एक कमरे में "बुरा" समूह और दूसरे कमरे में "अच्छा" समूह के रूप में कार्य करता है। यह उस पूर्ण पत्राचार को बहाल करता है जो जेन ने पाया था, लेकिन बहुत अधिक विविध प्रकार के नियमों के लिए।

4. रिंग्स के लिए इसका क्या अर्थ है (द "रेडिकल क्लास")

लेखक इन किताबों (मॉड्यूल) के बारे में अपने निष्कर्षों को स्वयं पुस्तकालय की इमारतों (रिंग्स) पर लागू करते हैं।

वे रिंग्स का एक नया "रेडिकल क्लास" परिभाषित करते हैं। इसे रिंग्स का एक "क्लब" समझें जिनमें एक विशिष्ट गुण है: यदि आप उन पर नियम I लागू करते हैं, तो वे पूरी तरह से गायब हो जाते हैं।
शोध पत्र यह सिद्ध करता है कि यह क्लब एक वैध "रेडिकल क्लास" है, जिसका अर्थ है कि यह गणितीय क्लब सदस्यता के सभी सख्त नियमों का पालन करता है (यदि आप शामिल होते हैं, तो आपके उप-क्लब भी शामिल होते हैं; यदि आप छोड़ते हैं, तो आप स्पष्ट रूप से छोड़ते हैं)।

5. स्पेक्ट्रल सीक्वेंस (द "एक्स-रे मशीनें")

अंत में, लेखक इन विशेष कमरों का उपयोग "स्पेक्ट्रल सीक्वेंस" को देखने के लिए करते हैं।

उपमा: कल्पना कीजिए कि एक एक्स-रे मशीन है जो एक किताब की तस्वीर लेती है, फिर उस तस्वीर की एक और तस्वीर लेती है, और इसी तरह चलती रहती है ताकि छिपी हुई परतों को प्रकट किया जा सके। आमतौर पर, ये तस्वीरें धुंधली या अव्यवस्थित हो जाती हैं।
परिणाम: विशेष "रिड्यूस्ड" और "कोरियुस्ड" कमरों में (विशेष रूप से उन रिंग्स में जो "वॉन न्यूमैन रेगुलर" हैं, जो एक बहुत ही व्यवस्थित प्रकार की रिंग है), एक्स-रे मशीन अविश्वसनीय रूप से सरल हो जाती है।
- यह एक तस्वीर लेती है, और बस, काम पूरा। तस्वीर बदलती नहीं है।
- लेखक सटीक रूप से गणना करते हैं कि ये तस्वीरें कैसी दिखती हैं, यह दिखाते हुए कि इन व्यवस्थित कमरों में, गणित की जटिल परतें एक एकल, स्पष्ट छवि में सिमट जाती हैं।

सारांश

यह शोध पत्र एक टूटी हुई गणितीय सॉर्टिंग मशीन को ठीक करने के लिए एक मार्गदर्शिका है।

मशीन: एक उपकरण जो यह जाँचता है कि वस्तुएं एक विशिष्ट श्रेणी से संबंधित हैं या नहीं।
ब्रेकडाउन: यह सामान्य दुनिया में विफल हो जाता है क्योंकि दुनिया बहुत अव्यवस्थित है।
समाधान: मशीन को दो विशिष्ट, व्यवस्थित कमरों ("रिड्यूस्ड" और "कोरियुस्ड") में ले जाएँ।
लाभ: इन कमरों में, मशीन पूरी तरह से काम करती है, जिससे एक प्रसिद्ध गणितीय संबंध (जेन्स का पत्राचार) बहाल होता है जिसे टूटा हुआ माना जाता था, और जटिल गणितीय संरचनाओं के स्पष्ट "एक्स-रे" दृश्य देखने की अनुमति मिलती है।

लेखक यह दावा नहीं करते हैं कि इसके तत्काल चिकित्सा या औद्योगिक उपयोग हैं; यह विशुद्ध रूप से एक सैद्धांतिक प्रगति है कि गणितज्ञ रिंग्स और मॉड्यूल की संरचना को कैसे समझते हैं।

तकनीकी सारांश: न्यूनीकरण और मूल-न्यूनीकरण मॉड्यूल्स के अनुप्रयोग II: फन्क्टर $\text{Hom}_R(R/I, -)$ की रेडिकैलिटी (Radicality)

समस्या विवरण
यह शोध पत्र एक अभिलक्षण (commutative unital ring) $R$ के ऊपर मॉड्यूल्स की श्रेणी (category) के भीतर रेडिकल्स और टोरशन थ्योरीज़ के सिद्धांत में एक मौलिक सीमा को संबोधित करता है। विशेष रूप से, यह इस बात की जांच करता है कि फन्क्टर $\text{Hom}_R(R/I, -)$ , जो स्वाभाविक रूप से सबमॉड्यूल $(0 :_M I)$ के आइसोमोर्फिक (isomorphic) है, $R$ -मॉड्यूल्स की श्रेणी ( $R\text{-Mod}$ ) पर एक रेडिकल (radical) के रूप में कब कार्य करता है।

यद्यपि जेन्स (Jans) का पत्राचार (correspondence) इडेम्पोटेंट (idempotent) आइडियल्स $I$ और TTF क्लासेस के बीच एक एक-से-एक संबंध स्थापित करता है, यह गैर-इडेम्पोटेंट आइडियल्स के लिए विफल हो जाता है। पहचाना गया मुख्य मुद्दा यह है कि गैर-इडेम्पोटेंट आइडियल्स के लिए, फन्क्टर $\text{Hom}_R(R/I, -)$ एक लेफ्ट एग्जैक्ट प्रेडिकल (left exact preradical) है, लेकिन सामान्यतः एक रेडिकल (अर्थात, $\gamma(M/\gamma(M)) = 0$ संतुष्ट नहीं करता) होने में विफल रहता है। फलस्वरूप, मानक टोरशन-थ्योरेटिक ढांचा गैर-इडेम्पोटेंट आइडियल्स के लिए पूर्ण मॉड्यूल श्रेणी में सीधे लागू नहीं होता है। यह शोध पत्र यह निर्धारित करने का प्रयास करता है कि इस फन्क्टर के एक रेडिकल होने के लिए आवश्यक और पर्याप्त स्थितियाँ क्या हैं और जेन्स के पत्राचार को उन सेटिंग्स में सामान्यीकृत करता है जहाँ $I$ अनिवार्य रूप से इडेम्पोटेंट नहीं है।

कार्यप्रणाली (Methodology)
लेखक एक कैटेगोरिकल और मॉड्यूल-थ्योरेटिक दृष्टिकोण का उपयोग करते हैं, जिसमें वांछित गुणों को बनाए रखने के लिए उपयुक्त उप-श्रेणियों (subcategories) का निर्माण करने हेतु $I$ -रिड्यूस्ड (I-reduced) और $I$ -कोरड्यूस्ड (I-coreduced) मॉड्यूल्स की अवधारणाओं का उपयोग किया गया है।

परिभाषाएं और उप-श्रेणियाँ:
- एक $R$ -मॉड्यूल $I$ -रिड्यूस्ड है यदि सभी $m \in M$ के लिए $I^2m = 0 \implies Im = 0$ हो।
- एक $R$ -मॉड्यूल $I$ -कोरड्यूस्ड है यदि $I^2M = IM$ हो।
- शोध पत्र $I$ -रिड्यूस्ड और $I$ -कोरड्यूस्ड मॉड्यूल्स से बनी क्रमशः $I$ -रिड्यूस्ड और $I$ -कोरड्यूस्ड मॉड्यूल्स की सेरे उप-श्रेणियों (Serre subcategories) $\mathcal{A}_I$ और $\mathcal{B}_I$ को परिभाषित करता है।
रेडिकैलिटी विश्लेषण:
शोध पत्र $\mathcal{A}_I$ और $\mathcal{B}_I$ उप-श्रेणियों पर प्रतिबंधित $\text{Hom}_R(R/I, -)$ का विश्लेषण करता है। यह यह प्रदर्शित करने के लिए सबमॉड्यूल श्रृंखला $(0 :_M I) \subseteq (0 :_M I^2) \subseteq \dots$ का उपयोग करता है कि फन्क्टर ठीक तभी एक रेडिकल बन जाता है जब मॉड्यूल्स $I$ -रिड्यूस्ड हों। इसी प्रकार, यह दिखाया गया है कि $\mathcal{B}_I$ पर $\delta_I(M) = IM$ एक इडेम्पोटेंट रेडिकल है यदि और केवल यदि मॉड्यूल्स $I$ -कोरड्यूस्ड हों।
टोरशन थ्योरी निर्माण:
यह मानते हुए कि $I$ एक फ्लैट (flat) $R$ -मॉड्यूल है, लेखक दो अलग-अलग टोरशन थ्योरीज़ का निर्माण करते हैं:
- $\mathcal{A}_I$ उप-श्रेणी पर एक हेरेडिटरी (hereditary) टोरशन थ्योरी $(\mathcal{T}, \mathcal{F})$ ।
- $\mathcal{B}_I$ उप-श्रेणी पर एक टोरशन थ्योरी $(\mathcal{T}, \mathcal{T})$ ।
  यहाँ, क्लास $\mathcal{T} = \{M \in \mathcal{A}_I \mid (0:_M I) = M\} = \{M \in \mathcal{B}_I \mid IM = M\}$ पहले सिद्धांत में टोरशन क्लास और दूसरे में टोरशनफ्री क्लास के रूप में साथ-साथ कार्य करती है।
स्पेक्ट्रल सीक्वेंस (Spectral Sequences):
शोध पत्र $I$ -टोरशन फन्क्टर $\Gamma_I$ और $I$ -एडिक कंप्लीशन (I-adic completion) फन्क्टर $\Lambda_I$ से जुड़े ग्रोटेंडिएक स्पेक्ट्रल सीक्वेंस (Grothendieck spectral sequences) को लागू करता है, विशेष रूप से वॉन न्यूमैन रेगुलर रिंग्स (von Neumann regular rings) और आर्टिनियन रिंग्स (Artinian rings) के संदर्भ में।

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

रेडिकैलिटी का लक्षण वर्णन: शोध पत्र सिद्ध करता है कि $\text{Hom}_R(R/I, -)$ पूर्ण श्रेणी $R\text{-Mod}$ पर एक रेडकल है यदि और केवल यदि $I$ एक इडेम्पोटेंट आइडियल है (उपपत्ति 3.3)। अधिक व्यापक रूप से, यह स्थापित करता है कि फन्क्टर को $I$ -रिड्यूस्ड मॉड्यूल्स की सेरे उप-श्रेणी $\mathcal{A}_I$ तक सीमित करने से रेडिकैलिटी पुनः प्राप्त हो जाती है (प्रपोजिशन 2.2)।
जेन्स के पत्राचार का सामान्यीकरण: उपपत्ति 3.2 जेन्स के पत्राचार को सामान्यीकृत करती है। जबकि जेन्स के पत्राचार के लिए $R\text{-Mod}$ में एक TTF क्लास को परिभाषित करने हेतु $I$ का इडेम्पोटेंट होना आवश्यक है, यह शोध पत्र दिखाता है कि यदि $I$ केवल फ्लैट है, तो हमें $\mathcal{A}_I$ और $\mathcal{B}_I$ उप-श्रेणियों पर दो परस्पर क्रिया करने वाली टोरशन थ्योरीज प्राप्त होती हैं। $I$ द्वारा एनिलेट (annihilated) किए गए मॉड्यूल्स की क्लास (या $IM=M$ को संतुष्ट करने वाली क्लास) एक "ब्रिज" क्लास के रूप में कार्य करती है, जो एक सिद्धांत में टोरशन और दूसरे में टोरशनफ्री होती है।
रिंग्स की रेडिकल क्लास: शोध पत्र एक इडेम्पोटेंट आइडियल $I$ के लिए रेडिकल क्लास $\Psi_I = \{S \in \mathcal{C}_R : IS = 0\}$ को परिभाषित करता है, जहाँ $\mathcal{C}_R$ संगत $R$ -मॉड्यूल संरचनाओं वाली रिंग्स की श्रेणी है। यह सिद्ध करता है कि $\Psi_I$ एक रेडिकल क्लास है और आइसोमोर्फिज्म $\text{Hom}_R(R/I, R) \cong \Psi_I(R) = \Gamma_I(R)$ स्थापित करता है (उपपत्ति 5.1, उप-उपपत्ति 5.2)।
साहित्य में सुधार: शोध पत्र वीकली प्रोरेगुलर (weakly proregular) आइडियल्स से संबंधित मौजूदा परिणामों को परिष्कृत करता है। यह सिद्ध करता है कि कोई भी फाइनाइटली जेनरेटेड इडेम्पोटेंट आइडियल वीकली प्रोरेगुलर है, जिससे पिछले साहित्य में आवश्यक "स्ट्रॉन्गली" (strongly) विशेषण को हटा दिया गया है (प्रपोजिशन 4.1)।
स्पेक्ट्रल सीक्वेंस गणना: वॉन न्यूमैन रेगुलर रिंग्स के लिए, शोध पत्र प्रदर्शित करता है कि लोकल कोहोमोलॉजी (local cohomology) और लोकल होमोलॉजी (local homology) के लिए ग्रोटेंडिएक स्पेक्ट्रल सीक्वेंस डिग्री ज़ीरो पर ट्रिवियली कोलैप्स (collapse) हो जाते हैं, जिससे फन्क्टर्स $\Gamma_I$ और $\Lambda_I$ सीधे प्राप्त होते हैं (प्रपोजिशन 6.1–6.3)।

महत्व और दावे
शोध पत्र दावा करता है कि "गैर-इडेम्पोटेंट आइडियल्स के लिए जेन्स के पत्राचार की विफलता ठीक वही है जो $R\text{-Mod}$ पर $\text{Hom}_R(R/I, -)$ के एक रेडकल होने की विफलता है।" $I$ -रिड्यूस्ड और $I$ -कोरड्यूस्ड मॉड्यूल्स की उपयुक्त श्रेणियों पर ध्यान केंद्रित करके, शोध पत्र तर्क देता है कि रेडिकैलिटी को पुनः प्राप्त किया जाता है, जिससे सामान्यीकृत टोरशन-थ्योरेट पत्राचार प्राप्त होता है।

इसका वैचारिक योगदान जेन्स के पत्राचार को सामान्यीकृत करने और एक नई रेडिकल क्लास ऑफ रिंग्स का निर्माण करने के लिए एक "प्राकृतिक सेटिंग" प्रदान करने के रूप में फ्रेम किया गया है। परिणाम एक ऐसी प्रक्रिया प्रदान करते हैं जहाँ $I$ इडेम्पोटेंट नहीं होने पर भी रेडिकल-थ्योरेटिक व्यवहार को पुनः प्राप्त किया जा सकता है और जहाँ उच्च स्थानीय कोहोमोलॉजी (higher local cohomology) गैर-तुच्छ (non-trivial) होती है। शोध पत्र नए प्रयोगात्मक अनुप्रयोगों का प्रस्ताव नहीं करता है बल्कि कम्यूटेटिव अलजेब्रा के भीतर रेडिकल्स, टोरशन थ्योरीज और स्पेक्ट्रल सीक्वेंस के सैद्धांतिक ढांचे का विस्तार करता है।