विभाज्य समूह: Difference between revisions

Latest revision as of 13:14, 22 March 2023

गणित में, विशेष रूप से समूह सिद्धांत के क्षेत्र में, विभाज्य समूह एबेलियन समूह होता है जिसमें प्रत्येक तत्व, किसी अर्थ में, धनात्मक पूर्णांकों द्वारा विभाजित किया जा सकता है, या अधिक सही रूप से, प्रत्येक तत्व प्रत्येक धनात्मक पूर्णांक n के लिए nवां गुणक होता है। विशेषकर, एबेलियन समूहों की संरचना को समझने में विभाज्य समूह महत्वपूर्ण हैं, क्योंकि वे इंजेक्टिव एबेलियन समूह हैं।

परिभाषा

एबेलियन समूह $(G,+)$ विभाज्य है यदि, हर धनात्मक $n$ और हर $g\in G$ पूर्णांक के लिए, वहां उपस्थित $y\in G$ ऐसा है कि $ny=g$ ।^[1] समतुल्य स्थिति है: किसी भी धनात्मक पूर्णांक $n$ के लिए, $nG=G$ क्योंकि प्रत्येक $n$ और $g$ के लिए $y$ का अस्तित्व दर्शाता है कि $nG\supseteq G$ , और दूसरी दिशा $nG\subseteq G$ प्रत्येक समूह के लिए सत्य है। तीसरी समतुल्य स्थिति यह है कि एबेलियन समूह $G$ विभाज्य है यदि और केवल यदि $G$ एबेलियन समूहों की श्रेणी में इंजेक्टिव वस्तु है; इस कारण से, विभाज्य समूह को कभी-कभी इंजेक्टिव समूह कहा जाता है।

एबेलियन समूह अभाज्य $p$ के लिए $p$ -विभाज्य है, यदि प्रत्येक $g\in G$ के लिए $y\in G$ , उपस्थित है जैसे कि $py=g$ । समतुल्य रूप से, यदि और केवल यदि $pG=G$ के लिए एबेलियन समूह $p$ -विभाज्य है।

उदाहरण

परिमेय संख्याएँ $\mathbb {Q}$ योग के अनुसार विभाज्य समूह बनाएं।
अधिक सामान्यतः, किसी भी सदिश स्थान का अंतर्निहित योगात्मक समूह $\mathbb {Q}$ विभाज्य है।
विभाज्य समूह का प्रत्येक भागफल समूह विभाज्य है। इस प्रकार, $\mathbb {Q} /\mathbb {Z}$ विभाज्य है।
$\mathbb {Q} /\mathbb {Z}$ का p-प्राथमिक घटक $\mathbb {Z} [1/p]/\mathbb {Z}$ , जो p-अर्धचक्रीय समूह $\mathbb {Z} [p^{\infty }]$ के लिए समरूप और विभाज्य है।
सम्मिश्र संख्याओं का गुणक समूह $\mathbb {C} ^{*}$ विभाज्य है।
प्रत्येक अस्तित्वगत रूप से बंद एबेलियन समूह (मॉडल सिद्धांत के अर्थ में) विभाज्य है।

गुण

यदि विभाज्य समूह एबेलियन समूह का उपसमूह है तो यह उस एबेलियन समूह का प्रत्यक्ष योग है।^[2]
प्रत्येक एबेलियन समूह को विभाज्य समूह में एम्बेडिंग किया जा सकता है।^[3]
गैर-तुच्छ विभाज्य समूह अंतिम रूप से उत्पन्न एबेलियन समूह नहीं हैं।
इसके अतिरिक्त, प्रत्येक एबेलियन समूह को विभाज्य समूह में अद्वितीय उपसमूह के रूप में अद्वितीय विधि से एम्बेड किया जा सकता है।^[4]
एबेलियन समूह विभाज्य है यदि और केवल यदि यह प्रत्येक अभाज्य p के लिए p-विभाज्य है।
मान लीजिए $A$ रिंग है। यदि $T$ विभाज्य समूह है, तो $\mathrm {Hom} _{\mathbf {Z} {\text{-Mod}}}(A,T)$ और $A$ -मॉड्यूल की श्रेणी में इंजेक्टिव है। है।^[5]

विभाज्य समूहों की संरचना प्रमेय

