अंतत: एबेलियन समूह: Difference between revisions

Latest revision as of 10:09, 22 February 2023

अमूर्त बीजगणित में, एबेलियन समूह $(G,+)$ परिमित रूप से उत्पन्न तब कहा जाता है यदि $G$ में अधिक तत्व $x_{1},\dots ,x_{s}$ उपलब्ध हैं और ऐसा है कि $G$ के सभी $x$ में $x$ को $x=n_{1}x_{1}+n_{2}x_{2}+\cdots +n_{s}x_{s}$ के रूप में लिखा जा सकता है कुछ पूर्णांक $n_{1},\dots ,n_{s}$ के लिए इस सन्दर्भ में, कहते हैं कि समुच्चय $\{x_{1},\dots ,x_{s}\}$ , $G$ का उत्पादक समुच्चय है या $x_{1},\dots ,x_{s}$ , $G$ का उत्पादन करता है।

प्रत्येक परिमित एबेलियन समूह सूक्ष्म रूप से उत्पन्न होता है। सूक्ष्म रूप से उत्पन्न एबेलियन समूहों को पूरी तरह से वर्गीकृत किया जा सकता है।

उदाहरण

पूर्णांक, $\left(\mathbb {Z} ,+\right)$ , परिमित एबेलियन समूह हैं।
प्रमापीय अंकगणित पूर्णांक सापेक्ष $n$ , $\left(\mathbb {Z} /n\mathbb {Z} ,+\right)$ , परिमित एबेलियन समूह हैं।
परिमित रूप से उत्पन्न एबेलियन समूहों का कोई भी प्रत्यक्ष योग पुनः परिमित रूप से उत्पन्न एबेलियन समूह है।
प्रत्येक जालक समूह एक परिमित रूप से उत्पन्न मुक्त आबेलीयन समूह बनाता है।

समरूपता के अंत तक कोई अन्य उदाहरण नहीं हैं। विशेष रूप से, परिमेय संख्याओं का समूह $\left(\mathbb {Q} ,+\right)$ पूर्ण रूप से उत्पन्न नहीं होता है:^[1] यदि $x_{1},\ldots ,x_{n}$ परिमेय संख्याएँ, प्राकृतिक संख्या $k$ के सभी हर के लिए सहअभाज्य संख्या है तब $1/k$ , $x_{1},\ldots ,x_{n}$ के द्वारा उत्पन्न नहीं किया जा सकता. समूह $\left(\mathbb {Q} ^{*},\cdot \right)$ गैर-शून्य परिमेय संख्याये भी अंतिम रूप से उत्पन्न नहीं होती है। इसके अतिरिक्त वास्तविक संख्याओं के समूह $\left(\mathbb {R} ,+\right)$ और गुणन के अंतर्गत शून्येतर वास्तविक संख्याएँ $\left(\mathbb {R} ^{*},\cdot \right)$ भी पूर्ण रूप से उत्पन्न नहीं होते हैं।^[1]^[2]

वर्गीकरण

परिमित रूप से उत्पन्न एबेलियन समूहों के मौलिक प्रमेय को दो तरह से संदर्भित किया सकता है, परिमित एबेलियन समूहों के मौलिक प्रमेय के दो रूपों का सामान्यीकरण प्रमेय, दोनों रूपों के एक प्रमुख आदर्श क्षेत्र पर सूक्ष्म रूप से उत्पन्न अनुखंड के लिए संरचना प्रमेय को सामान्यीकृत करता है, जो आगे के सामान्यीकरणों को स्वीकार करता है।

प्राथमिक अपघटन सूत्रीकरण बताता है कि प्रत्येक सूक्ष्म रूप से उत्पन्न एबेलियन समूह G, प्राथमिक चक्रीय समूह और अनंत चक्रीय समूहों के प्रत्यक्ष योग के समरूप है। प्राथमिक चक्रीय समूह वह है जिसके समूह का क्रम एक अभाज्य संख्या का बल है। अर्थात अंतिम रूप से उत्पन्न एबेलियन समूह

\mathbb {Z} ^{n}\oplus \mathbb {Z} _{q_{1}}\oplus \cdots \oplus \mathbb {Z} _{q_{t}},

के समरूपी होगा

