विभाज्य समूह: Difference between revisions
No edit summary |
No edit summary |
||
| (10 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
गणित में, विशेष रूप से [[समूह सिद्धांत]] के क्षेत्र में, विभाज्य समूह [[एबेलियन समूह]] होता है जिसमें प्रत्येक तत्व, किसी अर्थ में, | गणित में, विशेष रूप से [[समूह सिद्धांत]] के क्षेत्र में, विभाज्य समूह [[एबेलियन समूह]] होता है जिसमें प्रत्येक तत्व, किसी अर्थ में, धनात्मक पूर्णांकों द्वारा विभाजित किया जा सकता है, या अधिक सही रूप से, प्रत्येक तत्व प्रत्येक धनात्मक पूर्णांक n के लिए nवां गुणक होता है। विशेषकर, एबेलियन समूहों की संरचना को समझने में विभाज्य समूह महत्वपूर्ण हैं, क्योंकि वे [[इंजेक्शन मॉड्यूल|इंजेक्टिव]] एबेलियन समूह हैं। | ||
== परिभाषा == | == परिभाषा == | ||
एबेलियन समूह <math>(G, +)</math> विभाज्य है | एबेलियन समूह <math>(G, +)</math> विभाज्य है यदि, हर धनात्मक <math>n</math> और हर <math>g \in G</math> पूर्णांक के लिए, वहां उपस्थित <math>y \in G</math> ऐसा है कि <math>ny=g</math>।<ref>Griffith, p.6</ref> समतुल्य स्थिति है: किसी भी धनात्मक पूर्णांक <math>n</math> के लिए, <math>nG=G</math>क्योंकि प्रत्येक <math>n</math> और <math>g</math> के लिए <math>y</math> का अस्तित्व दर्शाता है कि <math>n G\supseteq G</math>, और दूसरी दिशा <math>n G\subseteq G</math> प्रत्येक समूह के लिए सत्य है। तीसरी समतुल्य स्थिति यह है कि एबेलियन समूह <math>G</math> विभाज्य है यदि और केवल यदि <math>G</math> [[एबेलियन समूहों की श्रेणी]] में [[इंजेक्शन वस्तु|इंजेक्टिव वस्तु]] है; इस कारण से, विभाज्य समूह को कभी-कभी इंजेक्टिव समूह कहा जाता है। | ||
एबेलियन समूह | एबेलियन समूह [[अभाज्य संख्या|अभाज्य]] <math>p</math> के लिए <math>p</math>-विभाज्य है, यदि प्रत्येक <math>g \in G</math> के लिए <math>y \in G</math>, उपस्थित है जैसे कि <math>py=g</math>। समतुल्य रूप से, यदि और केवल यदि <math>pG=G</math> के लिए एबेलियन समूह <math>p</math>-विभाज्य है। | ||
== उदाहरण == | == उदाहरण == | ||
* परिमेय संख्याएँ <math>\mathbb Q</math> योग के | * परिमेय संख्याएँ <math>\mathbb Q</math> योग के अनुसार विभाज्य समूह बनाएं। | ||
* अधिक सामान्यतः, किसी भी सदिश स्थान का अंतर्निहित योगात्मक समूह <math>\mathbb Q</math> विभाज्य है। | * अधिक सामान्यतः, किसी भी सदिश स्थान का अंतर्निहित योगात्मक समूह <math>\mathbb Q</math> विभाज्य है। | ||
* विभाज्य समूह का प्रत्येक [[भागफल समूह]] विभाज्य है। इस प्रकार, <math>\mathbb Q/\mathbb Z</math> विभाज्य है। | * विभाज्य समूह का प्रत्येक [[भागफल समूह]] विभाज्य है। इस प्रकार, <math>\mathbb Q/\mathbb Z</math> विभाज्य है। | ||
* | * <math>\mathbb Q/ \mathbb Z</math> का p-[[प्राथमिक घटक]] <math>\mathbb Z[1/p]/\mathbb Z</math>, जो p-अर्धचक्रीय समूह <math>\mathbb Z[p^\infty]</math> के लिए [[समूह समरूपता|समरूप]] और विभाज्य है। | ||
* सम्मिश्र संख्याओं का गुणक समूह <math>\mathbb C^*</math> विभाज्य है। | * सम्मिश्र संख्याओं का गुणक समूह <math>\mathbb C^*</math> विभाज्य है। | ||
* प्रत्येक [[अस्तित्वगत रूप से बंद]] एबेलियन समूह ([[मॉडल सिद्धांत]] के अर्थ में) विभाज्य है। | * प्रत्येक [[अस्तित्वगत रूप से बंद]] एबेलियन समूह ([[मॉडल सिद्धांत]] के अर्थ में) विभाज्य है। | ||
| Line 20: | Line 20: | ||
* प्रत्येक एबेलियन समूह को विभाज्य समूह में [[एम्बेडिंग]] किया जा सकता है।<ref>Griffith, p.17</ref> | * प्रत्येक एबेलियन समूह को विभाज्य समूह में [[एम्बेडिंग]] किया जा सकता है।<ref>Griffith, p.17</ref> | ||
* गैर-तुच्छ विभाज्य समूह [[अंतिम रूप से उत्पन्न एबेलियन समूह]] नहीं हैं। | * गैर-तुच्छ विभाज्य समूह [[अंतिम रूप से उत्पन्न एबेलियन समूह]] नहीं हैं। | ||
* इसके अतिरिक्त, प्रत्येक एबेलियन समूह को विभाज्य समूह में अद्वितीय उपसमूह के रूप में अद्वितीय | * इसके अतिरिक्त, प्रत्येक एबेलियन समूह को विभाज्य समूह में अद्वितीय उपसमूह के रूप में अद्वितीय विधि से एम्बेड किया जा सकता है।<ref>Griffith, p.19</ref> | ||
* एबेलियन समूह विभाज्य है यदि और केवल यदि यह प्रत्येक अभाज्य p के लिए p-विभाज्य है। | * एबेलियन समूह विभाज्य है यदि और केवल यदि यह प्रत्येक अभाज्य p के लिए p-विभाज्य है। | ||
* <math>A</math> | * मान लीजिए <math>A</math> रिंग है। यदि <math>T</math> विभाज्य समूह है, तो <math>\mathrm{Hom}_{\mathbf{Z}\text{-Mod}} (A,T)</math> और <math>A</math>-[[मॉड्यूल (गणित)|मॉड्यूल]] की [[श्रेणी (गणित)|श्रेणी]] में इंजेक्टिव है। है।<ref>Lang, p. 106</ref> | ||
== विभाज्य समूहों की संरचना प्रमेय == | == विभाज्य समूहों की संरचना प्रमेय == | ||
माना G विभाज्य समूह है। तब G का [[मरोड़ उपसमूह]] Tor(G) विभाज्य है। चूंकि विभाज्य समूह इंजेक्शन मॉड्यूल है, Tor(G) G | माना G विभाज्य समूह है। तब G का [[मरोड़ उपसमूह]] Tor(G) विभाज्य है। चूंकि विभाज्य समूह इंजेक्शन मॉड्यूल है, Tor(G) G का सीधा योग है, इसलिए | ||
:<math>G = \mathrm{Tor}(G) \oplus G/\mathrm{Tor}(G).</math> | :<math>G = \mathrm{Tor}(G) \oplus G/\mathrm{Tor}(G).</math> | ||
विभाज्य समूह के भागफल के रूप में, G/Tor(G) विभाज्य है। इसके | विभाज्य समूह के भागफल के रूप में, G/Tor(G) विभाज्य है। इसके अतिरिक्त, यह [[मरोड़ (बीजगणित)|मरोड़]]-मुक्त है। इस प्रकार, यह 'Q' पर सदिश समष्टि है और इसलिए वहाँ समुच्चय ''I'' का का अस्तित्व है, जो ऐसा है | ||
:<math>G/\mathrm{Tor}(G) = \bigoplus_{i \in I} \mathbb Q = \mathbb Q^{(I)}.</math> | :<math>G/\mathrm{Tor}(G) = \bigoplus_{i \in I} \mathbb Q = \mathbb Q^{(I)}.</math> | ||
मरोड़ उपसमूह की संरचना निर्धारित करना कठिन है, लेकिन कोई दिखा सकता है{{sfn|Kaplansky|1965}}{{sfn|Fuchs|1970}} कि सभी अभाज्य संख्याओं p | मरोड़ उपसमूह की संरचना निर्धारित करना कठिन है, लेकिन कोई दिखा सकता है{{sfn|Kaplansky|1965}}{{sfn|Fuchs|1970}} कि सभी अभाज्य संख्याओं के लिए p उपस्थित है, <math>I_p</math> ऐसा है कि | ||
:<math>(\mathrm{Tor}(G))_p = \bigoplus_{i \in I_p} \mathbb Z[p^\infty] = \mathbb Z[p^\infty]^{(I_p)},</math> | :<math>(\mathrm{Tor}(G))_p = \bigoplus_{i \in I_p} \mathbb Z[p^\infty] = \mathbb Z[p^\infty]^{(I_p)},</math> | ||
जहाँ <math>(\mathrm{Tor}(G))_p</math> टोर (G) का P-प्राथमिक घटक है। | |||
इस प्रकार, यदि 'P' अभाज्य संख्याओं का समुच्चय है, | इस प्रकार, यदि 'P' अभाज्य संख्याओं का समुच्चय है, | ||
:<math>G = \left(\bigoplus_{p \in \mathbf P} \mathbb Z[p^\infty]^{(I_p)}\right) \oplus \mathbb Q^{(I)}.</math> | :<math>G = \left(\bigoplus_{p \in \mathbf P} \mathbb Z[p^\infty]^{(I_p)}\right) \oplus \mathbb Q^{(I)}.</math> | ||
सेट ''I'' और ''I<sub>p</sub>'' की कार्डिनैलिटी | सेट ''I'' और ''I<sub>p</sub>'' की कार्डिनैलिटी p ∈ 'P' के लिए विशिष्ट रूप से समूह G द्वारा निर्धारित किया जाता है। | ||
== इंजेक्शन लिफाफा == | == इंजेक्शन लिफाफा == | ||
{{main|इंजेक्शन लिफाफा}} | {{main|इंजेक्शन लिफाफा}} | ||
जैसा कि ऊपर कहा गया है, किसी भी एबेलियन समूह A को विभाज्य समूह D में आवश्यक उपसमूह के रूप में विशिष्ट रूप से एम्बेड किया जा सकता है। यह विभाज्य समूह D A का 'इंजेक्शन लिफाफा' है, और यह अवधारणा एबेलियन समूहों की श्रेणी में [[इंजेक्शन पतवार]] है। | जैसा कि ऊपर कहा गया है, किसी भी एबेलियन समूह A को विभाज्य समूह D में आवश्यक उपसमूह के रूप में विशिष्ट रूप से एम्बेड किया जा सकता है। यह विभाज्य समूह D, A का 'इंजेक्शन लिफाफा' है, और यह अवधारणा एबेलियन समूहों की श्रेणी में [[इंजेक्शन पतवार|इंजेक्शन उपसमूह]] है। | ||
== कम एबेलियन समूह == | == कम एबेलियन समूह == | ||
एबेलियन समूह को घटा हुआ कहा जाता है यदि इसका एकमात्र विभाज्य उपसमूह {0} है। प्रत्येक एबेलियन समूह विभाज्य उपसमूह और कम उपसमूह का प्रत्यक्ष योग है। वास्तव में, किसी भी समूह का अनूठा सबसे बड़ा विभाज्य उपसमूह होता है, और यह विभाज्य उपसमूह प्रत्यक्ष योग होता है।<ref>Griffith, p.7</ref> यह पूर्णांक | एबेलियन समूह को घटा हुआ कहा जाता है यदि इसका एकमात्र विभाज्य उपसमूह {0} है। प्रत्येक एबेलियन समूह विभाज्य उपसमूह और कम उपसमूह का प्रत्यक्ष योग है। वास्तव में, किसी भी समूह का अनूठा सबसे बड़ा विभाज्य उपसमूह होता है, और यह विभाज्य उपसमूह प्रत्यक्ष योग होता है।<ref>Griffith, p.7</ref> यह पूर्णांक Z जैसे अनुवांशिक छल्ले की विशेष विशेषता है: इंजेक्शन मॉड्यूल के मॉड्यूल का सीधा योग इंजेक्शन है क्योंकि [[नोथेरियन रिंग|रिंग]] [[नोथेरियन रिंग|नोथेरियन]] है, और इंजेक्शन के अंश इंजेक्शन हैं क्योंकि रिंग अनुवांशिक है, इसलिए इंजेक्शन मॉड्यूल द्वारा उत्पन्न कोई सबमिशन इंजेक्शन है। विलोम {{harv|मैटलिस|1958}} का परिणाम है: यदि प्रत्येक मॉड्यूल में अद्वितीय अधिकतम इंजेक्टिव सब मॉड्यूल होता है, तो रिंग अनुवांशिक होती है। | ||
उल्म के प्रमेय द्वारा गणनीय कम आवधिक एबेलियन समूहों का पूर्ण वर्गीकरण दिया गया है। | उल्म के प्रमेय द्वारा गणनीय कम आवधिक एबेलियन समूहों का पूर्ण वर्गीकरण दिया गया है। | ||
| Line 56: | Line 56: | ||
== सामान्यीकरण == | == सामान्यीकरण == | ||
कई अलग-अलग परिभाषाएँ विभाज्य समूहों को विभाज्य मॉड्यूल के लिए सामान्यीकृत करती हैं। रिंग | कई अलग-अलग परिभाषाएँ विभाज्य समूहों को विभाज्य मॉड्यूल के लिए सामान्यीकृत करती हैं। निम्नलिखित परिभाषाओं का उपयोग साहित्य में रिंग R पर विभाज्य मॉड्यूल ''M'' को परिभाषित करने के लिए किया गया है: | ||
# ''rM'' = ''M'' सभी अशून्य ''r'' के लिए | # ''rM'' = ''M R'' सभी अशून्य ''r'' के लिए{{sfn|Feigelstock|2006}} (कभी-कभी यह आवश्यक होता है कि आर शून्य-भाजक नहीं है, और कुछ लेखकों{{sfn|Cartan|Eilenberg|1999}} की आवश्यकता है कि ''r'' [[डोमेन (रिंग थ्योरी)|डोमेन)]] है। | ||
# | # प्रत्येक प्रिंसिपल लेफ्ट आदर्श Ra के लिए, Ra से M तक कोई समरूपता R से M में [[मॉड्यूल समरूपता|समरूपता]] तक फैली हुई है।{{sfn|Lam|1999}}{{sfn|Nicholson|Yousif | ||
|2003}} (इस प्रकार के विभाज्य मॉड्यूल को | |2003}} (इस प्रकार के विभाज्य मॉड्यूल को मुख्यतः इंजेक्शन मॉड्यूल भी कहा जाता है।) | ||
# हर [[अंतिम रूप से उत्पन्न मॉड्यूल]] के लिए | # R के हर [[अंतिम रूप से उत्पन्न मॉड्यूल]] बायें आदर्श L के लिए, L से M में कोई भी समरूपता R से M में समरूपता तक फैली हुई है। | ||
अंतिम दो शर्तें इंजेक्टिव मॉड्यूल के लिए बेयर की कसौटी के प्रतिबंधित संस्करण हैं। चूँकि | अंतिम दो शर्तें इंजेक्टिव मॉड्यूल के लिए बेयर की कसौटी के प्रतिबंधित संस्करण हैं। चूँकि इंजेक्टिव बाएँ मॉड्यूल सभी बाएँ आदर्शों से R तक समरूपता का विस्तार करते हैं, इंजेक्टिव मॉड्यूल स्पष्ट रूप से अर्थ 2 और 3 में विभाज्य हैं। | ||
यदि R अतिरिक्त रूप से डोमेन है तो तीनों परिभाषाएँ मेल खाती हैं। यदि R प्रमुख बाएं आदर्श डोमेन है, तो विभाज्य मॉड्यूल इंजेक्शन मॉड्यूल के साथ मेल खाता है।{{sfn|Lam|1999|loc=p.70—73}} इस प्रकार पूर्णांक | यदि R अतिरिक्त रूप से डोमेन है तो तीनों परिभाषाएँ मेल खाती हैं। यदि R प्रमुख बाएं आदर्श डोमेन है, तो विभाज्य मॉड्यूल इंजेक्शन मॉड्यूल के साथ मेल खाता है।{{sfn|Lam|1999|loc=p.70—73}} इस प्रकार पूर्णांक Z की रिंग के स्थितियों में, जो प्रमुख आदर्श डोमेन है, Z-मॉड्यूल (जो वास्तव में एबेलियन समूह है) विभाज्य है यदि और केवल यदि यह इंजेक्शन है। | ||
यदि R [[ क्रमविनिमेय अंगूठी |क्रमविनिमेय | यदि R [[ क्रमविनिमेय अंगूठी |क्रमविनिमेय]] डोमेन है, तो इंजेक्टिव R मॉड्यूल विभाज्य R मॉड्यूल के साथ मेल खाता है यदि और केवल यदि R [[ डेडेकिंड डोमेन |डेडेकिंड डोमेन]] है।{{sfn|Lam|1999|loc=p.70—73}} | ||
== यह भी देखें == | == यह भी देखें == | ||
| Line 88: | Line 88: | ||
*{{Cite journal | last=Matlis|first=Eben | title=Injective modules over Noetherian rings | url=http://projecteuclid.org/getRecord?id=euclid.pjm/1103039896 | mr=0099360 | year=1958 | journal=Pacific Journal of Mathematics | issn=0030-8730 | volume=8 | pages=511–528 | doi=10.2140/pjm.1958.8.511| doi-access=free }} | *{{Cite journal | last=Matlis|first=Eben | title=Injective modules over Noetherian rings | url=http://projecteuclid.org/getRecord?id=euclid.pjm/1103039896 | mr=0099360 | year=1958 | journal=Pacific Journal of Mathematics | issn=0030-8730 | volume=8 | pages=511–528 | doi=10.2140/pjm.1958.8.511| doi-access=free }} | ||
*{{citation |last1=Nicholson|first1=W. K. |last2=Yousif|first2=M. F. |title=Quasi-Frobenius rings |series=Cambridge Tracts in Mathematics |volume=158 |publisher=Cambridge University Press |place=Cambridge |year=2003 |pages=xviii+307 |isbn=0-521-81593-2 |mr=2003785 |doi=10.1017/CBO9780511546525}} | *{{citation |last1=Nicholson|first1=W. K. |last2=Yousif|first2=M. F. |title=Quasi-Frobenius rings |series=Cambridge Tracts in Mathematics |volume=158 |publisher=Cambridge University Press |place=Cambridge |year=2003 |pages=xviii+307 |isbn=0-521-81593-2 |mr=2003785 |doi=10.1017/CBO9780511546525}} | ||
[[Category:Articles with hatnote templates targeting a nonexistent page]] | |||
[[Category: | |||
[[Category:Created On 03/03/2023]] | [[Category:Created On 03/03/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Pages that use a deprecated format of the math tags]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:एबेलियन समूह सिद्धांत]] | |||
[[Category:समूहों के गुण]] | |||
Latest revision as of 13:14, 22 March 2023
गणित में, विशेष रूप से समूह सिद्धांत के क्षेत्र में, विभाज्य समूह एबेलियन समूह होता है जिसमें प्रत्येक तत्व, किसी अर्थ में, धनात्मक पूर्णांकों द्वारा विभाजित किया जा सकता है, या अधिक सही रूप से, प्रत्येक तत्व प्रत्येक धनात्मक पूर्णांक n के लिए nवां गुणक होता है। विशेषकर, एबेलियन समूहों की संरचना को समझने में विभाज्य समूह महत्वपूर्ण हैं, क्योंकि वे इंजेक्टिव एबेलियन समूह हैं।
परिभाषा
एबेलियन समूह विभाज्य है यदि, हर धनात्मक और हर पूर्णांक के लिए, वहां उपस्थित ऐसा है कि ।[1] समतुल्य स्थिति है: किसी भी धनात्मक पूर्णांक के लिए, क्योंकि प्रत्येक और के लिए का अस्तित्व दर्शाता है कि , और दूसरी दिशा प्रत्येक समूह के लिए सत्य है। तीसरी समतुल्य स्थिति यह है कि एबेलियन समूह विभाज्य है यदि और केवल यदि एबेलियन समूहों की श्रेणी में इंजेक्टिव वस्तु है; इस कारण से, विभाज्य समूह को कभी-कभी इंजेक्टिव समूह कहा जाता है।
एबेलियन समूह अभाज्य के लिए -विभाज्य है, यदि प्रत्येक के लिए , उपस्थित है जैसे कि । समतुल्य रूप से, यदि और केवल यदि के लिए एबेलियन समूह -विभाज्य है।
उदाहरण
- परिमेय संख्याएँ योग के अनुसार विभाज्य समूह बनाएं।
- अधिक सामान्यतः, किसी भी सदिश स्थान का अंतर्निहित योगात्मक समूह विभाज्य है।
- विभाज्य समूह का प्रत्येक भागफल समूह विभाज्य है। इस प्रकार, विभाज्य है।
- का p-प्राथमिक घटक , जो p-अर्धचक्रीय समूह के लिए समरूप और विभाज्य है।
- सम्मिश्र संख्याओं का गुणक समूह विभाज्य है।
- प्रत्येक अस्तित्वगत रूप से बंद एबेलियन समूह (मॉडल सिद्धांत के अर्थ में) विभाज्य है।
गुण
- यदि विभाज्य समूह एबेलियन समूह का उपसमूह है तो यह उस एबेलियन समूह का प्रत्यक्ष योग है।[2]
- प्रत्येक एबेलियन समूह को विभाज्य समूह में एम्बेडिंग किया जा सकता है।[3]
- गैर-तुच्छ विभाज्य समूह अंतिम रूप से उत्पन्न एबेलियन समूह नहीं हैं।
- इसके अतिरिक्त, प्रत्येक एबेलियन समूह को विभाज्य समूह में अद्वितीय उपसमूह के रूप में अद्वितीय विधि से एम्बेड किया जा सकता है।[4]
- एबेलियन समूह विभाज्य है यदि और केवल यदि यह प्रत्येक अभाज्य p के लिए p-विभाज्य है।
- मान लीजिए रिंग है। यदि विभाज्य समूह है, तो और -मॉड्यूल की श्रेणी में इंजेक्टिव है। है।[5]
विभाज्य समूहों की संरचना प्रमेय
माना G विभाज्य समूह है। तब G का मरोड़ उपसमूह Tor(G) विभाज्य है। चूंकि विभाज्य समूह इंजेक्शन मॉड्यूल है, Tor(G) G का सीधा योग है, इसलिए
विभाज्य समूह के भागफल के रूप में, G/Tor(G) विभाज्य है। इसके अतिरिक्त, यह मरोड़-मुक्त है। इस प्रकार, यह 'Q' पर सदिश समष्टि है और इसलिए वहाँ समुच्चय I का का अस्तित्व है, जो ऐसा है
मरोड़ उपसमूह की संरचना निर्धारित करना कठिन है, लेकिन कोई दिखा सकता है[6][7] कि सभी अभाज्य संख्याओं के लिए p उपस्थित है, ऐसा है कि
जहाँ टोर (G) का P-प्राथमिक घटक है।
इस प्रकार, यदि 'P' अभाज्य संख्याओं का समुच्चय है,
सेट I और Ip की कार्डिनैलिटी p ∈ 'P' के लिए विशिष्ट रूप से समूह G द्वारा निर्धारित किया जाता है।
इंजेक्शन लिफाफा
जैसा कि ऊपर कहा गया है, किसी भी एबेलियन समूह A को विभाज्य समूह D में आवश्यक उपसमूह के रूप में विशिष्ट रूप से एम्बेड किया जा सकता है। यह विभाज्य समूह D, A का 'इंजेक्शन लिफाफा' है, और यह अवधारणा एबेलियन समूहों की श्रेणी में इंजेक्शन उपसमूह है।
कम एबेलियन समूह
एबेलियन समूह को घटा हुआ कहा जाता है यदि इसका एकमात्र विभाज्य उपसमूह {0} है। प्रत्येक एबेलियन समूह विभाज्य उपसमूह और कम उपसमूह का प्रत्यक्ष योग है। वास्तव में, किसी भी समूह का अनूठा सबसे बड़ा विभाज्य उपसमूह होता है, और यह विभाज्य उपसमूह प्रत्यक्ष योग होता है।[8] यह पूर्णांक Z जैसे अनुवांशिक छल्ले की विशेष विशेषता है: इंजेक्शन मॉड्यूल के मॉड्यूल का सीधा योग इंजेक्शन है क्योंकि रिंग नोथेरियन है, और इंजेक्शन के अंश इंजेक्शन हैं क्योंकि रिंग अनुवांशिक है, इसलिए इंजेक्शन मॉड्यूल द्वारा उत्पन्न कोई सबमिशन इंजेक्शन है। विलोम (मैटलिस 1958) का परिणाम है: यदि प्रत्येक मॉड्यूल में अद्वितीय अधिकतम इंजेक्टिव सब मॉड्यूल होता है, तो रिंग अनुवांशिक होती है।
उल्म के प्रमेय द्वारा गणनीय कम आवधिक एबेलियन समूहों का पूर्ण वर्गीकरण दिया गया है।
सामान्यीकरण
कई अलग-अलग परिभाषाएँ विभाज्य समूहों को विभाज्य मॉड्यूल के लिए सामान्यीकृत करती हैं। निम्नलिखित परिभाषाओं का उपयोग साहित्य में रिंग R पर विभाज्य मॉड्यूल M को परिभाषित करने के लिए किया गया है:
- rM = M R सभी अशून्य r के लिए[9] (कभी-कभी यह आवश्यक होता है कि आर शून्य-भाजक नहीं है, और कुछ लेखकों[10] की आवश्यकता है कि r डोमेन) है।
- प्रत्येक प्रिंसिपल लेफ्ट आदर्श Ra के लिए, Ra से M तक कोई समरूपता R से M में समरूपता तक फैली हुई है।[11][12] (इस प्रकार के विभाज्य मॉड्यूल को मुख्यतः इंजेक्शन मॉड्यूल भी कहा जाता है।)
- R के हर अंतिम रूप से उत्पन्न मॉड्यूल बायें आदर्श L के लिए, L से M में कोई भी समरूपता R से M में समरूपता तक फैली हुई है।
अंतिम दो शर्तें इंजेक्टिव मॉड्यूल के लिए बेयर की कसौटी के प्रतिबंधित संस्करण हैं। चूँकि इंजेक्टिव बाएँ मॉड्यूल सभी बाएँ आदर्शों से R तक समरूपता का विस्तार करते हैं, इंजेक्टिव मॉड्यूल स्पष्ट रूप से अर्थ 2 और 3 में विभाज्य हैं।
यदि R अतिरिक्त रूप से डोमेन है तो तीनों परिभाषाएँ मेल खाती हैं। यदि R प्रमुख बाएं आदर्श डोमेन है, तो विभाज्य मॉड्यूल इंजेक्शन मॉड्यूल के साथ मेल खाता है।[13] इस प्रकार पूर्णांक Z की रिंग के स्थितियों में, जो प्रमुख आदर्श डोमेन है, Z-मॉड्यूल (जो वास्तव में एबेलियन समूह है) विभाज्य है यदि और केवल यदि यह इंजेक्शन है।
यदि R क्रमविनिमेय डोमेन है, तो इंजेक्टिव R मॉड्यूल विभाज्य R मॉड्यूल के साथ मेल खाता है यदि और केवल यदि R डेडेकिंड डोमेन है।[13]
यह भी देखें
- इंजेक्शन वाली वस्तु
- इंजेक्शन मॉड्यूल
टिप्पणियाँ
- ↑ Griffith, p.6
- ↑ Hall, p.197
- ↑ Griffith, p.17
- ↑ Griffith, p.19
- ↑ Lang, p. 106
- ↑ Kaplansky 1965.
- ↑ Fuchs 1970.
- ↑ Griffith, p.7
- ↑ Feigelstock 2006.
- ↑ Cartan & Eilenberg 1999.
- ↑ Lam 1999.
- ↑ Nicholson & Yousif 2003.
- ↑ 13.0 13.1 Lam 1999, p.70—73.
संदर्भ
- Cartan, Henri; Eilenberg, Samuel (1999), Homological algebra, Princeton Landmarks in Mathematics, Princeton, NJ: Princeton University Press, pp. xvi+390, ISBN 0-691-04991-2, MR 1731415 With an appendix by David A. Buchsbaum; Reprint of the 1956 original
- Feigelstock, Shalom (2006), "Divisible is injective", Soochow J. Math., 32 (2): 241–243, ISSN 0250-3255, MR 2238765
- Griffith, Phillip A. (1970). Infinite Abelian group theory. Chicago Lectures in Mathematics. University of Chicago Press. ISBN 0-226-30870-7.
- Hall, Marshall, jr (1959). The theory of groups. New York: Macmillan.
{{cite book}}: CS1 maint: multiple names: authors list (link) Chapter 13.3. - Kaplansky, Irving (1965). Infinite Abelian Groups. University of Michigan Press.
- Fuchs, László (1970). Infinite Abelian Groups Vol 1. Academic Press.
- 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
- Serge Lang (1984). Algebra, Second Edition. Menlo Park, California: Addison-Wesley.
- 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.
- Nicholson, W. K.; Yousif, M. F. (2003), Quasi-Frobenius rings, Cambridge Tracts in Mathematics, vol. 158, Cambridge: Cambridge University Press, pp. xviii+307, doi:10.1017/CBO9780511546525, ISBN 0-521-81593-2, MR 2003785