माना G विभाज्य समूह है। तब G का मरोड़ उपसमूह Tor(G) विभाज्य है। चूंकि विभाज्य समूह इंजेक्शन मॉड्यूल है, Tor(G) G का सीधा योग है, इसलिए

G=\mathrm {Tor} (G)\oplus G/\mathrm {Tor} (G).

विभाज्य समूह के भागफल के रूप में, G/Tor(G) विभाज्य है। इसके अतिरिक्त, यह मरोड़-मुक्त है। इस प्रकार, यह 'Q' पर सदिश समष्टि है और इसलिए वहाँ समुच्चय I का का अस्तित्व है, जो ऐसा है

G/\mathrm {Tor} (G)=\bigoplus _{i\in I}\mathbb {Q} =\mathbb {Q} ^{(I)}.

मरोड़ उपसमूह की संरचना निर्धारित करना कठिन है, लेकिन कोई दिखा सकता है^[6]^[7] कि सभी अभाज्य संख्याओं के लिए p उपस्थित है, $I_{p}$ ऐसा है कि

(\mathrm {Tor} (G))_{p}=\bigoplus _{i\in I_{p}}\mathbb {Z} [p^{\infty }]=\mathbb {Z} [p^{\infty }]^{(I_{p})},

जहाँ $(\mathrm {Tor} (G))_{p}$ टोर (G) का P-प्राथमिक घटक है।

इस प्रकार, यदि 'P' अभाज्य संख्याओं का समुच्चय है,

G=\left(\bigoplus _{p\in \mathbf {P} }\mathbb {Z} [p^{\infty }]^{(I_{p})}\right)\oplus \mathbb {Q} ^{(I)}.

सेट I और I_p की कार्डिनैलिटी 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]

यह भी देखें

इंजेक्शन वाली वस्तु
इंजेक्शन मॉड्यूल

संदर्भ

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

[1] Griffith, p.6

[2] Hall, p.197

[3] Griffith, p.17

[4] Griffith, p.19

[5] Lang, p. 106

[FOOTNOTEKaplansky1965-6] Kaplansky 1965.

[FOOTNOTEFuchs1970-7] Fuchs 1970.

[8] Griffith, p.7

[FOOTNOTEFeigelstock2006-9] Feigelstock 2006.

[FOOTNOTECartanEilenberg1999-10] Cartan & Eilenberg 1999.

[FOOTNOTELam1999-11] Lam 1999.

[FOOTNOTENicholsonYousif2003-12] Nicholson & Yousif 2003.

[FOOTNOTELam1999p.70—73-13] 13.0 ^13.1 Lam 1999, p.70—73.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

@@ Line 1: / Line 1: @@
-गणित में, विशेष रूप से [[समूह सिद्धांत]] के क्षेत्र में, एक विभाज्य समूह एक [[एबेलियन समूह]] होता है जिसमें प्रत्येक तत्व, किसी अर्थ में, सकारात्मक पूर्णांकों द्वारा विभाजित किया जा सकता है, या अधिक सही रूप से, प्रत्येक तत्व एक ''n'' गुणक होता है प्रत्येक धनात्मक पूर्णांक ''n''. एबेलियन समूहों की संरचना को समझने में विभाज्य समूह महत्वपूर्ण हैं, विशेष रूप से क्योंकि वे [[इंजेक्शन मॉड्यूल]] एबेलियन समूह हैं।
+गणित में, विशेष रूप से [[समूह सिद्धांत]] के क्षेत्र में, विभाज्य समूह [[एबेलियन समूह]] होता है जिसमें प्रत्येक तत्व, किसी अर्थ में, धनात्मक पूर्णांकों द्वारा विभाजित किया जा सकता है, या अधिक सही रूप से, प्रत्येक तत्व प्रत्येक धनात्मक पूर्णांक n के लिए nवां गुणक होता है। विशेषकर, एबेलियन समूहों की संरचना को समझने में विभाज्य समूह महत्वपूर्ण हैं, क्योंकि वे [[इंजेक्शन मॉड्यूल|इंजेक्टिव]] एबेलियन समूह हैं।
 == परिभाषा ==
