प्राथमिक एबेलियन समूह

गणित में, विशेष रूप से समूह सिद्धांत में, एक प्राथमिक एबेलियन समूह एक एबेलियन समूह होता है जिसमें पहचान के अलावा अन्य सभी तत्वों का क्रम समान होता है। यह सामान्य क्रम एक अभाज्य संख्या होना चाहिए, और प्राथमिक एबेलियन समूह जिनमें सामान्य क्रम पी है, एक विशेष प्रकार के पी-समूह हैं|पी-समूह। एक समूह जिसके लिए पी = 2 (अर्थात, एक प्राथमिक एबेलियन 2-समूह) को कभी-कभी 'बूलियन समूह' कहा जाता है। प्रत्येक प्राथमिक एबेलियन पी-समूह पी तत्वों के साथ प्रधान क्षेत्र पर एक सदिश स्थल  है, और इसके विपरीत प्रत्येक ऐसा वेक्टर स्पेस एक प्राथमिक एबेलियन समूह है। परिमित रूप से उत्पन्न एबेलियन समूहों के वर्गीकरण द्वारा, या इस तथ्य से कि प्रत्येक वेक्टर स्थान का एक आधार (वेक्टर स्थान) होता है, प्रत्येक परिमित प्राथमिक एबेलियन समूह का रूप ('Z'/p'Z') होना चाहिए।nn के लिए एक गैर-नकारात्मक पूर्णांक (कभी-कभी समूह की रैंक भी कहा जाता है)। यहां, 'Z'/p'Z' क्रम p के चक्रीय समूह (या समतुल्य पूर्णांक मॉड्यूलर अंकगणित p) को दर्शाता है, और सुपरस्क्रिप्ट नोटेशन का अर्थ समूहों का n-गुना प्रत्यक्ष उत्पाद है।

सामान्य तौर पर, एक (संभवतः अनंत) प्राथमिक एबेलियन पी-समूह क्रम पी के चक्रीय समूहों के एबेलियन समूहों का प्रत्यक्ष योग#प्रत्यक्ष योग है। (ध्यान दें कि परिमित मामले में प्रत्यक्ष उत्पाद और प्रत्यक्ष योग मेल खाते हैं, लेकिन अनंत मामले में ऐसा नहीं है।)

इस लेख के शेष भाग में, सभी समूहों को परिमित समूह माना गया है।

उदाहरण और गुण

 * प्राथमिक एबेलियन समूह (Z/2Z)2के चार तत्व हैं: {(0,0), (0,1), (1,0), (1,1)}. परिणाम को मॉड्यूलो 2 लेते हुए, जोड़ को घटकवार निष्पादित किया जाता है। उदाहरण के लिए, (1,0) + (1,1) = (0,1). यह वास्तव में क्लेन चार-समूह है।
 * एक (जरूरी नहीं कि परिमित) सेट पर सममित अंतर से उत्पन्न समूह में, प्रत्येक तत्व का क्रम 2 होता है। ऐसा कोई भी समूह आवश्यक रूप से एबेलियन है, क्योंकि प्रत्येक तत्व का अपना व्युत्क्रम है, xy = (xy)−1 = और−1x−1=yx. ऐसा समूह (जिसे बूलियन समूह भी कहा जाता है), क्लेन चार-समूह उदाहरण को घटकों की मनमानी संख्या में सामान्यीकृत करता है।
 * ('जेड'/पी'जेड')nn तत्वों द्वारा उत्पन्न होता है, और n जनरेटर की न्यूनतम संभव संख्या है। विशेष रूप से, सेट {e1, ..., en}, जहां ईi Ith घटक में 1 है और अन्यत्र 0 है, यह एक न्यूनतम जनरेटिंग सेट है।
 * प्रत्येक प्रारंभिक एबेलियन समूह में एक समूह की काफी सरल प्रस्तुति होती है।


 * $$ (\mathbb Z/p\mathbb Z)^n \cong \langle e_1,\ldots,e_n\mid e_i^p = 1,\ e_i e_j = e_j e_i \rangle $$

वेक्टर अंतरिक्ष संरचना
मान लीजिए वी $$\cong$$ (जेड/पीजेड)n एक प्राथमिक एबेलियन समूह है। चूँकि 'Z'/p'Z' $$\cong$$ Fp, p तत्वों का परिमित क्षेत्र, हमारे पास V = ('Z'/p'Z') हैn $$\cong$$ Fpn, इसलिए V को फ़ील्ड 'F' पर एक n-आयामी वेक्टर स्थान माना जा सकता हैp. ध्यान दें कि प्राथमिक एबेलियन समूह का आमतौर पर कोई विशिष्ट आधार नहीं होता है: समरूपता वी का विकल्प $$\overset{\cong}{\to}$$ (जेड/पीजेड)n आधार की पसंद से मेल खाता है।

चौकस पाठक को ऐसा लग सकता है कि 'एफ'pn में समूह V की तुलना में अधिक संरचना है, विशेष रूप से इसमें (वेक्टर/समूह) जोड़ के अलावा अदिश गुणन भी है। हालाँकि, एक एबेलियन समूह के रूप में V के पास एक अद्वितीय Z-मॉड्यूल (गणित) संरचना है जहां Z की क्रिया बार-बार जोड़ने से मेल खाती है, और यह Z-मॉड्यूल संरचना 'F' के अनुरूप है।p स्केलर गुणज। अर्थात, c·g = g+g+...+g (c बार) जहां 'F' में cp (0 ≤ c <p के साथ पूर्णांक माना जाता है) V को एक प्राकृतिक 'F' देता हैp-मॉड्यूल संरचना.

ऑटोमोर्फिज्म समूह
एक सदिश समष्टि के रूप में V का एक आधार है {e1, ..., यह हैn} जैसा कि उदाहरणों में वर्णित है, यदि हम {v1, ..., मेंn} वी का कोई भी एन तत्व होने के लिए, तो रैखिक बीजगणित द्वारा हमारे पास मैपिंग टी (ई) हैi) = वीi वी के एक रैखिक परिवर्तन के लिए विशिष्ट रूप से विस्तारित होता है। ऐसे प्रत्येक टी को वी से वी (एक [[स्वचालितता]]) तक समूह होमोमोर्फिज्म के रूप में माना जा सकता है और इसी तरह वी के किसी भी एंडोमोर्फिज्म को वेक्टर स्पेस के रूप में वी के रैखिक परिवर्तन के रूप में माना जा सकता है।

यदि हम अपना ध्यान V के स्वप्रतिरूपणों तक ही सीमित रखें तो हमारे पास Aut(V) = { T : V → V | केर टी = 0 } = जीएलn(एफp), 'F' पर n×n व्युत्क्रमणीय आव्यूहों का सामान्य रैखिक समूहp.

ऑटोमोर्फिज्म समूह GL(V) = GLn(एफp) V \ {0} पर समूह क्रिया (गणित)#संक्रमणीय कार्य करता है (जैसा कि किसी भी सदिश समष्टि के लिए सत्य है)। यह वास्तव में सभी परिमित समूहों के बीच प्राथमिक एबेलियन समूहों की विशेषता है: यदि जी पहचान ई के साथ एक परिमित समूह है जैसे कि ऑट (जी) जी \ {ई} पर सकर्मक रूप से कार्य करता है, तो जी प्राथमिक एबेलियन है। (प्रमाण: यदि Aut(G) G \ {e} पर सकर्मक रूप से कार्य करता है, तो G के सभी गैर-पहचान तत्वों का क्रम समान (आवश्यक रूप से अभाज्य) होता है। तब G एक p-समूह है। इससे पता चलता है कि G के पास एक गैर-तुच्छ समूह केंद्र है, जो सभी ऑटोमोर्फिज्म के तहत आवश्यक रूप से अपरिवर्तनीय है, और इस प्रकार सभी जी के बराबर है।)

उच्चतर आदेशों के लिए एक सामान्यीकरण
प्राइम ऑर्डर घटकों से आगे प्राइम-पावर ऑर्डर तक जाना भी रुचिकर हो सकता है। किसी प्राथमिक एबेलियन समूह G को कुछ अभाज्य p के लिए (p,p,...,p) प्रकार का मानें। एक समचक्रीय समूह (रैंक n का) प्रकार (m,m,...,m) का एक एबेलियन समूह है यानी क्रम m के n आइसोमोर्फिक चक्रीय समूहों का प्रत्यक्ष उत्पाद, जिनमें से प्रकार (p) के समूह हैंक, पृक,...,पk) एक विशेष मामला है।

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

यह भी देखें

 * प्राथमिक समूह
 * हैमिंग स्पेस