जहाँ n ≥ 0 एक एबेलियन समूह की कोटि है `और संख्याएँ q₁, ...,q_n अभाज्य संख्याओं की घातें हैं। विशेष रूप से, G परिमित है यदि और केवल यदि n = 0. n, q के मान₁, ..., Q सूचकांकों को पुनर्व्यवस्थित करने तक G द्वारा विशिष्ट रूप से निर्धारित किया जाता है, अर्थात, इस तरह के अपघटन के रूप में G का प्रतिनिधित्व करने का केवल एक तरीका है।

इस कथन का प्रमाण परिमित आबेली समूह के लिए आधार प्रमेय का उपयोग करता है: प्रत्येक परिमित आबेली समूह प्राथमिक चक्रीय समूहों का प्रत्यक्ष योग है। G के घुमाव वाले उपसमूह को tG के रूप में निरूपित करें। फिर, G/tG घुमाव -मुक्त आबेली समूह है और इस प्रकार यह मुक्त आबेली है। tG, G का प्रत्यक्ष योग है, जिसका अर्थ है कि G समुच्चय एक उपसमूह F उपस्थित है। $G=tG\oplus F$ , जहां $F\cong G/tG$ . F भी मुक्त आबेली है। चूँकि tG परिमित रूप से उत्पन्न होता है और tG के प्रत्येक अवयव की परिमित कोटि होती है, tG परिमित होता है। परिमित एबेलियन समूह के आधार प्रमेय द्वारा, tG को प्राथमिक चक्रीय समूहों के प्रत्यक्ष योग के रूप में लिखा जा सकता है।

अपरिवर्तनीय कारक अपघटन

हम किसी भी अंतिम रूप से उत्पन्न एबेलियन समूह G को प्रत्यक्ष योग के रूप में भी लिख सकते हैं

\mathbb {Z} ^{n}\oplus \mathbb {Z} _{k_{1}}\oplus \cdots \oplus \mathbb {Z} _{k_{u}},

जहां K₁, K₂ को विभाजित करता है जो बाद में k₃ को विभाजित करता है और इसी तरह k_u तक विभाजन चलता रहता है , रैंक n और अपरिवर्तनीय कारक k₁, ..., k_u, G द्वारा विशिष्ट रूप से निर्धारित किया जाता है तथा अपरिवर्तनीय कारकों का क्रम समूह समरूपता को निर्धारित करता है।

समानता

ये वर्णन चीनी शेष प्रमेय के परिणामस्वरूप समान हैं, यदि j और k सहअभाज्य हैं तो इसका अर्थ $\mathbb {Z} _{jk}\cong \mathbb {Z} _{j}\oplus \mathbb {Z} _{k}$ है।

इतिहास

मौलिक प्रमेय का इतिहास और श्रेय इस तथ्य से जटिल है कि यह सिद्ध हो गया था की जब समूह सिद्धांत अच्छी तरह से स्थापित नहीं था तो अनिवार्य रूप से आधुनिक परिणाम और प्रमाण, सदैव एक विशिष्ट प्रकरण द्बवारा बताए जाते थे। संक्षेप में कहे तो परिमित प्रकरण का प्रारंभिक रूप 1801 में सिद्ध हुआ था, जबकि परिमित प्रकरण क्रोनेकर द्वारा 1870 में सिद्ध हुआ था, और समूह-सैद्धांतिक शब्दों में फ्रोबेनियस और स्टिकेलबर्गर 1878 में कहा गया कि सूक्ष्म रूप से प्रस्तुत संदर्भो को स्मिथ द्वारा सामान्य रूप से हल किया और प्रायः इसका श्रेय 1861 में स्मिथ को दिया जाता है।[3]

समूह सिद्धांतकार लेज़्लो फुच्स कहते हैं:^[3]

जहां तक परिमित एबेलियन समूहों पर मौलिक प्रमेय का संबंध है, यह स्पष्ट नहीं है कि इसकी उत्पत्ति का पता लगाने के लिए समय में कितने पहले जाना होगा। मौलिक प्रमेय को उसके वर्तमान रूप में बनाने और सिद्ध करने में अत्यधिक समय लगा .. .

लियोपोल्ड क्रोनकर द्वारा समूह-सैद्धांतिक प्रमाण का उपयोग करके परिमित एबेलियन समूहों के लिए मौलिक प्रमेय को सिद्ध किया गया था ^[4] प्रायः इसे समूह-सैद्धांतिक शब्दों में बताए बिना;^[5] क्रोनकर के प्रमाण की एक आधुनिक प्रस्तुति में दी गई थी , इसने कार्ल फ्रेडरिक गॉस के अंकगणितीय शोध 1801 ई० के परिणाम को सामान्यीकृत किया, जिसने द्विघात रूपों को वर्गीकृत किया था ; क्रोनकर ने गॉस के इस परिणाम को संदर्भित किया जिस प्रमेय को 1878 में फर्डिनेंड जॉर्ज फ्रोबेनियस और लुडविग स्टिकेलबर्गर द्वारा समूहों की भाषा में कहा गया और सिद्ध किया गया था।^[6]^[7] 1882 में क्रोनकर के छात्र यूजीन नेट द्वारा एक अन्य समूह-सैद्धांतिक सूत्रीकरण दिया गया था।^[8]^[9] हेनरी जॉन स्टीफन स्मिथ द्वारा अंतिम रूप से प्रस्तुत एबेलियन समूहों के लिए मौलिक प्रमेय सिद्ध किया गया था,^[3] जो पूर्णांक मैट्रिसेस के रूप में एबेलियन समूहों की परिमित प्रस्तुतियों के अनुरूप है। यह एक प्रमुख आदर्श क्षेत्र पर सूक्ष्मता से प्रस्तुत अनुखण्ड के लिए सामान्य है,और स्मिथ द्वारा सामान्य रूप से प्रस्तुत किए गए एबेलियन समूहों को वर्गीकृत करने के अनुरूप है।

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

सजातीय परिसर, विशेष रूप से परिसरों के आयाम की बेट्टी संख्या और घुमाव गुणांक, जहां बेट्टी संख्या मुक्त भाग के रैंक से मेल खाती है, और घुमाव गुणांक, घुमाव वाले भाग के अनुरूप है।^[4]

एमी नोथेर द्वारा क्रोनेकर के प्रमाण को अंतिम रूप से उत्पन्न एबेलियन समूहों के लिए सामान्यीकृत किया गया था।.^[4]

परिणाम

मौलिक प्रमेय में अंतिम रूप से उत्पन्न एबेलियन समूह परिमित रैंक के मुक्त एबेलियन समूह और परिमित एबेलियन समूह का प्रत्यक्ष योग है। परिमित एबेलियन समूह G का घुमाव उपसमूह है। G की रैंक को G के घुमाव-मुक्त भाग की रैंक के रूप में परिभाषित किया गया है; उपरोक्त सूत्रों में यह केवल n संख्या है।

मौलिक प्रमेय का एक परिणाम यह है कि सभी अंतिम रूप से उत्पन्न घुमाव-मुक्त एबेलियन समूह है। यहाँ अंतिम रूप से उत्पन्न स्थिति आवश्यक है: $\mathbb {Q}$ घुमाव मुक्त है लेकिन मुक्त एबेलियन नहीं है।

अंतिम रूप से उत्पन्न एबेलियन समूह का प्रत्येक उपसमूह और कारक समूह पुनः सूक्ष्म रूप से उत्पन्न एबेलियन होता है। अंतिम रूप से उत्पन्न एबेलियन समूह, समूह समरूपता के साथ मिलकर एक एबेलियन श्रेणी बनाते हैं जो कि एबेलियन समूहों की श्रेणी है।

गैर-संकुचित रूप से उत्पन्न एबेलियन समूह

ध्यान दें कि परिमित रैंक का प्रत्येक एबेलियन समूह अंतिम रूप से उत्पन्न नहीं होता है; रैंक 1 समूह $\mathbb {Q}$ का उदाहरण है, और रैंक -0 समूह की अनंत समुच्चय प्रतियों $\mathbb {Z} _{2}$ के प्रत्यक्ष योग द्वारा दिया गया है।

यह भी देखें

जॉर्डन-होल्डर प्रमेय में रचना श्रृंखला एक गैर-अबेलियन सामान्यीकरण है।

↑ ^1.0 ^1.1 Silverman & Tate (1992), p. 102
↑ de la Harpe (2000), p. 46
↑ ^3.0 ^3.1 Fuchs, László (2015) [Originally published 1958]. Abelian Groups. p. 85. ISBN 978-3-319-19422-6.
↑ ^4.0 ^4.1 ^4.2 Stillwell, John (2012). "5.2 The Structure Theorem for Finitely Generated". Classical Topology and Combinatorial Group Theory. p. 175.
↑ Wussing, Hans (2007) [1969]. Die Genesis des abstrackten Gruppenbegriffes. Ein Beitrag zur Entstehungsgeschichte der abstrakten Gruppentheorie [The Genesis of the Abstract Group Concept: A Contribution to the History of the Origin of Abstract Group Theory.]. p. 67.
↑ G. Frobenius, L. Stickelberger, Uber Grubben von vertauschbaren Elementen, J. reine u. angew. Math., 86 (1878), 217-262.
↑ Wussing (2007), pp. 234–235
↑ Substitutionentheorie und ihre Anwendung auf die Algebra, Eugen Netto, 1882
↑ Wussing (2007), pp. 234–235

संदर्भ

Smith, Henry J. Stephen (1861). "On systems of linear indeterminate equations and congruences". Phil. Trans. R. Soc. Lond. 151 (1): 293–326. doi:10.1098/rstl.1861.0016. JSTOR 108738. S2CID 110730515. Reprinted (pp. 367–409) in The Collected Mathematical Papers of Henry John Stephen Smith, Vol. I, edited by J. W. L. Glaisher. Oxford: Clarendon Press (1894), xcv+603 pp.
Silverman, Joseph H.; Tate, John Torrence (1992). Rational points on elliptic curves. Undergraduate Texts in Mathematics. Springer. ISBN 978-0-387-97825-3.
de la Harpe, Pierre (2000). Topics in geometric group theory. Chicago lectures in mathematics. University of Chicago Press. ISBN 978-0-226-31721-2.

[Silverman-Tate-1992-1] 1.0 ^1.1 Silverman & Tate (1992), p. 102

[2] Harpe (2000), p. 46

[fuchs-3] 3.0 ^3.1 Fuchs, László (2015) [Originally published 1958]. Abelian Groups. p. 85. ISBN 978-3-319-19422-6.

[stillwell175-4] 4.0 ^4.1 ^4.2 Stillwell, John (2012). "5.2 The Structure Theorem for Finitely Generated". Classical Topology and Combinatorial Group Theory. p. 175.

[wussing67-5] Wussing, Hans (2007) [1969]. Die Genesis des abstrackten Gruppenbegriffes. Ein Beitrag zur Entstehungsgeschichte der abstrakten Gruppentheorie [The Genesis of the Abstract Group Concept: A Contribution to the History of the Origin of Abstract Group Theory.]. p. 67.

[6] G. Frobenius, L. Stickelberger, Uber Grubben von vertauschbaren Elementen, J. reine u. angew. Math., 86 (1878), 217-262.

[7] Wussing (2007), pp. 234–235

[8] Substitutionentheorie und ihre Anwendung auf die Algebra, Eugen Netto, 1882

[9] Wussing (2007), pp. 234–235

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

@@ Line 1: / Line 1: @@
 {{short description|Commutative group where every element is the sum of elements from one finite subset}}
-अमूर्त बीजगणित में, [[एबेलियन समूह]] <math>(G,+)</math> परिमित रूप से उत्पन्न तब कहा जाता है यदि <math>G</math> में अधिक तत्व <math>x_1,\dots,x_s</math> उपलब्ध हैं और ऐसा है कि <math>G</math> के सभी  <math>x</math> में <math>x</math> को <math>x = n_1x_1 + n_2x_2 + \cdots + n_sx_s</math> के रूप में लिखा जा सकता है  कुछ [[पूर्णांक]] <math>n_1,\dots, n_s</math> के लिए इस सन्दर्भ में, हम कहते हैं कि समुच्चय  <math>\{x_1,\dots, x_s\}</math>, <math>G</math> का उत्पादक समुच्चय है  या  <math>x_1,\dots, x_s</math> , <math>G</math> का उत्पादन करता है।
+अमूर्त बीजगणित में, [[एबेलियन समूह|'''एबेलियन समूह''']] <math>(G,+)</math> परिमित रूप से उत्पन्न तब कहा जाता है यदि <math>G</math> में अधिक तत्व <math>x_1,\dots,x_s</math> उपलब्ध हैं और ऐसा है कि <math>G</math> के सभी  <math>x</math> में <math>x</math> को <math>x = n_1x_1 + n_2x_2 + \cdots + n_sx_s</math> के रूप में लिखा जा सकता है  कुछ [[पूर्णांक]] <math>n_1,\dots, n_s</math> के लिए इस सन्दर्भ में, कहते हैं कि समुच्चय  <math>\{x_1,\dots, x_s\}</math>, <math>G</math> का उत्पादक समुच्चय है  या  <math>x_1,\dots, x_s</math> , <math>G</math> का उत्पादन करता है।
 प्रत्येक परिमित एबेलियन समूह सूक्ष्म रूप से उत्पन्न होता है। सूक्ष्म रूप से उत्पन्न एबेलियन समूहों को पूरी तरह से वर्गीकृत किया जा सकता है।
@@ Line 6: / Line 6: @@
 === उदाहरण ===
 * पूर्णांक, <math>\left(\mathbb{Z},+\right)</math>, परिमित एबेलियन समूह हैं।
-* प्रमापीय अंकगणित  पूर्णांक सापेक्ष  <math>n</math>, <math>\left(\mathbb{Z}/n\mathbb{Z},+\right)</math>, एक परिमित एबेलियन समूह हैं।
+* प्रमापीय अंकगणित  पूर्णांक सापेक्ष  <math>n</math>, <math>\left(\mathbb{Z}/n\mathbb{Z},+\right)</math>, परिमित एबेलियन समूह हैं।
 * परिमित रूप से उत्पन्न एबेलियन समूहों का कोई भी [[प्रत्यक्ष योग]] पुनः परिमित रूप से उत्पन्न एबेलियन समूह है।
 * प्रत्येक जालक समूह एक परिमित रूप से उत्पन्न मुक्त आबेलीयन समूह बनाता है।
 समरूपता के अंत तक कोई अन्य उदाहरण नहीं हैं। विशेष रूप से, परिमेय संख्याओं का समूह <math>\left(\mathbb{Q},+\right)</math> पूर्ण रूप से उत्पन्न नहीं होता है:<ref name="Silverman-Tate-1992">Silverman & Tate (1992), [{{Google books|plainurl=y|id=mAJei2-JcE4C|page=102|text=not finitely generated}} p. 102]</ref> यदि  <math>x_1,\ldots,x_n</math> परिमेय संख्याएँ, [[प्राकृतिक संख्या]]  <math>k</math>  के सभी हर के लिए सहअभाज्य संख्या है  तब <math>1/k</math>, <math>x_1,\ldots,x_n</math> के द्वारा उत्पन्न नहीं किया जा सकता. समूह <math>\left(\mathbb{Q}^*,\cdot\right)</math> गैर-शून्य परिमेय संख्याये भी अंतिम रूप से उत्पन्न नहीं होती है। इसके अतिरिक्त वास्तविक संख्याओं के समूह <math> \left(\mathbb{R},+\right)</math> और गुणन के अंतर्गत शून्येतर वास्तविक संख्याएँ <math>\left(\mathbb{R}^*,\cdot\right)</math> भी पूर्ण रूप से उत्पन्न नहीं होते हैं।<ref name="Silverman-Tate-1992" /><ref>de la Harpe (2000), [{{Google books|plainurl=y|id=60fTzwfqeQIC|page=46|text=The multiplicative group Q}} p. 46]</ref>
+=== वर्गीकरण ===
+परिमित रूप से उत्पन्न एबेलियन समूहों के मौलिक प्रमेय को दो तरह से संदर्भित  किया सकता है, परिमित एबेलियन समूहों के मौलिक प्रमेय के दो रूपों का सामान्यीकरण प्रमेय, दोनों रूपों के एक प्रमुख आदर्श क्षेत्र पर सूक्ष्म रूप से उत्पन्न अनुखंड के लिए संरचना प्रमेय को सामान्यीकृत करता है, जो आगे के सामान्यीकरणों को स्वीकार करता है।
+प्राथमिक अपघटन सूत्रीकरण बताता है कि प्रत्येक सूक्ष्म रूप से उत्पन्न एबेलियन समूह G, प्राथमिक [[चक्रीय समूह]] और अनंत चक्रीय समूहों के प्रत्यक्ष योग के समरूप है। [[प्राथमिक चक्रीय समूह]] वह है जिसके समूह का क्रम एक [[अभाज्य संख्या]] का बल है। अर्थात अंतिम रूप से उत्पन्न एबेलियन समूह
-== वर्गीकरण ==
-परिमित रूप से उत्पन्न एबेलियन समूहों के मौलिक प्रमेय को दो तरह से संदर्जाभित किया सकता है, परिमित एबेलियन समूहों के मौलिक प्रमेय के दो रूपों का सामान्यीकरण प्रमेय, दोनों रूपों के एक प्रमुख आदर्श क्षेत्र पर सूक्ष्म रूप से उत्पन्न अनुखंड के लिए संरचना प्रमेय को सामान्यीकृत करता है, जो आगे के सामान्यीकरणों को स्वीकार करता है।
-प्राथमिक अपघटन सूत्रीकरण बताता है कि प्रत्येक सूक्ष्म रूप से उत्पन्न एबेलियन समूह G, प्राथमिक [[चक्रीय समूह]]ों और अनंत चक्रीय समूहों के प्रत्यक्ष योग के लिए समरूप है। एक [[प्राथमिक चक्रीय समूह]] वह है जिसका समूह का क्रम एक [[अभाज्य संख्या]] की शक्ति है। अर्थात्, हर अंतिम रूप से उत्पन्न एबेलियन समूह फॉर्म के एक समूह के लिए आइसोमोर्फिक है
 :<math>\mathbb{Z}^n \oplus \mathbb{Z}_{q_1} \oplus \cdots \oplus \mathbb{Z}_{q_t},</math>
-जहाँ n ≥ 0 एक एबेलियन समूह की कोटि है, और संख्याएँ q हैं<sub>1</sub>, ..., क्यू<sub>''t''</sub> अभाज्य संख्याओं की (जरूरी नहीं कि अलग-अलग) घातें हों। विशेष रूप से, G परिमित है यदि और केवल यदि n = 0. n, q के मान<sub>1</sub>, ..., क्यू<sub>''t''</sub> (सूचकांकों को पुनर्व्यवस्थित करने [[तक]]) जी द्वारा विशिष्ट रूप से निर्धारित किया जाता है, अर्थात, इस तरह के अपघटन के रूप में जी का प्रतिनिधित्व करने का एक और केवल एक तरीका है।
+:के समरूपी होगा
+जहाँ n ≥ 0 एक एबेलियन समूह की कोटि है `और संख्याएँ q<sub>1</sub>, ...,q<sub>n</sub> अभाज्य संख्याओं की घातें हैं। विशेष रूप से, G परिमित है यदि और केवल यदि n = 0. n, q के मान<sub>1</sub>, ..., Q सूचकांकों को पुनर्व्यवस्थित करने [[तक]] G द्वारा विशिष्ट रूप से निर्धारित किया जाता है, अर्थात, इस तरह के अपघटन के रूप में G का प्रतिनिधित्व करने का केवल एक तरीका है।
-इस कथन का प्रमाण परिमित आबेली समूह के लिए आधार प्रमेय का उपयोग करता है: प्रत्येक परिमित आबेली समूह प्राथमिक चक्रीय समूहों का [[प्रत्यक्ष योग]] है। G के मरोड़ वाले उपसमूह को tG के रूप में निरूपित करें। फिर, G/tG एक मरोड़-मुक्त आबेली समूह है और इस प्रकार यह मुक्त आबेली है। tG, G का प्रत्यक्ष योग है, जिसका अर्थ है कि G सेंट का एक उपसमूह F मौजूद है। <math>G=tG\oplus F</math>, कहाँ <math>F\cong G/tG</math>. तब, F भी मुक्त आबेली है। चूँकि tG परिमित रूप से उत्पन्न होता है और tG के प्रत्येक अवयव की परिमित कोटि होती है, tG परिमित होता है। परिमित एबेलियन समूह के आधार प्रमेय द्वारा, tG को प्राथमिक चक्रीय समूहों के प्रत्यक्ष योग के रूप में लिखा जा सकता है।
+इस कथन का प्रमाण परिमित आबेली समूह के लिए आधार प्रमेय का उपयोग करता है: प्रत्येक परिमित आबेली समूह प्राथमिक चक्रीय समूहों का [[प्रत्यक्ष योग]] है। G के घुमाव वाले उपसमूह को tG के रूप में निरूपित करें। फिर, G/tG  घुमाव -मुक्त आबेली समूह है और इस प्रकार यह मुक्त आबेली है। tG, G का प्रत्यक्ष योग है, जिसका अर्थ है कि G समुच्चय एक उपसमूह F उपस्थित  है। <math>G=tG\oplus F</math>, जहां <math>F\cong G/tG</math>.  F भी मुक्त आबेली है। चूँकि tG परिमित रूप से उत्पन्न होता है और tG के प्रत्येक अवयव की परिमित कोटि होती है, tG परिमित होता है। परिमित एबेलियन समूह के आधार प्रमेय द्वारा, tG को प्राथमिक चक्रीय समूहों के प्रत्यक्ष योग के रूप में लिखा जा सकता है।
 === अपरिवर्तनीय कारक अपघटन ===