-एक एबेलियन समूह <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>y</math> हर एक के लिए <math>n</math> और <math>g</math> इसका आशय है <math>n G\supseteq G</math>, और दूसरी दिशा <math>n G\subseteq G</math> प्रत्येक समूह के लिए सत्य है। एक तीसरी समान स्थिति यह है कि एक एबेलियन समूह <math>G</math> विभाज्य है अगर और केवल अगर <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>p</math>-विभाज्य अगर और केवल अगर <math>pG=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/\mathbb Z</math> विभाज्य है।
+* विभाज्य समूह का प्रत्येक [[भागफल समूह]] विभाज्य है। इस प्रकार, <math>\mathbb Q/\mathbb Z</math> विभाज्य है।
-* पी-[[प्राथमिक घटक]] <math>\mathbb Z[1/p]/\mathbb Z</math> का <math>\mathbb Q/ \mathbb Z</math>, जो पी-क्वैसीसाइक्लिक समूह के लिए [[समूह समरूपता]] है <math>\mathbb Z[p^\infty]</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> विभाज्य है।
 * प्रत्येक [[अस्तित्वगत रूप से बंद]] एबेलियन समूह ([[मॉडल सिद्धांत]] के अर्थ में) विभाज्य है।
 == गुण ==
-* यदि एक विभाज्य समूह एक एबेलियन समूह का एक [[उपसमूह]] है तो यह उस एबेलियन समूह का [[प्रत्यक्ष योग]] है।<ref>Hall, p.197</ref>
+* यदि विभाज्य समूह एबेलियन समूह का [[उपसमूह]] है तो यह उस एबेलियन समूह का [[प्रत्यक्ष योग]] है।<ref>Hall, p.197</ref>
 * प्रत्येक एबेलियन समूह को विभाज्य समूह में [[एम्बेडिंग]] किया जा सकता है।<ref>Griffith, p.17</ref>
 * गैर-तुच्छ विभाज्य समूह [[अंतिम रूप से उत्पन्न एबेलियन समूह]] नहीं हैं।
-* इसके अतिरिक्त, प्रत्येक एबेलियन समूह को एक विभाज्य समूह में एक अद्वितीय उपसमूह के रूप में एक अद्वितीय तरीके से एम्बेड किया जा सकता है।<ref>Griffith, p.19</ref>
+* इसके अतिरिक्त, प्रत्येक एबेलियन समूह को विभाज्य समूह में अद्वितीय उपसमूह के रूप में अद्वितीय विधि से एम्बेड किया जा सकता है।<ref>Griffith, p.19</ref>
-* एक एबेलियन समूह विभाज्य है यदि और केवल यदि यह प्रत्येक अभाज्य p के लिए p-विभाज्य है।
+* एबेलियन समूह विभाज्य है यदि और केवल यदि यह प्रत्येक अभाज्य p के लिए p-विभाज्य है।
-* होने देना <math>A</math> अँगूठी बनो (गणित)। अगर <math>T</math> एक विभाज्य समूह है, तो <math>\mathrm{Hom}_{\mathbf{Z}\text{-Mod}} (A,T)</math> की [[श्रेणी (गणित)]] में इंजेक्शन है <math>A</math>-[[मॉड्यूल (गणित)]]।<ref>Lang, p. 106</ref>
+* मान लीजिए <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>
-विभाज्य समूह के भागफल के रूप में, G/Tor(G) विभाज्य है। इसके अलावा, यह [[मरोड़ (बीजगणित)]] | मरोड़-मुक्त है। इस प्रकार, यह 'Q' पर एक सदिश समष्टि है और इसलिए वहाँ एक समुच्चय I का अस्तित्व है
+विभाज्य समूह के भागफल के रूप में, G/Tor(G) विभाज्य है। इसके अतिरिक्त, यह [[मरोड़ (बीजगणित)|मरोड़]]-मुक्त है। इस प्रकार, यह 'Q' पर सदिश समष्टि है और इसलिए वहाँ समुच्चय ''I'' का का अस्तित्व है, जो ऐसा है
 :<math>G/\mathrm{Tor}(G) = \bigoplus_{i \in I} \mathbb Q = \mathbb Q^{(I)}.</math>
