अंतःक्षेपक मॉड्यूल: Difference between revisions

Revision as of 20:28, 28 May 2023

गणित में, विशेष रूप से अमूर्त बीजगणित के क्षेत्र में अंतःक्षेपक मॉड्यूल को सामान्यतः मॉड्यूल सिद्धांत के रूप में जाना जाता है, एक अंतःक्षेपक मॉड्यूल एक मॉड्यूल Q है जो सभी तर्कसंगत संख्याओं के Z-मॉड्यूल Q के साथ कुछ वांछनीय गुणों को साझा करता है। विशेष रूप से, यदि Q किसी अन्य मॉड्यूल का उपमॉड्यूल है, तो यह पहले से ही उस मॉड्यूल का प्रत्यक्ष योग है; इसके अतिरिक्त, एक मॉड्यूल Y का एक उपमॉड्यूल दिया जाता है, तो इस उपमॉड्यूल से Q तक किसी भी मॉड्यूल समरूपता को सभी Y से Q तक एक समान तक बढ़ाया जा सकता है। यह अवधारणा प्रोजेक्टिव मॉड्यूल के लिए दोहरी है। अंतःक्षेपक मॉड्यूल (Baer 1940) और (Lam 1999, §3) में पेश किए गए थे और पाठ्यपुस्तक में कुछ विस्तार से चर्चा की गई है।

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

परिभाषा

वलय R के ऊपर एक बायाँ मॉड्यूल Q अंतःक्षेपी होता है यदि यह निम्नलिखित समतुल्य शर्तों में से एक (और इसलिए सभी) को संतुष्ट करता है:

यदि Q किसी अन्य बाएँ R-मॉड्यूल M का एक उपमॉड्यूल है, तो M का एक और उपमॉड्यूल K मौजूद है, जैसे M, Q और K का आंतरिक प्रत्यक्ष योग है, अर्थात Q + K = M और Q ∩ K = {0}।
कोई भी छोटा सटीक क्रम 0 →Q → M → K → 0 बाएँ R-मॉड्यूल विभाजित करता है।
वाम आर-मॉड्यूल के श्रेणी सिद्धांत से एबेलियन समूहों की श्रेणी के लिए प्रतिपरिवर्ती गुणांक मैं एक आदमी के रूप में काम करता हूं होम (-, क्यू) सटीक फ़ंक्टर है।
यदि एक्स और वाई शेष आर-मॉड्यूल हैं, तो f : X → Y एक अंतःक्षेपक मॉड्यूल होमोमोर्फिज्म है और g : X → Q एक मनमाना मॉड्यूल होमोमोर्फिज्म है, फिर एक मॉड्यूल होमोमोर्फिज्म h : Y → Q मौजूद है जैसे कि hf = g यानी ऐसा कि निम्न आरेख यात्रा करता है:

center|193x193px

अंतःक्षेपक राइट आर-मॉड्यूल को पूर्ण सादृश्य में परिभाषित किया गया है।

उदाहरण

पहला उदाहरण

तुच्छ रूप से, शून्य मॉड्यूल {0} अंतःक्षेपक है।

एक क्षेत्र k दिया गया है, प्रत्येक k-सदिश समष्टि Q एक अंतःक्षेपी k-मॉड्यूल है। कारण: यदि Q, V की एक उपसमष्टि है, तो हम Q का एक आधार खोज सकते हैं और इसे V के आधार पर विस्तारित कर सकते हैं। नए विस्तारित आधार सदिशों में V की एक उपसमष्टि K है और V, Q और K का आंतरिक प्रत्यक्ष योग है। नोट कि Q का प्रत्यक्ष पूरक K विशिष्ट रूप से Q द्वारा निर्धारित नहीं किया गया है, और इसी तरह उपरोक्त परिभाषा में विस्तारित मानचित्र h विशिष्ट रूप से अद्वितीय नहीं है।

तर्कसंगत Q (जोड़ के साथ) एक अंतःक्षेपक एबेलियन समूह (यानी एक अंतःक्षेपक Z-मॉड्यूल) बनाते हैं। कारक समूह Q/Z और सर्कल समूह अंतःक्षेपक Z-मॉड्यूल भी हैं। n> 1 के लिए कारक समूह Z/nZ एक Z/nZ-मॉड्यूल के रूप में अंतःक्षेपक है, लेकिन एक एबेलियन समूह के रूप में अंतःक्षेपक नहीं है।

क्रमविनिमेय उदाहरण

अधिक आम तौर पर, किसी भी अभिन्न डोमेन R के लिए अंश K के क्षेत्र के साथ, R-मॉड्यूल K एक अंतःक्षेपक R-मॉड्यूल है, और वास्तव में R युक्त सबसे छोटा अंतःक्षेपक R-मॉड्यूल है। किसी भी Dedekind डोमेन के लिए, भागफल मॉड्यूल K/R भी है व्यंजक, और इसके अविघटनीय योग स्थानीयकरण हैं $R_{\mathfrak {p}}/R$ गैर-अभाज्य अभाज्य आदर्शों ${\mathfrak {p}}$ के लिए शून्य आदर्श भी प्रमुख है और अंतःक्षेपक के के अनुरूप है। इस तरह से प्रमुख आदर्शों और अपरिवर्तनीय अंतःक्षेपक मॉड्यूल के बीच 1-1 पत्राचार होता है।

एबेन मैटलिस, (लैम 1999, §3I) के कारण क्रमविनिमेय नॉथेरियन वलयों के लिए एक विशेष रूप से समृद्ध सिद्धांत उपलब्ध है। प्रत्येक अंतःक्षेपक मॉड्यूल विशिष्ट रूप से अपरिवर्तनीय अंतःक्षेपक मॉड्यूल का प्रत्यक्ष योग है, और अपरिवर्तनीय अंतःक्षेपक मॉड्यूल को विशिष्ट रूप से भागफल आर/पी के अंतःक्षेपक हल्स के रूप में पहचाना जाता है जहां पी वलय के प्रमुख स्पेक्ट्रम पर भिन्न होता है। आर-मॉड्यूल के रूप में आर/पी का अंतःक्षेपक हल कैनोनिक रूप से एक आरपी मॉड्यूल है, और आर/पी का आरपी-अंतःक्षेपक हल है। दूसरे शब्दों में, यह स्थानीय छल्लों पर विचार करने के लिए पर्याप्त है। R/P के अंतःक्षेपक हल का एंडोमोर्फिज्म वलय, P पर R का पूरा ${\hat {R}}_{P}$ है।

दो उदाहरण Z-मॉड्यूल Z/pZ (प्रूफ़र समूह) के अंतःक्षेपक हल हैं, और k[x]-मॉड्यूल k (उलटा बहुपदों की वलय) के अंतःक्षेपक हल हैं। उत्तरार्द्ध को आसानी से k[x,x−1]/xk[x] के रूप में वर्णित किया गया है। इस मॉड्यूल का आधार "उलटा मोनोमियल्स" है, जो कि n = 0, 1, 2, ... के लिए x−n है। स्केलर्स द्वारा गुणन अपेक्षित है, और x द्वारा गुणा सामान्य रूप से x·1 = 0 को छोड़कर व्यवहार करता है। एंडोमोर्फिज्म वलय केवल औपचारिक शक्ति श्रृंखला की वलय है।

आर्टिनियन उदाहरण

यदि G एक परिमित समूह है और k विशेषता (बीजगणित) 0 के साथ एक क्षेत्र है, तो एक समूह प्रतिनिधित्व के सिद्धांत में दिखाता है कि किसी दिए गए उप-प्रतिनिधित्व पहले से ही दिए गए एक का प्रत्यक्ष योग है। मॉड्यूल भाषा में अनुवादित, इसका मतलब है कि समूह बीजगणित केजी पर सभी मॉड्यूल अंतःक्षेपक हैं। यदि k का अभिलाक्षणिक शून्य नहीं है, तो निम्न उदाहरण मदद कर सकता है।

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

किसी भी आर्टिनियन वलय के लिए, जैसे कि कम्यूटेटिव वलय के लिए, प्राइम आइडियल्स और इंडिकंपोज़ेबल अंतःक्षेपक मॉड्यूल के बीच 1-1 पत्राचार होता है। इस मामले में पत्राचार शायद और भी सरल है: एक प्रमुख आदर्श एक अद्वितीय सरल मॉड्यूल का विनाशक है, और संबंधित अपरिवर्तनीय अंतःक्षेपक मॉड्यूल इसकी अंतःक्षेपक हल है। खेतों पर परिमित-आयामी बीजगणित के लिए, ये अंतःक्षेपक हल्स सूक्ष्म रूप से उत्पन्न मॉड्यूल (Lam 1999, §3G, §3J) हैं।

कम्प्यूटिंग अंतःक्षेपक हल्स