-हम किसी भी अंतिम रूप से उत्पन्न एबेलियन समूह जी को फॉर्म के प्रत्यक्ष योग के रूप में भी लिख सकते हैं
+हम किसी भी अंतिम रूप से उत्पन्न एबेलियन समूह G को  प्रत्यक्ष योग के रूप में भी लिख सकते हैं
 :<math>\mathbb{Z}^n \oplus \mathbb{Z}_{k_1} \oplus \cdots \oplus \mathbb{Z}_{k_u},</math>
-जहां के<sub>1</sub> [[भाजक]] कश्मीर<sub>2</sub>, जो k को विभाजित करता है<sub>3</sub> और इसी तरह k तक<sub>''u''</sub>. फिर से, रैंक n और [[अपरिवर्तनीय कारक]] k<sub>1</sub>, ..., क<sub>''u''</sub> जी द्वारा विशिष्ट रूप से निर्धारित किया जाता है (यहां एक अद्वितीय क्रम के साथ)। रैंक और अपरिवर्तनीय कारकों का क्रम समूह को समरूपता तक निर्धारित करता है।
+जहां  K<sub>1</sub>, K<sub>2</sub> को विभाजित करता है जो बाद में  k<sub>3</sub>  को विभाजित करता है और इसी तरह k<sub>''u''</sub> तक विभाजन चलता रहता है , रैंक n और [[अपरिवर्तनीय कारक]] k<sub>1</sub>, ..., k<sub>''u''</sub>, G द्वारा विशिष्ट रूप से निर्धारित किया जाता है तथा अपरिवर्तनीय कारकों का क्रम समूह समरूपता को निर्धारित करता है।
 === समानता ===