-मरोड़ उपसमूह की संरचना निर्धारित करना कठिन है, लेकिन कोई दिखा सकता है{{sfn|Kaplansky|1965}}{{sfn|Fuchs|1970}} कि सभी अभाज्य संख्याओं p का अस्तित्व है <math>I_p</math> ऐसा है कि
+मरोड़ उपसमूह की संरचना निर्धारित करना कठिन है, लेकिन कोई दिखा सकता है{{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</math> टोर (जी) का पी-प्राथमिक घटक है।
+जहाँ <math>(\mathrm{Tor}(G))_p</math> टोर (G) का P-प्राथमिक घटक है।
 इस प्रकार, यदि 'P' अभाज्य संख्याओं का समुच्चय है,
 :<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>'' की कार्डिनैलिटी<sub>''p''</sub> p ∈ 'P' के लिए विशिष्ट रूप से समूह G द्वारा निर्धारित किया जाता है।
+सेट ''I'' और ''I<sub>p</sub>'' की कार्डिनैलिटी p ∈ 'P' के लिए विशिष्ट रूप से समूह G द्वारा निर्धारित किया जाता है।
 == इंजेक्शन लिफाफा ==
 {{main|इंजेक्शन लिफाफा}}
-जैसा कि ऊपर कहा गया है, किसी भी एबेलियन समूह A को एक विभाज्य समूह डी में एक आवश्यक उपसमूह के रूप में विशिष्ट रूप से एम्बेड किया जा सकता है। यह विभाज्य समूह D A का 'इंजेक्शन लिफाफा' है, और यह अवधारणा एबेलियन समूहों की श्रेणी में [[इंजेक्शन पतवार]] है।
+जैसा कि ऊपर कहा गया है, किसी भी एबेलियन समूह A को विभाज्य समूह D में आवश्यक उपसमूह के रूप में विशिष्ट रूप से एम्बेड किया जा सकता है। यह विभाज्य समूह D, A का 'इंजेक्शन लिफाफा' है, और यह अवधारणा एबेलियन समूहों की श्रेणी में [[इंजेक्शन पतवार|इंजेक्शन उपसमूह]] है।
 == कम एबेलियन समूह ==
-एक एबेलियन समूह को घटा हुआ कहा जाता है यदि इसका एकमात्र विभाज्य उपसमूह {0} है। प्रत्येक एबेलियन समूह एक विभाज्य उपसमूह और एक कम उपसमूह का प्रत्यक्ष योग है। वास्तव में, किसी भी समूह का एक अनूठा सबसे बड़ा विभाज्य उपसमूह होता है, और यह विभाज्य उपसमूह एक प्रत्यक्ष योग होता है।<ref>Griffith, p.7</ref> यह पूर्णांक जेड जैसे वंशानुगत छल्ले की एक विशेष विशेषता है: इंजेक्शन मॉड्यूल के मॉड्यूल का सीधा योग इंजेक्शन है क्योंकि अंगूठी [[नोथेरियन रिंग]] है, और इंजेक्शन के उद्धरण इंजेक्शन हैं क्योंकि अंगूठी वंशानुगत है, इसलिए इंजेक्शन मॉड्यूल द्वारा उत्पन्न कोई सबमिशन इंजेक्शन है। विलोम का परिणाम है {{harv|मैटलिस|1958}}: यदि प्रत्येक मॉड्यूल में एक अद्वितीय अधिकतम इंजेक्टिव सब मॉड्यूल होता है, तो रिंग वंशानुगत होती है।
+एबेलियन समूह को घटा हुआ कहा जाता है यदि इसका एकमात्र विभाज्य उपसमूह {0} है। प्रत्येक एबेलियन समूह विभाज्य उपसमूह और कम उपसमूह का प्रत्यक्ष योग है। वास्तव में, किसी भी समूह का अनूठा सबसे बड़ा विभाज्य उपसमूह होता है, और यह विभाज्य उपसमूह प्रत्यक्ष योग होता है।<ref>Griffith, p.7</ref> यह पूर्णांक Z जैसे अनुवांशिक छल्ले की विशेष विशेषता है: इंजेक्शन मॉड्यूल के मॉड्यूल का सीधा योग इंजेक्शन है क्योंकि [[नोथेरियन रिंग|रिंग]] [[नोथेरियन रिंग|नोथेरियन]] है, और इंजेक्शन के अंश इंजेक्शन हैं क्योंकि रिंग अनुवांशिक है, इसलिए इंजेक्शन मॉड्यूल द्वारा उत्पन्न कोई सबमिशन इंजेक्शन है। विलोम {{harv|मैटलिस|1958}} का परिणाम है: यदि प्रत्येक मॉड्यूल में अद्वितीय अधिकतम इंजेक्टिव सब मॉड्यूल होता है, तो रिंग अनुवांशिक होती है।
-उल्म के प्रमेय द्वारा गणनीय कम आवधिक एबेलियन समूहों का एक पूर्ण वर्गीकरण दिया गया है।
+उल्म के प्रमेय द्वारा गणनीय कम आवधिक एबेलियन समूहों का पूर्ण वर्गीकरण दिया गया है।
 == सामान्यीकरण ==
-कई अलग-अलग परिभाषाएँ विभाज्य समूहों को विभाज्य मॉड्यूल के लिए सामान्यीकृत करती हैं। एक रिंग (गणित) ''आर'' पर एक विभाज्य मॉड्यूल (गणित) ''एम'' को परिभाषित करने के लिए साहित्य में निम्नलिखित परिभाषाओं का उपयोग किया गया है:
+कई अलग-अलग परिभाषाएँ विभाज्य समूहों को विभाज्य मॉड्यूल के लिए सामान्यीकृत करती हैं। निम्नलिखित परिभाषाओं का उपयोग साहित्य में रिंग R पर विभाज्य मॉड्यूल ''M'' को परिभाषित करने के लिए किया गया है:
-# ''rM'' = ''M'' सभी nonzero ''r'' के लिए ''R'' में।{{sfn|Feigelstock|2006}} (यह कभी-कभी आवश्यक होता है कि आर शून्य-भाजक नहीं है, और कुछ लेखक हैं{{sfn|Cartan|Eilenberg|1999}} के लिए आवश्यक है कि R एक [[डोमेन (रिंग थ्योरी)]] हो।)
+# ''rM'' = ''M R'' सभी अशून्य ''r'' के लिए{{sfn|Feigelstock|2006}} (कभी-कभी यह आवश्यक होता है कि आर शून्य-भाजक नहीं है, और कुछ लेखकों{{sfn|Cartan|Eilenberg|1999}} की आवश्यकता है कि ''r'' [[डोमेन (रिंग थ्योरी)|डोमेन)]] है।
-# हर प्रिंसिपल लेफ्ट आइडियल (रिंग थ्योरी) रा के लिए, रा से एम में कोई भी [[मॉड्यूल समरूपता]] आर से एम में होमोमोर्फिज्म तक फैला हुआ है।{{sfn|Lam|1999}}{{sfn|Nicholson|Yousif
+# प्रत्येक प्रिंसिपल लेफ्ट आदर्श Ra के लिए, Ra से M तक कोई समरूपता R से M में [[मॉड्यूल समरूपता|समरूपता]] तक फैली हुई है।{{sfn|Lam|1999}}{{sfn|Nicholson|Yousif
-|2003}} (इस प्रकार के विभाज्य मॉड्यूल को मुख्य रूप से इंजेक्टिव मॉड्यूल भी कहा जाता है।)
+|2003}} (इस प्रकार के विभाज्य मॉड्यूल को मुख्यतः इंजेक्शन मॉड्यूल भी कहा जाता है।)
-# हर [[अंतिम रूप से उत्पन्न मॉड्यूल]] के लिए R के आदर्श L को छोड़ दें, L से M में कोई भी समरूपता R से M में एक समरूपता तक फैली हुई है।{{CN|date=January 2023}}
+# R के हर [[अंतिम रूप से उत्पन्न मॉड्यूल]] बायें आदर्श L के लिए, L से M में कोई भी समरूपता R से M में समरूपता तक फैली हुई है।
-अंतिम दो शर्तें इंजेक्टिव मॉड्यूल के लिए बेयर की कसौटी के प्रतिबंधित संस्करण हैं। चूँकि अंतःक्षेपी बाएँ मॉड्यूल सभी बाएँ आदर्शों से R तक समरूपता का विस्तार करते हैं, अंतःक्षेपी मॉड्यूल स्पष्ट रूप से अर्थ 2 और 3 में विभाज्य हैं।
+अंतिम दो शर्तें इंजेक्टिव मॉड्यूल के लिए बेयर की कसौटी के प्रतिबंधित संस्करण हैं। चूँकि इंजेक्टिव बाएँ मॉड्यूल सभी बाएँ आदर्शों से R तक समरूपता का विस्तार करते हैं, इंजेक्टिव मॉड्यूल स्पष्ट रूप से अर्थ 2 और 3 में विभाज्य हैं।
-यदि R अतिरिक्त रूप से एक डोमेन है तो तीनों परिभाषाएँ मेल खाती हैं। यदि R एक प्रमुख बाएं आदर्श डोमेन है, तो विभाज्य मॉड्यूल इंजेक्शन मॉड्यूल के साथ मेल खाता है।{{sfn|Lam|1999|loc=p.70—73}} इस प्रकार पूर्णांक जेड की अंगूठी के मामले में, जो एक प्रमुख आदर्श डोमेन है, एक जेड-मॉड्यूल (जो वास्तव में एक एबेलियन समूह है) विभाज्य है अगर और केवल अगर यह इंजेक्शन है।
+यदि R अतिरिक्त रूप से डोमेन है तो तीनों परिभाषाएँ मेल खाती हैं। यदि R प्रमुख बाएं आदर्श डोमेन है, तो विभाज्य मॉड्यूल इंजेक्शन मॉड्यूल के साथ मेल खाता है।{{sfn|Lam|1999|loc=p.70—73}} इस प्रकार पूर्णांक Z की रिंग के स्थितियों में, जो प्रमुख आदर्श डोमेन है, Z-मॉड्यूल (जो वास्तव में एबेलियन समूह है) विभाज्य है यदि और केवल यदि यह इंजेक्शन है।
-यदि ''आर'' एक [[ क्रमविनिमेय अंगूठी ]] डोमेन है, तो इंजेक्टिव ''आर'' मॉड्यूल विभाज्य ''आर'' मॉड्यूल के साथ मेल खाता है अगर और केवल अगर ''आर'' एक [[ डेडेकिंड डोमेन ]] है।{{sfn|Lam|1999|loc=p.70—73}}
+यदि R [[ क्रमविनिमेय अंगूठी |क्रमविनिमेय]] डोमेन है, तो इंजेक्टिव R मॉड्यूल विभाज्य R मॉड्यूल के साथ मेल खाता है यदि और केवल यदि R [[ डेडेकिंड डोमेन |डेडेकिंड डोमेन]] है।{{sfn|Lam|1999|loc=p.70—73}}
 == यह भी देखें ==