यदि $R$ एक नोथेरियन वलय है और ${\mathfrak {p}}$ एक प्रधान आदर्श समुच्चय है $E=E(R/{\mathfrak {p}})$ अंतःक्षेपक हल के रूप में। आर्टिनियन वलय के ऊपर $R/{\mathfrak {p}}$ का अंतःक्षेपक हल { $R/{\mathfrak {p}}^{k}$ की गणना मॉड्यूल के रूप में की जा सकती है $(0:_{E}{\mathfrak {p}}^{k})$ यह $R/{\mathfrak {p}}^{k}$ के समान लंबाई का एक मॉड्यूल है।^[1] विशेष रूप से, मानक ग्रेडेड वलय के लिए $R_{\bullet }=k[x_{1},\ldots ,x_{n}]_{\bullet }$ और ${\mathfrak {p}}=(x_{1},\ldots ,x_{n})$ , $E=\oplus _{i}{\text{Hom}}(R_{i},k)$ एक अंतःक्षेपक मॉड्यूल है, जो देता है $k$ से अधिक आर्टिनियन वलय्स के लिए अविघटनीय अंतःक्षेपक मॉड्यूल की गणना के लिए उपकरण।

स्व अंतःक्षेपक

एक आर्टिन स्थानीय वलय $(R,{\mathfrak {m}},K)$ यदि और केवल यदि खुद पर अंतःक्षेपक है $soc(R)$ एक 1-आयामी वेक्टर स्पेस ओवर है $K$ . इसका मतलब है कि हर स्थानीय गोरेंस्टीन वलय जो कि आर्टिन भी है, अपने आप में अंतःक्षेपक है क्योंकि इसमें 1-आयामी सोसल है।^[2] एक साधारण गैर-उदाहरण वलय है $R=\mathbb {C} [x,y]/(x^{2},xy,y^{2})$ जिसका अधिकतम आदर्श है $(x,y)$ और अवशेष क्षेत्र $\mathbb {C}$ . इसका सोसल है $\mathbb {C} \cdot x\oplus \mathbb {C} \cdot y$ , जो द्वि-आयामी है। अवशेष क्षेत्र में अंतःक्षेपक हल है ${\text{Hom}}_{\mathbb {C} }(\mathbb {C} \cdot x\oplus \mathbb {C} \cdot y,\mathbb {C} )$ .

एक आर्टिन लोकल वलय $(R,{\mathfrak {m}},K)$ अपने आप में अंतःक्षेपक है यदि और केवल यदि $soc(R)$ $K$ के ऊपर एक 1-डायमेंशनल वेक्टर स्पेस है। इसका मतलब है हर स्थानीय गोरेंस्टीन वलय जो कि आर्टिन भी है, अपने आप में अंतःक्षेपक है क्योंकि इसमें 1-आयामी सोसल है। [3] एक साधारण गैर-उदाहरण वलय है $R=\mathbb {C} [x,y]/(x^{2},xy,y^{2})$ जिसमें अधिकतम आदर्श $(x,y)$ है और अवशेष क्षेत्र $\mathbb {C}$ इसका सॉकल $\mathbb {C} \cdot x\oplus \mathbb {C} \cdot y$ , जो द्वि-आयामी है। अवशेष क्षेत्र ${\text{Hom}}_{\mathbb {C} }(\mathbb {C} \cdot x\oplus \mathbb {C} \cdot y,\mathbb {C} )$ में अंतःक्षेपक हल है।

लाई बीजगणित पर मॉड्यूल

लाई बीजगणित के लिए ${\mathfrak {g}}$ विशेषता 0 के क्षेत्र $k$ पर, मॉड्यूल की श्रेणी ${\mathcal {M}}({\mathfrak {g}})$ का अपेक्षाकृत सीधा वर्णन है अंतःक्षेपक मॉड्यूल। [4] सार्वभौमिक लिफाफा बीजगणित का उपयोग करके किसी भी अंतःक्षेपक ${\mathfrak {g}}$ -मॉड्यूल का निर्माण ${\text{Hom}}_{k}(U({\mathfrak {g}}),V)$ -मॉड्यूल से किया जा सकता है^[3]

${\mathfrak {g}}\hookrightarrow U({\mathfrak {g}})$

वास्तव में, हर ${\mathfrak {g}}$ -मॉड्यूल में कुछ में अंतःक्षेपक है ${\text{Hom}}_{k}(U({\mathfrak {g}}),V)$ और हर अंतःक्षेपक ${\mathfrak {g}}$ -मॉड्यूल कुछ का प्रत्यक्ष योग है ${\text{Hom}}_{k}(U({\mathfrak {g}}),V)$ .

सिद्धांत

क्रमविनिमेय नोथेरियन वलय्स के लिए संरचना प्रमेय

एक कम्यूटेटिव नोथेरियन वलय $R$ पर, प्रत्येक अंतःक्षेपक मॉड्यूल अपरिवर्तनीय अंतःक्षेपक मॉड्यूल का प्रत्यक्ष योग होता है और प्रत्येक अपरिवर्तनीय अंतःक्षेपक मॉड्यूल प्राइम ${\mathfrak {p}}$ पर अवशेष क्षेत्र का अंतःक्षेपक हल होता है। अर्थात्, एक अंतःक्षेपक $I\in {\text{Mod}}(R)$ के लिए, एक समरूपता है: $I\cong \bigoplus _{i}E(R/{\mathfrak {p}}_{i})$

जहां $E(R/{\mathfrak {p}}_{i})$ मॉड्यूल के अंतःक्षेपक हल्स हैं $R/{\mathfrak {p}}_{i}$ .^[4] इसके अतिरिक्त, यदि $I$ मॉड्यूल $M$ का अंतःक्षेपक हल हूं तो ${\mathfrak {p}}_{i}$ $M$ के संबंधित अभाज्य संख्याएँ हैं।^[1]

उपमॉड्यूल, भागफल, उत्पाद और योग

अंतःक्षेपक मॉड्यूल (यहां तक कि असीम रूप से कई) अंतःक्षेपक मॉड्यूल का कोई भी उत्पाद अंतःक्षेपक है; इसके विपरीत, यदि मॉड्यूल का प्रत्यक्ष उत्पाद अंतःक्षेपक है, तो प्रत्येक मॉड्यूल अंतःक्षेपक है (Lam 1999, p. 61) सूक्ष्म रूप से अनेक अंतःक्षेपी मॉड्यूलों का प्रत्येक प्रत्यक्ष योग अंतःक्षेपी होता है। सामान्य रूप पर, उपमॉड्यूल्स, फैक्टर मॉड्यूल या अंतःक्षेपक मॉड्यूल के अनंत प्रत्यक्ष योगों को अंतःक्षेपक नहीं होना चाहिए। प्रत्येक अंतःक्षेपक मॉड्यूल का प्रत्येक उपमॉड्यूल अंतःक्षेपक है यदि और केवल यदि वलय आर्टिनियन सेमीसिम्पल है (Golan & Head 1991, p. 152) प्रत्येक अंतःक्षेपक मॉड्यूल का प्रत्येक कारक मॉड्यूल अंतःक्षेपक है यदि और केवल यदि वलय वंशानुगत है, (Lam 1999, Th. 3.22) अंतःक्षेपी मॉड्यूल का प्रत्येक अनंत प्रत्यक्ष योग अंतःक्षेपी है यदि और केवल यदि वलय नोथेरियन है, (Lam 1999, Th 3.46)^[5]

बायर की कसौटी

बेयर के मूल पेपर में, उन्होंने एक उपयोगी परिणाम साबित किया, जिसे आमतौर पर बेयर के मानदंड के रूप में जाना जाता है, यह जांचने के लिए कि क्या मॉड्यूल अंतःक्षेपक है: एक बायां आर-मॉड्यूल Q अंतःक्षेपक है यदि और केवल यदि कोई होमोमोर्फिज्म जी: I → Q बाएं आदर्श I पर परिभाषित R का सभी R तक विस्तार किया जा सकता है।

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

बेयर की कसौटी को कई तरह से परिष्कृत किया गया है (Golan & Head 1991, p. 119), जिसमें (Smith 1981) और (Vamos 1983) का एक परिणाम भी सम्मिलित है कि एक क्रमविनिमेय नोथेरियन वलय के लिए, यह केवल प्रमुख आदर्शों I पर विचार करने के लिए पर्याप्त है। दोहरी बायर की कसौटी, जो प्रोजेक्टिविटी के लिए एक परीक्षा देगी, सामान्य रूप से गलत है। उदाहरण के लिए, Z-मॉड्यूल Q बायर की कसौटी के दोहरे को संतुष्ट करता है लेकिन प्रक्षेपी नहीं है।

अंतःक्षेपक सहजनरेटर

शायद सबसे महत्वपूर्ण अंतःक्षेपक मॉड्यूल एबेलियन समूह Q/Z है। यह एबेलियन समूहों की श्रेणी में एक अंतःक्षेपक कोजेनरेटर है, जिसका अर्थ है कि यह अंतःक्षेपक है और कोई अन्य मॉड्यूल Q/Z की प्रतियों के उपयुक्त बड़े उत्पाद में निहित है। तो विशेष रूप से, प्रत्येक एबेलियन समूह एक अंतःक्षेपक का एक उपसमूह है। यह काफी महत्वपूर्ण है कि यह किसी भी वलय पर भी सच है: प्रत्येक मॉड्यूल अंतःक्षेपक का एक सबमिशन है, या "बाएं आर-मॉड्यूल की श्रेणी में पर्याप्त अंतःक्षेपक हैं।" इसे साबित करने के लिए, बाएं आर-मॉड्यूल की श्रेणी में एक अंतःक्षेपक कोजेनरेटर बनाने के लिए एबेलियन ग्रुप Q/Z के अजीबोगरीब गुणों का उपयोग किया जाता है।

बाएं आर-मॉड्यूल एम के लिए, तथाकथित कैरेक्टर मॉड्यूल एम⁺ = होम_Z(एम, 'क्यू'/'Z') एक सही आर-मॉड्यूल है जो अंतःक्षेपक मॉड्यूल और प्रोजेक्टिव मॉड्यूल के बीच नहीं बल्कि अंतःक्षेपक मॉड्यूल और फ्लैट मॉड्यूल के बीच एक दिलचस्प द्वंद्व प्रदर्शित करता है। (Enochs & Jenda 2001, pp. 78–80). किसी भी वलय आर के लिए, एक बायां आर-मॉड्यूल समतल है यदि और केवल यदि इसका कैरेक्टर मॉड्यूल अंतःक्षेपक है। यदि आर नोथेरियन छोड़ दिया गया है, तो एक बाएं आर-मॉड्यूल अंतःक्षेपक है यदि और केवल यदि इसका चरित्र मॉड्यूल फ्लैट है।

अंतःक्षेपक हल्स

मॉड्यूल का अंतःक्षेपक हल सबसे छोटा अंतःक्षेपक मॉड्यूल है जिसमें दिया गया है और इसमें वर्णित किया गया था (Eckmann & Shopf 1953).

एक न्यूनतम अंतःक्षेपक रिज़ॉल्यूशन (नीचे देखें) को परिभाषित करने के लिए अंतःक्षेपक हल्स का उपयोग कर सकते हैं। यदि अंतःक्षेपी विभेदन का प्रत्येक पद पिछले मानचित्र के कोकर्नेल का अंतःक्षेपी हल है, तो अंतःक्षेपी विभेदन की न्यूनतम लंबाई होती है।

अंतःक्षेपक संकल्प

प्रत्येक मॉड्यूल एम में एक अंतःक्षेपक रिज़ॉल्यूशन भी होता है जो फॉर्म का सटीक अनुक्रम होता है

0 → M → I⁰ → I¹ → I² → ...

जहां मैं^j अंतःक्षेपक वाले मॉड्यूल हैं। व्युत्पन्न प्रस्तावों को परिभाषित करने के लिए अंतःक्षेपक रेजोल्यूशन का उपयोग किया जा सकता है जैसे कि Ext functor।

एक परिमित अंतःक्षेपी विभेदन की लंबाई पहला सूचकांक n है जैसे कि In शून्य नहीं है और Ii = 0 के लिए n से अधिक है। यदि एक मॉड्यूल एम एक परिमित अंतःक्षेपण संकल्प को स्वीकार करता है, तो एम के सभी परिमित अंतःक्षेपी संकल्पों के बीच न्यूनतम लंबाई को इसके अंतःक्षेपी आयाम और निरूपित आईडी (एम) कहा जाता है। यदि एम परिमित अंतःक्षेपी संकल्प को स्वीकार नहीं करता है, तो परिपाटी द्वारा अंतःक्षेपी आयाम को अनंत कहा जाता है। (Lam 1999, §5C) एक उदाहरण के रूप में, एक मॉड्यूल M पर विचार करें जैसे कि id(M) = 0. इस स्थिति में, अनुक्रम 0 → M → I0 → 0 की सटीकता इंगित करती है कि केंद्र में तीर एक समरूपता है , और इसलिए M स्वयं अंतःक्षेपी है।^[6]

समान रूप से, M का अंतःक्षेपी आयाम न्यूनतम पूर्णांक है (यदि ऐसा अन्यथा ∞) n ऐसा है कि Ext^N
_A(–,M) = 0 सभी N > n के लिए A(–, M) = 0

अविघटनीय

एक अंतःक्षेपक मॉड्यूल का प्रत्येक अंतःक्षेपक उपमॉड्यूल एक सीधा योग है, इसलिए अविघटनीय मॉड्यूल अंतःक्षेपक मॉड्यूल को समझना महत्वपूर्ण है, (Lam 1999, §3F).

प्रत्येक अविघटनीय अंतःक्षेपक मॉड्यूल में एक स्थानीय एंडोमोर्फिज्म वलय होती है। एक मॉड्यूल को एक समान मॉड्यूल कहा जाता है यदि प्रत्येक दो गैर-शून्य उपमॉड्यूल में गैर-शून्य चौराहा होता है। एक अंतःक्षेपक मॉड्यूल एम के लिए निम्नलिखित समतुल्य हैं:

एम अविघटनीय है
M नॉनज़रो है और हर नॉनज़रो उपमॉड्यूल का अंतःक्षेपक हल है
एम एकसमान है
एम एक समान मॉड्यूल का अंतःक्षेपक हल है
एम एक समान चक्रीय मॉड्यूल का अंतःक्षेपक पतवार है
एम में एक स्थानीय एंडोमोर्फिज्म वलय है

नोथेरियन वलय के ऊपर, प्रत्येक अंतःक्षेपक मॉड्यूल (विशिष्ट रूप से निर्धारित) अविघटनीय अंतःक्षेपक मॉड्यूल का प्रत्यक्ष योग है। एक क्रमविनिमेय नोथेरियन वलय के ऊपर, यह (मैटलिस 1958) में वर्णित सभी अंतःक्षेपक मॉड्यूल की विशेष रूप से अच्छी समझ देता है। अविघटनीय अंतःक्षेपक मॉड्यूल, वलय आर के एक प्रमुख आदर्श के लिए मॉड्यूल आर/पी के अंतःक्षेपक हल्स हैं। इसके अतिरिक्त, आर/पी के अंतःक्षेपक हल एम में आदर्श पीएन के एनीहिलेटर द्वारा दिए गए मॉड्यूल एमएन द्वारा बढ़ते निस्पंदन हैं, और Mn+1/Mn आइसोमॉर्फिक है, जो R/p से HomR/p(pn/pn+1, k(p)) के भागफल क्षेत्र k(p) पर परिमित-आयामी वेक्टर स्पेस के रूप में है।

अंगूठियों का परिवर्तन

विशेष रूप से बहुपद वलयों के लिए सबवलय्स या भागफल के छल्ले पर मॉड्यूल पर विचार करने में सक्षम होना महत्वपूर्ण है। सामान्य तौर पर, यह कठिन है, लेकिन कई परिणाम ज्ञात हैं, (Lam 1999, p. 62).

S और R को वलय होने दें, और P एक लेफ्ट-R, राइट-S bimodule है जो लेफ्ट-R मॉड्यूल के रूप में फ्लैट मॉड्यूल है। किसी भी अंतःक्षेपक राइट एस-मॉड्यूल एम के लिए, मॉड्यूल होमोमोर्फिज्म होम का सेट_S(पी, एम) एक अंतःक्षेपक सही आर-मॉड्यूल है। बाएँ और दाएँ गुणों के आदान-प्रदान के बाद निश्चित रूप से यही कथन लागू होता है।

उदाहरण के लिए, यदि R, S का एक सबवलय है जैसे कि S एक फ्लैट R-मॉड्यूल है, तो प्रत्येक अंतःक्षेपक S-मॉड्यूल एक अंतःक्षेपक R-मॉड्यूल है। विशेष रूप से, यदि R एक अभिन्न डोमेन है और S इसके अंशों का क्षेत्र है, तो S पर प्रत्येक सदिश स्थान एक अंतःक्षेपी R-मॉड्यूल है। इसी तरह, प्रत्येक अंतःक्षेपक आर [एक्स] -मॉड्यूल एक अंतःक्षेपक आर-मॉड्यूल है।

विपरीत दिशा में, एक वलय समरूपता $f:S\to R$ बाएँ और दाएँ गुणन द्वारा R को बाएँ-R, दाएँ-S द्विमॉड्यूल में बनाता है। अपने आप में मुक्त मॉड्यूल होने के नाते आर भी मुफ्त मॉड्यूल # फ्री और प्रोजेक्टिव मॉड्यूल बाएं आर-मॉड्यूल के रूप में है। पी = आर के लिए उपरोक्त कथन की विशेषज्ञता, यह कहता है कि जब एम एक अंतःक्षेपक सही एस-मॉड्यूल सह-प्रेरित मॉड्यूल है $f_{*}M=\mathrm {Hom} _{S}(R,M)$ एक अंतःक्षेपक सही आर-मॉड्यूल है। इस प्रकार, च पर संयोग अंतःक्षेपक एस-मॉड्यूल से अंतःक्षेपक आर-मॉड्यूल पैदा करता है।

भागफल वलय R/I के लिए, वलय का परिवर्तन भी बहुत स्पष्ट है। एक आर-मॉड्यूल ठीक उसी समय एक आर/आई-मॉड्यूल होता है जब इसे I द्वारा विलोपित किया जाता है। उपमॉड्यूल annI(M) = {m in M: im = 0 for all i in I} बाएं आर-मॉड्यूल का एक बायां उपमॉड्यूल है M, और M का सबसे बड़ा उपमॉड्यूल है जो एक R/I-मॉड्यूल है। यदि M एक अंतःक्षेपी बायाँ R-मॉड्यूल है, तो annI(M) एक अंतःक्षेपी बायाँ R/I-मॉड्यूल है। इसे R=Z, I=nZ और M=Q/Z पर लागू करने पर, एक परिचित तथ्य प्राप्त होता है कि Z/nZ अपने आप में एक मॉड्यूल के रूप में अंतःक्षेपक है। हालांकि अंतःक्षेपक आर-मॉड्यूल को अंतःक्षेपक आर/आई-मॉड्यूल में परिवर्तित करना आसान है, लेकिन यह प्रक्रिया अंतःक्षेपक वाले आर-रिज़ॉल्यूशन को अंतःक्षेपक वाले आर/आई-रेज़ोल्यूशन में परिवर्तित नहीं करती है और परिणामी कॉम्प्लेक्स की होमोलॉजी अध्ययन के प्रारंभिक और मौलिक क्षेत्रों में से एक है। रिश्तेदार समरूप बीजगणित की।

पाठ्यपुस्तक (Rotman 1979, p. 103) के पास एक गलत सबूत है कि वलय का स्थानीयकरण अंतःक्षेपक को संरक्षित करता है, लेकिन इसमें एक काउंटर उदाहरण दिया गया था (Dade 1981).

सेल्फ-अंतःक्षेपक वलय्स

एकता के साथ प्रत्येक वलय एक स्वतंत्र मॉड्यूल है और इसलिए अपने आप में एक मॉड्यूल के रूप में एक प्रक्षेपी है, लेकिन यह एक वलय के लिए अपने आप में एक मॉड्यूल के रूप में अंतःक्षेपक होना दुर्लभ है, (लैम 1999, §3B)। यदि एक वलय सही मॉड्यूल के रूप में खुद पर अंतःक्षेपक है, तो इसे राइट सेल्फ-अंतःक्षेपक वलय कहा जाता है। प्रत्येक फ्रोबेनियस बीजगणित स्व-अंतःक्षेपी है, लेकिन कोई भी अभिन्न डोमेन जो एक क्षेत्र नहीं है, स्व-अंतःक्षेपी है। डेडेकाइंड डोमेन का प्रत्येक उचित भागफल स्व-अंतःक्षेपक है।

एक दाएँ नोएथेरियन, दाएँ आत्म-अंतःक्षेपक वाले वलय को अर्ध-फ्रोबेनियस वलय कहा जाता है, और यह दो तरफा आर्टिनियन और दो तरफा अंतःक्षेपक वाला होता है, (Lam 1999, Th. 15.1) अर्ध-फ्रोबेनियस वलयों का एक महत्वपूर्ण मॉड्यूल सैद्धांतिक गुण यह है कि प्रक्षेपी मॉड्यूल बिल्कुल अंतःक्षेपक मॉड्यूल हैं।

सामान्यीकरण और विशेषज्ञता

अंतःक्षेपक वाली वस्तुएं

एक मॉड्यूल श्रेणियों की तुलना में अधिक सामान्य श्रेणियों में अंतःक्षेपक ऑब्जेक्ट्स के बारे में भी बात करता है, उदाहरण के लिए फ़ंक्टर श्रेणियों में या कुछ वलय वाले स्थान (एक्स, ओएक्स) पर ओएक्स-मॉड्यूल के शेवों की श्रेणियों में। निम्नलिखित सामान्य परिभाषा का उपयोग श्रेणी C की एक वस्तु Q के लिए किया जाता है, यदि किसी मोनोमोर्फिज्म f: X → Y में C और किसी भी आकारिकी g: X → Q के लिए एक morphism h: Y → Q hf = g के साथ मौजूद है।

विभाज्य समूह

एबेलियन समूहों की श्रेणी में अंतःक्षेपक ऑब्जेक्ट की धारणा को विभाज्य समूह शब्द के तहत अंतःक्षेपक मॉड्यूल से कुछ हद तक स्वतंत्र रूप से अध्ययन किया गया था। यहां एक Z-मॉड्यूल एम अंतःक्षेपक है यदि और केवल यदि n⋅M = M प्रत्येक गैर-शून्य पूर्णांक N के लिए। यहां फ्लैट मॉड्यूल, शुद्ध उपमॉड्यूल और अंतःक्षेपक मॉड्यूल के बीच संबंध अधिक स्पष्ट हैं, क्योंकि यह केवल पूर्णांक द्वारा मॉड्यूल तत्वों के कुछ विभाज्य गुणों को संदर्भित करता है।

शुद्ध अंतःक्षेपक

सहसंबंध समरूपता बीजगणित में, समरूपता की विस्तार संपत्ति सभी के अतिरिक्त केवल कुछ उपमॉड्यूल के लिए आवश्यक हो सकती है। उदाहरण के लिए, एक शुद्ध अंतःक्षेपी मॉड्यूल एक ऐसा मॉड्यूल होता है जिसमें शुद्ध उपमॉड्यूल से समरूपता को पूरे मॉड्यूल तक बढ़ाया जा सकता है।

संदर्भ

↑ ^1.0 ^1.1 Eisenbud. क्रमविनिमेय बीजगणित का परिचय. pp. 624, 625.
↑ "इंजेक्शन मॉड्यूल" (PDF). p. 10.
↑ Vogan, David. "झूठ बीजगणित कोहोलॉजी" (PDF).
↑ "Structure of injective modules over Noetherian rings".
↑ This is the Bass-Papp theorem, see (Papp 1959) and (Chase 1960)
↑ A module isomorphic to an injective module is of course injective.

पाठ्यपुस्तकें

Anderson, Frank Wylie; Fuller, Kent R (1992), Rings and Categories of Modules, Berlin, New York: Springer-Verlag, ISBN 978-0-387-97845-1, retrieved 30 July 2016
Enochs, Edgar E.; Jenda, Overtoun M. G. (2000), Relative homological algebra, de Gruyter Expositions in Mathematics, vol. 30, Berlin: Walter de Gruyter & Co., doi:10.1515/9783110803662, ISBN 978-3-11-016633-0, MR 1753146
Golan, Jonathan S.; Head, Tom (1991), Modules and the structure of rings, Monographs and पाठ्यपुस्तकें in Pure and Applied Mathematics, vol. 147, Marcel Dekker, ISBN 978-0-8247-8555-0, MR 1201818
Lam, Tsit-Yuen (1999), Lectures on modules and rings, Graduate Texts in Mathematics No. 189, Berlin, New York: Springer-Verlag, doi:10.1007/978-1-4612-0525-8, ISBN 978-0-387-98428-5, MR 1653294
Rotman, Joseph J. (1979), An introduction to homological algebra, Pure and Applied Mathematics, vol. 85, Boston, MA: Academic Press, ISBN 978-0-12-599250-3, MR 0538169

प्राथमिक स्रोत

Baer, Reinhold (1940), "Abelian groups that are direct summands of every containing abelian group", Bulletin of the American Mathematical Society, 46 (10): 800–807, doi:10.1090/S0002-9904-1940-07306-9, MR 0002886, Zbl 0024.14902
Chase, Stephen U. (1960), "Direct products of modules", Transactions of the American Mathematical Society, American Mathematical Society, Vol. 97, No. 3, 97 (3): 457–473, doi:10.2307/1993382, JSTOR 1993382, MR 0120260
Dade, Everett C. (1981), "Localization of injective modules", Journal of Algebra, 69 (2): 416–425, doi:10.1016/0021-8693(81)90213-1, MR 0617087
Eckmann, B.; Schopf, A. (1953), "Über injektive Moduln", Archiv der Mathematik, 4 (2): 75–78, doi:10.1007/BF01899665, MR 0055978
Lambek, Joachim (1963), "On Utumi's ring of quotients", Canadian Journal of Mathematics, 15: 363–370, doi:10.4153/CJM-1963-041-4, ISSN 0008-414X, MR 0147509
Matlis, Eben (1958), "Injective modules over Noetherian rings", Pacific Journal of Mathematics, 8: 511–528, doi:10.2140/pjm.1958.8.511, ISSN 0030-8730, MR 0099360
Osofsky, B. L. (1964), "On ring properties of injective hulls", Canadian Mathematical Bulletin, 7: 405–413, doi:10.4153/CMB-1964-039-3, ISSN 0008-4395, MR 0166227
Papp, Zoltán (1959), "On algebraically closed modules", Publicationes Mathematicae Debrecen, 6: 311–327, ISSN 0033-3883, MR 0121390
Smith, P. F. (1981), "Injective modules and prime ideals", Communications in Algebra, 9 (9): 989–999, doi:10.1080/00927878108822627, MR 0614468
Utumi, Yuzo (1956), "On quotient rings", Osaka Journal of Mathematics, 8: 1–18, ISSN 0030-6126, MR 0078966
Vámos, P. (1983), "Ideals and modules testing injectivity", Communications in Algebra, 11 (22): 2495–2505, doi:10.1080/00927878308822975, MR 0733337

श्रेणी:समरूप बीजगणित श्रेणी:मॉड्यूल सिद्धांत

[:0-1] 1.0 ^1.1 Eisenbud. क्रमविनिमेय बीजगणित का परिचय. pp. 624, 625.

[2] "इंजेक्शन मॉड्यूल" (PDF). p. 10.

[3] Vogan, David. "झूठ बीजगणित कोहोलॉजी" (PDF).

[4] "Structure of injective modules over Noetherian rings".

[5] This is the Bass-Papp theorem, see (Papp 1959) and (Chase 1960)

[6] A module isomorphic to an injective module is of course injective.

[1]

[2]

[3]

[4]

[5]

[6]

@@ Line 1: / Line 1: @@
 {{Short description|Mathematical object in abstract algebra}}
-गणित में, विशेष रूप से अमूर्त बीजगणित के क्षेत्र में जिसे [[मॉड्यूल सिद्धांत]] के रूप में जाना जाता है, एक इंजेक्शन मॉड्यूल एक [[मॉड्यूल (गणित)]] 'क्यू' है जो सभी [[तर्कसंगत संख्या]]ओं के जेड-मॉड्यूल क्यू के साथ कुछ वांछनीय गुण साझा करता है। विशेष रूप से, यदि ''Q'' किसी अन्य मॉड्यूल का [[submodule]] है, तो यह पहले से ही उस मॉड्यूल का [[प्रत्यक्ष योग]] है; इसके अलावा, एक मॉड्यूल '' Y '' का एक सबमॉड्यूल दिया जाता है, तो इस सबमॉड्यूल से '' Q '' तक किसी भी [[मॉड्यूल समरूपता]] को '' Y '' से '' Q '' तक के होमोमोर्फिज्म तक बढ़ाया जा सकता है। यह अवधारणा [[ प्रक्षेपी मॉड्यूल ]] के लिए [[दोहरी (श्रेणी सिद्धांत)]] है। इंजेक्शन मॉड्यूल में पेश किए गए थे {{harv|Baer|1940}} और पाठ्यपुस्तक में कुछ विस्तार से चर्चा की गई है {{harv|Lam|1999|loc=§3}}.
+गणित में, विशेष रूप से अमूर्त बीजगणित के क्षेत्र में '''अंतःक्षेपक मॉड्यूल''' को सामान्यतः [[मॉड्यूल सिद्धांत]] के रूप में जाना जाता है, एक अंतःक्षेपक मॉड्यूल एक मॉड्यूल Q है जो सभी [[तर्कसंगत संख्या]]ओं के Z-मॉड्यूल Q के साथ कुछ वांछनीय गुणों को साझा करता है। विशेष रूप से, यदि Q किसी अन्य मॉड्यूल का उपमॉड्यूल है, तो यह पहले से ही उस मॉड्यूल का प्रत्यक्ष योग है; इसके अतिरिक्त, एक मॉड्यूल Y का एक उपमॉड्यूल दिया जाता है, तो इस उपमॉड्यूल से Q तक किसी भी [[मॉड्यूल समरूपता]] को सभी Y से Q तक एक समान तक बढ़ाया जा सकता है। यह अवधारणा प्रोजेक्टिव मॉड्यूल के लिए दोहरी है। अंतःक्षेपक मॉड्यूल {{harv|Baer|1940}} और {{harv|Lam|1999|loc=§3}} में पेश किए गए थे और पाठ्यपुस्तक में कुछ विस्तार से चर्चा की गई है।
-इंजेक्टिव मॉड्यूल का गहन अध्ययन किया गया है, और विभिन्न प्रकार की अतिरिक्त धारणाओं को उनके संदर्भ में परिभाषित किया गया है: [[इंजेक्शन कोजेनरेटर]] इंजेक्शन मॉड्यूल हैं जो ईमानदारी से मॉड्यूल की पूरी श्रेणी का प्रतिनिधित्व करते हैं। इंजेक्शन के संकल्प मापते हैं कि # इंजेक्शन के संकल्प के संदर्भ में एक मॉड्यूल इंजेक्शन से कितना दूर है और [[व्युत्पन्न श्रेणी]] में मॉड्यूल का प्रतिनिधित्व करता है। [[ इंजेक्शन पतवार ]]्स अधिकतम आवश्यक एक्सटेंशन हैं, और न्यूनतम इंजेक्शन एक्सटेंशन बन जाते हैं। [[नोथेरियन रिंग]] पर, प्रत्येक इंजेक्शन मॉड्यूल विशिष्ट रूप से अविघटनीय मॉड्यूल मॉड्यूल का प्रत्यक्ष योग है, और उनकी संरचना अच्छी तरह से समझी जाती है। एक अंगूठी पर एक इंजेक्शन मॉड्यूल, दूसरे पर इंजेक्शन नहीं हो सकता है, लेकिन रिंगों को बदलने की अच्छी तरह से समझी जाने वाली विधियां हैं जो विशेष मामलों को संभालती हैं। रिंग्स जो स्वयं इंजेक्टिव मॉड्यूल हैं, उनमें कई दिलचस्प गुण हैं और इसमें रिंग्स शामिल हैं जैसे कि फील्ड (गणित) पर [[परिमित समूह]]ों के समूह के छल्ले। इंजेक्शन मॉड्यूल में [[विभाज्य समूह]] शामिल होते हैं और [[श्रेणी सिद्धांत]] में इंजेक्शन वाली वस्तुओं की धारणा से सामान्यीकृत होते हैं।
+अंतःक्षेपक मॉड्यूल का गहन अध्ययन किया गया है, और विभिन्न प्रकार की अतिरिक्त धारणाओं को उनके संदर्भ में परिभाषित किया गया है: [[इंजेक्शन कोजेनरेटर|अंतःक्षेपक कोजेनरेटर]] अंतःक्षेपक मॉड्यूल हैं जो ईमानदारी से मॉड्यूल की पूरी श्रेणी का प्रतिनिधित्व करते हैं। अंतःक्षेपी संकल्प मापता है कि अंतःक्षेपण आयाम के संदर्भ में एक मॉड्यूल अंतःक्षेपण से कितनी दूर है और व्युत्पन्न श्रेणी में मॉड्यूल का प्रतिनिधित्व करता है। अंतःक्षेपक हल्स अधिकतम आवश्यक एक्सटेंशन हैं, और न्यूनतम अंतःक्षेपक एक्सटेंशन बन जाते हैं। [[नोथेरियन रिंग|नोथेरियन वलय]] पर, प्रत्येक अंतःक्षेपक मॉड्यूल विशिष्ट रूप से अविघटनीय मॉड्यूल का प्रत्यक्ष योग है, और उनकी संरचना अच्छी तरह से समझी जाती है। एक वलय पर एक अंतःक्षेपक मॉड्यूल, दूसरे पर अंतःक्षेपक नहीं हो सकता है, लेकिन वलयों को बदलने की अच्छी तरह से समझी जाने वाली विधियां हैं जो विशेष मामलों को संभालती हैं। वलय्स जो स्वयं अंतःक्षेपक मॉड्यूल हैं, में कई दिलचस्प गुण हैं और इसमें फ़ील्ड्स पर [[परिमित समूह|परिमित समू]]हों के समूह वलय जैसे वलय सम्मिलित हैं। अंतःक्षेपक मॉड्यूल में [[विभाज्य समूह]] सम्मिलित होते हैं और [[श्रेणी सिद्धांत]] में अंतःक्षेपक वाली वस्तुओं की धारणा से सामान्यीकृत होते हैं।
 == परिभाषा ==
-रिंग (गणित) R के ऊपर एक बायाँ मॉड्यूल Q अंतःक्षेपी होता है यदि यह निम्नलिखित समतुल्य शर्तों में से एक (और इसलिए सभी) को संतुष्ट करता है:
+वलय R के ऊपर एक बायाँ मॉड्यूल Q अंतःक्षेपी होता है यदि यह निम्नलिखित समतुल्य शर्तों में से एक (और इसलिए सभी) को संतुष्ट करता है:
-* यदि Q किसी अन्य बाएँ R-मॉड्यूल M का एक सबमॉड्यूल है, तो M का एक और सबमॉड्यूल K मौजूद है जैसे M, Q और K के [[मॉड्यूल का प्रत्यक्ष योग]] है, यानी Q + K = M और Q ∩ K = {0 }.
+* यदि Q किसी अन्य बाएँ R-मॉड्यूल M का एक उपमॉड्यूल है, तो M का एक और उपमॉड्यूल K मौजूद है, जैसे M, Q और K का आंतरिक प्रत्यक्ष योग है, अर्थात Q + K = M और Q ∩ K = {0}।
-* बाएं आर-मॉड्यूल का कोई भी छोटा सटीक अनुक्रम 0 →Q → M → K → 0 सटीक अनुक्रम को विभाजित करता है।
+* कोई भी छोटा सटीक क्रम 0 →Q → M → K → 0 बाएँ R-मॉड्यूल विभाजित करता है।
-* यदि एक्स और वाई शेष आर-मॉड्यूल हैं, तो एफ : एक्स → वाई एक [[इंजेक्शन]] मॉड्यूल होमोमोर्फिज्म है और जी : एक्स → क्यू एक मनमाना मॉड्यूल होमोमोर्फिज्म है, तो एक मॉड्यूल होमोमोर्फिज्म एच : वाई → क्यू मौजूद है जैसे कि एचएफ = जी, यानी ऐसा है कि निम्न आरेख कम्यूटेटिव आरेख:
+* वाम आर-मॉड्यूल के श्रेणी सिद्धांत से [[एबेलियन समूह]]ों की श्रेणी के लिए प्रतिपरिवर्ती गुणांक [[मैं एक आदमी के रूप में काम करता हूं]] होम (-, क्यू) सटीक फ़ंक्टर है।
-::[[Image:Injective module.svg|200px|क्रमविनिमेय आरेख इंजेक्शन मॉड्यूल Q को परिभाषित करता है]]* वाम आर-मॉड्यूल के श्रेणी सिद्धांत से [[एबेलियन समूह]]ों की श्रेणी के लिए प्रतिपरिवर्ती फ़ैक्टर [[मैं एक आदमी के रूप में काम करता हूं]] होम (-, क्यू) सटीक फ़ंक्टर है।
+*यदि एक्स और वाई शेष आर-मॉड्यूल हैं, तो ''f'' : ''X'' → ''Y'' एक अंतःक्षेपक मॉड्यूल होमोमोर्फिज्म है और ''g'' : ''X'' → ''Q'' एक मनमाना मॉड्यूल होमोमोर्फिज्म है, फिर एक मॉड्यूल होमोमोर्फिज्म ''h'' : ''Y'' → ''Q'' मौजूद है जैसे कि ''hf'' = ''g'' यानी ऐसा कि निम्न आरेख यात्रा करता है:
+[[index.php?title=File:Injective_module.svg|center|193x193px]]
-इंजेक्टिव राइट आर-मॉड्यूल को पूर्ण सादृश्य में परिभाषित किया गया है।
+अंतःक्षेपक राइट आर-मॉड्यूल को पूर्ण सादृश्य में परिभाषित किया गया है।
 == उदाहरण ==
@@ Line 18: / Line 20: @@
 === पहला उदाहरण ===
-तुच्छ रूप से, शून्य मॉड्यूल {0} इंजेक्टिव है।
+तुच्छ रूप से, शून्य मॉड्यूल {0} अंतःक्षेपक है।
-एक फ़ील्ड (गणित) k दिया गया है, प्रत्येक k-[[ सदिश स्थल ]] Q एक इंजेक्शन k-मॉड्यूल है। कारण: यदि Q, V की एक उपसमष्टि है, तो हम Q की एक सदिश समष्टि का आधार खोज सकते हैं और इसे V के आधार पर विस्तारित कर सकते हैं। नया विस्तार आधार सदिश V और V की एक उपसमष्टि K का रैखिक फैलाव आंतरिक प्रत्यक्ष योग है क्यू और के। ध्यान दें कि क्यू का प्रत्यक्ष पूरक के विशिष्ट रूप से क्यू द्वारा निर्धारित नहीं किया गया है, और इसी तरह उपरोक्त परिभाषा में विस्तारित मानचित्र एच आमतौर पर अद्वितीय नहीं है।
+एक क्षेत्र k दिया गया है, प्रत्येक k-[[ सदिश स्थल |सदिश समष्टि]] Q एक अंतःक्षेपी k-मॉड्यूल है। कारण: यदि Q, V की एक उपसमष्टि है, तो हम Q का एक आधार खोज सकते हैं और इसे V के आधार पर विस्तारित कर सकते हैं। नए विस्तारित आधार सदिशों में V की एक उपसमष्टि K है और V, Q और K का आंतरिक प्रत्यक्ष योग है। नोट कि Q का प्रत्यक्ष पूरक K विशिष्ट रूप से Q द्वारा निर्धारित नहीं किया गया है, और इसी तरह उपरोक्त परिभाषा में विस्तारित मानचित्र h विशिष्ट रूप से अद्वितीय नहीं है।
-तर्कसंगत 'क्यू' (जोड़ के साथ) एक इंजेक्शन एबेलियन समूह (यानी एक इंजेक्शन 'जेड'-मॉड्यूल) बनाता है। [[कारक समूह]] 'क्यू'/'जेड' और सर्कल समूह इंजेक्शन 'जेड'-मॉड्यूल भी हैं। n> 1 के लिए कारक समूह 'Z'/n'Z' एक 'Z'/n'Z'-मॉड्यूल के रूप में इंजेक्शन है, लेकिन एक एबेलियन समूह के रूप में इंजेक्शन नहीं है।
+तर्कसंगत Q (जोड़ के साथ) एक अंतःक्षेपक एबेलियन समूह (यानी एक अंतःक्षेपक Z-मॉड्यूल) बनाते हैं। कारक समूह Q/Z और सर्कल समूह अंतःक्षेपक Z-मॉड्यूल भी हैं। n> 1 के लिए कारक समूह Z/nZ एक Z/nZ-मॉड्यूल के रूप में अंतःक्षेपक है, लेकिन एक एबेलियन समूह के रूप में अंतःक्षेपक नहीं है।
 === क्रमविनिमेय उदाहरण ===
-अधिक आम तौर पर, किसी भी [[ अभिन्न डोमेन ]] R के लिए अंश K के क्षेत्र के साथ, R-मॉड्यूल K एक इंजेक्शन R-मॉड्यूल है, और वास्तव में R युक्त सबसे छोटा इंजेक्शन R-मॉड्यूल है। किसी भी Dedekind डोमेन के लिए, [[भागफल मॉड्यूल]] K/R भी है इंजेक्शन, और इसके अविघटनीय मॉड्यूल सारांश एक [[अंगूठी का स्थानीयकरण]] हैं <math>R_{\mathfrak{p}}/R</math> गैर शून्य प्रमुख आदर्शों के लिए <math>\mathfrak{p}</math>. [[शून्य आदर्श]] भी प्रमुख है और इंजेक्शन के के अनुरूप है। इस तरह से प्रमुख आदर्शों और अपरिवर्तनीय इंजेक्शन मॉड्यूल के बीच 1-1 पत्राचार होता है।
+अधिक आम तौर पर, किसी भी [[ अभिन्न डोमेन |अभिन्न डोमेन]] R के लिए अंश K के क्षेत्र के साथ, R-मॉड्यूल K एक अंतःक्षेपक R-मॉड्यूल है, और वास्तव में R युक्त सबसे छोटा अंतःक्षेपक R-मॉड्यूल है। किसी भी Dedekind डोमेन के लिए, [[भागफल मॉड्यूल]] K/R भी है व्यंजक, और इसके अविघटनीय योग स्थानीयकरण हैं <math>R_{\mathfrak{p}}/R</math> गैर-अभाज्य अभाज्य आदर्शों <math>\mathfrak{p}</math> के लिए शून्य आदर्श भी प्रमुख है और अंतःक्षेपक के के अनुरूप है। इस तरह से प्रमुख आदर्शों और अपरिवर्तनीय अंतःक्षेपक मॉड्यूल के बीच 1-1 पत्राचार होता है।
+[[एबेन मैटलिस]], (लैम 1999, §3I) के कारण क्रमविनिमेय नॉथेरियन वलयों के लिए एक विशेष रूप से समृद्ध सिद्धांत उपलब्ध है। प्रत्येक अंतःक्षेपक मॉड्यूल विशिष्ट रूप से अपरिवर्तनीय अंतःक्षेपक मॉड्यूल का प्रत्यक्ष योग है, और अपरिवर्तनीय अंतःक्षेपक मॉड्यूल को विशिष्ट रूप से भागफल आर/पी के अंतःक्षेपक हल्स के रूप में पहचाना जाता है जहां पी वलय के प्रमुख स्पेक्ट्रम पर भिन्न होता है। आर-मॉड्यूल के रूप में आर/पी का अंतःक्षेपक हल कैनोनिक रूप से एक आरपी मॉड्यूल है, और आर/पी का आरपी-अंतःक्षेपक हल है। दूसरे शब्दों में, यह स्थानीय छल्लों पर विचार करने के लिए पर्याप्त है। R/P के अंतःक्षेपक हल का [[एंडोमोर्फिज्म रिंग|एंडोमोर्फिज्म वलय]], P पर R का पूरा <math>\hat R_P</math> है।
-[[एबेन मैटलिस]] के कारण क्रमविनिमेय वलय नोथेरियन वलय के लिए एक विशेष रूप से समृद्ध सिद्धांत उपलब्ध है, {{harv|Lam|1999|loc=§3I}}. प्रत्येक इंजेक्शन मॉड्यूल विशिष्ट रूप से अपरिवर्तनीय इंजेक्शन मॉड्यूल का प्रत्यक्ष योग है, और अपरिवर्तनीय इंजेक्शन मॉड्यूल को विशिष्ट रूप से भागफल आर/पी के इंजेक्शन हल्स के रूप में पहचाना जाता है जहां पी अंगूठी के [[प्रधान स्पेक्ट्रम]] पर भिन्न होता है। आर-मॉड्यूल के रूप में आर/पी का इंजेक्शन हल कैननिक रूप से एक आर है<sub>''P''</sub> मॉड्यूल, और आर है<sub>''P''</sub>-आर/पी का इंजेक्शन हल। दूसरे शब्दों में, यह स्थानीय छल्लों पर विचार करने के लिए पर्याप्त है। आर/पी के इंजेक्शन हल की [[एंडोमोर्फिज्म रिंग]] पूर्णता है (रिंग सिद्धांत) <math>\hat R_P</math> P पर R का।<ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/08Z6|title=Lemma 47.7.5 (08Z6)—The Stacks project|website=stacks.math.columbia.edu|access-date=2020-02-25}}</ref>
+दो उदाहरण Z-मॉड्यूल Z/pZ (प्रूफ़र समूह) के अंतःक्षेपक हल हैं, और k[x]-मॉड्यूल k (उलटा बहुपदों की वलय) के अंतःक्षेपक हल हैं। उत्तरार्द्ध को आसानी से k[x,x−1]/xk[x] के रूप में वर्णित किया गया है। इस मॉड्यूल का आधार "उलटा मोनोमियल्स" है, जो कि n = 0, 1, 2, ... के लिए x−n है। स्केलर्स द्वारा गुणन अपेक्षित है, और x द्वारा गुणा सामान्य रूप से x·1 = 0 को छोड़कर व्यवहार करता है। एंडोमोर्फिज्म वलय केवल [[औपचारिक शक्ति श्रृंखला]] की वलय है।
-दो उदाहरण Z-मॉड्यूल Z/''p''Z (प्रूफ़र समूह) के इंजेक्शन हल हैं, और ''k''[''x'']-मॉड्यूल ''k'' के इंजेक्शन हल हैं। (प्रतिलोम बहुपदों का वलय)। बाद वाले को आसानी से ''k''[''x'',''x'' के रूप में वर्णित किया जाता है<sup>-1</sup>]/xk[x]। इस मॉड्यूल का एक आधार है जिसमें व्युत्क्रम मोनोमियल्स होते हैं, जो कि x है<sup>−n</sup> n के लिए = 0, 1, 2, …. स्केलर्स द्वारा गुणन अपेक्षित है, और x द्वारा गुणा सामान्य रूप से x·1 = 0 को छोड़कर व्यवहार करता है। एंडोमोर्फिज्म रिंग केवल [[औपचारिक शक्ति श्रृंखला]] की रिंग है।
 === आर्टिनियन उदाहरण ===