-ये बयान [[चीनी शेष प्रमेय]] के परिणामस्वरूप समान हैं, जिसका अर्थ है <math>\mathbb{Z}_{jk}\cong \mathbb{Z}_{j} \oplus \mathbb{Z}_{k}</math> यदि और केवल यदि j और k सहअभाज्य हैं।
+ये वर्णन [[चीनी शेष प्रमेय]] के परिणामस्वरूप समान हैं, यदि j और k सहअभाज्य हैं तो इसका  अर्थ <math>\mathbb{Z}_{jk}\cong \mathbb{Z}_{j} \oplus \mathbb{Z}_{k}</math> है।
 === इतिहास ===
-मौलिक प्रमेय का इतिहास और श्रेय इस तथ्य से जटिल है कि यह सिद्ध हो गया था जब समूह सिद्धांत अच्छी तरह से स्थापित नहीं था, और इस प्रकार शुरुआती रूप, जबकि अनिवार्य रूप से आधुनिक परिणाम और प्रमाण, अक्सर एक विशिष्ट मामले के लिए बताए जाते हैं। संक्षेप में, परिमित मामले का एक प्रारंभिक रूप में सिद्ध हुआ था {{harv|Gauss|1801}}में परिमित मामला सिद्ध हुआ था {{harv|Kronecker|1870}}, और समूह-सैद्धांतिक शब्दों में कहा गया है {{harv|Frobenius|Stickelberger|1878}}. अंतिम रूप से प्रस्तुत समूह मामला [[स्मिथ सामान्य रूप]] से हल किया जाता है, और इसलिए इसे अक्सर श्रेय दिया जाता है {{harv|Smith|1861}},<ref name="fuchs"/>हालांकि इसके बजाय कभी-कभी पूरी तरह से उत्पन्न मामले को श्रेय दिया जाता है {{harv|Poincaré|1900}}; विवरण का पालन करें।
+मौलिक प्रमेय का इतिहास और श्रेय इस तथ्य से जटिल है कि यह सिद्ध हो गया था की जब समूह सिद्धांत अच्छी तरह से स्थापित नहीं था तो अनिवार्य रूप से आधुनिक परिणाम और प्रमाण, सदैव एक विशिष्ट प्रकरण द्बवारा बताए जाते थे। संक्षेप में कहे तो परिमित प्रकरण का प्रारंभिक रूप 1801 में सिद्ध हुआ था, जबकि परिमित प्रकरण क्रोनेकर द्वारा 1870 में सिद्ध हुआ था, और समूह-सैद्धांतिक शब्दों में फ्रोबेनियस और स्टिकेलबर्गर 1878 में कहा गया कि सूक्ष्म रूप से प्रस्तुत संदर्भो को स्मिथ द्वारा सामान्य रूप से हल किया और प्रायः इसका श्रेय 1861 में स्मिथ को दिया जाता है।[3]
 समूह सिद्धांतकार लेज़्लो फुच्स कहते हैं:<ref name=fuchs>{{cite book
@@ Line 44: / Line 42: @@
 |page=[https://books.google.com/books?id=2KMvCwAAQBAJ&pg=PA85 85]
 }}</ref>
-{{quote|As far as the fundamental theorem on finite abelian groups is concerned, it is not clear how far back in time one needs to go to trace its origin. ... it took a long time to formulate and prove the fundamental theorem in its present form ... }}
+{{quote|जहां तक परिमित एबेलियन समूहों पर मौलिक प्रमेय का संबंध है, यह स्पष्ट नहीं है कि इसकी उत्पत्ति का पता लगाने के लिए समय में  कितने पहले जाना होगा। मौलिक प्रमेय को उसके वर्तमान रूप में बनाने और सिद्ध करने में अत्यधिक समय लगा ..
-में [[लियोपोल्ड क्रोनकर]] द्वारा परिमित एबेलियन समूहों के लिए मौलिक प्रमेय सिद्ध किया गया था {{harv|Kronecker|1870}}, एक समूह-सैद्धांतिक प्रमाण का उपयोग करके,<ref name=stillwell175>{{cite book
+. }}
+[[लियोपोल्ड क्रोनकर]] द्वारा  समूह-सैद्धांतिक प्रमाण का उपयोग करके परिमित एबेलियन समूहों के लिए मौलिक प्रमेय को सिद्ध किया गया था <ref name=stillwell175>{{cite book
 |title=Classical Topology and Combinatorial Group Theory
 |first=John
@@ Line 53: / Line 53: @@
 |section=5.2 The Structure Theorem for Finitely Generated
 |page=[https://books.google.com/books?id=WtcRBwAAQBAJ&pg=PA175 175]
-}}</ref> हालांकि इसे समूह-सैद्धांतिक शब्दों में बताए बिना;<ref name=wussing67>{{cite book
+}}</ref> प्रायः इसे समूह-सैद्धांतिक शब्दों में बताए बिना;<ref name=wussing67>{{cite book
 |first=Hans
 |last=Wussing
@@ Line 62: / Line 62: @@
 |year=2007
 |page=[https://books.google.com/books?id=Xp3JymnfAq4C&pg=PA67 67]
-}}</ref> क्रोनकर के प्रमाण की एक आधुनिक प्रस्तुति में दी गई है {{harv|Stillwell|2012}}, 5.2.2 क्रोनकर की प्रमेय, [https://books.google.com/books?id=WtcRBwAAQBAJ&pg=PA176 176–177]। इसने [[कार्ल फ्रेडरिक गॉस]] के [[अंकगणितीय शोध]] (1801) के पहले के परिणाम को सामान्यीकृत किया, जिसने द्विघात रूपों को वर्गीकृत किया; क्रोनकर ने गॉस के इस परिणाम का हवाला दिया। प्रमेय को 1878 में [[फर्डिनेंड जॉर्ज फ्रोबेनियस]] और [[लुडविग स्टिकेलबर्गर]] द्वारा समूहों की भाषा में कहा और सिद्ध किया गया था।<ref>G. Frobenius, L. Stickelberger, Uber Grubben von vertauschbaren Elementen, J. reine u. angew. Math., 86 (1878), 217-262.</ref><ref>Wussing (2007), pp. [https://books.google.com/books?id=Xp3JymnfAq4C&pg=PA234 234–235]</ref> 1882 में क्रोनकर के छात्र [[यूजीन नेट]] द्वारा एक अन्य समूह-सैद्धांतिक सूत्रीकरण दिया गया था।<ref>''Substitutionentheorie und ihre Anwendung auf die Algebra'',
+}}</ref> क्रोनकर के प्रमाण की एक आधुनिक प्रस्तुति में दी गई थी , इसने [[कार्ल फ्रेडरिक गॉस]] के [[अंकगणितीय शोध]] 1801 ई० के परिणाम को सामान्यीकृत किया, जिसने द्विघात रूपों को वर्गीकृत किया था ; क्रोनकर ने गॉस के इस परिणाम को संदर्भित किया जिस प्रमेय को 1878 में [[फर्डिनेंड जॉर्ज फ्रोबेनियस]] और [[लुडविग स्टिकेलबर्गर]] द्वारा समूहों की भाषा में कहा गया और सिद्ध किया गया था।<ref>G. Frobenius, L. Stickelberger, Uber Grubben von vertauschbaren Elementen, J. reine u. angew. Math., 86 (1878), 217-262.</ref><ref>Wussing (2007), pp. [https://books.google.com/books?id=Xp3JymnfAq4C&pg=PA234 234–235]</ref> 1882 में क्रोनकर के छात्र [[यूजीन नेट]] द्वारा एक अन्य समूह-सैद्धांतिक सूत्रीकरण दिया गया था।<ref>''Substitutionentheorie und ihre Anwendung auf die Algebra'',
-Eugen Netto, 1882</ref><ref>Wussing (2007), pp. [https://books.google.com/books?id=Xp3JymnfAq4C&pg=PA234 234–235]</ref>
+Eugen Netto, 1882</ref><ref>Wussing (2007), pp. [https://books.google.com/books?id=Xp3JymnfAq4C&pg=PA234 234–235]</ref> [[हेनरी जॉन स्टीफन स्मिथ]] द्वारा अंतिम रूप से प्रस्तुत एबेलियन समूहों के लिए मौलिक प्रमेय सिद्ध किया गया था,<ref name="fuchs"/> जो पूर्णांक मैट्रिसेस के रूप में एबेलियन समूहों की परिमित प्रस्तुतियों के अनुरूप है। यह एक प्रमुख आदर्श क्षेत्र पर सूक्ष्मता से प्रस्तुत अनुखण्ड के लिए सामान्य है,और स्मिथ द्वारा सामान्य रूप से प्रस्तुत किए गए एबेलियन समूहों को वर्गीकृत करने के अनुरूप है।
-में [[हेनरी जॉन स्टीफन स्मिथ]] द्वारा अंतिम रूप से प्रस्तुत समूह एबेलियन समूहों के लिए मौलिक प्रमेय सिद्ध किया गया था {{harv|Smith|1861}},<ref name="fuchs"/>पूर्णांक मैट्रिसेस के रूप में एबेलियन समूहों की परिमित प्रस्तुतियों के अनुरूप है (यह एक प्रमुख आदर्श डोमेन पर सूक्ष्मता से प्रस्तुत मॉड्यूल के लिए सामान्य है), और स्मिथ सामान्य रूप से प्रस्तुत किए गए एबेलियन समूहों को वर्गीकृत करने के अनुरूप है।
-अंतिम रूप से उत्पन्न एबेलियन समूहों के लिए मौलिक प्रमेय को हेनरी पॉइनकेयर द्वारा सिद्ध किया गया था {{harv|Poincaré|1900}}, एक मैट्रिक्स प्रमाण का उपयोग करते हुए (जो प्रमुख आदर्श डोमेन के लिए सामान्यीकरण करता है)। यह कंप्यूटिंग के संदर्भ में किया गया था
+अंतिम रूप से उत्पन्न एबेलियन समूहों के लिए मौलिक प्रमेय को हेनरी पॉइनकेयर द्वारा मैट्रिक्स प्रमाण का उपयोग करते हुए सिद्ध किया गया था जो प्रमुख आदर्श क्षेत्र के लिए सामान्यीकरण करता है। यह संगणन के संदर्भ में किया गया था।
-एक कॉम्प्लेक्स की होमोलॉजी (गणित), विशेष रूप से कॉम्प्लेक्स के एक आयाम की बेट्टी संख्या और [[मरोड़ गुणांक (टोपोलॉजी)]], जहां बेट्टी संख्या मुक्त भाग के रैंक से मेल खाती है, और मरोड़ गुणांक मरोड़ वाले हिस्से के अनुरूप है।<ref name=stillwell175 />
-एमी नोथेर द्वारा क्रोनेकर के प्रमाण को अंतिम रूप से उत्पन्न एबेलियन समूहों के लिए सामान्यीकृत किया गया था {{harv|Noether|1926}}.<ref name=stillwell175 />
+सजातीय परिसर, विशेष रूप से परिसरों के आयाम की बेट्टी संख्या और [[मरोड़ गुणांक (टोपोलॉजी)|घुमाव गुणांक]], जहां बेट्टी संख्या मुक्त भाग के रैंक से मेल खाती है, और घुमाव गुणांक, घुमाव वाले भाग के अनुरूप है।<ref name="stillwell175" />
+एमी नोथेर द्वारा क्रोनेकर के प्रमाण को अंतिम रूप से उत्पन्न एबेलियन समूहों के लिए सामान्यीकृत किया गया था।.<ref name="stillwell175" />
 == [[परिणाम]] ==
-मौलिक प्रमेय अलग तरीके से कहा गया है कि एक अंतिम रूप से उत्पन्न एबेलियन समूह एक एबेलियन समूह के परिमित रैंक के मुक्त एबेलियन समूह और एक परिमित एबेलियन समूह का प्रत्यक्ष योग है, जिनमें से प्रत्येक समरूपता के लिए अद्वितीय है। परिमित एबेलियन समूह जी का मरोड़ उपसमूह है। जी की रैंक को जी के मरोड़ मुक्त भाग के रैंक के रूप में परिभाषित किया गया है; उपरोक्त सूत्रों में यह केवल n संख्या है।
+मौलिक प्रमेय में अंतिम रूप से उत्पन्न एबेलियन समूह परिमित रैंक के मुक्त एबेलियन समूह और परिमित एबेलियन समूह का प्रत्यक्ष योग है। परिमित एबेलियन समूह G का घुमाव उपसमूह है। G की रैंक को G के घुमाव-मुक्त भाग की रैंक के रूप में परिभाषित किया गया है; उपरोक्त सूत्रों में यह केवल n संख्या है।
-मौलिक प्रमेय का एक परिणाम यह है कि हर अंतिम रूप से उत्पन्न मरोड़-मुक्त एबेलियन समूह मुक्त एबेलियन है। यहाँ अंतिम रूप से उत्पन्न स्थिति आवश्यक है: <math>\mathbb{Q}</math> मरोड़ मुक्त है लेकिन मुक्त एबेलियन नहीं है।
+मौलिक प्रमेय का एक परिणाम यह है कि सभी अंतिम रूप से उत्पन्न घुमाव-मुक्त एबेलियन समूह है। यहाँ अंतिम रूप से उत्पन्न स्थिति आवश्यक है: <math>\mathbb{Q}</math> घुमाव मुक्त है लेकिन मुक्त एबेलियन नहीं है।
-एक अंतिम रूप से उत्पन्न एबेलियन समूह का प्रत्येक [[उपसमूह]] और [[कारक समूह]] फिर से सूक्ष्म रूप से उत्पन्न एबेलियन होता है। अंतिम रूप से उत्पन्न एबेलियन समूह, समूह होमोमोर्फिज्म के साथ मिलकर एक [[एबेलियन श्रेणी]] बनाते हैं जो कि [[एबेलियन समूहों की श्रेणी]] की एक उपश्रेणी#Types_of_subcategories है।
+अंतिम रूप से उत्पन्न एबेलियन समूह का प्रत्येक [[उपसमूह]] और [[कारक समूह]] पुनः सूक्ष्म रूप से उत्पन्न एबेलियन होता है। अंतिम रूप से उत्पन्न एबेलियन समूह, समूह समरूपता के साथ मिलकर एक [[एबेलियन श्रेणी]] बनाते हैं जो कि [[एबेलियन समूहों की श्रेणी]] है।
-== गैर-अंतिम रूप से उत्पन्न एबेलियन समूह ==
+== गैर-संकुचित रूप से उत्पन्न एबेलियन समूह ==
-ध्यान दें कि परिमित रैंक का प्रत्येक एबेलियन समूह अंतिम रूप से उत्पन्न नहीं होता है; रैंक 1 समूह <math>\mathbb{Q}</math> एक प्रति उदाहरण है, और रैंक -0 समूह की [[अनंत सेट]] प्रतियों के प्रत्यक्ष योग द्वारा दिया गया है <math>\mathbb{Z}_{2}</math> एक और है।
+ध्यान दें कि परिमित रैंक का प्रत्येक एबेलियन समूह अंतिम रूप से उत्पन्न नहीं होता है; रैंक 1 समूह <math>\mathbb{Q}</math> का उदाहरण है, और रैंक -0 समूह की [[अनंत सेट|अनंत]] समुच्चय प्रतियों <math>\mathbb{Z}_{2}</math> के प्रत्यक्ष योग द्वारा दिया गया है।
 == यह भी देखें ==
@@ Line 97: / Line 95: @@
-{{DEFAULTSORT:Finitely Generated Abelian Group}}[[Category: एबेलियन समूह सिद्धांत]] [[Category: बीजगणितीय संरचनाएं]]
+{{DEFAULTSORT:Finitely Generated Abelian Group}}
-[[Category: Machine Translated Page]]
+[[Category:Created On 13/02/2023|Finitely Generated Abelian Group]]
-[[Category:Created On 13/02/2023]]
+[[Category:Lua-based templates|Finitely Generated Abelian Group]]
+[[Category:Machine Translated Page|Finitely Generated Abelian Group]]
+[[Category:Pages with script errors|Finitely Generated Abelian Group]]
+[[Category:Short description with empty Wikidata description|Finitely Generated Abelian Group]]
+[[Category:Templates Vigyan Ready|Finitely Generated Abelian Group]]
+[[Category:Templates that add a tracking category|Finitely Generated Abelian Group]]
+[[Category:Templates that generate short descriptions|Finitely Generated Abelian Group]]
+[[Category:Templates using TemplateData|Finitely Generated Abelian Group]]
+[[Category:एबेलियन समूह सिद्धांत|Finitely Generated Abelian Group]]
+[[Category:बीजगणितीय संरचनाएं|Finitely Generated Abelian Group]]

Anonymous

Search

अंतत: एबेलियन समूह: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 10:09, 22 February 2023