@@ Line 81: / Line 81: @@
 *{{citation |last=Feigelstock |first=Shalom |title=Divisible is injective |journal=Soochow J. Math. |volume=32 |year=2006 |number=2|pages=241–243 |issn=0250-3255 |mr=2238765}}
 * {{cite book | last=Griffith|first=Phillip A. | title=Infinite Abelian group theory | series=Chicago Lectures in Mathematics | publisher=University of Chicago Press | year=1970 | isbn=0-226-30870-7 }}
-* {{cite book | title=The theory of groups |last=Hall|first=Marshall, jr | authorlink=Marshall Hall (mathematician) | location=New York | publisher=Macmillan | year=1959 }}  Chapter 13.3.
+* {{cite book | title=The theory of groups |last=Hall|first=Marshall, jr | authorlink=Marshall Hall (mathematician) | location=New York | publisher=Macmillan | year=1959 }} Chapter 13.3.
 * {{cite book | title=Infinite Abelian Groups|last=Kaplansky|first=Irving | authorlink=Irving Kaplansky | publisher=University of Michigan Press | year=1965 }}
 * {{cite book | title=Infinite Abelian Groups Vol 1|last=Fuchs|first=László | authorlink=László Fuchs | publisher=Academic Press | year=1970 }}
@@ 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 }}
 *{{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: एबेलियन समूह सिद्धांत]] [[Category: समूहों के गुण]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
-[[Category: Machine Translated Page]]
 [[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:समूहों के गुण]]

Anonymous

Search

विभाज्य समूह: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 13:14, 22 March 2023

Contents

परिभाषा

उदाहरण

गुण

विभाज्य समूहों की संरचना प्रमेय

इंजेक्शन लिफाफा

कम एबेलियन समूह

सामान्यीकरण

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

विभाज्य समूह: Difference between revisions

Latest revision as of 13:14, 22 March 2023

परिभाषा

उदाहरण

गुण

विभाज्य समूहों की संरचना प्रमेय

इंजेक्शन लिफाफा

कम एबेलियन समूह

सामान्यीकरण

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories