एबेलियन समूह की रैंक

गणित में, एबेलियन समूह A की रैंक, प्रुफ़र रैंक, या विमोटन-मुक्त रैंक एक अधिकतम रैखिक रूप से स्वतंत्र उपसमुच्चय का गणनांक है। A की रैंक A में निहित बृहत्तम मुक्त एबेलियन समूह के आकार को निर्धारित करती है। यदि A विमोटन-मुक्त है तो यह परिमाप रैंक A की परिमेय संख्याओं पर सदिश समष्टि में अंतःस्थापित हो जाता है। परिमित रूप से उत्पन्न एबेलियन समूहों के लिए, रैंक एक प्रबल निश्चर है और ऐसे प्रत्येक समूह को उसके रैंक और विमोटन उपसमूह द्वारा समरूपता तक निर्धारित किया जाता है। रैंक 1 के विमोटन-रिक्त एबेलियन समूहों को पूर्णतः वर्गीकृत किया गया है। यद्यपि, उच्च रैंक के एबेलियन समूहों का सिद्धांत अधिक अन्तर्वलित है।

प्रारंभिक एबेलियन समूहों के संदर्भ में रैंक शब्द का विभिन्न अर्थ है।

परिभाषा

एबेलियन समूह A का एक उपसमुच्चय {a_α} 'रैखिक रूप से स्वतंत्र' ('Z' से अधिक) है यदि इन तत्वों का एकमात्र रैखिक संयोजन जो शून्य के समान है, वह नगण्य है: यदि

$\sum _{\alpha }n_{\alpha }a_{\alpha }=0,\quad n_{\alpha }\in \mathbb {Z} ,$

जहां परिमित गुणांक n_α के अतिरिक्त सभी शून्य हैं (जिससे कि योग वास्तव में परिमित हो), तो सभी गुणांक शून्य हैं। A में किन्हीं दो अधिकतम रैखिक रूप से स्वतंत्र समुच्चय में समान गणनांक होती है, जिसे A का रैंक कहा जाता है।

एबेलियन समूह की रैंक एक सदिश समष्टि के विमा के अनुरूप होती है। सदिश समष्टि के स्थिति में मुख्य अंतर विमोटन की उपस्थिति है। एबेलियन समूह A के एक तत्व को विमोटन के रूप में वर्गीकृत किया गया है यदि इसका क्रम परिमित है। सभी विमोटन तत्वों का समुच्चय एक उपसमूह है, जिसे विमोटन उपसमूह कहा जाता है और इसे T(A) से दर्शाया जाता है। किसी समूह को विमोटन-मुक्त कहा जाता है यदि उसमें कोई गैर-नगण्य विमोटन तत्व न हों। कारक-समूह A/T(A), A का अद्वितीय अधिकतम विमोटन-मुक्त भागफल है और इसकी रैंक A की रैंक के साथ सन्निपतित होती है।

समान गुणधर्मों के साथ रैंक की धारणा को किसी भी समाकल डोमेन पर मॉड्यूल (गणित) के लिए परिभाषित किया जा सकता है, जैसे कि Z पर मॉड्यूल के अनुरूप एबेलियन समूहों की स्थिति। इसके लिए, परिमित रूप से उत्पन्न मॉड्यूल#जेनेरिक रैंक देखें।

गुण

• एबेलियन समूह A का रैंक Q-सदिश समष्टि A ⊗ Q के आयाम से मेल खाता है। यदि A विमोटन-मुक्त है तो विहित मानचित्र A → A ⊗ Q अंतःक्षेपक है तथा A का रैंक Q-सदिश समष्टि का न्यूनतम आयाम है जिसमें A एबेलियन उपसमूह के रूप में सम्मिलित है। विशेष रूप से किसी भी मध्यवर्ती समूह Zⁿ < A < Qⁿ की रैंक n है।
• रैंक 0 के एबेलियन समूह यथार्थत:आवधिक एबेलियन समूह हैं।
• परिमेय संख्याओं के समूह 'Q' की रैंक 1 है। रैंक 1 के विमोटन-मुक्त एबेलियन समूहों को Q के उपसमूहों के रूप में सिद्ध किया जाता है तथा आइसोमोर्फिज्म तक उनका एक संतोषजनक वर्गीकरण होता है। इसके विपरीत, रैंक 2 के विमोटन-मुक्त एबेलियन समूहों का कोई संतोषजनक वर्गीकरण नहीं है।
• अल्प शुद्ध अनुक्रमों पर रैंक योगात्मक है: यदि

$0\to A\to B\to C\to 0\;$