-यदि G एक परिमित समूह है और k [[विशेषता (बीजगणित)]] 0 के साथ एक क्षेत्र है, तो एक [[समूह प्रतिनिधित्व]] के सिद्धांत में दिखाता है कि किसी दिए गए उप-प्रतिनिधित्व पहले से ही दिए गए एक का प्रत्यक्ष योग है। मॉड्यूल भाषा में अनुवादित, इसका मतलब है कि ग्रुप रिंग केजी पर सभी मॉड्यूल इंजेक्शन हैं। यदि k का अभिलाक्षणिक शून्य नहीं है, तो निम्न उदाहरण मदद कर सकता है।
+यदि G एक परिमित समूह है और k [[विशेषता (बीजगणित)]] 0 के साथ एक क्षेत्र है, तो एक [[समूह प्रतिनिधित्व]] के सिद्धांत में दिखाता है कि किसी दिए गए उप-प्रतिनिधित्व पहले से ही दिए गए एक का प्रत्यक्ष योग है। मॉड्यूल भाषा में अनुवादित, इसका मतलब है कि समूह बीजगणित केजी पर सभी मॉड्यूल अंतःक्षेपक हैं। यदि k का अभिलाक्षणिक शून्य नहीं है, तो निम्न उदाहरण मदद कर सकता है।
+यदि A k पर परिमित आयाम के साथ क्षेत्र k पर एक इकाई [[साहचर्य बीजगणित]] है, तो Homk (-, k) अंतिम रूप से उत्पन्न बाएं A-मॉड्यूल और अंतिम रूप से उत्पन्न दाएं A-मॉड्यूल के बीच एक द्वैत है। इसलिए, सूक्ष्म रूप से जेनरेट किए गए अंतःक्षेपक बाएं ए-मॉड्यूल बिल्कुल होमक (पी, के) के रूप में मॉड्यूल हैं जहां पी एक अंतिम रूप से उत्पन्न प्रोजेक्टिव सही ए-मॉड्यूल है। सममित बीजगणित के लिए, द्वंद्व विशेष रूप से अच्छी तरह से व्यवहार किया जाता है और प्रोजेक्टिव मॉड्यूल और अंतःक्षेपक मॉड्यूल मेल खाते हैं।
-यदि A, क्षेत्र k पर एक इकाई [[साहचर्य बीजगणित]] है, जिसमें k पर सदिश स्थान का परिमित आयाम है, तो होम<sub>''k''</sub>(-, k) सूक्ष्म रूप से उत्पन्न बाएं ए-मॉड्यूल और अंतिम रूप से उत्पन्न दाएं ए-मॉड्यूल के बीच [[श्रेणियों का द्वंद्व]] है। इसलिए, बारीक रूप से उत्पन्न इंजेक्टिव लेफ्ट ए-मॉड्यूल ठीक होम के मॉड्यूल हैं<sub>''k''</sub>(पी, के) जहां पी एक अंतिम रूप से उत्पन्न प्रोजेक्टिव राइट ए-मॉड्यूल है। फ्रोबेनियस बीजगणित के लिए, द्वैत विशेष रूप से अच्छी तरह से व्यवहार किया जाता है और प्रोजेक्टिव मॉड्यूल और इंजेक्शन मॉड्यूल मेल खाते हैं।
+किसी भी [[आर्टिनियन रिंग|आर्टिनियन वलय]] के लिए, जैसे कि कम्यूटेटिव वलय के लिए, प्राइम आइडियल्स और इंडिकंपोज़ेबल अंतःक्षेपक मॉड्यूल के बीच 1-1 पत्राचार होता है। इस मामले में पत्राचार शायद और भी सरल है: एक प्रमुख आदर्श एक अद्वितीय सरल मॉड्यूल का विनाशक है, और संबंधित अपरिवर्तनीय अंतःक्षेपक मॉड्यूल इसकी अंतःक्षेपक हल है। खेतों पर परिमित-आयामी बीजगणित के लिए, ये अंतःक्षेपक हल्स सूक्ष्म रूप से उत्पन्न मॉड्यूल {{harv|Lam|1999|loc=§3G, §3J}} हैं।
-किसी भी [[आर्टिनियन रिंग]] के लिए, जैसे कि कम्यूटेटिव रिंग के लिए, प्राइम आइडियल्स और इंडिकंपोज़ेबल इंजेक्टिव मॉड्यूल के बीच 1-1 पत्राचार होता है। इस मामले में पत्राचार शायद और भी सरल है: एक प्रमुख आदर्श एक अद्वितीय सरल मॉड्यूल का विनाशक है, और संबंधित अपरिवर्तनीय इंजेक्शन मॉड्यूल इसकी इंजेक्शन हल है। खेतों पर परिमित-आयामी बीजगणित के लिए, ये इंजेक्शन हल्स सूक्ष्म रूप से उत्पन्न मॉड्यूल हैं {{harv|Lam|1999|loc=§3G, §3J}}.
+==== कम्प्यूटिंग अंतःक्षेपक हल्स ====
+यदि <math>R</math> एक नोथेरियन वलय है और<math>\mathfrak{p}</math> एक प्रधान आदर्श समुच्चय है <math>E = E(R/\mathfrak{p})</math> अंतःक्षेपक हल के रूप में। आर्टिनियन वलय के ऊपर <math>R/\mathfrak{p}</math> का अंतःक्षेपक हल {<math>R/\mathfrak{p}^k</math> की गणना मॉड्यूल के रूप में की जा सकती है <math>(0:_E\mathfrak{p}^k)</math> यह <math>R/\mathfrak{p}^k</math> के समान लंबाई का एक मॉड्यूल है।<ref name=":0">{{Cite book|last=Eisenbud|title=क्रमविनिमेय बीजगणित का परिचय|pages=624, 625}}</ref> विशेष रूप से, मानक ग्रेडेड वलय के लिए <math>R_\bullet = k[x_1,\ldots,x_n]_\bullet</math> और <math>\mathfrak{p}=(x_1,\ldots, x_n)</math>, <math>E = \oplus_i \text{Hom}(R_i, k)</math> एक अंतःक्षेपक मॉड्यूल है, जो देता है <math>k</math> से अधिक आर्टिनियन वलय्स के लिए अविघटनीय अंतःक्षेपक मॉड्यूल की गणना के लिए उपकरण।
-==== कम्प्यूटिंग इंजेक्शन हल्स ====
+==== स्व अंतःक्षेपक ====
-अगर <math>R</math> एक नोथेरियन रिंग है और <math>\mathfrak{p}</math> एक प्रमुख आदर्श, सेट है <math>E = E(R/\mathfrak{p})</math> इंजेक्शन पतवार के रूप में। का इंजेक्शन पतवार <math>R/\mathfrak{p}</math> आर्टिनियन रिंग के ऊपर <math>R/\mathfrak{p}^k</math> मॉड्यूल के रूप में गणना की जा सकती है <math>(0:_E\mathfrak{p}^k)</math>. यह उसी लंबाई का एक मॉड्यूल है <math>R/\mathfrak{p}^k</math>.<ref name=":0">{{Cite book|last=Eisenbud|title=क्रमविनिमेय बीजगणित का परिचय|pages=624, 625}}</ref> विशेष रूप से, मानक वर्गीकृत अंगूठी के लिए <math>R_\bullet = k[x_1,\ldots,x_n]_\bullet</math> और <math>\mathfrak{p}=(x_1,\ldots, x_n)</math>, <math>E = \oplus_i \text{Hom}(R_i, k)</math> एक इंजेक्शन मॉड्यूल है, जो आर्टिनियन रिंग्स के लिए अपरिवर्तनीय इंजेक्शन मॉड्यूल की गणना के लिए टूल देता है <math>k</math>.
+एक आर्टिन स्थानीय वलय <math>(R, \mathfrak{m}, K)</math> यदि और केवल यदि खुद पर अंतःक्षेपक है <math>soc(R)</math> एक 1-आयामी वेक्टर स्पेस ओवर है <math>K</math>. इसका मतलब है कि हर स्थानीय गोरेंस्टीन वलय जो कि आर्टिन भी है, अपने आप में अंतःक्षेपक है क्योंकि इसमें 1-आयामी सोसल है।<ref>{{Cite web|url=https://www.math.purdue.edu/~walther/snowbird/inj.pdf|title=इंजेक्शन मॉड्यूल|page=10}}</ref> एक साधारण गैर-उदाहरण वलय है <math>R = \mathbb{C}[x,y]/(x^2,xy,y^2)</math> जिसका अधिकतम आदर्श है <math>(x,y)</math> और अवशेष क्षेत्र <math>\mathbb{C}</math>. इसका सोसल है <math>\mathbb{C}\cdot x \oplus\mathbb{C}\cdot y</math>, जो द्वि-आयामी है। अवशेष क्षेत्र में अंतःक्षेपक हल है <math>\text{Hom}_\mathbb{C}(\mathbb{C}\cdot x\oplus\mathbb{C}\cdot y, \mathbb{C})</math>.
-==== स्व इंजेक्शन ====
+एक आर्टिन लोकल वलय <math>(R, \mathfrak{m}, K)</math> अपने आप में अंतःक्षेपक है यदि और केवल यदि<math>soc(R)</math> <math>K</math> के ऊपर एक 1-डायमेंशनल वेक्टर स्पेस है। इसका मतलब है हर स्थानीय गोरेंस्टीन वलय जो कि आर्टिन भी है, अपने आप में अंतःक्षेपक है क्योंकि इसमें 1-आयामी सोसल है। [3] एक साधारण गैर-उदाहरण वलय है <math>R = \mathbb{C}[x,y]/(x^2,xy,y^2)</math> जिसमें अधिकतम आदर्श <math>(x,y)</math> है और अवशेष क्षेत्र <math>\mathbb{C}</math> इसका सॉकल<math>\mathbb{C}\cdot x \oplus\mathbb{C}\cdot y</math>, जो द्वि-आयामी है। अवशेष क्षेत्र <math>\text{Hom}_\mathbb{C}(\mathbb{C}\cdot x\oplus\mathbb{C}\cdot y, \mathbb{C})</math> में अंतःक्षेपक हल है।
-एक आर्टिन स्थानीय अंगूठी <math>(R, \mathfrak{m}, K)</math> अगर और केवल अगर खुद पर इंजेक्शन है <math>soc(R)</math> एक 1-आयामी वेक्टर स्पेस ओवर है <math>K</math>. इसका मतलब है कि हर स्थानीय गोरेंस्टीन रिंग जो कि आर्टिन भी है, अपने आप में इंजेक्टिव है क्योंकि इसमें 1-आयामी सोसल है।<ref>{{Cite web|url=https://www.math.purdue.edu/~walther/snowbird/inj.pdf|title=इंजेक्शन मॉड्यूल|page=10}}</ref> एक साधारण गैर-उदाहरण रिंग है <math>R = \mathbb{C}[x,y]/(x^2,xy,y^2)</math> जिसका अधिकतम आदर्श है <math>(x,y)</math> और अवशेष क्षेत्र <math>\mathbb{C}</math>. इसका सोसल है <math>\mathbb{C}\cdot x \oplus\mathbb{C}\cdot y</math>, जो द्वि-आयामी है। अवशेष क्षेत्र में इंजेक्शन हल है <math>\text{Hom}_\mathbb{C}(\mathbb{C}\cdot x\oplus\mathbb{C}\cdot y, \mathbb{C})</math>.
-=== झूठ बीजगणित === पर मॉड्यूल
+==== लाई बीजगणित पर मॉड्यूल ====
-झूठ बीजगणित के लिए <math>\mathfrak{g}</math> एक मैदान के ऊपर <math>k</math> विशेषता 0 की, मॉड्यूल की श्रेणी <math>\mathcal{M}(\mathfrak{g})</math> इसके इंजेक्शन मॉड्यूल का अपेक्षाकृत सीधा विवरण है।<ref>{{Cite web|last=Vogan|first=David|title=झूठ बीजगणित कोहोलॉजी|url=http://www-math.mit.edu/~dav/cohom.pdf}}</ref> किसी भी इंजेक्शन के सार्वभौमिक लिफाफा बीजगणित का उपयोग करना <math>\mathfrak{g}</math>-मॉड्यूल से बनाया जा सकता है <math>\mathfrak{g}</math>-मॉड्यूल <ब्लॉककोट><math>\text{Hom}_k(U(\mathfrak{g}), V)</math></blockquote>कुछ के लिए <math>k</math>-सदिश स्थल <math>V</math>. ध्यान दें कि इस सदिश स्थान में एक है <math>\mathfrak{g}</math>-इंजेक्शन से मॉड्यूल संरचना<blockquote><math>\mathfrak{g} \hookrightarrow U(\mathfrak{g})</math></blockquote>वास्तव में, हर <math>\mathfrak{g}</math>-मॉड्यूल में कुछ में इंजेक्शन है <math>\text{Hom}_k(U(\mathfrak{g}), V)</math> और हर इंजेक्शन <math>\mathfrak{g}</math>-मॉड्यूल कुछ का प्रत्यक्ष योग है <math>\text{Hom}_k(U(\mathfrak{g}), V)</math>.
+लाई बीजगणित के लिए <math>\mathfrak{g}</math> विशेषता 0 के क्षेत्र <math>k</math> पर, मॉड्यूल की श्रेणी <math>\mathcal{M}(\mathfrak{g})</math> का अपेक्षाकृत सीधा वर्णन है अंतःक्षेपक मॉड्यूल। [4] सार्वभौमिक लिफाफा बीजगणित का उपयोग करके किसी भी अंतःक्षेपक <math>\mathfrak{g}</math>-मॉड्यूल का निर्माण <math>\text{Hom}_k(U(\mathfrak{g}), V)</math>-मॉड्यूल से किया जा सकता है<ref>{{Cite web|last=Vogan|first=David|title=झूठ बीजगणित कोहोलॉजी|url=http://www-math.mit.edu/~dav/cohom.pdf}}</ref><blockquote><math>\mathfrak{g} \hookrightarrow U(\mathfrak{g})</math></blockquote>वास्तव में, हर <math>\mathfrak{g}</math>-मॉड्यूल में कुछ में अंतःक्षेपक है <math>\text{Hom}_k(U(\mathfrak{g}), V)</math> और हर अंतःक्षेपक <math>\mathfrak{g}</math>-मॉड्यूल कुछ का प्रत्यक्ष योग है <math>\text{Hom}_k(U(\mathfrak{g}), V)</math>.
 == सिद्धांत ==
-=== कम्यूटेटिव नोथेरियन रिंग्स === के लिए संरचना प्रमेय
+=== क्रमविनिमेय नोथेरियन वलय्स के लिए संरचना प्रमेय ===
-क्रमविनिमेय नोथेरियन वलय के ऊपर <math>R</math>, प्रत्येक इंजेक्शन मॉड्यूल अविघटनीय इंजेक्शन मॉड्यूल का प्रत्यक्ष योग है और प्रत्येक अपघटन योग्य इंजेक्शन मॉड्यूल एक प्रमुख स्थान पर अवशेष क्षेत्र का इंजेक्शन हल है <math>\mathfrak{p}</math>. यानी एक इंजेक्शन के लिए <math>I \in \text{Mod}(R)</math> , एक समरूपता <ब्लॉककोट> है<math>I \cong \bigoplus_{i} E(R/\mathfrak{p}_i)</math></blockquote>कहाँ <math>E(R/\mathfrak{p}_i)</math> मॉड्यूल के इंजेक्शन हल्स हैं <math>R/\mathfrak{p}_i</math>.<ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/08YA|title=Structure of injective modules over Noetherian rings}}</ref> इसके अलावा अगर <math>I</math> कुछ मॉड्यूल का इंजेक्शन हल है <math>M</math> फिर <math>\mathfrak{p}_i</math> की संबद्ध अभाज्य संख्याएँ हैं <math>M</math>.<ref name=":0" />
+एक कम्यूटेटिव नोथेरियन वलय <math>R</math> पर, प्रत्येक अंतःक्षेपक मॉड्यूल अपरिवर्तनीय अंतःक्षेपक मॉड्यूल का प्रत्यक्ष योग होता है और प्रत्येक अपरिवर्तनीय अंतःक्षेपक मॉड्यूल प्राइम <math>\mathfrak{p}</math> पर अवशेष क्षेत्र का अंतःक्षेपक हल होता है। अर्थात्, एक अंतःक्षेपक <math>I \in \text{Mod}(R)</math> के लिए, एक समरूपता है:
+<math>I \cong \bigoplus_{i} E(R/\mathfrak{p}_i)</math>
+जहां <math>E(R/\mathfrak{p}_i)</math> मॉड्यूल के अंतःक्षेपक हल्स हैं <math>R/\mathfrak{p}_i</math>.<ref>{{Cite web|url=https://stacks.math.columbia.edu/tag/08YA|title=Structure of injective modules over Noetherian rings}}</ref> इसके अतिरिक्त, यदि <math>I</math> मॉड्यूल <math>M</math> का अंतःक्षेपक हल हूं तो <math>\mathfrak{p}_i</math> <math>M</math> के संबंधित अभाज्य संख्याएँ हैं।<ref name=":0" />
+=== उपमॉड्यूल, भागफल, उत्पाद और योग ===
-=== सबमॉड्यूल, भागफल, उत्पाद और योग ===
+अंतःक्षेपक मॉड्यूल (यहां तक कि असीम रूप से कई) अंतःक्षेपक मॉड्यूल का कोई भी उत्पाद अंतःक्षेपक है; इसके विपरीत, यदि मॉड्यूल का प्रत्यक्ष उत्पाद अंतःक्षेपक है, तो प्रत्येक मॉड्यूल अंतःक्षेपक है {{harv|Lam|1999|p=61}} सूक्ष्म रूप से अनेक अंतःक्षेपी मॉड्यूलों का प्रत्येक प्रत्यक्ष योग अंतःक्षेपी होता है। सामान्य रूप पर, उपमॉड्यूल्स, फैक्टर मॉड्यूल या अंतःक्षेपक मॉड्यूल के अनंत प्रत्यक्ष योगों को अंतःक्षेपक नहीं होना चाहिए। प्रत्येक अंतःक्षेपक मॉड्यूल का प्रत्येक उपमॉड्यूल अंतःक्षेपक है यदि और केवल यदि वलय आर्टिनियन सेमीसिम्पल है {{harv|Golan|Head|1991|p=152}} प्रत्येक अंतःक्षेपक मॉड्यूल का प्रत्येक कारक मॉड्यूल अंतःक्षेपक है यदि और केवल यदि वलय वंशानुगत है, {{harv|Lam|1999|loc=Th. 3.22}} अंतःक्षेपी मॉड्यूल का प्रत्येक अनंत प्रत्यक्ष योग अंतःक्षेपी है यदि और केवल यदि वलय नोथेरियन है, {{harv|Lam|1999|loc=Th 3.46}}<ref>This is the [[Hyman Bass|Bass]]-Papp theorem, see {{harv|Papp|1959}} and {{harv|Chase|1960}}</ref>
+=== बायर की कसौटी ===
-इंजेक्शन मॉड्यूल का कोई भी [[उत्पाद (श्रेणी सिद्धांत)]] (यहां तक कि असीम रूप से कई) इंजेक्शन है; इसके विपरीत, यदि मॉड्यूल का प्रत्यक्ष उत्पाद इंजेक्शन है, तो प्रत्येक मॉड्यूल इंजेक्शन है {{harv|Lam|1999|p=61}}. सूक्ष्म रूप से अनेक अंतःक्षेपी मॉड्यूलों का प्रत्येक प्रत्यक्ष योग अंतःक्षेपी होता है। सामान्य तौर पर, सबमॉड्यूल, कारक मॉड्यूल, या इंजेक्शन मॉड्यूल के मॉड्यूल के अनंत प्रत्यक्ष योग को इंजेक्शन नहीं होना चाहिए। हर इंजेक्टिव मॉड्यूल का हर सबमॉड्यूल इंजेक्टिव होता है अगर और केवल अगर रिंग आर्टिनियन रिंग [[अर्द्ध साधारण अंगूठी]] हो {{harv|Golan|Head|1991|p=152}}; प्रत्येक इंजेक्शन मॉड्यूल का प्रत्येक कारक मॉड्यूल इंजेक्शन है अगर और केवल अगर अंगूठी [[वंशानुगत अंगूठी]] है, {{harv|Lam|1999|loc=Th. 3.22}}; इंजेक्शन मॉड्यूल का हर अनंत प्रत्यक्ष योग इंजेक्शन है अगर और केवल अगर अंगूठी नोथेरियन अंगूठी है, {{harv|Lam|1999|loc=Th 3.46}}.<ref>This is the [[Hyman Bass|Bass]]-Papp theorem, see {{harv|Papp|1959}} and {{harv|Chase|1960}}</ref>
+बेयर के मूल पेपर में, उन्होंने एक उपयोगी परिणाम साबित किया, जिसे आमतौर पर बेयर के मानदंड के रूप में जाना जाता है, यह जांचने के लिए कि क्या मॉड्यूल अंतःक्षेपक है: एक बायां आर-मॉड्यूल Q अंतःक्षेपक है यदि और केवल यदि कोई होमोमोर्फिज्म जी: I → Q बाएं आदर्श I पर परिभाषित R का सभी R तक विस्तार किया जा सकता है।
+इस कसौटी का उपयोग करके, कोई यह दिखा सकता है कि Q एक अंतःक्षेपी एबेलियन समूह है (अर्थात Z पर एक अंतःक्षेपी मॉड्यूल)। अधिक आम तौर पर, एक एबेलियन समूह अंतःक्षेपक है यदि और केवल यदि यह विभाज्य है। अधिक आम तौर पर अभी भी: एक प्रमुख आदर्श डोमेन पर एक मॉड्यूल अंतःक्षेपक है यदि और केवल यदि यह विभाज्य है (वेक्टर रिक्त स्थान का मामला इस प्रमेय का एक उदाहरण है, क्योंकि प्रत्येक क्षेत्र एक प्रमुख आदर्श डोमेन है और प्रत्येक सदिश स्थान विभाज्य है)। एक सामान्य अभिन्न डोमेन पर, हमारे पास अभी भी एक निहितार्थ है: एक अभिन्न डोमेन पर प्रत्येक अंतःक्षेपक मॉड्यूल विभाज्य है।
-=== बायर की कसौटी ===
+बेयर की कसौटी को कई तरह से परिष्कृत किया गया है {{harv|Golan|Head|1991|p=119}}, जिसमें {{harv|Smith|1981}} और {{harv|Vamos|1983}} का एक परिणाम भी सम्मिलित है कि एक क्रमविनिमेय नोथेरियन वलय के लिए, यह केवल प्रमुख आदर्शों I पर विचार करने के लिए पर्याप्त है। दोहरी बायर की कसौटी, जो प्रोजेक्टिविटी के लिए एक परीक्षा देगी, सामान्य रूप से गलत है। उदाहरण के लिए, Z-मॉड्यूल Q बायर की कसौटी के दोहरे को संतुष्ट करता है लेकिन प्रक्षेपी नहीं है।
-बेयर के मूल पेपर में, उन्होंने एक उपयोगी परिणाम साबित किया, जिसे आमतौर पर बेयर की कसौटी के रूप में जाना जाता है, यह जांचने के लिए कि क्या कोई मॉड्यूल इंजेक्शन है: एक बायां ''आर''-मॉड्यूल ''क्यू'' इंजेक्शन है अगर और केवल अगर कोई होमोमोर्फिज्म ''जी '' : ''I'' → ''Q'' एक आदर्श (रिंग थ्योरी) पर परिभाषित ''R'' के ''I'' को सभी ''R'' तक बढ़ाया जा सकता है।
+=== अंतःक्षेपक सहजनरेटर ===
+{{Main|इंजेक्शन कोजेनरेटर
+}}
-इस कसौटी का उपयोग करके, कोई यह दिखा सकता है कि Q एक अंतःक्षेपी एबेलियन समूह है (अर्थात Z पर एक अंतःक्षेपी मॉड्यूल)। अधिक आम तौर पर, एक एबेलियन समूह इंजेक्शन है अगर और केवल अगर यह [[विभाज्य मॉड्यूल]] है। अधिक आम तौर पर अभी भी: एक [[प्रमुख आदर्श डोमेन]] पर एक मॉड्यूल इंजेक्शन है अगर और केवल अगर यह विभाज्य है (वेक्टर रिक्त स्थान का मामला इस प्रमेय का एक उदाहरण है, क्योंकि प्रत्येक क्षेत्र एक प्रमुख आदर्श डोमेन है और प्रत्येक सदिश स्थान विभाज्य है)। एक सामान्य अभिन्न डोमेन पर, हमारे पास अभी भी एक निहितार्थ है: एक अभिन्न डोमेन पर प्रत्येक इंजेक्शन मॉड्यूल विभाज्य है।
+शायद सबसे महत्वपूर्ण अंतःक्षेपक मॉड्यूल एबेलियन समूह Q/Z है। यह [[एबेलियन समूहों की श्रेणी]] में एक अंतःक्षेपक कोजेनरेटर है, जिसका अर्थ है कि यह अंतःक्षेपक है और कोई अन्य मॉड्यूल Q/Z की प्रतियों के उपयुक्त बड़े उत्पाद में निहित है। तो विशेष रूप से, प्रत्येक एबेलियन समूह एक अंतःक्षेपक का एक उपसमूह है। यह काफी महत्वपूर्ण है कि यह किसी भी वलय पर भी सच है: प्रत्येक मॉड्यूल अंतःक्षेपक का एक सबमिशन है, या "बाएं आर-मॉड्यूल की श्रेणी में पर्याप्त अंतःक्षेपक हैं।" इसे साबित करने के लिए, बाएं आर-मॉड्यूल की श्रेणी में एक अंतःक्षेपक कोजेनरेटर बनाने के लिए एबेलियन ग्रुप Q/Z के अजीबोगरीब गुणों का उपयोग किया जाता है।
-बेयर की कसौटी को कई तरह से परिष्कृत किया गया है {{harv|Golan|Head|1991|p=119}}, के परिणाम सहित {{harv|Smith|1981}} और {{harv|Vamos|1983}} कि एक क्रमविनिमेय नोथेरियन रिंग के लिए, यह केवल प्रमुख आदर्शों I पर विचार करने के लिए पर्याप्त है। बायर की कसौटी का दोहरापन, जो प्रोजेक्टिविटी के लिए एक परीक्षण देगा, सामान्य रूप से गलत है। उदाहरण के लिए, 'जेड'-मॉड्यूल 'क्यू' बायर की कसौटी के दोहरे को संतुष्ट करता है लेकिन प्रक्षेपी नहीं है।
+बाएं ''आर''-मॉड्यूल ''एम'' के लिए, तथाकथित कैरेक्टर मॉड्यूल ''एम''<sup>+</sup> = होम<sub>'''Z'''</sub>(एम, 'क्यू'/'Z') एक सही आर-मॉड्यूल है जो अंतःक्षेपक मॉड्यूल और प्रोजेक्टिव मॉड्यूल के बीच नहीं बल्कि अंतःक्षेपक मॉड्यूल और [[फ्लैट मॉड्यूल]] के बीच एक दिलचस्प द्वंद्व प्रदर्शित करता है। {{harv|Enochs|Jenda|2001|pp=78–80}}. किसी भी वलय आर के लिए, एक बायां आर-मॉड्यूल समतल है यदि और केवल यदि इसका कैरेक्टर मॉड्यूल अंतःक्षेपक है। यदि आर नोथेरियन छोड़ दिया गया है, तो एक बाएं आर-मॉड्यूल अंतःक्षेपक है यदि और केवल यदि इसका चरित्र मॉड्यूल फ्लैट है।
-=== इंजेक्शन सहजनरेटर ===
+=== अंतःक्षेपक हल्स ===
-{{Main|injective cogenerator}}
+{{Main|injective hull}}
-शायद सबसे महत्वपूर्ण इंजेक्शन मॉड्यूल एबेलियन समूह क्यू/जेड है। यह [[एबेलियन समूहों की श्रेणी]] में एक इंजेक्शन कोजेनरेटर है, जिसका अर्थ है कि यह इंजेक्शन है और कोई अन्य मॉड्यूल क्यू/जेड की प्रतियों के उपयुक्त बड़े उत्पाद में निहित है। तो विशेष रूप से, प्रत्येक एबेलियन समूह एक इंजेक्शन का एक उपसमूह है। यह काफी महत्वपूर्ण है कि यह किसी भी अंगूठी पर भी सच है: प्रत्येक मॉड्यूल इंजेक्शन का एक सबमिशन है, या बाएं ''आर''-मॉड्यूल की श्रेणी में पर्याप्त इंजेक्शन हैं। इसे साबित करने के लिए, बाएं 'आर'-मॉड्यूल की श्रेणी में एक इंजेक्टिव कोजनरेटर बनाने के लिए एबेलियन ग्रुप क्यू/जेड के अजीबोगरीब गुणों का उपयोग किया जाता है।
+मॉड्यूल का अंतःक्षेपक हल सबसे छोटा अंतःक्षेपक मॉड्यूल है जिसमें दिया गया है और इसमें वर्णित किया गया था {{harv|Eckmann|Shopf|1953}}.
-बाएं ''आर''-मॉड्यूल ''एम'' के लिए, तथाकथित कैरेक्टर मॉड्यूल ''एम''<sup>+</sup> = होम<sub>'''Z'''</sub>(एम, 'क्यू'/'जेड') एक सही आर-मॉड्यूल है जो इंजेक्शन मॉड्यूल और प्रोजेक्टिव मॉड्यूल के बीच नहीं बल्कि इंजेक्शन मॉड्यूल और [[फ्लैट मॉड्यूल]] के बीच एक दिलचस्प द्वंद्व प्रदर्शित करता है। {{harv|Enochs|Jenda|2001|pp=78–80}}. किसी भी रिंग आर के लिए, एक बायां आर-मॉड्यूल सपाट है अगर और केवल अगर इसका कैरेक्टर मॉड्यूल इंजेक्शन है। यदि आर नोथेरियन छोड़ दिया गया है, तो एक बाएं आर-मॉड्यूल इंजेक्शन है अगर और केवल अगर इसका चरित्र मॉड्यूल फ्लैट है।
-=== इंजेक्शन हल्स ===
+एक न्यूनतम अंतःक्षेपक रिज़ॉल्यूशन (नीचे देखें) को परिभाषित करने के लिए अंतःक्षेपक हल्स का उपयोग कर सकते हैं। यदि अंतःक्षेपी विभेदन का प्रत्येक पद पिछले मानचित्र के कोकर्नेल का अंतःक्षेपी हल है, तो अंतःक्षेपी विभेदन की न्यूनतम लंबाई होती है।
-{{Main|injective hull}}
-मॉड्यूल का इंजेक्शन हल सबसे छोटा इंजेक्शन मॉड्यूल है जिसमें दिया गया है और इसमें वर्णित किया गया था {{harv|Eckmann|Shopf|1953}}.
-एक न्यूनतम इंजेक्शन रिज़ॉल्यूशन (नीचे देखें) को परिभाषित करने के लिए इंजेक्शन हल्स का उपयोग कर सकते हैं। यदि अंतःक्षेपी विभेदन का प्रत्येक पद पिछले मानचित्र के कोकर्नेल का अंतःक्षेपी हल है, तो अंतःक्षेपी विभेदन की न्यूनतम लंबाई होती है।
+=== अंतःक्षेपक संकल्प ===
+प्रत्येक मॉड्यूल एम में एक अंतःक्षेपक रिज़ॉल्यूशन भी होता है जो फॉर्म का सटीक अनुक्रम होता है
+: 0 → ''M'' → ''I''<sup>0</sup> → ''I''<sup>1</sup> → ''I''<sup>2</sup> → ...
+जहां मैं<sup>j</sup> अंतःक्षेपक वाले मॉड्यूल हैं। व्युत्पन्न प्रस्तावों को परिभाषित करने के लिए अंतःक्षेपक रेजोल्यूशन का उपयोग किया जा सकता है जैसे कि [[Ext functor]]।
-=== इंजेक्शन संकल्प ===
+एक परिमित अंतःक्षेपी विभेदन की लंबाई पहला सूचकांक n है जैसे कि In शून्य नहीं है और Ii = 0 के लिए n से अधिक है। यदि एक मॉड्यूल एम एक परिमित अंतःक्षेपण संकल्प को स्वीकार करता है, तो एम के सभी परिमित अंतःक्षेपी संकल्पों के बीच न्यूनतम लंबाई को इसके अंतःक्षेपी आयाम और निरूपित आईडी (एम) कहा जाता है। यदि एम परिमित अंतःक्षेपी संकल्प को स्वीकार नहीं करता है, तो परिपाटी द्वारा अंतःक्षेपी आयाम को अनंत कहा जाता है। {{harv|Lam|1999|loc=§5C}} एक उदाहरण के रूप में, एक मॉड्यूल M पर विचार करें जैसे कि id(M) = 0. इस स्थिति में, अनुक्रम 0 → M → I0 → 0 की सटीकता इंगित करती है कि केंद्र में तीर एक समरूपता है , और इसलिए M स्वयं अंतःक्षेपी है।<ref>A module isomorphic to an injective module is of course injective.</ref>
-प्रत्येक मॉड्यूल एम में 'इंजेक्शन रिज़ॉल्यूशन (बीजगणित)' भी होता है: फॉर्म का सटीक अनुक्रम
-: 0 → एम → मैं<sup>0</sup> → आई<sup>1</sup> → आई<sup>2</sup> → ...
-जहां मैं<sup>j</sup> इंजेक्शन वाले मॉड्यूल हैं। व्युत्पन्न प्रस्तावों को परिभाषित करने के लिए इंजेक्टिव रेजोल्यूशन का उपयोग किया जा सकता है जैसे कि [[Ext functor]]।
-परिमित अंतःक्षेपी विभेदन की लंबाई पहला सूचकांक n है जैसे कि I<sup>n</sup> अशून्य है और I<sup>i</sup> = 0 i के लिए n से बड़ा है। यदि एक मॉड्यूल एम एक परिमित अंतःक्षेपण संकल्प को स्वीकार करता है, तो एम के सभी परिमित अंतःक्षेपी संकल्पों के बीच न्यूनतम लंबाई को इसका 'अंतःक्षेपण आयाम' और निरूपित आईडी (एम) कहा जाता है। यदि एम परिमित अंतःक्षेपी संकल्प को स्वीकार नहीं करता है, तो परिपाटी द्वारा अंतःक्षेपी आयाम को अनंत कहा जाता है। {{harv|Lam|1999|loc=§5C}} उदाहरण के तौर पर, एक मॉड्यूल एम पर विचार करें जैसे कि आईडी (एम) = 0। इस स्थिति में, अनुक्रम की सटीकता 0 → एम → आई<sup>0</sup> → 0 इंगित करता है कि केंद्र में तीर एक तुल्याकारिता है, और इसलिए M स्वयं अंतःक्षेपी है।<ref>A module isomorphic to an injective module is of course injective.</ref>
+समान रूप से, M का अंतःक्षेपी आयाम न्यूनतम पूर्णांक है (यदि ऐसा अन्यथा ∞) n ऐसा है कि Ext{{su|p=''N''|b=''A''}}(–,M) = 0 सभी N > n के लिए A(–, M) = 0
-समान रूप से, M का अंतःक्षेपी आयाम न्यूनतम पूर्णांक है (यदि ऐसा है, अन्यथा ∞) n ऐसा है कि Ext{{su|p=''N''|b=''A''}}(–,M) = 0 सभी N > n के लिए।
 === अविघटनीय ===
-एक इंजेक्शन मॉड्यूल का प्रत्येक इंजेक्शन सबमॉड्यूल एक सीधा योग है, इसलिए अविघटनीय मॉड्यूल इंजेक्शन मॉड्यूल को समझना महत्वपूर्ण है, {{harv|Lam|1999|loc=§3F}}.
+एक अंतःक्षेपक मॉड्यूल का प्रत्येक अंतःक्षेपक उपमॉड्यूल एक सीधा योग है, इसलिए अविघटनीय मॉड्यूल अंतःक्षेपक मॉड्यूल को समझना महत्वपूर्ण है, {{harv|Lam|1999|loc=§3F}}.
-प्रत्येक अविघटनीय इंजेक्टिव मॉड्यूल में एक स्थानीय रिंग एंडोमोर्फिज्म रिंग होती है। एक मॉड्यूल को एक समान मॉड्यूल कहा जाता है यदि प्रत्येक दो गैर-शून्य सबमॉड्यूल में गैर-शून्य चौराहा होता है। एक इंजेक्शन मॉड्यूल एम के लिए निम्नलिखित समतुल्य हैं:
+प्रत्येक अविघटनीय अंतःक्षेपक मॉड्यूल में एक स्थानीय एंडोमोर्फिज्म वलय होती है। एक मॉड्यूल को एक समान मॉड्यूल कहा जाता है यदि प्रत्येक दो गैर-शून्य उपमॉड्यूल में गैर-शून्य चौराहा होता है। एक अंतःक्षेपक मॉड्यूल एम के लिए निम्नलिखित समतुल्य हैं:
 * एम अविघटनीय है
-* M नॉनज़रो है और हर नॉनज़रो सबमॉड्यूल का इंजेक्शन हल है
+* M नॉनज़रो है और हर नॉनज़रो उपमॉड्यूल का अंतःक्षेपक हल है
 * एम एकसमान है
-* एम एक समान मॉड्यूल का इंजेक्शन हल है
+* एम एक समान मॉड्यूल का अंतःक्षेपक हल है
-* एम एक समान [[चक्रीय मॉड्यूल]] का इंजेक्शन पतवार है
+* एम एक समान [[चक्रीय मॉड्यूल]] का अंतःक्षेपक पतवार है
-* एम में एक स्थानीय एंडोमोर्फिज्म रिंग है
+* एम में एक स्थानीय एंडोमोर्फिज्म वलय है
-नोथेरियन रिंग के ऊपर, प्रत्येक इंजेक्शन मॉड्यूल (विशिष्ट रूप से निर्धारित) अविघटनीय इंजेक्शन मॉड्यूल का प्रत्यक्ष योग है। एक क्रमविनिमेय नोथेरियन रिंग के ऊपर, यह में वर्णित सभी इंजेक्शन मॉड्यूल की विशेष रूप से अच्छी समझ देता है {{harv|Matlis|1958}}. अविघटनीय इंजेक्टिव मॉड्यूल, रिंग आर के एक प्रमुख आदर्श के लिए मॉड्यूल आर / पी के इंजेक्शन हल्स हैं। इसके अलावा, आर / पी के इंजेक्शन हल एम में मॉड्यूल एम द्वारा एक बढ़ती हुई निस्पंदन है।<sub>''n''</sub> आदर्शों के विनाशकों द्वारा दिया गया पी<sup>एन</sup>, और एम<sub>''n''+1</sub>/एम<sub>''n''</sub> होम के लिए R/p के भागफल क्षेत्र k(p) पर परिमित-आयामी सदिश स्थान के रूप में आइसोमॉर्फिक है<sub>''R''/''p''</sub>(पी<sup>एन</sup>/p<sup>एन+1 </सुप>, के(पी))।
+नोथेरियन वलय के ऊपर, प्रत्येक अंतःक्षेपक मॉड्यूल (विशिष्ट रूप से निर्धारित) अविघटनीय अंतःक्षेपक मॉड्यूल का प्रत्यक्ष योग है। एक क्रमविनिमेय नोथेरियन वलय के ऊपर, यह (मैटलिस 1958) में वर्णित सभी अंतःक्षेपक मॉड्यूल की विशेष रूप से अच्छी समझ देता है। अविघटनीय अंतःक्षेपक मॉड्यूल, वलय आर के एक प्रमुख आदर्श के लिए मॉड्यूल आर/पी के अंतःक्षेपक हल्स हैं। इसके अतिरिक्त, आर/पी के अंतःक्षेपक हल एम में आदर्श पीएन के एनीहिलेटर द्वारा दिए गए मॉड्यूल एमएन द्वारा बढ़ते निस्पंदन हैं, और Mn+1/Mn आइसोमॉर्फिक है, जो R/p से HomR/p(pn/pn+1, k(p)) के भागफल क्षेत्र k(p) पर परिमित-आयामी वेक्टर स्पेस के रूप में है।
 === अंगूठियों का परिवर्तन ===
-विशेष रूप से बहुपद रिंगों के लिए [[सबरिंग]]्स या भागफल के छल्ले पर मॉड्यूल पर विचार करने में सक्षम होना महत्वपूर्ण है। सामान्य तौर पर, यह कठिन है, लेकिन कई परिणाम ज्ञात हैं, {{harv|Lam|1999|p=62}}.
+विशेष रूप से बहुपद वलयों के लिए [[सबरिंग|सबवलय]]्स या भागफल के छल्ले पर मॉड्यूल पर विचार करने में सक्षम होना महत्वपूर्ण है। सामान्य तौर पर, यह कठिन है, लेकिन कई परिणाम ज्ञात हैं, {{harv|Lam|1999|p=62}}.
-S और R को रिंग होने दें, और P एक लेफ्ट-R, राइट-S [[bimodule]] है जो लेफ्ट-R मॉड्यूल के रूप में फ्लैट मॉड्यूल है। किसी भी इंजेक्टिव राइट एस-मॉड्यूल एम के लिए, मॉड्यूल होमोमोर्फिज्म होम का सेट<sub>''S''</sub>(पी, एम) एक इंजेक्शन सही आर-मॉड्यूल है। बाएँ और दाएँ गुणों के आदान-प्रदान के बाद निश्चित रूप से यही कथन लागू होता है।
+S और R को वलय होने दें, और P एक लेफ्ट-R, राइट-S [[bimodule]] है जो लेफ्ट-R मॉड्यूल के रूप में फ्लैट मॉड्यूल है। किसी भी अंतःक्षेपक राइट एस-मॉड्यूल एम के लिए, मॉड्यूल होमोमोर्फिज्म होम का सेट<sub>''S''</sub>(पी, एम) एक अंतःक्षेपक सही आर-मॉड्यूल है। बाएँ और दाएँ गुणों के आदान-प्रदान के बाद निश्चित रूप से यही कथन लागू होता है।
-उदाहरण के लिए, यदि R, S का एक सबरिंग है जैसे कि S एक फ्लैट R-मॉड्यूल है, तो प्रत्येक इंजेक्टिव S-मॉड्यूल एक इंजेक्टिव R-मॉड्यूल है। विशेष रूप से, यदि R एक अभिन्न डोमेन है और S इसके [[अंशों का क्षेत्र]] है, तो S पर प्रत्येक सदिश स्थान एक अंतःक्षेपी R-मॉड्यूल है। इसी तरह, प्रत्येक इंजेक्टिव आर [एक्स] -मॉड्यूल एक इंजेक्शन आर-मॉड्यूल है।
+उदाहरण के लिए, यदि R, S का एक सबवलय है जैसे कि S एक फ्लैट R-मॉड्यूल है, तो प्रत्येक अंतःक्षेपक S-मॉड्यूल एक अंतःक्षेपक R-मॉड्यूल है। विशेष रूप से, यदि R एक अभिन्न डोमेन है और S इसके [[अंशों का क्षेत्र]] है, तो S पर प्रत्येक सदिश स्थान एक अंतःक्षेपी R-मॉड्यूल है। इसी तरह, प्रत्येक अंतःक्षेपक आर [एक्स] -मॉड्यूल एक अंतःक्षेपक आर-मॉड्यूल है।
-विपरीत दिशा में, एक अंगूठी समरूपता <math>f: S\to R</math> बाएँ और दाएँ गुणन द्वारा R को बाएँ-R, दाएँ-S द्विमॉड्यूल में बनाता है। अपने आप में मुक्त मॉड्यूल होने के नाते आर भी [[मुफ्त मॉड्यूल]] # फ्री और प्रोजेक्टिव मॉड्यूल बाएं आर-मॉड्यूल के रूप में है। पी = आर के लिए उपरोक्त कथन की विशेषज्ञता, यह कहता है कि जब एम एक इंजेक्टिव सही एस-मॉड्यूल सह-प्रेरित मॉड्यूल है <math> f_* M = \mathrm{Hom}_S(R, M)</math> एक इंजेक्शन सही आर-मॉड्यूल है। इस प्रकार, च पर संयोग इंजेक्शन एस-मॉड्यूल से इंजेक्शन आर-मॉड्यूल पैदा करता है।
+विपरीत दिशा में, एक वलय समरूपता <math>f: S\to R</math> बाएँ और दाएँ गुणन द्वारा R को बाएँ-R, दाएँ-S द्विमॉड्यूल में बनाता है। अपने आप में मुक्त मॉड्यूल होने के नाते आर भी [[मुफ्त मॉड्यूल]] # फ्री और प्रोजेक्टिव मॉड्यूल बाएं आर-मॉड्यूल के रूप में है। पी = आर के लिए उपरोक्त कथन की विशेषज्ञता, यह कहता है कि जब एम एक अंतःक्षेपक सही एस-मॉड्यूल सह-प्रेरित मॉड्यूल है <math> f_* M = \mathrm{Hom}_S(R, M)</math> एक अंतःक्षेपक सही आर-मॉड्यूल है। इस प्रकार, च पर संयोग अंतःक्षेपक एस-मॉड्यूल से अंतःक्षेपक आर-मॉड्यूल पैदा करता है।
-भागफल वलय R/I के लिए, वलय का परिवर्तन भी बहुत स्पष्ट है। एक आर-मॉड्यूल ठीक उसी समय एक आर/आई-मॉड्यूल होता है जब इसे I. द्वारा विलोपित किया जाता है। सबमॉड्यूल एन<sub>''I''</sub>(M) = {m in M: im = 0 for all i in I} बाएं आर-मॉड्यूल एम का एक बायां सबमॉड्यूल है, और एम का सबसे बड़ा सबमॉड्यूल है जो एक आर/आई-मॉड्यूल है। यदि एम एक इंजेक्शन बाएं आर-मॉड्यूल है, तो एन<sub>''I''</sub>(एम) एक इंजेक्टिव लेफ्ट आर/आई-मॉड्यूल है। इसे R='Z', I=n'Z' और M='Q'/'Z' पर लागू करने पर, एक परिचित तथ्य यह मिलता है कि 'Z'/n'Z' अपने आप में एक मॉड्यूल के रूप में इंजेक्शन है। हालांकि इंजेक्टिव आर-मॉड्यूल को इंजेक्टिव आर/आई-मॉड्यूल में परिवर्तित करना आसान है, यह प्रक्रिया इंजेक्शनी आर-रिज़ॉल्यूशन को इंजेक्टिव आर/आई-रेज़ोल्यूशन में परिवर्तित नहीं करती है, और परिणामी कॉम्प्लेक्स की समरूपता प्रारंभिक और मौलिक क्षेत्रों में से एक है आपेक्षिक समजातीय बीजगणित का अध्ययन।
+भागफल वलय R/I के लिए, वलय का परिवर्तन भी बहुत स्पष्ट है। एक आर-मॉड्यूल ठीक उसी समय एक आर/आई-मॉड्यूल होता है जब इसे I द्वारा विलोपित किया जाता है। उपमॉड्यूल annI(M) = {m in M: im = 0 for all i in I} बाएं आर-मॉड्यूल का एक बायां उपमॉड्यूल है M, और M का सबसे बड़ा उपमॉड्यूल है जो एक R/I-मॉड्यूल है। यदि M एक अंतःक्षेपी बायाँ R-मॉड्यूल है, तो annI(M) एक अंतःक्षेपी बायाँ R/I-मॉड्यूल है। इसे R=Z, I=nZ और M=Q/Z पर लागू करने पर, एक परिचित तथ्य प्राप्त होता है कि Z/nZ अपने आप में एक मॉड्यूल के रूप में अंतःक्षेपक है। हालांकि अंतःक्षेपक आर-मॉड्यूल को अंतःक्षेपक आर/आई-मॉड्यूल में परिवर्तित करना आसान है, लेकिन यह प्रक्रिया अंतःक्षेपक वाले आर-रिज़ॉल्यूशन को अंतःक्षेपक वाले आर/आई-रेज़ोल्यूशन में परिवर्तित नहीं करती है और परिणामी कॉम्प्लेक्स की होमोलॉजी अध्ययन के प्रारंभिक और मौलिक क्षेत्रों में से एक है। रिश्तेदार समरूप बीजगणित की।
-पाठ्यपुस्तक {{harv|Rotman|1979|p=103}} के पास एक गलत सबूत है कि अंगूठी का स्थानीयकरण इंजेक्शन को संरक्षित करता है, लेकिन इसमें एक काउंटर उदाहरण दिया गया था {{harv|Dade|1981}}.
+पाठ्यपुस्तक {{harv|Rotman|1979|p=103}} के पास एक गलत सबूत है कि वलय का स्थानीयकरण अंतःक्षेपक को संरक्षित करता है, लेकिन इसमें एक काउंटर उदाहरण दिया गया था {{harv|Dade|1981}}.
-=== सेल्फ-इंजेक्शन रिंग्स ===
+=== सेल्फ-अंतःक्षेपक वलय्स ===
-एकता के साथ प्रत्येक अंगूठी एक मुक्त मॉड्यूल है और इसलिए एक मॉड्यूल के रूप में एक प्रोजेक्टिव मॉड्यूल है, लेकिन यह एक अंगूठी के लिए एक मॉड्यूल के रूप में इंजेक्टिव होने के लिए दुर्लभ है, {{harv|Lam|1999|loc=§3B}}. यदि एक अंगूठी सही मॉड्यूल के रूप में खुद पर इंजेक्टिव है, तो इसे राइट सेल्फ-इंजेक्शन रिंग कहा जाता है। प्रत्येक फ्रोबेनियस बीजगणित स्व-अंतःक्षेपी है, लेकिन कोई भी अभिन्न डोमेन जो एक क्षेत्र (गणित) नहीं है, स्वयं-अंतःक्षेपी है। डेडेकाइंड डोमेन का हर उचित कोशेंट रिंग सेल्फ-इंजेक्शन है।
+एकता के साथ प्रत्येक वलय एक स्वतंत्र मॉड्यूल है और इसलिए अपने आप में एक मॉड्यूल के रूप में एक प्रक्षेपी है, लेकिन यह एक वलय के लिए अपने आप में एक मॉड्यूल के रूप में अंतःक्षेपक होना दुर्लभ है, (लैम 1999, §3B)। यदि एक वलय सही मॉड्यूल के रूप में खुद पर अंतःक्षेपक है, तो इसे राइट सेल्फ-अंतःक्षेपक वलय कहा जाता है। प्रत्येक फ्रोबेनियस बीजगणित स्व-अंतःक्षेपी है, लेकिन कोई भी अभिन्न डोमेन जो एक क्षेत्र नहीं है, स्व-अंतःक्षेपी है। डेडेकाइंड डोमेन का प्रत्येक उचित भागफल स्व-अंतःक्षेपक है।
-एक सही नोथेरियन रिंग, राइट सेल्फ-इंजेक्शन रिंग को [[अर्ध-फ्रोबेनियस रिंग]] कहा जाता है, और यह दो तरफा आर्टिनियन रिंग और दो तरफा इंजेक्शन है, {{harv|Lam|1999|loc=Th. 15.1}}. अर्ध-फ्रोबेनियस रिंगों का एक महत्वपूर्ण मॉड्यूल सैद्धांतिक गुण यह है कि प्रक्षेपी मॉड्यूल बिल्कुल इंजेक्शन मॉड्यूल हैं।
+एक दाएँ नोएथेरियन, दाएँ आत्म-अंतःक्षेपक वाले वलय को [[अर्ध-फ्रोबेनियस रिंग|अर्ध-फ्रोबेनियस वलय]] कहा जाता है, और यह दो तरफा आर्टिनियन और दो तरफा अंतःक्षेपक वाला होता है, {{harv|Lam|1999|loc=Th. 15.1}} अर्ध-फ्रोबेनियस वलयों का एक महत्वपूर्ण मॉड्यूल सैद्धांतिक गुण यह है कि प्रक्षेपी मॉड्यूल बिल्कुल अंतःक्षेपक मॉड्यूल हैं।
 == सामान्यीकरण और विशेषज्ञता ==
-=== इंजेक्शन वाली वस्तुएं ===
+=== अंतःक्षेपक वाली वस्तुएं ===
 {{Main|injective object}}
-एक मॉड्यूल श्रेणियों की तुलना में [[श्रेणी (गणित)]] में इंजेक्टिव ऑब्जेक्ट्स के बारे में भी बात करता है, उदाहरण के लिए फ़ंक्टर श्रेणी में या ओ के शेफ (गणित) की श्रेणियों में<sub>''X''</sub>कुछ [[चक्राकार स्थान]] पर -मॉड्यूल (X, O<sub>''X''</sub>). निम्नलिखित सामान्य परिभाषा का उपयोग किया जाता है: श्रेणी सी का एक ऑब्जेक्ट क्यू 'इंजेक्शन' है यदि किसी [[एकरूपता]] के लिए एफ: एक्स → वाई सी में और कोई मॉर्फिज्म जी: एक्स → क्यू में एक मॉर्फिज्म मौजूद है: वाई → क्यू एचएफ = जी के साथ .
+एक मॉड्यूल श्रेणियों की तुलना में अधिक सामान्य श्रेणियों में अंतःक्षेपक ऑब्जेक्ट्स के बारे में भी बात करता है, उदाहरण के लिए फ़ंक्टर श्रेणियों में या कुछ वलय वाले स्थान (एक्स, ओएक्स) पर ओएक्स-मॉड्यूल के शेवों की श्रेणियों में। निम्नलिखित सामान्य परिभाषा का उपयोग श्रेणी C की एक वस्तु Q के लिए किया जाता है, यदि किसी मोनोमोर्फिज्म f: X → Y में C और किसी भी आकारिकी g: X → Q के लिए एक morphism h: Y → Q hf = g के साथ मौजूद है।
 === विभाज्य समूह ===
-{{Main|divisible group}}
+{{Main|विभाज्य समूह}}
-एबेलियन समूहों की श्रेणी में इंजेक्शन वस्तु की धारणा को विभाज्य समूह शब्द के तहत इंजेक्शन मॉड्यूल से कुछ हद तक स्वतंत्र रूप से अध्ययन किया गया था। यहां एक जेड-मॉड्यूल ''एम'' इंजेक्टिव है अगर और केवल अगर ''एन''⋅''एम'' = ''एम'' हर गैर शून्य पूर्णांक ''एन'' के लिए। यहां फ्लैट मॉड्यूल, [[शुद्ध सबमॉड्यूल]] और इंजेक्शन मॉड्यूल के बीच संबंध अधिक स्पष्ट हैं, क्योंकि यह केवल पूर्णांक द्वारा मॉड्यूल तत्वों के कुछ विभाज्य गुणों को संदर्भित करता है।
+एबेलियन समूहों की श्रेणी में अंतःक्षेपक ऑब्जेक्ट की धारणा को विभाज्य समूह शब्द के तहत अंतःक्षेपक मॉड्यूल से कुछ हद तक स्वतंत्र रूप से अध्ययन किया गया था। यहां एक Z-मॉड्यूल एम अंतःक्षेपक है यदि और केवल यदि ''n''⋅''M'' = ''M'' प्रत्येक गैर-शून्य पूर्णांक N के लिए। यहां फ्लैट मॉड्यूल, शुद्ध उपमॉड्यूल और अंतःक्षेपक मॉड्यूल के बीच संबंध अधिक स्पष्ट हैं, क्योंकि यह केवल पूर्णांक द्वारा मॉड्यूल तत्वों के कुछ विभाज्य गुणों को संदर्भित करता है।
-=== शुद्ध इंजेक्शन ===
+=== शुद्ध अंतःक्षेपक ===
 {{Main|pure injective module}}
-रिश्तेदार होमोलॉजिकल बीजगणित में, समरूपता की विस्तार संपत्ति सभी के बजाय केवल कुछ सबमॉड्यूल के लिए आवश्यक हो सकती है। उदाहरण के लिए, एक शुद्ध अंतःक्षेपी मॉड्यूल एक ऐसा मॉड्यूल होता है जिसमें शुद्ध सबमॉड्यूल से समरूपता को पूरे मॉड्यूल तक बढ़ाया जा सकता है।
+सहसंबंध समरूपता बीजगणित में, समरूपता की विस्तार संपत्ति सभी के अतिरिक्त केवल कुछ उपमॉड्यूल के लिए आवश्यक हो सकती है। उदाहरण के लिए, एक शुद्ध अंतःक्षेपी मॉड्यूल एक ऐसा मॉड्यूल होता है जिसमें शुद्ध उपमॉड्यूल से समरूपता को पूरे मॉड्यूल तक बढ़ाया जा सकता है।
 == संदर्भ ==
 === टिप्पणियाँ ===
 {{Reflist}}
 === पाठ्यपुस्तकें ===

Anonymous

Search

अंतःक्षेपक मॉड्यूल: Difference between revisions

Namespaces

More

Page actions

Revision as of 20:28, 28 May 2023

Contents

परिभाषा