एबेलियन समूह: Difference between revisions
No edit summary |
|||
(8 intermediate revisions by 5 users not shown) | |||
Line 1: | Line 1: | ||
{{short description|Commutative group (mathematics)}} | {{short description|Commutative group (mathematics)}} | ||
{{For| | {{For|संबंधित शब्द "एबेलियन रैखिक समूह" के पुरातन उपयोग द्वारा वर्णित समूह|सैम्पलेक्टिक समूह}} | ||
{{ | गणित में, एक '''एबेलियन समूह''', जिसे कम्यूटेटिव समूह भी कहा जाता है, एक ऐसा [[समूह (गणित)]] होता है जिसमें दो समूह तत्वों पर समूह संक्रिया को लागू करने का परिणाम उस क्रम पर निर्भर नहीं करता है जिसमें वे लिखे गए हैं। अर्थात्, समूह संक्रिया [[विनिमेय|क्रमविनिमेय]] है। एक ऑपरेशन के रूप में जोड़ के साथ, [[पूर्णांक]] और [[वास्तविक संख्या]] एबेलियन समूह बनाते हैं, और एक एबेलियन समूह की अवधारणा को इन उदाहरणों के सामान्यीकरण के रूप में देखा जा सकता है। एबेलियन समूहों का नाम 19वीं सदी के प्रारम्भ में गणितज्ञ [[नील्स हेनरिक एबेल]] के नाम पर रखा गया है।<ref>{{Harvard citation text|Jacobson|2009}} p. 41</ref> | ||
एक एबेलियन समूह की अवधारणा कई मौलिक [[बीजगणितीय संरचना|बीजगणितीय संरचनाओं]] को रेखांकित करती है, जैसे [[क्षेत्र (गणित)|फ़ील्ड्स]], वलय्स, वेक्टर रिक्त स्थान और [[एक क्षेत्र पर बीजगणित|बीजगणित]]। एबेलियन समूहों का सिद्धांत आम तौर पर उनके [[गैर-अबेलियन समूह|गैर-अबेलियन]] समकक्षों की तुलना में सरल होता है, और परिमित एबेलियन समूहों को बहुत अच्छी तरह से समझा जाता है और पूरी तरह से वर्गीकृत किया जाता है। | |||
{{Group theory sidebar|Basics}} | |||
== परिभाषा == | == परिभाषा == | ||
एबेलियन समूह एक [[सेट (गणित)|समुच्चय]] <math>A</math> है, जिसमें [[बाइनरी ऑपरेशन|ऑपरेशन]] ⋅ है जो ए के किसी भी दो तत्वों <math>a</math> और <math>b</math> को <math>A</math> के दूसरे तत्व बनाने के लिए जोड़ता है, जिसे <math>a \cdot b</math> कहा जाता है। प्रतीक ⋅ ठोस रूप से दिए गए ऑपरेशन के लिए एक सामान्य प्लेसहोल्डर है। एक एबेलियन समूह के रूप में अर्हता प्राप्त करने के लिए, सेट और ऑपरेशन, <math>(A, \cdot)</math> को चार आवश्यकताओं को पूरा करना चाहिए, जिसे एबेलियन समूह स्वयंसिद्ध के रूप में जाना जाता है (कुछ लेखकों ने सिद्धांतों में कुछ गुण सम्मिलित किए हैं जो एक ऑपरेशन की परिभाषा से संबंधित हैं: अर्थात। <math>A</math> के तत्वों की किसी भी आदेशित जोड़ी के लिए ऑपरेशन परिभाषित किया गया है, परिणाम अच्छी तरह परिभाषित है, और परिणाम {{mvar|A}} से संबंधित है): | |||
=== '''संबद्धता''' === | |||
सभी के लिए <math>a</math>, <math>b</math>, तथा <math>c</math> में <math>A</math>, समीकरण <math>(a \cdot b)\cdot c = a \cdot (b \cdot c)</math> रखती है। | |||
एक | === तत्समक अवयव === | ||
एक तत्व मौजूद है <math>e</math> में <math>A</math>, जैसे कि सभी तत्वों के लिए <math>a</math> में <math>A</math>, समीकरण <math>e \cdot a = a \cdot e = a</math> रखती है। | |||
=== व्युत्क्रम तत्व === | |||
प्रत्येक के लिए <math>a</math> में <math>A</math> एक तत्व मौजूद है <math>b</math> में <math>A</math> ऐसा है कि <math>a \cdot b = b \cdot a = e</math>, कहाँ पे <math>e</math> पहचान तत्व है। | |||
=== क्रमविनिमेयता === | |||
सभी के लिए <math>a</math>, <math>b</math> में <math>A</math>, <math>a \cdot b = b \cdot a</math>. | |||
एक ऐसा समूह जिसमें समूह संक्रिया क्रमविनिमेय नहीं है, एक गैर-अबेलियन समूह या गैर-क्रमविनिमेय समूह कहलाता है।<ref>Ramík, J., ''Pairwise Comparisons Method: Theory and Applications in Decision Making'' ([[Cham, Switzerland|Cham]]: [[Springer Nature|Springer Nature Switzerland]], 2020), [https://books.google.com/books?id=2qDSDwAAQBAJ&pg=PA11 p. 11].</ref>{{rp|11}} | |||
== तथ्य == | == तथ्य == | ||
=== अंकन === | === अंकन === | ||
{{see also| | {{see also|योगात्मक समूह|गुणात्मक समूह}} | ||
एबेलियन समूहों के लिए दो मुख्य सांकेतिक | |||
एबेलियन समूहों के लिए दो मुख्य सांकेतिक परिपाटियां हैं - योगात्मक और गुणक। | |||
{| class="wikitable" style="margin: 1em auto 1em auto" | {| class="wikitable" style="margin: 1em auto 1em auto" | ||
|- | |- | ||
! | ! परिपाटी | ||
! | ! ऑपरेशन | ||
! | ! समानता | ||
! | ! पॉवर्स | ||
! | ! विपर्यय | ||
|- | |- | ||
! | ! योग | ||
| <math>x + y</math> || 0 || <math>nx</math> || <math>-x</math> | | <math>x + y</math> || 0 || <math>nx</math> || <math>-x</math> | ||
|- | |- | ||
! | ! गुणन | ||
| <math>x \cdot y</math> or <math>xy</math> || 1 | | <math>x \cdot y</math> or <math>xy</math> || 1 | ||
| <math>x^n</math> | | <math>x^n</math> | ||
| <math>x^{-1}</math> | | <math>x^{-1}</math> | ||
|} | |} | ||
सामान्य तौर पर, गुणक संकेतन समूहों के लिए सामान्य संकेतन है, जबकि योगात्मक संकेतन [[मॉड्यूल (गणित)|मॉड्यूल]] और वलयों के लिए सामान्य संकेतन है। योज्य संकेतन का उपयोग यह दावा करने के लिए भी किया जा सकता है कि एक विशेष समूह एबेलियन है, तब भी जब एबेलियन और गैर-एबेलियन दोनों समूहों पर विचार किया जाता है, कुछ उल्लेखनीय अपवाद निकट-वलय और [[आंशिक रूप से आदेशित समूह]] हैं। ऐसे स्थान हैं जहां एक संक्रिया को गैर-अबेलियन होने पर भी योगात्मक रूप से लिखा जाता है। <ref>[[Maurice Auslander|Auslander, M.]], & [[David Buchsbaum|Buchsbaum, D.]], ''Groups, Rings, Modules'' ([[Mineola, New York|Mineola, NY]]: [[Dover Publications]], 1974), [https://books.google.com/books?id=MVEuBAAAQBAJ&pg=PA28 pp. 28–29].</ref>{{rp|28–29}} | |||
=== गुणन तालिका === | |||
यह सत्यापित करने के लिए कि एक [[परिमित समूह]] एबेलियन है, एक टेबल (मैट्रिक्स) - जिसे [[केली टेबल]] के रूप में जाना जाता है - को गुणन तालिका के समान तरीके से बनाया जा सकता है।<ref>Isaev, A. P., & [[Valery Rubakov|Rubakov, V. A.]], ''Theory of Groups and Symmetries: Finite Groups, Lie Groups, and Lie Algebras'' ([[Singapore]]: [[World Scientific]], 2018), [https://books.google.com/books?id=7sFUDwAAQBAJ&pg=PA10 p. 10].</ref>{{rp|10}} यदि समूह है <math>G = \{g_1 = e, g_2, \dots, g_n \}</math> नीचे {{nowrap|ऑपरेशन <math>\cdot</math>,}} {{nowrap|<math>(i, j)</math>-th}} इस तालिका की प्रविष्टि में उत्पाद सम्मिलित है <math>g_i \cdot g_j</math>. | |||
समूह अबेलियन है यदि और केवल यदि यह तालिका मुख्य विकर्ण के बारे में [[सममित]] है। यह सच है क्योंकि समूह एबेलियन है | |||
समूह एबेलियन है [[अगर और केवल अगर]] यह तालिका मुख्य विकर्ण के बारे में [[सममित]] है। यह सच है क्योंकि समूह एबेलियन है अगर और केवल अगर <math>g_i \cdot g_j = g_j \cdot g_i</math> सभी के लिए <math>i, j = 1, ..., n</math>, जो iff है <math>(i, j)</math> तालिका की प्रविष्टि के बराबर है <math>(j, i)</math> सभी के लिए प्रवेश <math>i, j = 1, ..., n</math>, यानी तालिका मुख्य विकर्ण के बारे में सममित है। | समूह एबेलियन है [[अगर और केवल अगर]] यह तालिका मुख्य विकर्ण के बारे में [[सममित]] है। यह सच है क्योंकि समूह एबेलियन है अगर और केवल अगर <math>g_i \cdot g_j = g_j \cdot g_i</math> सभी के लिए <math>i, j = 1, ..., n</math>, जो iff है <math>(i, j)</math> तालिका की प्रविष्टि के बराबर है <math>(j, i)</math> सभी के लिए प्रवेश <math>i, j = 1, ..., n</math>, यानी तालिका मुख्य विकर्ण के बारे में सममित है। | ||
Line 51: | Line 57: | ||
* पूर्णांकों और संक्रिया [[योग]] के लिए <math>+</math>, निरूपित <math>(\mathbb{Z}, +)</math>, ऑपरेशन + तीसरे पूर्णांक बनाने के लिए किन्हीं दो पूर्णांकों को जोड़ता है, जोड़ साहचर्य है, शून्य योगात्मक पहचान है, प्रत्येक पूर्णांक <math>n</math> एक योगात्मक व्युत्क्रम है, <math>-n</math>, और इसके बाद से जोड़ क्रमविनिमेय है <math>n + m = m + n</math> किन्हीं दो पूर्णांकों के लिए <math>m</math> तथा <math>n</math>. | * पूर्णांकों और संक्रिया [[योग]] के लिए <math>+</math>, निरूपित <math>(\mathbb{Z}, +)</math>, ऑपरेशन + तीसरे पूर्णांक बनाने के लिए किन्हीं दो पूर्णांकों को जोड़ता है, जोड़ साहचर्य है, शून्य योगात्मक पहचान है, प्रत्येक पूर्णांक <math>n</math> एक योगात्मक व्युत्क्रम है, <math>-n</math>, और इसके बाद से जोड़ क्रमविनिमेय है <math>n + m = m + n</math> किन्हीं दो पूर्णांकों के लिए <math>m</math> तथा <math>n</math>. | ||
* हर [[चक्रीय समूह]] <math>G</math> एबेलियन है, क्योंकि अगर <math>x</math>, <math>y</math> में हैं <math>G</math>, फिर <math>xy = a^ma^n = a^{m+n} = a^na^m = yx</math>. इस प्रकार पूर्णांक, <math>\mathbb{Z}</math>, इसके अलावा एक एबेलियन समूह बनाते हैं, जैसा कि मॉड्यूलर अंकगणितीय | पूर्णांक मॉड्यूलो करते हैं <math>n</math>, <math>\mathbb{Z}/n \mathbb{Z}</math>. | * हर [[चक्रीय समूह]] <math>G</math> एबेलियन है, क्योंकि अगर <math>x</math>, <math>y</math> में हैं <math>G</math>, फिर <math>xy = a^ma^n = a^{m+n} = a^na^m = yx</math>. इस प्रकार पूर्णांक, <math>\mathbb{Z}</math>, इसके अलावा एक एबेलियन समूह बनाते हैं, जैसा कि मॉड्यूलर अंकगणितीय | पूर्णांक मॉड्यूलो करते हैं <math>n</math>, <math>\mathbb{Z}/n \mathbb{Z}</math>. | ||
* प्रत्येक वलय (गणित) इसके अतिरिक्त संचालन के संबंध में एक एबेलियन समूह है। क्रमविनिमेय वलय में व्युत्क्रमणीय तत्व, या [[इकाई (अंगूठी सिद्धांत)]], एक एबेलियन गुणात्मक समूह बनाते हैं। विशेष रूप से, वास्तविक संख्याएं जोड़ के तहत एक एबेलियन समूह हैं, और गैर-शून्य वास्तविक संख्या गुणा के तहत एक एबेलियन समूह हैं। | * प्रत्येक वलय (गणित) इसके अतिरिक्त संचालन के संबंध में एक एबेलियन समूह है। क्रमविनिमेय वलय में व्युत्क्रमणीय तत्व, या [[इकाई (अंगूठी सिद्धांत)|क्रमविनिमेय वलय]], एक एबेलियन गुणात्मक समूह बनाते हैं। विशेष रूप से, वास्तविक संख्याएं जोड़ के तहत एक एबेलियन समूह हैं, और गैर-शून्य वास्तविक संख्या गुणा के तहत एक एबेलियन समूह हैं। | ||
* एबेलियन समूह का प्रत्येक [[उपसमूह]] [[सामान्य उपसमूह]] होता है, इसलिए प्रत्येक उपसमूह एक [[भागफल समूह]] को जन्म देता है। एबेलियन समूहों के उपसमूह, भागफल और [[समूहों का प्रत्यक्ष योग]] फिर से एबेलियन हैं। परिमित सरल समूह एबेलियन समूह वास्तव में [[अभाज्य संख्या]] क्रम (समूह सिद्धांत) के चक्रीय समूह हैं।<ref>Rose 2012, [https://books.google.com/books?id=pYk6AAAAIAAJ&lpg=PP1&hl=de&pg=PA32 p. 32].</ref> | * एबेलियन समूह का प्रत्येक [[उपसमूह]] [[सामान्य उपसमूह]] होता है, इसलिए प्रत्येक उपसमूह एक [[भागफल समूह]] को जन्म देता है। एबेलियन समूहों के उपसमूह, भागफल और [[समूहों का प्रत्यक्ष योग]] फिर से एबेलियन हैं। परिमित सरल समूह एबेलियन समूह वास्तव में [[अभाज्य संख्या]] क्रम (समूह सिद्धांत) के चक्रीय समूह हैं।<ref>Rose 2012, [https://books.google.com/books?id=pYk6AAAAIAAJ&lpg=PP1&hl=de&pg=PA32 p. 32].</ref> | ||
* एबेलियन समूह की अवधारणाएँ और <math>\mathbb{Z}</math>-मॉड्यूल (गणित) सहमत हैं। अधिक विशेष रूप से, प्रत्येक <math>\mathbb{Z}</math>-मॉड्यूल इसके अलावा के संचालन के साथ एक एबेलियन समूह है, और प्रत्येक एबेलियन समूह पूर्णांक की | * एबेलियन समूह की अवधारणाएँ और <math>\mathbb{Z}</math>-मॉड्यूल (गणित) सहमत हैं। अधिक विशेष रूप से, प्रत्येक <math>\mathbb{Z}</math>-मॉड्यूल इसके अलावा के संचालन के साथ एक एबेलियन समूह है, और प्रत्येक एबेलियन समूह पूर्णांक की वलय पर एक मॉड्यूल है <math>\mathbb{Z}</math> एक अनोखे तरीके से। | ||
सामान्य तौर पर, [[मैट्रिक्स (गणित)]], यहां तक कि व्युत्क्रमणीय मैट्रिक्स, गुणन के तहत एक एबेलियन समूह नहीं बनाते हैं क्योंकि मैट्रिक्स गुणन आम तौर पर कम्यूटेटिव नहीं होता है। हालाँकि, मैट्रिक्स के कुछ समूह मैट्रिक्स गुणन के तहत एबेलियन समूह हैं - एक उदाहरण का समूह है <math>2 \times 2</math> [[रोटेशन मैट्रिक्स]]। | सामान्य तौर पर, [[मैट्रिक्स (गणित)]], यहां तक कि व्युत्क्रमणीय मैट्रिक्स, गुणन के तहत एक एबेलियन समूह नहीं बनाते हैं क्योंकि मैट्रिक्स गुणन आम तौर पर कम्यूटेटिव नहीं होता है। हालाँकि, मैट्रिक्स के कुछ समूह मैट्रिक्स गुणन के तहत एबेलियन समूह हैं - एक उदाहरण का समूह है <math>2 \times 2</math> [[रोटेशन मैट्रिक्स]]। | ||
Line 59: | Line 65: | ||
== ऐतिहासिक टिप्पणी == | == ऐतिहासिक टिप्पणी == | ||
<!-- This particular statement seems to be suspect, but the direction is right. Note: updated and corrected on Sept. 2, 2012 --> | <!-- This particular statement seems to be suspect, but the direction is right. Note: updated and corrected on Sept. 2, 2012 --> | ||
[[केमिली जॉर्डन]] ने [[नॉर्वे]] | [[केमिली जॉर्डन]] ने [[नॉर्वे|नार्वेजियन]] [[गणितज्ञ]] नील्स हेनरिक एबेल के बाद एबेलियन समूहों का नाम दिया क्योंकि एबेल ने पाया कि [[बहुपद|बहुपदों]] के एक समूह की क्रमविनिमेयता का अर्थ है कि बहुपदों की जड़ों को बीजगणित का उपयोग करके गणना की जा सकती है। <ref>[[David A. Cox|Cox, D. A.]], ''Galois Theory'' ([[Hoboken, New Jersey|Hoboken]]: [[Wiley (publisher)|John Wiley & Sons]], 2004), [https://books.google.com/books?id=96P8lsAF7fcC&pg=PA144 pp. 144–145].</ref>{{rp|144–145}} | ||
== गुण == | == गुण == | ||
यदि <math>n</math> एक [[प्राकृतिक संख्या]] है और <math>x</math> एबेलियन समूह का एक तत्व है <math>G</math> अतिरिक्त रूप से लिखा, फिर <math>nx</math> के रूप में परिभाषित किया जा सकता है <math>x + x + \cdots + x</math> (<math>n</math> योग) और <math>(-n)x = -(nx)</math>. इस तरह, <math>G</math> | यदि <math>n</math> एक [[प्राकृतिक संख्या]] है और <math>x</math> एबेलियन समूह का एक तत्व है <math>G</math> अतिरिक्त रूप से लिखा, फिर <math>nx</math> के रूप में परिभाषित किया जा सकता है <math>x + x + \cdots + x</math> (<math>n</math> योग) और <math>(-n)x = -(nx)</math>. इस तरह, <math>G</math> वलय (गणित) के ऊपर एक मॉड्यूल (गणित) बन जाता है <math>\mathbb{Z}</math> पूर्णांकों का। वास्तव में, मॉड्यूल खत्म हो गया <math>\mathbb{Z}</math> एबेलियन समूहों के साथ पहचाना जा सकता है। | ||
एबेलियन समूहों के बारे में प्रमेय (अर्थात मॉड्यूल (गणित) [[प्रमुख आदर्श डोमेन]] पर <math>\mathbb{Z}</math>) अक्सर मनमाने ढंग से प्रमुख आदर्श डोमेन पर मॉड्यूल के बारे में प्रमेय के लिए सामान्यीकृत किया जा सकता है। एक विशिष्ट उदाहरण सूक्ष्म रूप से उत्पन्न एबेलियन समूहों का वर्गीकरण है जो [[एक प्रमुख आदर्श डोमेन पर सूक्ष्म रूप से उत्पन्न मॉड्यूल के लिए संरचना प्रमेय]] का एक विशेषज्ञता है। [[अंतिम रूप से उत्पन्न एबेलियन समूह]] | एबेलियन समूहों के बारे में प्रमेय (अर्थात मॉड्यूल (गणित) [[प्रमुख आदर्श डोमेन]] पर <math>\mathbb{Z}</math>) अक्सर मनमाने ढंग से प्रमुख आदर्श डोमेन पर मॉड्यूल के बारे में प्रमेय के लिए सामान्यीकृत किया जा सकता है। एक विशिष्ट उदाहरण सूक्ष्म रूप से उत्पन्न एबेलियन समूहों का वर्गीकरण है जो [[एक प्रमुख आदर्श डोमेन पर सूक्ष्म रूप से उत्पन्न मॉड्यूल के लिए संरचना प्रमेय]] का एक विशेषज्ञता है। [[अंतिम रूप से उत्पन्न एबेलियन समूह|अंतिम रूप से उत्पन्न एबेलियन समूहों]] के मामले में, यह प्रमेय गारंटी देता है कि एक एबेलियन समूह एक [[मरोड़ समूह]] और एक [[मुक्त एबेलियन समूह]] के [[प्रत्यक्ष योग]] के रूप में विभाजित होता है। पूर्व को प्रपत्र के सूक्ष्म रूप से कई समूहों के प्रत्यक्ष योग के रूप में लिखा जा सकता है <math>\mathbb{Z}/p^k\mathbb{Z}</math> के लिये <math>p</math> अभाज्य, और बाद वाला प्रत्यक्ष रूप से कई प्रतियों का योग है <math>\mathbb{Z}</math>। | ||
यदि <math>f, g: G \to H</math> एबेलियन समूहों के बीच दो [[समूह समरूपता]]एं हैं, फिर उनका योग <math>f + g</math>, द्वारा परिभाषित <math>(f + g)(x) = f(x) + g(x)</math>, फिर से एक समरूपता है। (यह सच नहीं है अगर <math>H</math> एक गैर-अबेलियन समूह है।) समुच्चय <math>\text{Hom}(G,H)</math> से सभी समूह समरूपता <math>G</math> प्रति <math>H</math> इसलिए अपने आप में एक एबेलियन समूह है। | यदि <math>f, g: G \to H</math> एबेलियन समूहों के बीच दो [[समूह समरूपता]]एं हैं, फिर उनका योग <math>f + g</math>, द्वारा परिभाषित <math>(f + g)(x) = f(x) + g(x)</math>, फिर से एक समरूपता है। (यह सच नहीं है अगर <math>H</math> एक गैर-अबेलियन समूह है।) समुच्चय <math>\text{Hom}(G,H)</math> से सभी समूह समरूपता <math>G</math> प्रति <math>H</math> इसलिए अपने आप में एक एबेलियन समूह है। | ||
Line 72: | Line 76: | ||
[[केंद्र (समूह सिद्धांत)]] <math>Z(G)</math> एक समूह का <math>G</math> उन तत्वों का समूह है जो प्रत्येक तत्व के साथ आवागमन करते हैं <math>G</math>. एक समूह <math>G</math> एबेलियन है अगर और केवल अगर यह इसके केंद्र के बराबर है <math>Z(G)</math>. एक समूह का केंद्र <math>G</math> हमेशा एक विशिष्ट उपसमूह एबेलियन उपसमूह होता है <math>G</math>. यदि भागफल समूह <math>G/Z(G)</math> इसके केंद्र द्वारा समूह का तब चक्रीय होता है <math>G</math> एबेलियन है।<ref>Rose 2012, [https://books.google.com/books?id=pYk6AAAAIAAJ&lpg=PP1&hl=de&pg=PA48 p. 48].</ref> | [[केंद्र (समूह सिद्धांत)]] <math>Z(G)</math> एक समूह का <math>G</math> उन तत्वों का समूह है जो प्रत्येक तत्व के साथ आवागमन करते हैं <math>G</math>. एक समूह <math>G</math> एबेलियन है अगर और केवल अगर यह इसके केंद्र के बराबर है <math>Z(G)</math>. एक समूह का केंद्र <math>G</math> हमेशा एक विशिष्ट उपसमूह एबेलियन उपसमूह होता है <math>G</math>. यदि भागफल समूह <math>G/Z(G)</math> इसके केंद्र द्वारा समूह का तब चक्रीय होता है <math>G</math> एबेलियन है।<ref>Rose 2012, [https://books.google.com/books?id=pYk6AAAAIAAJ&lpg=PP1&hl=de&pg=PA48 p. 48].</ref> | ||
== परिमित एबेलियन समूह == | == परिमित एबेलियन समूह == | ||
मॉड्यूलर अंकगणित के चक्रीय समूह | पूर्णांक मॉड्यूलो <math>n</math>, <math>\mathbb{Z}/n\mathbb{Z}</math>, समूहों के पहले उदाहरणों में से थे। यह पता चला है कि एक मनमाना परिमित एबेलियन समूह प्रधान शक्ति क्रम के परिमित चक्रीय समूहों के प्रत्यक्ष योग के लिए आइसोमोर्फिक है, और ये आदेश विशिष्ट रूप से निर्धारित होते हैं, जो कि अपरिवर्तनीयों की एक पूरी प्रणाली बनाते हैं। एक परिमित एबेलियन समूह के ऑटोमोर्फिज़्म समूह को इन अपरिवर्तनीयों के संदर्भ में सीधे वर्णित किया जा सकता है। सिद्धांत को पहली बार [[जॉर्ज फ्रोबेनियस]] और [[लुडविग स्टिकेलबर्गर]] के 1879 के पेपर में विकसित किया गया था और बाद में रैखिक बीजगणित | मॉड्यूलर अंकगणित के चक्रीय समूह | पूर्णांक मॉड्यूलो <math>n</math>, <math>\mathbb{Z}/n\mathbb{Z}</math>, समूहों के पहले उदाहरणों में से थे। यह पता चला है कि एक मनमाना परिमित एबेलियन समूह प्रधान शक्ति क्रम के परिमित चक्रीय समूहों के प्रत्यक्ष योग के लिए आइसोमोर्फिक है, और ये आदेश विशिष्ट रूप से निर्धारित होते हैं, जो कि अपरिवर्तनीयों की एक पूरी प्रणाली बनाते हैं। एक परिमित एबेलियन समूह के ऑटोमोर्फिज़्म समूह को इन अपरिवर्तनीयों के संदर्भ में सीधे वर्णित किया जा सकता है। सिद्धांत को पहली बार [[जॉर्ज फ्रोबेनियस]] और [[लुडविग स्टिकेलबर्गर]] के 1879 के पेपर में विकसित किया गया था और बाद में रैखिक बीजगणित के एक महत्वपूर्ण अध्याय का निर्माण करते हुए, एक प्रमुख आदर्श डोमेन पर सूक्ष्मता से उत्पन्न मॉड्यूल के लिए सरल और सामान्यीकृत दोनों किया गया था। | ||
प्राइम ऑर्डर का कोई भी समूह एक चक्रीय समूह के लिए आइसोमॉर्फिक है और इसलिए एबेलियन है। कोई भी समूह जिसका क्रम एक अभाज्य संख्या का वर्ग है, वह भी एबेलियन है।<ref>Rose 2012, [https://books.google.com/books?id=pYk6AAAAIAAJ&lpg=PP1&hl=de&pg=PA79 p. 79].</ref> वास्तव में, प्रत्येक अभाज्य संख्या के लिए <math>p</math> वहाँ (समरूपता तक) क्रम के दो समूह हैं <math>p^2</math>, अर्थात् <math>\mathbb{Z}_{p^2}</math> तथा <math>\mathbb{Z}_p\times\mathbb{Z}_p</math>. | प्राइम ऑर्डर का कोई भी समूह एक चक्रीय समूह के लिए आइसोमॉर्फिक है और इसलिए एबेलियन है। कोई भी समूह जिसका क्रम एक अभाज्य संख्या का वर्ग है, वह भी एबेलियन है।<ref>Rose 2012, [https://books.google.com/books?id=pYk6AAAAIAAJ&lpg=PP1&hl=de&pg=PA79 p. 79].</ref> वास्तव में, प्रत्येक अभाज्य संख्या के लिए <math>p</math> वहाँ (समरूपता तक) क्रम के दो समूह हैं <math>p^2</math>, अर्थात् <math>\mathbb{Z}_{p^2}</math> तथा <math>\mathbb{Z}_p\times\mathbb{Z}_p</math>. | ||
=== वर्गीकरण === | === वर्गीकरण === | ||
परिमित | परिमित एबेलियन समूहों के मौलिक प्रमेय में कहा गया है कि प्रत्येक परिमित एबेलियन समूह <math>G</math> को प्रधान-शक्ति क्रम के चक्रीय उपसमूहों के प्रत्यक्ष योग के रूप में व्यक्त किया जा सकता है; इसे परिमित एबेलियन समूहों के लिए आधार प्रमेय के रूप में भी जाना जाता है। इसके अलावा, चक्रीय समूहों के ऑटोमोर्फिज़्म समूह एबेलियन समूहों के उदाहरण हैं।<ref>[[:de:Hans Kurzweil|Kurzweil, H.]], & [[:de:Bernd Stellmacher|Stellmacher, B.]], ''The Theory of Finite Groups: An Introduction'' (New York, Berlin, Heidelberg: [[Springer Science+Business Media|Springer Verlag]], 2004), [https://books.google.com/books?id=iebSBwAAQBAJ&lpg=PR1&pg=PA43 pp. 43–54].</ref> यह परिमित रूप से उत्पन्न एबेलियन समूहों के मौलिक प्रमेय द्वारा सामान्यीकृत है, जिसमें परिमित समूह विशेष मामला है जब जी की रैंक शून्य है; यह बदले में कई और सामान्यीकरणों को स्वीकार करता है। | ||
वर्गीकरण 1870 में [[लियोपोल्ड क्रोनकर]] द्वारा सिद्ध किया गया था, हालांकि इसे | वर्गीकरण 1870 में [[लियोपोल्ड क्रोनकर]] द्वारा सिद्ध किया गया था, हालांकि इसे आधुनिक समूह-सैद्धांतिक शब्दों में बाद तक नहीं बताया गया था, और 1801 में [[कार्ल फ्रेडरिक गॉस]] द्वारा द्विघात रूपों के समान वर्गीकरण से पहले किया गया था; विवरण के लिए इतिहास देखें। | ||
चक्रीय समूह <math>\mathbb{Z}_{mn}</math> आदेश की <math>mn</math> के प्रत्यक्ष योग के लिए आइसोमोर्फिक है <math>\mathbb{Z}_m</math> तथा <math>\mathbb{Z}_n</math> अगर और केवल अगर <math>m</math> तथा <math>n</math> [[सह अभाज्य]] हैं। यह किसी भी परिमित एबेलियन समूह का अनुसरण करता है <math>G</math> फॉर्म के प्रत्यक्ष योग के लिए आइसोमोर्फिक है | चक्रीय समूह <math>\mathbb{Z}_{mn}</math> आदेश की <math>mn</math> के प्रत्यक्ष योग के लिए आइसोमोर्फिक है <math>\mathbb{Z}_m</math> तथा <math>\mathbb{Z}_n</math> अगर और केवल अगर <math>m</math> तथा <math>n</math> [[सह अभाज्य]] हैं। यह किसी भी परिमित एबेलियन समूह का अनुसरण करता है <math>G</math> फॉर्म के प्रत्यक्ष योग के लिए आइसोमोर्फिक है | ||
Line 98: | Line 100: | ||
=== ऑटोमोर्फिज्म === | === ऑटोमोर्फिज्म === | ||
किसी दिए गए परिमित एबेलियन समूह के | किसी दिए गए परिमित एबेलियन समूह <math>G</math> के ऑटोमोर्फिज़्म को गिनने (और कभी-कभी निर्धारित करने) के लिए मौलिक प्रमेय लागू किया जा सकता है। ऐसा करने के लिए, कोई इस तथ्य का उपयोग करता है कि यदि <math>G</math> सहप्राइम ऑर्डर के उपसमूहों के प्रत्यक्ष योग <math>H\oplus K</math> के रूप में विभाजित होता है, तो | ||
:<math>\operatorname{Aut}(H\oplus K) \cong \operatorname{Aut}(H)\oplus \operatorname{Aut}(K).</math> | :<math>\operatorname{Aut}(H\oplus K) \cong \operatorname{Aut}(H)\oplus \operatorname{Aut}(K).</math> | ||
इसे देखते हुए, मौलिक प्रमेय से पता चलता है कि ऑटोमोर्फिज्म समूह की गणना करने के लिए <math>G</math> यह सिलो प्रमेयों के ऑटोमोर्फिज्म समूहों की गणना करने के लिए पर्याप्त है <math>p</math>-उपसमूह अलग-अलग (अर्थात, चक्रीय उपसमूहों के सभी प्रत्यक्ष योग, प्रत्येक की शक्ति के साथ <math>p</math>). प्राइम फिक्स करें <math>p</math> और घातांक मान लीजिए <math>e_i</math> साइलो के चक्रीय कारकों की <math>p</math>-उपसमूहों को बढ़ते क्रम में व्यवस्थित किया जाता है: | इसे देखते हुए, मौलिक प्रमेय से पता चलता है कि ऑटोमोर्फिज्म समूह की गणना करने के लिए <math>G</math> यह सिलो प्रमेयों के ऑटोमोर्फिज्म समूहों की गणना करने के लिए पर्याप्त है <math>p</math>-उपसमूह अलग-अलग (अर्थात, चक्रीय उपसमूहों के सभी प्रत्यक्ष योग, प्रत्येक की शक्ति के साथ <math>p</math>). प्राइम फिक्स करें <math>p</math> और घातांक मान लीजिए <math>e_i</math> साइलो के चक्रीय कारकों की <math>p</math>-उपसमूहों को बढ़ते क्रम में व्यवस्थित किया जाता है: | ||
:<math>e_1\leq e_2 \leq\cdots\leq e_n</math> | :<math>e_1\leq e_2 \leq\cdots\leq e_n</math> | ||
कुछ के लिए <math>n > 0</math>. किसी के ऑटोमोर्फिज्म को | कुछ के लिए <math>n > 0</math>. किसी के ऑटोमोर्फिज्म को प्राप्त करने की जरूरत है | ||
:<math>\mathbf{Z}_{p^{e_1}} \oplus \cdots \oplus \mathbf{Z}_{p^{e_n}}.</math> | :<math>\mathbf{Z}_{p^{e_1}} \oplus \cdots \oplus \mathbf{Z}_{p^{e_n}}.</math> | ||
एक विशेष | एक विशेष स्थिति है जब <math>n = 1</math>, ताकि साइलो में केवल एक चक्रीय प्रधान-शक्ति कारक हो <math>p</math>-उपसमूह <math>P</math>. इस मामले में परिमित चक्रीय समूह के ऑटोमोर्फिज्म के सिद्धांत का उपयोग किया जा सकता है। एक और विशेष मामला है जब <math>n</math> मनमाना है लेकिन <math>e_i = 1</math> के लिये <math> 1 \le i \le n</math>. यहाँ, एक विचार कर रहा है <math>P</math> स्वरूप का होना | ||
:<math>\mathbf{Z}_p \oplus \cdots \oplus \mathbf{Z}_p,</math> | :<math>\mathbf{Z}_p \oplus \cdots \oplus \mathbf{Z}_p,</math> | ||
Line 124: | Line 126: | ||
:<math> \left|\operatorname{Aut}(P)\right| = \prod_{k=1}^n (p^{d_k}-p^{k-1}) \prod_{j=1}^n (p^{e_j})^{n-d_j} \prod_{i=1}^n (p^{e_i-1})^{n-c_i+1}. </math> | :<math> \left|\operatorname{Aut}(P)\right| = \prod_{k=1}^n (p^{d_k}-p^{k-1}) \prod_{j=1}^n (p^{e_j})^{n-d_j} \prod_{i=1}^n (p^{e_i-1})^{n-c_i+1}. </math> | ||
कोई | कोई यह जांच कर सकता है कि ये आदेश पिछले उदाहरणों में विशेष स्थिति के रूप में हैं (देखें हिलर, सी।, और रियास, डी।)। | ||
== | == अंतिम उत्पन्न एबेलियन समूह == | ||
{{main| | {{main|अंतत: उत्पन्न एबेलियन समूह}} | ||
एक एबेलियन समूह {{mvar|A}} अगर इसमें तत्वों का एक सीमित सेट होता है (जिसे जनरेटर कहा जाता है) <math>G=\{x_1, \ldots, x_n\}</math> जैसे कि समूह का प्रत्येक तत्व एक [[रैखिक संयोजन]] है जिसमें तत्वों के पूर्णांक गुणांक होते हैं {{mvar|G}}. | एक एबेलियन समूह {{mvar|A}} अगर इसमें तत्वों का एक सीमित सेट होता है (जिसे जनरेटर कहा जाता है) <math>G=\{x_1, \ldots, x_n\}</math> जैसे कि समूह का प्रत्येक तत्व एक [[रैखिक संयोजन]] है जिसमें तत्वों के पूर्णांक गुणांक होते हैं {{mvar|G}}. | ||
Line 133: | Line 135: | ||
<math>p\colon L \to A,</math> ऐसा है कि | <math>p\colon L \to A,</math> ऐसा है कि | ||
:<math>p(b_i) = x_i\quad \text{for } i=1,\ldots, n.</math> | :<math>p(b_i) = x_i\quad \text{for } i=1,\ldots, n.</math> | ||
यह समरूपता | यह समरूपता आच्छादित है, और इसकी गुठली बारीक रूप से उत्पन्न होती है (चूंकि पूर्णांक एक [[नोथेरियन रिंग|नोएदरियन वलय]] बनाते हैं)। पूर्णांक प्रविष्टियों के साथ एक मैट्रिक्स {{mvar|M}} पर विचार करें जैसे कि इसके {{mvar|j}} वें कॉलम में प्रविष्टियाँ कर्नेल के {{mvar|j}} वें जनरेटर के गुणांक हैं। फिर, एबेलियन समूह एम द्वारा परिभाषित रैखिक मानचित्र के कोकर्नेल के लिए आइसोमोर्फिक है। इसके विपरीत, प्रत्येक [[पूर्णांक मैट्रिक्स]] एक सूक्ष्मता से उत्पन्न एबेलियन समूह को परिभाषित करता है। | ||
यह इस प्रकार है कि | यह इस प्रकार है कि अंतिम रूप से उत्पन्न एबेलियन समूहों का अध्ययन पूरी तरह से पूर्णांक आव्यूहों के अध्ययन के बराबर है। विशेष रूप से, ए के जनरेटिंग सेट को बदलना एक [[यूनिमॉड्यूलर मैट्रिक्स]] (यानी, एक व्युत्क्रमणीय पूर्णांक मैट्रिक्स जिसका व्युत्क्रम भी एक पूर्णांक मैट्रिक्स है) द्वारा बाईं ओर M को गुणा करने के बराबर है। {{mvar|M}} के कर्नेल के जनरेटिंग सेट को बदलना एक यूनिमॉड्यूलर मैट्रिक्स द्वारा दाईं ओर {{mvar|M}} को गुणा करने के बराबर है। | ||
स्मिथ का सामान्य रूप {{mvar|M}} एक मैट्रिक्स है | स्मिथ का सामान्य रूप {{mvar|M}} एक मैट्रिक्स है | ||
:<math>S=UMV,</math> | :<math>S=UMV,</math> | ||
जहाँ पे {{mvar|U}} तथा {{mvar|V}} यूनिमॉड्यूलर हैं, और {{mvar|S}} एक मैट्रिक्स है जैसे कि सभी गैर-विकर्ण प्रविष्टियाँ शून्य हैं, गैर-शून्य विकर्ण प्रविष्टियाँ {{tmath|d_{1,1}, \ldots, d_{k,k} }} पहले वाले हैं, और {{tmath|d_{j,j} }} का भाजक है {{tmath|d_{i,i} }} के लिये {{math|''i'' > ''j''}}. स्मिथ सामान्य का अस्तित्व और आकार यह साबित करता है कि अंतिम रूप से उत्पन्न एबेलियन समूह {{mvar|A}} प्रत्यक्ष योग है | |||
:<math>\Z^r \oplus \Z/d_{1,1}\Z \oplus \cdots \oplus \Z/d_{k,k}\Z,</math> कहाँ पे {{mvar|r}} के तल पर शून्य पंक्तियों की संख्या है {{mvar|r}} (और समूह के एक एबेलियन समूह की रैंक भी)। यह अंतिम रूप से उत्पन्न एबेलियन समूहों का मूलभूत प्रमेय है। | :<math>\Z^r \oplus \Z/d_{1,1}\Z \oplus \cdots \oplus \Z/d_{k,k}\Z,</math> कहाँ पे {{mvar|r}} के तल पर शून्य पंक्तियों की संख्या है {{mvar|r}} (और समूह के एक एबेलियन समूह की रैंक भी)। यह अंतिम रूप से उत्पन्न एबेलियन समूहों का मूलभूत प्रमेय है। | ||
स्मिथ सामान्य रूप के लिए एल्गोरिदम के अस्तित्व से पता चलता है कि अंतिम रूप से उत्पन्न एबेलियन समूहों का मौलिक प्रमेय न केवल अमूर्त अस्तित्व का एक प्रमेय है, बल्कि प्रत्यक्ष योग के रूप में अंतिम रूप से उत्पन्न एबेलियन समूहों की अभिव्यक्ति की गणना के लिए एक तरीका प्रदान करता है।<ref>Finkelstein, L., & [[William Kantor|Kantor, W. M.]], eds., ''Groups and Computation II: Workshop on Groups and Computation, June 7–10, 1995'' ([[Providence, Rhode Island|Providence]]: [[American Mathematical Society|AMS]], 1997), [https://books.google.com/books?id=lyL8Ui36FKsC&pg=PA26 pp. 26–27].</ref>{{rp|26–27}} | स्मिथ सामान्य रूप के लिए एल्गोरिदम के अस्तित्व से पता चलता है कि अंतिम रूप से उत्पन्न एबेलियन समूहों का मौलिक प्रमेय न केवल अमूर्त अस्तित्व का एक प्रमेय है, बल्कि प्रत्यक्ष योग के रूप में अंतिम रूप से उत्पन्न एबेलियन समूहों की अभिव्यक्ति की गणना के लिए एक तरीका प्रदान करता है।<ref>Finkelstein, L., & [[William Kantor|Kantor, W. M.]], eds., ''Groups and Computation II: Workshop on Groups and Computation, June 7–10, 1995'' ([[Providence, Rhode Island|Providence]]: [[American Mathematical Society|AMS]], 1997), [https://books.google.com/books?id=lyL8Ui36FKsC&pg=PA26 pp. 26–27].</ref>{{rp|26–27}} | ||
== अनंत एबेलियन समूह == | == अनंत एबेलियन समूह == | ||
सबसे सरल अनंत एबेलियन समूह [[अनंत चक्रीय समूह]] है <math>\mathbb{Z}</math>. कोई भी अंतिम रूप से उत्पन्न एबेलियन समूह <math>A</math> के प्रत्यक्ष योग के लिए आइसोमोर्फिक है <math>r</math> की प्रतियां <math>\mathbb{Z}</math> और एक परिमित एबेलियन समूह, जो बदले में प्रधान शक्ति आदेशों के सूक्ष्म रूप से कई चक्रीय समूहों के प्रत्यक्ष योग में विघटित होता है। भले ही अपघटन अद्वितीय नहीं है, संख्या <math>r</math>, के एक एबेलियन समूह का रैंक कहा जाता है <math>A</math>, और परिमित चक्रीय योग के आदेश देने वाली प्रमुख शक्तियाँ विशिष्ट रूप से निर्धारित होती हैं। | सबसे सरल अनंत एबेलियन समूह [[अनंत चक्रीय समूह]] है <math>\mathbb{Z}</math>. कोई भी अंतिम रूप से उत्पन्न एबेलियन समूह <math>A</math> के प्रत्यक्ष योग के लिए आइसोमोर्फिक है <math>r</math> की प्रतियां <math>\mathbb{Z}</math> और एक परिमित एबेलियन समूह, जो बदले में प्रधान शक्ति आदेशों के सूक्ष्म रूप से कई चक्रीय समूहों के प्रत्यक्ष योग में विघटित होता है। भले ही अपघटन अद्वितीय नहीं है, संख्या <math>r</math>, के एक एबेलियन समूह का रैंक कहा जाता है <math>A</math>, और परिमित चक्रीय योग के आदेश देने वाली प्रमुख शक्तियाँ विशिष्ट रूप से निर्धारित होती हैं। | ||
Line 152: | Line 152: | ||
बिल्कुल विपरीत गुणों वाले अनंत एबेलियन समूहों के दो महत्वपूर्ण विशेष वर्ग 'मरोड़ समूह' और 'मरोड़-मुक्त समूह' हैं, जो समूहों द्वारा उदाहरण हैं <math>\mathbb{Q}/\mathbb{Z}</math> (आवधिक) और <math>\mathbb{Q}</math> (मरोड़ रहित)। | बिल्कुल विपरीत गुणों वाले अनंत एबेलियन समूहों के दो महत्वपूर्ण विशेष वर्ग 'मरोड़ समूह' और 'मरोड़-मुक्त समूह' हैं, जो समूहों द्वारा उदाहरण हैं <math>\mathbb{Q}/\mathbb{Z}</math> (आवधिक) और <math>\mathbb{Q}</math> (मरोड़ रहित)। | ||
=== मरोड़ समूह === | === '''टॉर्शन ('''मरोड़''') समूह''' === | ||
एबेलियन समूह को [[आवधिक समूह]] या [[मरोड़ (बीजगणित)]] कहा जाता है, यदि प्रत्येक तत्व में परिमित क्रम (समूह सिद्धांत) होता है। परिमित चक्रीय समूहों का प्रत्यक्ष योग आवधिक है। यद्यपि विलोम कथन सामान्य रूप से सत्य नहीं है, फिर भी कुछ विशेष मामले ज्ञात हैं। पहले और दूसरे प्रुफर प्रमेय में कहा गया है कि अगर <math>A</math> एक आवर्त समूह है, और इसका या तो परिबद्ध घातांक है, अर्थात, <math>nA = 0</math> कुछ प्राकृतिक संख्या के लिए <math>n</math>, या गणनीय है और ऊंचाई (एबेलियन समूह) |<math>p</math>-तत्वों की ऊँचाई <math>A</math> प्रत्येक के लिए परिमित हैं <math>p</math>, फिर <math>A</math> परिमित चक्रीय समूहों के प्रत्यक्ष योग के लिए समरूप है।<ref>Countability assumption in the second Prüfer theorem cannot be removed: the torsion subgroup of the [[direct product]] of the cyclic groups <math>\mathbb{Z}/p^m\mathbb{Z}</math> for all natural <math>m</math> is not a direct sum of cyclic groups.</ref> प्रत्यक्ष सारांश के सेट की कार्डिनैलिटी आइसोमॉर्फिक है <math>\mathbb{Z}/p^m\mathbb{Z}</math> इस तरह के अपघटन में एक अपरिवर्तनीय है <math>A</math>.<ref>Faith, C. C., ''Rings and Things and a Fine Array of Twentieth Century Associative Algebra'' (Providence: AMS, 2004), [https://books.google.com/books?id=H1TzBwAAQBAJ&pg=PA6 p. 6].</ref>{{rp|6}} बाद में इन प्रमेयों को कुलिकोव कसौटी में सम्मिलित कर लिया गया। एक अलग दिशा में, [[हेल्मुट उल्म]] ने काउंटेबल एबेलियन के लिए दूसरे प्रुफर प्रमेय का विस्तार पाया <math>p</math>अनंत ऊंचाई के तत्वों वाले समूह: उन समूहों को पूरी तरह से उनके उल्म आक्रमणकारियों के माध्यम से वर्गीकृत किया जाता है। | |||
=== मरोड़-मुक्त और मिश्रित समूह === | === मरोड़-मुक्त और मिश्रित समूह === | ||
एक एबेलियन समूह को मरोड़-मुक्त कहा जाता है यदि प्रत्येक गैर-शून्य तत्व में अनंत क्रम हो। [[मरोड़ मुक्त एबेलियन समूह]] | एक एबेलियन समूह को मरोड़-मुक्त कहा जाता है यदि प्रत्येक गैर-शून्य तत्व में अनंत क्रम हो। [[मरोड़ मुक्त एबेलियन समूह|मरोड़ मुक्त एबेलियन समूहों]] के कई वर्गों का बड़े पैमाने पर अध्ययन किया गया है: | ||
* नि: शुल्क एबेलियन समूह, यानी मनमाना प्रत्यक्ष योग <math>\mathbb{Z}</math> | * नि: शुल्क एबेलियन समूह, यानी मनमाना प्रत्यक्ष योग <math>\mathbb{Z}</math> | ||
* कोटोरसन समूह और बीजगणितीय रूप [[बीजीय रूप से कॉम्पैक्ट मॉड्यूल]] टॉर्सियन-मुक्त समूह जैसे पी-एडिक पूर्णांक |<math>p</math>-एडिक पूर्णांक | * कोटोरसन समूह और बीजगणितीय रूप [[बीजीय रूप से कॉम्पैक्ट मॉड्यूल]] टॉर्सियन-मुक्त समूह जैसे पी-एडिक पूर्णांक |<math>p</math>-एडिक पूर्णांक | ||
* [[पतला समूह]]<ref>Albrecht, U., "Products of Slender Abelian Groups", in Göbel, R., & Walker, E., eds., ''Abelian Group Theory: Proceedings of the Third Conference Held on Abelian Group Theory at Oberwolfach, August 11-17, 1985'' (New York: [[Taylor & Francis|Gordon & Breach]], 1987), [https://books.google.com/books?id=kwvGp9_4lOMC&pg=PT259 pp. 259–274].</ref>{{rp|259–274}} | * [[पतला समूह]]<ref>Albrecht, U., "Products of Slender Abelian Groups", in Göbel, R., & Walker, E., eds., ''Abelian Group Theory: Proceedings of the Third Conference Held on Abelian Group Theory at Oberwolfach, August 11-17, 1985'' (New York: [[Taylor & Francis|Gordon & Breach]], 1987), [https://books.google.com/books?id=kwvGp9_4lOMC&pg=PT259 pp. 259–274].</ref>{{rp|259–274}} | ||
एक एबेलियन समूह जो न तो आवधिक है और न ही मरोड़ रहित है, मिश्रित कहलाता है। यदि <math>A</math> एक एबेलियन समूह है और <math>T(A)</math> इसका [[मरोड़ उपसमूह]] है, फिर कारक समूह <math>A/T(A)</math> मरोड़ रहित है। हालाँकि, सामान्य तौर पर मरोड़ उपसमूह का प्रत्यक्ष योग नहीं है <math>A</math>, इसलिए <math>A</math> के लिए आइसोमोर्फिक नहीं है <math>T(A) \oplus A/T(A)</math>. इस प्रकार मिश्रित समूहों के सिद्धांत में आवधिक और मरोड़-मुक्त समूहों के परिणामों के संयोजन से अधिक | एक एबेलियन समूह जो न तो आवधिक है और न ही मरोड़ रहित है, मिश्रित कहलाता है। यदि <math>A</math> एक एबेलियन समूह है और <math>T(A)</math> इसका [[मरोड़ उपसमूह]] है, फिर कारक समूह <math>A/T(A)</math> मरोड़ रहित है। हालाँकि, सामान्य तौर पर मरोड़ उपसमूह का प्रत्यक्ष योग नहीं है <math>A</math>, इसलिए <math>A</math> के लिए आइसोमोर्फिक नहीं है <math>T(A) \oplus A/T(A)</math>. इस प्रकार मिश्रित समूहों के सिद्धांत में आवधिक और मरोड़-मुक्त समूहों के परिणामों के संयोजन से अधिक सम्मिलित है। योगात्मक समूह <math>\mathbb{Z}</math> पूर्णांकों का मरोड़ मुक्त है <math>\mathbb{Z}</math>-मापांक।<ref>Lal, R., ''Algebra 2: Linear Algebra, Galois Theory, Representation Theory, Group Extensions and Schur Multiplier'' (Berlin, Heidelberg: Springer, 2017), [https://books.google.com/books?id=FwPNDgAAQBAJ&pg=PA206 p. 206].</ref>{{rp|206}} | ||
=== अपरिवर्तनीय और वर्गीकरण === | === अपरिवर्तनीय और वर्गीकरण === | ||
अनंत एबेलियन समूह के सबसे बुनियादी आक्रमणकारियों में से एक <math>A</math> एक एबेलियन समूह की इसकी रैंक है: के अधिकतम रैखिक रूप से स्वतंत्र उपसमुच्चय की कार्डिनैलिटी <math>A</math>. रैंक 0 के एबेलियन समूह निश्चित रूप से आवधिक समूह हैं, जबकि [[रैंक 1 के मरोड़-मुक्त एबेलियन समूह]] आवश्यक रूप से उपसमूह हैं <math>\mathbb{Q}</math> और पूर्ण रूप से वर्णित किया जा सकता है। अधिक आम तौर पर, परिमित रैंक का मरोड़-मुक्त एबेलियन समूह <math>r</math> का एक उपसमूह है <math>\mathbb{Q}_r</math>. दूसरी ओर, | अनंत एबेलियन समूह के सबसे बुनियादी आक्रमणकारियों में से एक <math>A</math> एक एबेलियन समूह की इसकी रैंक है: के अधिकतम रैखिक रूप से स्वतंत्र उपसमुच्चय की कार्डिनैलिटी <math>A</math>. रैंक 0 के एबेलियन समूह निश्चित रूप से आवधिक समूह हैं, जबकि [[रैंक 1 के मरोड़-मुक्त एबेलियन समूह]] आवश्यक रूप से उपसमूह हैं <math>\mathbb{Q}</math> और पूर्ण रूप से वर्णित किया जा सकता है। अधिक आम तौर पर, परिमित रैंक का मरोड़-मुक्त एबेलियन समूह <math>r</math> का एक उपसमूह है <math>\mathbb{Q}_r</math>. दूसरी ओर, <math>p</math>-एडिक पूर्णांक का समूह| <math>\mathbb{Z}_p</math> अनंत का एक मरोड़ मुक्त एबेलियन समूह है <math>\mathbb{Z}</math>-रैंक और समूह <math>\mathbb{Z}_p^n</math> अलग के साथ # अन्य के साथ <math>n</math> गैर-आइसोमॉर्फिक हैं, इसलिए यह अपरिवर्तनीय कुछ परिचित समूहों के गुणों को पूरी तरह से अधिकृत नहीं करता है। | ||
स्पष्ट रूप से उत्पन्न, विभाज्य, गणनीय आवधिक और रैंक 1 मरोड़-मुक्त एबेलियन समूहों के लिए वर्गीकरण प्रमेय सभी 1950 से पहले प्राप्त किए गए थे और अधिक सामान्य अनंत एबेलियन समूहों के वर्गीकरण के लिए आधार बनाते हैं। अनंत एबेलियन समूहों के वर्गीकरण में उपयोग किए जाने वाले महत्वपूर्ण तकनीकी उपकरण शुद्ध और बुनियादी उपसमूह हैं। मरोड़-मुक्त एबेलियन समूहों के विभिन्न आक्रमणकारियों की शुरूआत आगे की प्रगति के लिए एक अवसर रही है। हाल के निष्कर्षों के लिए लेक्चर नोट्स इन मैथमेटिक्स में प्रकाशित एबेलियन ग्रुप थ्योरी पर सम्मेलनों की कार्यवाही, साथ ही [[इरविंग कपलान्स्की]], लेज़्लो फुच्स, [[फिलिप ग्रिफ़िथ]] और [[डेविड अर्नोल्ड (गणितज्ञ)]] की पुस्तकें देखें। | |||
=== | === वलय के योज्य समूह === | ||
वलय (गणित) का योगात्मक समूह एक एबेलियन समूह है, लेकिन सभी एबेलियन समूह वलयों के योगात्मक समूह नहीं हैं (गैर महत्वहीन गुणन के साथ)। अध्ययन के इस क्षेत्र में कुछ महत्वपूर्ण विषय हैं: | |||
* [[टेंसर उत्पाद]] | * [[टेंसर उत्पाद]] | ||
* ए.एल.एस. गणनीय मरोड़-मुक्त समूहों पर कॉर्नर के परिणाम | * ए.एल.एस. गणनीय मरोड़-मुक्त समूहों पर कॉर्नर के परिणाम | ||
* कार्डिनैलिटी प्रतिबंधों को हटाने के लिए शेला का कार्य | * कार्डिनैलिटी प्रतिबंधों को हटाने के लिए शेला का कार्य | ||
* [[बर्नसाइड रिंग]] | * [[बर्नसाइड रिंग|बर्नसाइड वलय]] | ||
== अन्य गणितीय विषयों से संबंध == | == अन्य गणितीय विषयों से संबंध == | ||
कई बड़े एबेलियन समूहों | कई बड़े एबेलियन समूहों के पास एक प्राकृतिक [[टोपोलॉजी]] है, जो उन्हें [[टोपोलॉजिकल समूह|टोपोलॉजिकल समूहों]] में बदल देती है। | ||
सभी एबेलियन समूहों का संग्रह, उनके बीच | सभी एबेलियन समूहों का संग्रह, उनके बीच के समरूपता के साथ मिलकर [[एबेलियन श्रेणी]] का प्रोटोटाइप श्रेणी <math>\textbf{Ab}</math> बनाता है। | ||
वांडा ज़्मील्यू (1955) ने साबित किया कि एबेलियन समूहों का प्रथम-क्रम सिद्धांत, अपने गैर-अबेलियन समकक्ष के विपरीत, निर्णायक है। [[बूलियन बीजगणित (संरचना)]] के अलावा अधिकांश बीजगणितीय संरचनाएं अनिर्णीत हैं। | |||
वर्तमान | अभी भी वर्तमान अनुसंधान के कई क्षेत्र हैं: | ||
*परिमित रैंक के मरोड़-मुक्त एबेलियन समूहों के बीच, केवल अंतिम रूप से उत्पन्न मामला और रैंक 1 मामले के मरोड़-मुक्त एबेलियन समूहों को अच्छी तरह से समझा जाता है; | *परिमित रैंक के मरोड़-मुक्त एबेलियन समूहों के बीच, केवल अंतिम रूप से उत्पन्न मामला और रैंक 1 मामले के मरोड़-मुक्त एबेलियन समूहों को अच्छी तरह से समझा जाता है; | ||
* अनंत-श्रेणी मरोड़-मुक्त एबेलियन समूहों के सिद्धांत में कई अनसुलझी समस्याएं हैं; | * अनंत-श्रेणी मरोड़-मुक्त एबेलियन समूहों के सिद्धांत में कई अनसुलझी समस्याएं हैं; | ||
Line 193: | Line 191: | ||
* [[कम्प्यूटेशनल समूह सिद्धांत]] में परिमित एबेलियन समूह शोध का विषय बने हुए हैं। | * [[कम्प्यूटेशनल समूह सिद्धांत]] में परिमित एबेलियन समूह शोध का विषय बने हुए हैं। | ||
इसके अलावा, अनंत क्रम के एबेलियन समूह, आश्चर्यजनक रूप से, सेट सिद्धांत के बारे में गहरे | इसके अलावा, अनंत क्रम के एबेलियन समूह, आश्चर्यजनक रूप से, सेट सिद्धांत के बारे में गहरे सवालों की ओर ले जाते हैं, जो आमतौर पर सभी गणित को रेखांकित करते हैं। व्हाइटहेड समस्या को लें: क्या अनंत क्रम के सभी व्हाइटहेड समूह भी एबेलियन समूह मुक्त हैं? 1970 के दशक में, [[सहारों शेलाह]] ने सिद्ध किया कि व्हाइटहेड समस्या है: | ||
* [[ZFC]] ( | * [[ZFC|जेडएफसी]] (ज़र्मेलो-फ्रेंकेल स्वयंसिद्ध) में तय नहीं है, पारंपरिक [[स्वयंसिद्ध सेट सिद्धांत]] जिससे लगभग सभी मौजूदा गणित प्राप्त किए जा सकते हैं। व्हाइटहेड समस्या भी सामान्य गणित की पहली समस्या है जिसे जेडएफसी में अनिर्णीत साबित किया जा सकता है; | ||
* अनिर्णीत भले ही | *अनिर्णीत भले ही जेडएफसी को [[सामान्यीकृत सातत्य परिकल्पना]] को एक स्वयंसिद्ध के रूप में ले कर संवर्धित किया गया हो; | ||
* सकारात्मक रूप से उत्तर दिया गया है यदि | * सकारात्मक रूप से उत्तर दिया गया है यदि जेडएफसी को रचनात्मक ब्रह्मांड के स्वयंसिद्ध के साथ संवर्धित किया गया है (एल में कथन सत्य देखें)। | ||
== टाइपोग्राफी पर एक टिप्पणी == | |||
गणितज्ञ के उचित नाम से प्राप्त गणितीय [[विशेषण|विशेषणों]] में, "एबेलियन" शब्द दुर्लभ है क्योंकि इसे अक्सर अपरकेस ए के बजाय लोअरकेस ए के साथ लिखा जाता है, पूंजीकरण की कमी न केवल डिग्री की मौन स्वीकृति है हाबिल के नाम को संस्थागत बना दिया गया है, लेकिन यह भी कि आधुनिक गणित में उनके द्वारा प्रस्तुत अवधारणाएं कितनी सर्वव्यापी हैं।<ref>{{cite web|url=https://www.maa.org/external_archive/devlin/devlin_04_04.html|archive-url=https://web.archive.org/web/20121231055255/http://www.maa.org/devlin/devlin_04_04.html |archive-date=31 December 2012|url-status=dead|access-date=3 July 2016|title=एबेल पुरस्कार से सम्मानित: गणितज्ञों का नोबेल}}</ref> | |||
== यह भी देखें == | === यह भी देखें === | ||
{{Algebraic structures}} | {{Algebraic structures}} | ||
*{{annotated link| | *{{annotated link|कम्यूटेटर उपसमूह}} | ||
*{{annotated link| | *{{annotated link|एबेलियनाइजेशन}} | ||
*{{annotated link| | *{{annotated link|ऑर्डर 6 का डायहेड्रल समूह}}, सबसे छोटा गैर-अबेलियन समूह | ||
*{{annotated link| | *{{annotated link|प्राथमिक एबेलियन समूह}} | ||
*{{annotated link| | *{{annotated link|ग्रोथेंडिक समूह}} | ||
*{{annotated link| | *{{annotated link|पोंट्रीगिन द्वैत}} | ||
== टिप्पणियाँ == | == टिप्पणियाँ == | ||
{{Reflist}} | {{Reflist}} | ||
== संदर्भ == | == संदर्भ == | ||
Line 227: | Line 222: | ||
* {{cite journal |last=Szmielew |first=Wanda|author-link= Wanda Szmielew |date=1955 |title=Elementary Properties of Abelian Groups |journal=[[Fundamenta Mathematicae]] |volume=41 |issue=2|url=http://matwbn.icm.edu.pl/ksiazki/fm/fm41/fm41122.pdf|pages= 203–271|doi=10.4064/fm-41-2-203-271|mr=0072131|zbl=0248.02049|doi-access=free}} | * {{cite journal |last=Szmielew |first=Wanda|author-link= Wanda Szmielew |date=1955 |title=Elementary Properties of Abelian Groups |journal=[[Fundamenta Mathematicae]] |volume=41 |issue=2|url=http://matwbn.icm.edu.pl/ksiazki/fm/fm41/fm41122.pdf|pages= 203–271|doi=10.4064/fm-41-2-203-271|mr=0072131|zbl=0248.02049|doi-access=free}} | ||
* {{cite journal |last1=Robinson |first1=Abraham|author-link1= Abraham Robinson |last2=Zakon |first2=Elias|date=1960 |title=Elementary Properties of Ordered Abelian Groups |journal=[[Transactions of the American Mathematical Society]] |volume=96 |issue=2|url=https://www.ams.org/journals/tran/1960-096-02/S0002-9947-1960-0114855-0/S0002-9947-1960-0114855-0.pdf |archive-url=https://ghostarchive.org/archive/20221009/https://www.ams.org/journals/tran/1960-096-02/S0002-9947-1960-0114855-0/S0002-9947-1960-0114855-0.pdf |archive-date=2022-10-09 |url-status=live|pages= 222–236|doi=10.2307/1993461|doi-access=free}} | * {{cite journal |last1=Robinson |first1=Abraham|author-link1= Abraham Robinson |last2=Zakon |first2=Elias|date=1960 |title=Elementary Properties of Ordered Abelian Groups |journal=[[Transactions of the American Mathematical Society]] |volume=96 |issue=2|url=https://www.ams.org/journals/tran/1960-096-02/S0002-9947-1960-0114855-0/S0002-9947-1960-0114855-0.pdf |archive-url=https://ghostarchive.org/archive/20221009/https://www.ams.org/journals/tran/1960-096-02/S0002-9947-1960-0114855-0/S0002-9947-1960-0114855-0.pdf |archive-date=2022-10-09 |url-status=live|pages= 222–236|doi=10.2307/1993461|doi-access=free}} | ||
==बाहरी संबंध== | ==बाहरी संबंध== | ||
Line 235: | Line 229: | ||
{{Authority control}} | {{Authority control}} | ||
{{DEFAULTSORT:Abelian Group}} | {{DEFAULTSORT:Abelian Group}} | ||
[[Category: | [[Category:AC with 0 elements|Abelian Group]] | ||
[[Category:Created On 26/11/2022]] | [[Category:Articles with hatnote templates targeting a nonexistent page|Abelian Group]] | ||
[[Category:Articles with short description|Abelian Group]] | |||
[[Category:CS1|Abelian Group]] | |||
[[Category:CS1 français-language sources (fr)|Abelian Group]] | |||
[[Category:CS1 maint|Abelian Group]] | |||
[[Category:CS1 Ελληνικά-language sources (el)|Abelian Group]] | |||
[[Category:Citation Style 1 templates|W]] | |||
[[Category:Collapse templates|Abelian Group]] | |||
[[Category:Created On 26/11/2022|Abelian Group]] | |||
[[Category:Lua-based templates|Abelian Group]] | |||
[[Category:Machine Translated Page|Abelian Group]] | |||
[[Category:Mathematics sidebar templates|Abelian Group]] | |||
[[Category:Navigational boxes| ]] | |||
[[Category:Navigational boxes without horizontal lists|Abelian Group]] | |||
[[Category:Pages with script errors|Abelian Group]] | |||
[[Category:Physics sidebar templates|Abelian Group]] | |||
[[Category:Short description with empty Wikidata description|Abelian Group]] | |||
[[Category:Sidebars with styles needing conversion|Abelian Group]] | |||
[[Category:Template documentation pages|Documentation/doc]] | |||
[[Category:Templates Translated in Hindi|Abelian Group]] | |||
[[Category:Templates Vigyan Ready|Abelian Group]] | |||
[[Category:Templates based on the Citation/CS1 Lua module|Abelian Group]] | |||
[[Category:Templates generating COinS|Cite web]] | |||
[[Category:Templates generating microformats|Abelian Group]] | |||
[[Category:Templates that add a tracking category|Abelian Group]] | |||
[[Category:Templates that are not mobile friendly|Abelian Group]] | |||
[[Category:Templates that generate short descriptions|Abelian Group]] | |||
[[Category:Templates used by AutoWikiBrowser|Cite web]] | |||
[[Category:Templates using TemplateData|Abelian Group]] | |||
[[Category:Wikipedia fully protected templates|Cite web]] | |||
[[Category:Wikipedia metatemplates|Abelian Group]] | |||
[[Category:एबेलियन समूह सिद्धांत|Abelian Group]] | |||
[[Category:नील्स हेनरिक एबेल|Abelian Group]] | |||
[[Category:समूहों के गुण|Abelian Group]] |
Latest revision as of 12:02, 4 September 2023
गणित में, एक एबेलियन समूह, जिसे कम्यूटेटिव समूह भी कहा जाता है, एक ऐसा समूह (गणित) होता है जिसमें दो समूह तत्वों पर समूह संक्रिया को लागू करने का परिणाम उस क्रम पर निर्भर नहीं करता है जिसमें वे लिखे गए हैं। अर्थात्, समूह संक्रिया क्रमविनिमेय है। एक ऑपरेशन के रूप में जोड़ के साथ, पूर्णांक और वास्तविक संख्या एबेलियन समूह बनाते हैं, और एक एबेलियन समूह की अवधारणा को इन उदाहरणों के सामान्यीकरण के रूप में देखा जा सकता है। एबेलियन समूहों का नाम 19वीं सदी के प्रारम्भ में गणितज्ञ नील्स हेनरिक एबेल के नाम पर रखा गया है।[1]
एक एबेलियन समूह की अवधारणा कई मौलिक बीजगणितीय संरचनाओं को रेखांकित करती है, जैसे फ़ील्ड्स, वलय्स, वेक्टर रिक्त स्थान और बीजगणित। एबेलियन समूहों का सिद्धांत आम तौर पर उनके गैर-अबेलियन समकक्षों की तुलना में सरल होता है, और परिमित एबेलियन समूहों को बहुत अच्छी तरह से समझा जाता है और पूरी तरह से वर्गीकृत किया जाता है।
बीजगणितीय संरचना → 'समूह सिद्धांत' समूह सिद्धांत |
---|
परिभाषा
एबेलियन समूह एक समुच्चय है, जिसमें ऑपरेशन ⋅ है जो ए के किसी भी दो तत्वों और को के दूसरे तत्व बनाने के लिए जोड़ता है, जिसे कहा जाता है। प्रतीक ⋅ ठोस रूप से दिए गए ऑपरेशन के लिए एक सामान्य प्लेसहोल्डर है। एक एबेलियन समूह के रूप में अर्हता प्राप्त करने के लिए, सेट और ऑपरेशन, को चार आवश्यकताओं को पूरा करना चाहिए, जिसे एबेलियन समूह स्वयंसिद्ध के रूप में जाना जाता है (कुछ लेखकों ने सिद्धांतों में कुछ गुण सम्मिलित किए हैं जो एक ऑपरेशन की परिभाषा से संबंधित हैं: अर्थात। के तत्वों की किसी भी आदेशित जोड़ी के लिए ऑपरेशन परिभाषित किया गया है, परिणाम अच्छी तरह परिभाषित है, और परिणाम A से संबंधित है):
संबद्धता
सभी के लिए , , तथा में , समीकरण रखती है।
तत्समक अवयव
एक तत्व मौजूद है में , जैसे कि सभी तत्वों के लिए में , समीकरण रखती है।
व्युत्क्रम तत्व
प्रत्येक के लिए में एक तत्व मौजूद है में ऐसा है कि , कहाँ पे पहचान तत्व है।
क्रमविनिमेयता
सभी के लिए , में , .
एक ऐसा समूह जिसमें समूह संक्रिया क्रमविनिमेय नहीं है, एक गैर-अबेलियन समूह या गैर-क्रमविनिमेय समूह कहलाता है।[2]: 11
तथ्य
अंकन
एबेलियन समूहों के लिए दो मुख्य सांकेतिक परिपाटियां हैं - योगात्मक और गुणक।
परिपाटी | ऑपरेशन | समानता | पॉवर्स | विपर्यय |
---|---|---|---|---|
योग | 0 | |||
गुणन | or | 1 |
सामान्य तौर पर, गुणक संकेतन समूहों के लिए सामान्य संकेतन है, जबकि योगात्मक संकेतन मॉड्यूल और वलयों के लिए सामान्य संकेतन है। योज्य संकेतन का उपयोग यह दावा करने के लिए भी किया जा सकता है कि एक विशेष समूह एबेलियन है, तब भी जब एबेलियन और गैर-एबेलियन दोनों समूहों पर विचार किया जाता है, कुछ उल्लेखनीय अपवाद निकट-वलय और आंशिक रूप से आदेशित समूह हैं। ऐसे स्थान हैं जहां एक संक्रिया को गैर-अबेलियन होने पर भी योगात्मक रूप से लिखा जाता है। [3]: 28–29
गुणन तालिका
यह सत्यापित करने के लिए कि एक परिमित समूह एबेलियन है, एक टेबल (मैट्रिक्स) - जिसे केली टेबल के रूप में जाना जाता है - को गुणन तालिका के समान तरीके से बनाया जा सकता है।[4]: 10 यदि समूह है नीचे ऑपरेशन , -th इस तालिका की प्रविष्टि में उत्पाद सम्मिलित है .
समूह अबेलियन है यदि और केवल यदि यह तालिका मुख्य विकर्ण के बारे में सममित है। यह सच है क्योंकि समूह एबेलियन है
समूह एबेलियन है अगर और केवल अगर यह तालिका मुख्य विकर्ण के बारे में सममित है। यह सच है क्योंकि समूह एबेलियन है अगर और केवल अगर सभी के लिए , जो iff है तालिका की प्रविष्टि के बराबर है सभी के लिए प्रवेश , यानी तालिका मुख्य विकर्ण के बारे में सममित है।
उदाहरण
- पूर्णांकों और संक्रिया योग के लिए , निरूपित , ऑपरेशन + तीसरे पूर्णांक बनाने के लिए किन्हीं दो पूर्णांकों को जोड़ता है, जोड़ साहचर्य है, शून्य योगात्मक पहचान है, प्रत्येक पूर्णांक एक योगात्मक व्युत्क्रम है, , और इसके बाद से जोड़ क्रमविनिमेय है किन्हीं दो पूर्णांकों के लिए तथा .
- हर चक्रीय समूह एबेलियन है, क्योंकि अगर , में हैं , फिर . इस प्रकार पूर्णांक, , इसके अलावा एक एबेलियन समूह बनाते हैं, जैसा कि मॉड्यूलर अंकगणितीय | पूर्णांक मॉड्यूलो करते हैं , .
- प्रत्येक वलय (गणित) इसके अतिरिक्त संचालन के संबंध में एक एबेलियन समूह है। क्रमविनिमेय वलय में व्युत्क्रमणीय तत्व, या क्रमविनिमेय वलय, एक एबेलियन गुणात्मक समूह बनाते हैं। विशेष रूप से, वास्तविक संख्याएं जोड़ के तहत एक एबेलियन समूह हैं, और गैर-शून्य वास्तविक संख्या गुणा के तहत एक एबेलियन समूह हैं।
- एबेलियन समूह का प्रत्येक उपसमूह सामान्य उपसमूह होता है, इसलिए प्रत्येक उपसमूह एक भागफल समूह को जन्म देता है। एबेलियन समूहों के उपसमूह, भागफल और समूहों का प्रत्यक्ष योग फिर से एबेलियन हैं। परिमित सरल समूह एबेलियन समूह वास्तव में अभाज्य संख्या क्रम (समूह सिद्धांत) के चक्रीय समूह हैं।[5]
- एबेलियन समूह की अवधारणाएँ और -मॉड्यूल (गणित) सहमत हैं। अधिक विशेष रूप से, प्रत्येक -मॉड्यूल इसके अलावा के संचालन के साथ एक एबेलियन समूह है, और प्रत्येक एबेलियन समूह पूर्णांक की वलय पर एक मॉड्यूल है एक अनोखे तरीके से।
सामान्य तौर पर, मैट्रिक्स (गणित), यहां तक कि व्युत्क्रमणीय मैट्रिक्स, गुणन के तहत एक एबेलियन समूह नहीं बनाते हैं क्योंकि मैट्रिक्स गुणन आम तौर पर कम्यूटेटिव नहीं होता है। हालाँकि, मैट्रिक्स के कुछ समूह मैट्रिक्स गुणन के तहत एबेलियन समूह हैं - एक उदाहरण का समूह है रोटेशन मैट्रिक्स।
ऐतिहासिक टिप्पणी
केमिली जॉर्डन ने नार्वेजियन गणितज्ञ नील्स हेनरिक एबेल के बाद एबेलियन समूहों का नाम दिया क्योंकि एबेल ने पाया कि बहुपदों के एक समूह की क्रमविनिमेयता का अर्थ है कि बहुपदों की जड़ों को बीजगणित का उपयोग करके गणना की जा सकती है। [6]: 144–145
गुण
यदि एक प्राकृतिक संख्या है और एबेलियन समूह का एक तत्व है अतिरिक्त रूप से लिखा, फिर के रूप में परिभाषित किया जा सकता है ( योग) और . इस तरह, वलय (गणित) के ऊपर एक मॉड्यूल (गणित) बन जाता है पूर्णांकों का। वास्तव में, मॉड्यूल खत्म हो गया एबेलियन समूहों के साथ पहचाना जा सकता है।
एबेलियन समूहों के बारे में प्रमेय (अर्थात मॉड्यूल (गणित) प्रमुख आदर्श डोमेन पर ) अक्सर मनमाने ढंग से प्रमुख आदर्श डोमेन पर मॉड्यूल के बारे में प्रमेय के लिए सामान्यीकृत किया जा सकता है। एक विशिष्ट उदाहरण सूक्ष्म रूप से उत्पन्न एबेलियन समूहों का वर्गीकरण है जो एक प्रमुख आदर्श डोमेन पर सूक्ष्म रूप से उत्पन्न मॉड्यूल के लिए संरचना प्रमेय का एक विशेषज्ञता है। अंतिम रूप से उत्पन्न एबेलियन समूहों के मामले में, यह प्रमेय गारंटी देता है कि एक एबेलियन समूह एक मरोड़ समूह और एक मुक्त एबेलियन समूह के प्रत्यक्ष योग के रूप में विभाजित होता है। पूर्व को प्रपत्र के सूक्ष्म रूप से कई समूहों के प्रत्यक्ष योग के रूप में लिखा जा सकता है के लिये अभाज्य, और बाद वाला प्रत्यक्ष रूप से कई प्रतियों का योग है ।
यदि एबेलियन समूहों के बीच दो समूह समरूपताएं हैं, फिर उनका योग , द्वारा परिभाषित , फिर से एक समरूपता है। (यह सच नहीं है अगर एक गैर-अबेलियन समूह है।) समुच्चय से सभी समूह समरूपता प्रति इसलिए अपने आप में एक एबेलियन समूह है।
वेक्टर रिक्त स्थान के आयाम (वेक्टर स्थान) के कुछ हद तक समान, प्रत्येक एबेलियन समूह में एक एबेलियन समूह का रैंक होता है। इसे समूह के रैखिक रूप से स्वतंत्र (पूर्णांकों पर) तत्वों के सेट की अधिकतम कार्डिनल संख्या के रूप में परिभाषित किया गया है।[7]: 49–50 परिमित एबेलियन समूहों और मरोड़ समूहों का रैंक शून्य है, और रैंक शून्य का प्रत्येक एबेलियन समूह एक मरोड़ समूह है। पूर्णांकों और परिमेय संख्याओं का कोटि एक होता है, साथ ही परिमेय संख्याओं का प्रत्येक अशून्य योज्य समूह होता है। दूसरी ओर, गैर-शून्य तर्कसंगत के गुणात्मक समूह में एक अनंत रैंक है, क्योंकि यह आधार के रूप में अभाज्य संख्याओं के सेट के साथ एक मुक्त एबेलियन समूह है (यह अंकगणित के मौलिक प्रमेय से परिणाम है)।
केंद्र (समूह सिद्धांत) एक समूह का उन तत्वों का समूह है जो प्रत्येक तत्व के साथ आवागमन करते हैं . एक समूह एबेलियन है अगर और केवल अगर यह इसके केंद्र के बराबर है . एक समूह का केंद्र हमेशा एक विशिष्ट उपसमूह एबेलियन उपसमूह होता है . यदि भागफल समूह इसके केंद्र द्वारा समूह का तब चक्रीय होता है एबेलियन है।[8]
परिमित एबेलियन समूह
मॉड्यूलर अंकगणित के चक्रीय समूह | पूर्णांक मॉड्यूलो , , समूहों के पहले उदाहरणों में से थे। यह पता चला है कि एक मनमाना परिमित एबेलियन समूह प्रधान शक्ति क्रम के परिमित चक्रीय समूहों के प्रत्यक्ष योग के लिए आइसोमोर्फिक है, और ये आदेश विशिष्ट रूप से निर्धारित होते हैं, जो कि अपरिवर्तनीयों की एक पूरी प्रणाली बनाते हैं। एक परिमित एबेलियन समूह के ऑटोमोर्फिज़्म समूह को इन अपरिवर्तनीयों के संदर्भ में सीधे वर्णित किया जा सकता है। सिद्धांत को पहली बार जॉर्ज फ्रोबेनियस और लुडविग स्टिकेलबर्गर के 1879 के पेपर में विकसित किया गया था और बाद में रैखिक बीजगणित के एक महत्वपूर्ण अध्याय का निर्माण करते हुए, एक प्रमुख आदर्श डोमेन पर सूक्ष्मता से उत्पन्न मॉड्यूल के लिए सरल और सामान्यीकृत दोनों किया गया था।
प्राइम ऑर्डर का कोई भी समूह एक चक्रीय समूह के लिए आइसोमॉर्फिक है और इसलिए एबेलियन है। कोई भी समूह जिसका क्रम एक अभाज्य संख्या का वर्ग है, वह भी एबेलियन है।[9] वास्तव में, प्रत्येक अभाज्य संख्या के लिए वहाँ (समरूपता तक) क्रम के दो समूह हैं , अर्थात् तथा .
वर्गीकरण
परिमित एबेलियन समूहों के मौलिक प्रमेय में कहा गया है कि प्रत्येक परिमित एबेलियन समूह को प्रधान-शक्ति क्रम के चक्रीय उपसमूहों के प्रत्यक्ष योग के रूप में व्यक्त किया जा सकता है; इसे परिमित एबेलियन समूहों के लिए आधार प्रमेय के रूप में भी जाना जाता है। इसके अलावा, चक्रीय समूहों के ऑटोमोर्फिज़्म समूह एबेलियन समूहों के उदाहरण हैं।[10] यह परिमित रूप से उत्पन्न एबेलियन समूहों के मौलिक प्रमेय द्वारा सामान्यीकृत है, जिसमें परिमित समूह विशेष मामला है जब जी की रैंक शून्य है; यह बदले में कई और सामान्यीकरणों को स्वीकार करता है।
वर्गीकरण 1870 में लियोपोल्ड क्रोनकर द्वारा सिद्ध किया गया था, हालांकि इसे आधुनिक समूह-सैद्धांतिक शब्दों में बाद तक नहीं बताया गया था, और 1801 में कार्ल फ्रेडरिक गॉस द्वारा द्विघात रूपों के समान वर्गीकरण से पहले किया गया था; विवरण के लिए इतिहास देखें।
चक्रीय समूह आदेश की के प्रत्यक्ष योग के लिए आइसोमोर्फिक है तथा अगर और केवल अगर तथा सह अभाज्य हैं। यह किसी भी परिमित एबेलियन समूह का अनुसरण करता है फॉर्म के प्रत्यक्ष योग के लिए आइसोमोर्फिक है
निम्नलिखित में से किसी भी प्रामाणिक तरीके से:
- संख्या (आवश्यक रूप से अलग नहीं) अभाज्य की शक्तियाँ हैं,
- या भाजक , जो विभाजित करता है , और इतने पर .
उदाहरण के लिए, क्रम 3 और 5 के दो चक्रीय उपसमूहों के प्रत्यक्ष योग के रूप में व्यक्त किया जा सकता है: . ऑर्डर 15 के किसी भी एबेलियन समूह के लिए भी यही कहा जा सकता है, जिससे उल्लेखनीय निष्कर्ष निकलता है कि ऑर्डर 15 के सभी एबेलियन समूह समूह समरूपता हैं।
एक अन्य उदाहरण के लिए, क्रम 8 का प्रत्येक एबेलियन समूह या तो तुल्याकारी है (पूर्णांक 0 से 7 अतिरिक्त मॉड्यूल 8 के तहत), (विषम पूर्णांक 1 से 15 गुणन मोडुलो 16 के तहत), या .
ऑर्डर 30 या उससे कम के परिमित एबेलियन समूहों के लिए छोटे समूहों की सूची भी देखें।
ऑटोमोर्फिज्म
किसी दिए गए परिमित एबेलियन समूह के ऑटोमोर्फिज़्म को गिनने (और कभी-कभी निर्धारित करने) के लिए मौलिक प्रमेय लागू किया जा सकता है। ऐसा करने के लिए, कोई इस तथ्य का उपयोग करता है कि यदि सहप्राइम ऑर्डर के उपसमूहों के प्रत्यक्ष योग के रूप में विभाजित होता है, तो
इसे देखते हुए, मौलिक प्रमेय से पता चलता है कि ऑटोमोर्फिज्म समूह की गणना करने के लिए यह सिलो प्रमेयों के ऑटोमोर्फिज्म समूहों की गणना करने के लिए पर्याप्त है -उपसमूह अलग-अलग (अर्थात, चक्रीय उपसमूहों के सभी प्रत्यक्ष योग, प्रत्येक की शक्ति के साथ ). प्राइम फिक्स करें और घातांक मान लीजिए साइलो के चक्रीय कारकों की -उपसमूहों को बढ़ते क्रम में व्यवस्थित किया जाता है:
कुछ के लिए . किसी के ऑटोमोर्फिज्म को प्राप्त करने की जरूरत है
एक विशेष स्थिति है जब , ताकि साइलो में केवल एक चक्रीय प्रधान-शक्ति कारक हो -उपसमूह . इस मामले में परिमित चक्रीय समूह के ऑटोमोर्फिज्म के सिद्धांत का उपयोग किया जा सकता है। एक और विशेष मामला है जब मनमाना है लेकिन के लिये . यहाँ, एक विचार कर रहा है स्वरूप का होना
इसलिए इस उपसमूह के तत्वों को आयाम के सदिश स्थान के रूप में देखा जा सकता है के परिमित क्षेत्र पर तत्वों . इसलिए इस उपसमूह के ऑटोमोर्फिज्म को उलटा रैखिक परिवर्तनों द्वारा दिया जाता है, इसलिए
कहाँ पे उपयुक्त सामान्य रैखिक समूह है। यह आदेश आसानी से दिखाया गया है
सबसे सामान्य मामले में, जहां तथा मनमाने हैं, ऑटोमोर्फिज्म समूह निर्धारित करना अधिक कठिन है। हालाँकि, यह ज्ञात है कि यदि कोई परिभाषित करता है
तथा
तो किसी के पास विशेष रूप से है , , तथा
कोई यह जांच कर सकता है कि ये आदेश पिछले उदाहरणों में विशेष स्थिति के रूप में हैं (देखें हिलर, सी।, और रियास, डी।)।
अंतिम उत्पन्न एबेलियन समूह
एक एबेलियन समूह A अगर इसमें तत्वों का एक सीमित सेट होता है (जिसे जनरेटर कहा जाता है) जैसे कि समूह का प्रत्येक तत्व एक रैखिक संयोजन है जिसमें तत्वों के पूर्णांक गुणांक होते हैं G.
होने देना L आधार के साथ एक मुक्त एबेलियन समूह बनें एक अद्वितीय समूह समरूपता है ऐसा है कि
यह समरूपता आच्छादित है, और इसकी गुठली बारीक रूप से उत्पन्न होती है (चूंकि पूर्णांक एक नोएदरियन वलय बनाते हैं)। पूर्णांक प्रविष्टियों के साथ एक मैट्रिक्स M पर विचार करें जैसे कि इसके j वें कॉलम में प्रविष्टियाँ कर्नेल के j वें जनरेटर के गुणांक हैं। फिर, एबेलियन समूह एम द्वारा परिभाषित रैखिक मानचित्र के कोकर्नेल के लिए आइसोमोर्फिक है। इसके विपरीत, प्रत्येक पूर्णांक मैट्रिक्स एक सूक्ष्मता से उत्पन्न एबेलियन समूह को परिभाषित करता है।
यह इस प्रकार है कि अंतिम रूप से उत्पन्न एबेलियन समूहों का अध्ययन पूरी तरह से पूर्णांक आव्यूहों के अध्ययन के बराबर है। विशेष रूप से, ए के जनरेटिंग सेट को बदलना एक यूनिमॉड्यूलर मैट्रिक्स (यानी, एक व्युत्क्रमणीय पूर्णांक मैट्रिक्स जिसका व्युत्क्रम भी एक पूर्णांक मैट्रिक्स है) द्वारा बाईं ओर M को गुणा करने के बराबर है। M के कर्नेल के जनरेटिंग सेट को बदलना एक यूनिमॉड्यूलर मैट्रिक्स द्वारा दाईं ओर M को गुणा करने के बराबर है।
स्मिथ का सामान्य रूप M एक मैट्रिक्स है
जहाँ पे U तथा V यूनिमॉड्यूलर हैं, और S एक मैट्रिक्स है जैसे कि सभी गैर-विकर्ण प्रविष्टियाँ शून्य हैं, गैर-शून्य विकर्ण प्रविष्टियाँ पहले वाले हैं, और का भाजक है के लिये i > j. स्मिथ सामान्य का अस्तित्व और आकार यह साबित करता है कि अंतिम रूप से उत्पन्न एबेलियन समूह A प्रत्यक्ष योग है
- कहाँ पे r के तल पर शून्य पंक्तियों की संख्या है r (और समूह के एक एबेलियन समूह की रैंक भी)। यह अंतिम रूप से उत्पन्न एबेलियन समूहों का मूलभूत प्रमेय है।
स्मिथ सामान्य रूप के लिए एल्गोरिदम के अस्तित्व से पता चलता है कि अंतिम रूप से उत्पन्न एबेलियन समूहों का मौलिक प्रमेय न केवल अमूर्त अस्तित्व का एक प्रमेय है, बल्कि प्रत्यक्ष योग के रूप में अंतिम रूप से उत्पन्न एबेलियन समूहों की अभिव्यक्ति की गणना के लिए एक तरीका प्रदान करता है।[11]: 26–27
अनंत एबेलियन समूह
सबसे सरल अनंत एबेलियन समूह अनंत चक्रीय समूह है . कोई भी अंतिम रूप से उत्पन्न एबेलियन समूह के प्रत्यक्ष योग के लिए आइसोमोर्फिक है की प्रतियां और एक परिमित एबेलियन समूह, जो बदले में प्रधान शक्ति आदेशों के सूक्ष्म रूप से कई चक्रीय समूहों के प्रत्यक्ष योग में विघटित होता है। भले ही अपघटन अद्वितीय नहीं है, संख्या , के एक एबेलियन समूह का रैंक कहा जाता है , और परिमित चक्रीय योग के आदेश देने वाली प्रमुख शक्तियाँ विशिष्ट रूप से निर्धारित होती हैं।
इसके विपरीत, सामान्य रूप से उत्पन्न एबेलियन समूहों का वर्गीकरण पूर्ण से बहुत दूर है। विभाज्य समूह, यानी एबेलियन समूह जिसमें समीकरण समाधान मानता है किसी भी प्राकृतिक संख्या के लिए और तत्व का , अनंत एबेलियन समूहों के एक महत्वपूर्ण वर्ग का गठन करता है जिसे पूरी तरह से चित्रित किया जा सकता है। प्रत्येक विभाज्य समूह एक प्रत्यक्ष योग के लिए तुल्याकारी है, जिसमें योग तुल्याकारी है और परीक्षक समूह विभिन्न अभाज्य संख्याओं के लिए , और प्रत्येक प्रकार के सारांश के सेट की प्रमुखता विशिष्ट रूप से निर्धारित की जाती है।[12] इसके अलावा, यदि एक विभाज्य समूह एबेलियन समूह का एक उपसमूह है फिर प्रत्यक्ष पूरक स्वीकार करता है: एक उपसमूह का ऐसा है कि . इस प्रकार विभाज्य समूह एबेलियन समूहों की श्रेणी में इंजेक्शन मॉड्यूल हैं, और इसके विपरीत, प्रत्येक इंजेक्शन एबेलियन समूह विभाज्य है (बेयर की कसौटी)। गैर-शून्य विभाज्य उपसमूहों के बिना एबेलियन समूह को कम कहा जाता है।
बिल्कुल विपरीत गुणों वाले अनंत एबेलियन समूहों के दो महत्वपूर्ण विशेष वर्ग 'मरोड़ समूह' और 'मरोड़-मुक्त समूह' हैं, जो समूहों द्वारा उदाहरण हैं (आवधिक) और (मरोड़ रहित)।
टॉर्शन (मरोड़) समूह
एबेलियन समूह को आवधिक समूह या मरोड़ (बीजगणित) कहा जाता है, यदि प्रत्येक तत्व में परिमित क्रम (समूह सिद्धांत) होता है। परिमित चक्रीय समूहों का प्रत्यक्ष योग आवधिक है। यद्यपि विलोम कथन सामान्य रूप से सत्य नहीं है, फिर भी कुछ विशेष मामले ज्ञात हैं। पहले और दूसरे प्रुफर प्रमेय में कहा गया है कि अगर एक आवर्त समूह है, और इसका या तो परिबद्ध घातांक है, अर्थात, कुछ प्राकृतिक संख्या के लिए , या गणनीय है और ऊंचाई (एबेलियन समूह) |-तत्वों की ऊँचाई प्रत्येक के लिए परिमित हैं , फिर परिमित चक्रीय समूहों के प्रत्यक्ष योग के लिए समरूप है।[13] प्रत्यक्ष सारांश के सेट की कार्डिनैलिटी आइसोमॉर्फिक है इस तरह के अपघटन में एक अपरिवर्तनीय है .[14]: 6 बाद में इन प्रमेयों को कुलिकोव कसौटी में सम्मिलित कर लिया गया। एक अलग दिशा में, हेल्मुट उल्म ने काउंटेबल एबेलियन के लिए दूसरे प्रुफर प्रमेय का विस्तार पाया अनंत ऊंचाई के तत्वों वाले समूह: उन समूहों को पूरी तरह से उनके उल्म आक्रमणकारियों के माध्यम से वर्गीकृत किया जाता है।
मरोड़-मुक्त और मिश्रित समूह
एक एबेलियन समूह को मरोड़-मुक्त कहा जाता है यदि प्रत्येक गैर-शून्य तत्व में अनंत क्रम हो। मरोड़ मुक्त एबेलियन समूहों के कई वर्गों का बड़े पैमाने पर अध्ययन किया गया है:
- नि: शुल्क एबेलियन समूह, यानी मनमाना प्रत्यक्ष योग
- कोटोरसन समूह और बीजगणितीय रूप बीजीय रूप से कॉम्पैक्ट मॉड्यूल टॉर्सियन-मुक्त समूह जैसे पी-एडिक पूर्णांक |-एडिक पूर्णांक
- पतला समूह[15]: 259–274
एक एबेलियन समूह जो न तो आवधिक है और न ही मरोड़ रहित है, मिश्रित कहलाता है। यदि एक एबेलियन समूह है और इसका मरोड़ उपसमूह है, फिर कारक समूह मरोड़ रहित है। हालाँकि, सामान्य तौर पर मरोड़ उपसमूह का प्रत्यक्ष योग नहीं है , इसलिए के लिए आइसोमोर्फिक नहीं है . इस प्रकार मिश्रित समूहों के सिद्धांत में आवधिक और मरोड़-मुक्त समूहों के परिणामों के संयोजन से अधिक सम्मिलित है। योगात्मक समूह पूर्णांकों का मरोड़ मुक्त है -मापांक।[16]: 206
अपरिवर्तनीय और वर्गीकरण
अनंत एबेलियन समूह के सबसे बुनियादी आक्रमणकारियों में से एक एक एबेलियन समूह की इसकी रैंक है: के अधिकतम रैखिक रूप से स्वतंत्र उपसमुच्चय की कार्डिनैलिटी . रैंक 0 के एबेलियन समूह निश्चित रूप से आवधिक समूह हैं, जबकि रैंक 1 के मरोड़-मुक्त एबेलियन समूह आवश्यक रूप से उपसमूह हैं और पूर्ण रूप से वर्णित किया जा सकता है। अधिक आम तौर पर, परिमित रैंक का मरोड़-मुक्त एबेलियन समूह का एक उपसमूह है . दूसरी ओर, -एडिक पूर्णांक का समूह| अनंत का एक मरोड़ मुक्त एबेलियन समूह है -रैंक और समूह अलग के साथ # अन्य के साथ गैर-आइसोमॉर्फिक हैं, इसलिए यह अपरिवर्तनीय कुछ परिचित समूहों के गुणों को पूरी तरह से अधिकृत नहीं करता है।
स्पष्ट रूप से उत्पन्न, विभाज्य, गणनीय आवधिक और रैंक 1 मरोड़-मुक्त एबेलियन समूहों के लिए वर्गीकरण प्रमेय सभी 1950 से पहले प्राप्त किए गए थे और अधिक सामान्य अनंत एबेलियन समूहों के वर्गीकरण के लिए आधार बनाते हैं। अनंत एबेलियन समूहों के वर्गीकरण में उपयोग किए जाने वाले महत्वपूर्ण तकनीकी उपकरण शुद्ध और बुनियादी उपसमूह हैं। मरोड़-मुक्त एबेलियन समूहों के विभिन्न आक्रमणकारियों की शुरूआत आगे की प्रगति के लिए एक अवसर रही है। हाल के निष्कर्षों के लिए लेक्चर नोट्स इन मैथमेटिक्स में प्रकाशित एबेलियन ग्रुप थ्योरी पर सम्मेलनों की कार्यवाही, साथ ही इरविंग कपलान्स्की, लेज़्लो फुच्स, फिलिप ग्रिफ़िथ और डेविड अर्नोल्ड (गणितज्ञ) की पुस्तकें देखें।
वलय के योज्य समूह
वलय (गणित) का योगात्मक समूह एक एबेलियन समूह है, लेकिन सभी एबेलियन समूह वलयों के योगात्मक समूह नहीं हैं (गैर महत्वहीन गुणन के साथ)। अध्ययन के इस क्षेत्र में कुछ महत्वपूर्ण विषय हैं:
- टेंसर उत्पाद
- ए.एल.एस. गणनीय मरोड़-मुक्त समूहों पर कॉर्नर के परिणाम
- कार्डिनैलिटी प्रतिबंधों को हटाने के लिए शेला का कार्य
- बर्नसाइड वलय
अन्य गणितीय विषयों से संबंध
कई बड़े एबेलियन समूहों के पास एक प्राकृतिक टोपोलॉजी है, जो उन्हें टोपोलॉजिकल समूहों में बदल देती है।
सभी एबेलियन समूहों का संग्रह, उनके बीच के समरूपता के साथ मिलकर एबेलियन श्रेणी का प्रोटोटाइप श्रेणी बनाता है।
वांडा ज़्मील्यू (1955) ने साबित किया कि एबेलियन समूहों का प्रथम-क्रम सिद्धांत, अपने गैर-अबेलियन समकक्ष के विपरीत, निर्णायक है। बूलियन बीजगणित (संरचना) के अलावा अधिकांश बीजगणितीय संरचनाएं अनिर्णीत हैं।
अभी भी वर्तमान अनुसंधान के कई क्षेत्र हैं:
- परिमित रैंक के मरोड़-मुक्त एबेलियन समूहों के बीच, केवल अंतिम रूप से उत्पन्न मामला और रैंक 1 मामले के मरोड़-मुक्त एबेलियन समूहों को अच्छी तरह से समझा जाता है;
- अनंत-श्रेणी मरोड़-मुक्त एबेलियन समूहों के सिद्धांत में कई अनसुलझी समस्याएं हैं;
- जबकि गणनीय मरोड़ वाले एबेलियन समूहों को सरल प्रस्तुतियों और उल्म अपरिवर्तनीयों के माध्यम से अच्छी तरह से समझा जाता है, गणनीय मिश्रित समूहों का मामला बहुत कम परिपक्व है।
- एबेलियन समूहों के प्रथम-क्रम के सिद्धांत के कई हल्के विस्तार अनिर्णीत माने जाते हैं।
- कम्प्यूटेशनल समूह सिद्धांत में परिमित एबेलियन समूह शोध का विषय बने हुए हैं।
इसके अलावा, अनंत क्रम के एबेलियन समूह, आश्चर्यजनक रूप से, सेट सिद्धांत के बारे में गहरे सवालों की ओर ले जाते हैं, जो आमतौर पर सभी गणित को रेखांकित करते हैं। व्हाइटहेड समस्या को लें: क्या अनंत क्रम के सभी व्हाइटहेड समूह भी एबेलियन समूह मुक्त हैं? 1970 के दशक में, सहारों शेलाह ने सिद्ध किया कि व्हाइटहेड समस्या है:
- जेडएफसी (ज़र्मेलो-फ्रेंकेल स्वयंसिद्ध) में तय नहीं है, पारंपरिक स्वयंसिद्ध सेट सिद्धांत जिससे लगभग सभी मौजूदा गणित प्राप्त किए जा सकते हैं। व्हाइटहेड समस्या भी सामान्य गणित की पहली समस्या है जिसे जेडएफसी में अनिर्णीत साबित किया जा सकता है;
- अनिर्णीत भले ही जेडएफसी को सामान्यीकृत सातत्य परिकल्पना को एक स्वयंसिद्ध के रूप में ले कर संवर्धित किया गया हो;
- सकारात्मक रूप से उत्तर दिया गया है यदि जेडएफसी को रचनात्मक ब्रह्मांड के स्वयंसिद्ध के साथ संवर्धित किया गया है (एल में कथन सत्य देखें)।
टाइपोग्राफी पर एक टिप्पणी
गणितज्ञ के उचित नाम से प्राप्त गणितीय विशेषणों में, "एबेलियन" शब्द दुर्लभ है क्योंकि इसे अक्सर अपरकेस ए के बजाय लोअरकेस ए के साथ लिखा जाता है, पूंजीकरण की कमी न केवल डिग्री की मौन स्वीकृति है हाबिल के नाम को संस्थागत बना दिया गया है, लेकिन यह भी कि आधुनिक गणित में उनके द्वारा प्रस्तुत अवधारणाएं कितनी सर्वव्यापी हैं।[17]
यह भी देखें
Algebraic structures |
---|
- कम्यूटेटर उपसमूह – Smallest normal subgroup by which the quotient is commutative
- एबेलियनाइजेशन
- ऑर्डर 6 का डायहेड्रल समूह, सबसे छोटा गैर-अबेलियन समूह
- प्राथमिक एबेलियन समूह – Commutative group in which all nonzero elements have the same order
- ग्रोथेंडिक समूह – Abelian group constructed from a commutative monoid in the same way as integers from natural numbers
- पोंट्रीगिन द्वैत – Duality for locally compact abelian groups
टिप्पणियाँ
- ↑ Jacobson (2009) p. 41
- ↑ Ramík, J., Pairwise Comparisons Method: Theory and Applications in Decision Making (Cham: Springer Nature Switzerland, 2020), p. 11.
- ↑ Auslander, M., & Buchsbaum, D., Groups, Rings, Modules (Mineola, NY: Dover Publications, 1974), pp. 28–29.
- ↑ Isaev, A. P., & Rubakov, V. A., Theory of Groups and Symmetries: Finite Groups, Lie Groups, and Lie Algebras (Singapore: World Scientific, 2018), p. 10.
- ↑ Rose 2012, p. 32.
- ↑ Cox, D. A., Galois Theory (Hoboken: John Wiley & Sons, 2004), pp. 144–145.
- ↑ Dixon, M. R., Kurdachenko, L. A., & Subbotin, I. Y., Linear Groups: The Accent on Infinite Dimensionality (Milton Park, Abingdon-on-Thames & Oxfordshire: Taylor & Francis, 2020), pp. 49–50.
- ↑ Rose 2012, p. 48.
- ↑ Rose 2012, p. 79.
- ↑ Kurzweil, H., & Stellmacher, B., The Theory of Finite Groups: An Introduction (New York, Berlin, Heidelberg: Springer Verlag, 2004), pp. 43–54.
- ↑ Finkelstein, L., & Kantor, W. M., eds., Groups and Computation II: Workshop on Groups and Computation, June 7–10, 1995 (Providence: AMS, 1997), pp. 26–27.
- ↑ For example, .
- ↑ Countability assumption in the second Prüfer theorem cannot be removed: the torsion subgroup of the direct product of the cyclic groups for all natural is not a direct sum of cyclic groups.
- ↑ Faith, C. C., Rings and Things and a Fine Array of Twentieth Century Associative Algebra (Providence: AMS, 2004), p. 6.
- ↑ Albrecht, U., "Products of Slender Abelian Groups", in Göbel, R., & Walker, E., eds., Abelian Group Theory: Proceedings of the Third Conference Held on Abelian Group Theory at Oberwolfach, August 11-17, 1985 (New York: Gordon & Breach, 1987), pp. 259–274.
- ↑ Lal, R., Algebra 2: Linear Algebra, Galois Theory, Representation Theory, Group Extensions and Schur Multiplier (Berlin, Heidelberg: Springer, 2017), p. 206.
- ↑ "एबेल पुरस्कार से सम्मानित: गणितज्ञों का नोबेल". Archived from the original on 31 December 2012. Retrieved 3 July 2016.
संदर्भ
- Cox, David (2004). Galois Theory. Wiley-Interscience. ISBN 9781118031339. MR 2119052.
- Fuchs, László (1970). Infinite Abelian Groups. Pure and Applied Mathematics. Vol. 36-I. Academic Press. MR 0255673.
- Fuchs, László (1973). Infinite Abelian Groups. Pure and Applied Mathematics. Vol. 36-II. Academic Press. MR 0349869.
- Griffith, Phillip A. (1970). Infinite Abelian group theory. Chicago Lectures in Mathematics. University of Chicago Press. ISBN 0-226-30870-7.
- Herstein, I. N. (1975). Topics in Algebra (2nd ed.). John Wiley & Sons. ISBN 0-471-02371-X.
- Hillar, Christopher; Rhea, Darren (2007). "Automorphisms of finite abelian groups" (PDF). American Mathematical Monthly. 114 (10): 917–923. arXiv:math/0605185. Bibcode:2006math......5185H. doi:10.1080/00029890.2007.11920485. JSTOR 27642365. S2CID 1038507.
- Jacobson, Nathan (2009). Basic Algebra I (2nd ed.). Dover Publications. ISBN 978-0-486-47189-1.
- Rose, John S. (2012). A Course on Group Theory. Dover Publications. ISBN 978-0-486-68194-8. Unabridged and unaltered republication of a work first published by the Cambridge University Press, Cambridge, England, in 1978.
- Szmielew, Wanda (1955). "Elementary Properties of Abelian Groups" (PDF). Fundamenta Mathematicae. 41 (2): 203–271. doi:10.4064/fm-41-2-203-271. MR 0072131. Zbl 0248.02049.
- Robinson, Abraham; Zakon, Elias (1960). "Elementary Properties of Ordered Abelian Groups" (PDF). Transactions of the American Mathematical Society. 96 (2): 222–236. doi:10.2307/1993461. Archived (PDF) from the original on 2022-10-09.
बाहरी संबंध
- "Abelian group". Encyclopedia of Mathematics. EMS Press. 2001 [1994].