एबेलियन समूहों का एक अल्प शुद्ध अनुक्रम है तो rk B = rk A + rk C। यह Q की समतलता और सदिश समष्टि के लिए संबंधित तथ्य से ज्ञात होता है।

• रैंक यादृच्छिक प्रत्यक्ष योग पर योगात्मक है:

$\operatorname {rank} \left(\bigoplus _{j\in J}A_{j}\right)=\sum _{j\in J}\operatorname {rank} (A_{j}),$

जहां दाहिनी ओर का योग कार्डिनल अंकगणित का उपयोग करता है।

उच्च रैंक के समूह

1 से अधिक श्रेणी वाले एबेलियन समूह रोचक उदाहरणों के स्रोत हैं। उदाहरण के लिए, प्रत्येक कार्डिनल D के लिए श्रेणी D के विमोटल मुक्त एबेलियन समूह उपस्थित हैं जो अविभाज्य मॉड्यूल हैं, अर्थात उनके उचित उपसमूहों की एक युग्म के प्रत्यक्ष योग के रूप में व्यक्त नहीं किया जा सकता है। ये उदाहरण दर्शाते हैं कि 1 से अधिक रैंक का विमोटल-मुक्त एबेलियन समूह केवल रैंक 1 के विमोटल-मुक्त एबेलियन समूहों के प्रत्यक्ष योग से निर्मित नहीं किया जा सकता है, जिसका सिद्धांत अच्छी तरह से समझा जाता है। इसके अतिरिक्त, प्रत्येक पूर्णांक $n\geq 3$, के लिए रैंक $2n-2$ का एक विमोटल-मुक्त एबेलियन समूह होता है जो एक साथ दो अविभाज्य समूहों और n अविभाज्य समूहों का योग होता है। इसलिए 4 से अधिक या बराबर सम रैंक वाले समूह के अविभाज्य योगों की संख्या भी अच्छी तरह से परिभाषित नहीं है।

प्रत्यक्ष योग अपघटन की गैर-विशिष्टता के बारे में एक और परिणाम ए.एल.एस. के कारण है। कोना: पूर्णांक दिए गए हैं $n\geq k\geq 1$, किसी भी विभाजन के लिए रैंक n का एक मरोड़-मुक्त एबेलियन समूह A मौजूद है $n=r_{1}+\cdots +r_{k}$ k प्राकृतिक सारांश में, समूह A रैंकों के k अविभाज्य उपसमूहों का प्रत्यक्ष योग है $r_{1},r_{2},\ldots ,r_{k}$. इस प्रकार परिमित रैंक के मरोड़ मुक्त एबेलियन समूह के एक निश्चित प्रत्यक्ष योग अपघटन में अविभाज्य सारांशों के रैंकों का क्रम ए के अपरिवर्तनीय होने से बहुत दूर है।

अन्य आश्चर्यजनक उदाहरणों में विमोटल-मुक्त रैंक 2 समूह A_n,m और B_n,m सम्मिलित हैं, जैसे किAⁿ Bⁿ के लिए आइसोमोर्फिक है यदि और केवल यदि n, m द्वारा विभाज्य है।

अपरिमित रैंक के एबेलियन समूहों के लिए एक समूह K और एक उपसमूह G का उदाहरण है

• K अविभाज्य है;
• K, G और एक अन्य तत्व द्वारा उत्पन्न होता है; और
• G का प्रत्येक अशून्य प्रत्यक्ष योग विश्लेषणीय होता है।

सामान्यीकरण

रैंक की धारणा को किसी भी मॉड्यूल M के लिए एक अभिन्न डोमेन R पर सामान्यीकृत किया जा सकता है क्योंकि क्षेत्र के साथ मॉड्यूल के प्रदिश उत्पाद के भागफल क्षेत्र R₀ से अधिक आयाम है:

$\operatorname {rank} (M)=\dim _{R_{0}}M\otimes _{R}R_{0}$

यह समझ में आता है क्योंकि R₀ एक क्षेत्र है और इस प्रकार इसके ऊपर कोई भी मॉड्यूल (या, अधिक विशिष्ट वेक्टर स्पेस) स्वतंत्र है।

यह एक सामान्यीकरण है क्योंकि प्रत्येक एबेलियन समूह पूर्णांकों पर एक मॉड्यूल है। इससे सरलता से ज्ञात होता है कि Q पर उत्पाद का आयाम अधिकतम रैखिक रूप से स्वतंत्र उपसमुच्चय का गणनांक है क्योंकि किसी भी विमोटल तत्व x और किसी भी परिमेय q के लिए,

$x\otimes _{\mathbf {Z} }q=0.$

यह भी देखें

• समूह की रैंक