उपसमूह का सूचकांक

गणित में, विशेष रूप से समूह सिद्धांत, एक समूह 'जी' में एक उपसमूह एच का सूचकांक है जी में एच के बाएं सह समुच्चय की संख्या, या समकक्ष, जी में एच के दाएं कोसेट की संख्या। सूचकांक अंकित है $|G:H|$ या $[G:H]$ या $(G:H)$. चूँकि G बाएँ सहसमुच्चय का असंयुक्त संघ है और क्योंकि प्रत्येक बाएँ सहसमुच्चय में H के समान ही प्रमुखता है, सूचकांक सूत्र द्वारा दो समूहों के क्रम (समूह सिद्धांत) से संबंधित है

$|G|=|G:H||H|$

(मात्राओं को कार्डिनल संख्या के रूप में व्याख्या करें यदि उनमें से कुछ अनंत हैं)। इस प्रकार सूचकांक $|G:H|$ जी और एच के सापेक्ष आकार को मापता है।

उदाहरण के लिए, चलो $G=\mathbb {Z}$ जोड़ के तहत पूर्णांकों का समूह बनें, और दें $H=2\mathbb {Z}$ समानता (गणित) से मिलकर उपसमूह बनें। तब $2\mathbb {Z}$ में दो कोसेट हैं $\mathbb {Z}$, अर्थात् सम पूर्णांकों का समुच्चय और विषम पूर्णांकों का समुच्चय, इसलिए index $|\mathbb {Z} :2\mathbb {Z} |$ है 2. अधिक आम तौर पर, $|\mathbb {Z} :n\mathbb {Z} |=n$ किसी भी धनात्मक पूर्णांक n के लिए।

जब G परिमित समूह है, तो सूत्र को इस प्रकार लिखा जा सकता है $|G:H|=|G|/|H|$, और इसका तात्पर्य है लैग्रेंज की प्रमेय (समूह सिद्धांत) | लैग्रेंज की प्रमेय कि $|H|$ विभाजित $|G|$.

जब जी अनंत है, $|G:H|$ एक गैर-शून्य कार्डिनल संख्या है जो परिमित या अनंत हो सकती है। उदाहरण के लिए, $|\mathbb {Z} :2\mathbb {Z} |=2$, लेकिन $|\mathbb {R} :\mathbb {Z} |$ अनंत है।

यदि N, G का एक सामान्य उपसमूह है, तब $|G:N|$ भागफल समूह के क्रम के बराबर है $G/N$, के अंतर्निहित सेट के बाद से $G/N$ G में N के सहसमुच्चय का समुच्चय है।

गुण

• यदि H, G का एक उपसमूह है और K, H का एक उपसमूह है, तो

$|G:K|=|G:H|\,|H:K|.$

• यदि एच और के जी के उपसमूह हैं, तो

$|G:H\cap K|\leq |G:H|\,|G:K|,$

समानता के साथ अगर $HK=G$. (अगर $|G:H\cap K|$ परिमित है, तो समानता धारण करती है यदि और केवल यदि $HK=G$.)

• समतुल्य रूप से, यदि H और K, G के उपसमूह हैं, तो

$|H:H\cap K|\leq |G:K|,$

समानता के साथ अगर $HK=G$. (अगर $|H:H\cap K|$ परिमित है, तो समानता धारण करती है यदि और केवल यदि $HK=G$.)

• यदि G और H समूह हैं और $\varphi \colon G\to H$ एक समरूपता है, तो कर्नेल (बीजगणित) का सूचकांक $\varphi$ जी में छवि के क्रम के बराबर है:

$|G:\operatorname {ker} \;\varphi |=|\operatorname {im} \;\varphi |.$

• चलो जी एक सेट (गणित) एक्स पर समूह समूह क्रिया (गणित) हो, और एक्स ∈ एक्स। फिर जी के तहत एक्स की कक्षा (समूह सिद्धांत) की प्रमुखता एक्स के स्टेबलाइजर उपसमूह के सूचकांक के बराबर है :

$|Gx|=|G:G_{x}|.\!$

इसे कक्षा स्थिरीकरण प्रमेय के रूप में जाना जाता है।

• ऑर्बिट-स्टेबलाइजर प्रमेय के एक विशेष मामले के रूप में, संयुग्मन वर्ग की संख्या $gxg^{-1}$ एक तत्व का $x\in G$ G में x के केंद्रक के सूचकांक के बराबर है।
• इसी प्रकार, संयुग्मों की संख्या $gHg^{-1}$ G में एक उपसमूह H का G में H के सामान्यक के सूचकांक के बराबर है।
• यदि H, G का एक उपसमूह है, तो H के कोर (समूह) का सूचकांक निम्नलिखित असमानता को संतुष्ट करता है:

$|G:\operatorname {Core} (H)|\leq |G:H|!$

कहाँ ! कारख़ाने का फ़ंक्शन को दर्शाता है; इस पर आगे #Finite index पर चर्चा की गई है।

* एक परिणाम के रूप में, यदि G में H का सूचकांक 2 है, या एक परिमित समूह के लिए निम्नतम अभाज्य p है जो G के क्रम को विभाजित करता है, तो H सामान्य है, क्योंकि इसके मूल का सूचकांक भी p होना चाहिए, और इस प्रकार H इसके कोर के बराबर है, यानी यह सामान्य है।

• ध्यान दें कि निम्नतम प्राइम इंडेक्स का एक उपसमूह मौजूद नहीं हो सकता है, जैसे कि गैर-प्राइम ऑर्डर के किसी भी साधारण समूह में, या अधिक सामान्य रूप से किसी भी पूर्ण समूह में।

उदाहरण

• वैकल्पिक समूह $A_{n}$ सममित समूह में अनुक्रमणिका 2 है $S_{n},$ और इस प्रकार सामान्य है।
• विशेष ऑर्थोगोनल समूह $\operatorname {SO} (n)$ ऑर्थोगोनल समूह में इंडेक्स 2 है $\operatorname {O} (n)$, और इस प्रकार सामान्य है।
• मुक्त एबेलियन समूह $\mathbb {Z} \oplus \mathbb {Z}$ इंडेक्स 2 के तीन उपसमूह हैं, अर्थात्

$\{(x,y)\mid x{\text{ is even}}\},\quad \{(x,y)\mid y{\text{ is even}}\},\quad {\text{and}}\quad \{(x,y)\mid x+y{\text{ is even}}\}$.

• अधिक सामान्यतः, यदि p अभाज्य संख्या है तो $\mathbb {Z} ^{n}$ है $(p^{n}-1)/(p-1)$ इंडेक्स पी के उपसमूह, के अनुरूप $(p^{n}-1)$ गैर तुच्छ समरूपता $\mathbb {Z} ^{n}\to \mathbb {Z} /p\mathbb {Z}$.
• इसी प्रकार मुक्त समूह $F_{n}$ है $(p^{n}-1)$ इंडेक्स पी के उपसमूह।
• अनंत डायहेड्रल समूह में सूचकांक 2 का चक्रीय समूह होता है, जो आवश्यक रूप से सामान्य होता है।

अनंत सूचकांक

यदि H में G में अपरिमित संख्या में सहसमुच्चय हैं, तो G में H का सूचकांक अनंत कहा जाता है। इस मामले में, index $|G:H|$ वास्तव में एक कार्डिनल नंबर है। उदाहरण के लिए, G में H का सूचकांक गणनीय सेट या बेशुमार सेट हो सकता है, यह इस बात पर निर्भर करता है कि H में G में गणनीय संख्या में कोसेट हैं या नहीं। उपसमूह, या वास्तव में जी की तुलना में अनंत कार्डिनैलिटी का कोई उपसमूह एच।

परिमित सूचकांक

एक समूह G (परिमित या अनंत) में परिमित सूचकांक के एक उपसमूह H में हमेशा एक सामान्य उपसमूह N (G का) होता है, परिमित सूचकांक का भी। वास्तव में, यदि H का सूचकांक n है, तो N का सूचकांक n का कुछ विभाजक होगा! और n का गुणक; वास्तव में, N को G से H के बाएँ (या दाएँ) सहसमुच्चय के क्रमचय समूह में प्राकृतिक समरूपता के कर्नेल के रूप में लिया जा सकता है। आइए हम इसे अधिक विस्तार से समझाते हैं, सही कोसेट्स का उपयोग करते हुए:

G के तत्व जो सभी सहसमुच्चयों को एक समान छोड़ते हैं, एक समूह बनाते हैं।

style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:center; " | Proof
यदि Hca ⊂ Hc ∀ c ∈ G और इसी प्रकार Hcb ⊂ Hc ∀ c ∈ G, तो Hcab ⊂ Hc ∀ c ∈ G. यदि h1का = ह2c सबके लिए c ∈ G (साथ h1, एच2 ∈ एच) फिर एच2वह-1 = एच1सी, इसलिए एचसीए−1 ⊂ एच.सी.

आइए हम इस समूह को ए कहते हैं। चलो बी जी के तत्वों का सेट है जो एच के कोसेट पर दिए गए क्रमपरिवर्तन को निष्पादित करता है। फिर बी ए का सही कोसेट है।

style="background: #F0F2F5; font-size:87%; padding:0.2em 0.3em; text-align:center; " | Proof

पहले हम दिखा दें कि यदि b1∈B, तो कोई अन्य तत्व b{{sub|2}B का } ab के बराबर है1 कुछ a∈A के लिए। मान लें कि बी के तत्वों द्वारा कोसेट एचसी को गुणा करने से कोसेट एचडी के तत्व मिलते हैं। अगर सी.बी1 = डी और सीबी2 = एचडी, फिर सीबी2b1−1 = hc ∈ Hc, या दूसरे शब्दों में b2=अब1 कुछ a∈A के लिए, इच्छानुसार। अब हम दिखाते हैं कि किसी भी b∈B और a∈A के लिए, ab, B का एक अवयव होगा। ऐसा इसलिए है क्योंकि coset Hc, Hca के समान है, इसलिए Hcb = Hcab। चूँकि यह किसी भी c के लिए सत्य है (अर्थात्, किसी सहसमुच्चय के लिए), यह दर्शाता है कि दाईं ओर ab से गुणा करने पर सहसमुच्चयों का वही क्रमपरिवर्तन होता है जो b से गुणा करने पर होता है, और इसलिए ab∈B।

हमने अब तक जो कहा है वह लागू होता है चाहे H का सूचकांक परिमित हो या अनंत। अब मान लीजिए कि यह परिमित संख्या n है। चूंकि सहसमुच्चयों के संभावित क्रमपरिवर्तन की संख्या परिमित है, अर्थात् n!, तो केवल B जैसे समुच्चय की परिमित संख्या हो सकती है। (यदि G अनंत है, तो ऐसे सभी समुच्चय अनंत हैं।) इन समुच्चयों का समुच्चय एक बनाता है क्रमपरिवर्तन के समूह के एक उपसमुच्चय के लिए समूह समरूपी है, इसलिए इन समुच्चयों की संख्या को n! विभाजित करना चाहिए। इसके अलावा, यह n का गुणक होना चाहिए क्योंकि H के प्रत्येक सहसमुच्चय में A के समान सहसमुच्चय होते हैं। अंत में, यदि कुछ c ∈ G और a ∈ A के लिए हमारे पास ca = xc है, तो किसी d ∈ G dca = dxc के लिए , लेकिन कुछ h ∈ H (A की परिभाषा के अनुसार) के लिए dca = hdc भी, इसलिए hd = dx। चूंकि यह किसी भी डी के लिए सच है, एक्स को ए का सदस्य होना चाहिए, इसलिए सीए = एक्ससी का मतलब है कि सीएसी⁻¹ ∈ A और इसलिए A एक प्रसामान्य उपसमूह है।

सामान्य उपसमूह के सूचकांक को न केवल n! का विभाजक होना चाहिए, बल्कि अन्य मानदंडों को भी पूरा करना चाहिए। चूँकि सामान्य उपसमूह H का एक उपसमूह है, G में इसका सूचकांक H के अंदर इसके सूचकांक का n गुना होना चाहिए। G में इसका सूचकांक भी सममित समूह S के एक उपसमूह के अनुरूप होना चाहिए।_n, n वस्तुओं के क्रमपरिवर्तन का समूह। इसलिए उदाहरण के लिए यदि n 5 है, तो सूचकांक 15 नहीं हो सकता है, भले ही यह 5 को विभाजित करता हो!, क्योंकि S में क्रम 15 का कोई उपसमूह नहीं है₅.

n = 2 के मामले में यह बल्कि स्पष्ट परिणाम देता है कि सूचकांक 2 का एक उपसमूह H एक सामान्य उपसमूह है, क्योंकि H के सामान्य उपसमूह में G में सूचकांक 2 होना चाहिए और इसलिए H के समान होना चाहिए। (हम इस पर पहुंच सकते हैं तथ्य यह भी ध्यान देकर कि जी के सभी तत्व जो एच में नहीं हैं, एच के दाएं कोसेट और बाएं कोसेट भी बनाते हैं, इसलिए दोनों समान हैं।) अधिक आम तौर पर, इंडेक्स पी का एक उपसमूह जहां पी सबसे छोटा प्रमुख कारक है G का क्रम (यदि G परिमित है) आवश्यक रूप से सामान्य है, क्योंकि N का सूचकांक p को विभाजित करता है! और इस प्रकार p के बराबर होना चाहिए, कोई अन्य अभाज्य गुणनखण्ड नहीं होना चाहिए। उदाहरण के लिए, उपसमूह Z{{sub|7}क्रम 21 के गैर-अबेलियन समूह का } सामान्य है (देखें छोटे समूहों की सूची#छोटे गैर-अबेलियन समूहों की सूची|छोटे गैर-अबेलियन समूहों की सूची और फ्रोबेनियस समूह#उदाहरण)।

परिणाम का एक वैकल्पिक प्रमाण है कि इंडेक्स सबसे कम प्राइम पी का उपसमूह सामान्य है, और प्राइम इंडेक्स के उपसमूहों के अन्य गुण दिए गए हैं (Lam 2004).

उदाहरण

चिरल अष्टफलकीय सममिति के समूह 0 में 24 तत्व हैं। इसमें एक डायहेड्रल समरूपता डी है₄ उपसमूह (वास्तव में इसमें तीन ऐसे हैं) क्रम 8 के, और इस प्रकार ओ में सूचकांक 3, जिसे हम 'एच' कहेंगे। इस डायहेड्रल समूह में 4 सदस्यीय डी है₂ उपसमूह, जिसे हम ए कह सकते हैं। ए के एक तत्व द्वारा एच के दाएं कोसेट के किसी भी तत्व को गुणा करने से एच (एचसीए = एचसी) के समान कोसेट का सदस्य मिलता है। A 'O' में सामान्य है। सममित समूह S के छह तत्वों के संगत A के छह सहसमुच्चय हैं₃. A के किसी विशेष सहसमुच्चय से सभी तत्व H के सहसमुच्चय का समान क्रमपरिवर्तन करते हैं।

वहीं, ग्रुप टी_h पाइरिटोहेड्रल समरूपता में भी 24 सदस्य होते हैं और सूचकांक 3 का एक उपसमूह होता है (इस बार यह एक डी है_2h प्रिज्मीय समरूपता समूह, तीन आयामों में बिंदु समूह देखें), लेकिन इस मामले में संपूर्ण उपसमूह एक सामान्य उपसमूह है। किसी विशेष सहसमुच्चय के सभी सदस्य इन सहसमुच्चयों का समान क्रमपरिवर्तन करते हैं, लेकिन इस मामले में वे 6-सदस्यीय S में केवल 3-तत्व वैकल्पिक समूह का प्रतिनिधित्व करते हैं₃ सममित समूह।

== सर्वोच्च शक्ति इंडेक्स == के सामान्य उपसमूह प्राइम पावर इंडेक्स के सामान्य उपसमूह पी-समूह | पी-समूहों के विशेषण मानचित्रों के गुठली हैं और दिलचस्प संरचना है, जैसा कि फोकल उपसमूह प्रमेय # उपसमूह | फोकल उपसमूह प्रमेय में वर्णित है: उपसमूह और फोकल उपसमूह प्रमेय में विस्तृत।

प्राइम पावर इंडेक्स के तीन महत्वपूर्ण सामान्य उपसमूह हैं, प्रत्येक एक निश्चित वर्ग में सबसे छोटा सामान्य उपसमूह है:

• 'इ'^p(G) सभी अनुक्रमणिका p सामान्य उपसमूहों का प्रतिच्छेदन है; जी/'ई'^p(G) एक प्राथमिक आबेली समूह है, और सबसे बड़ा प्राथमिक आबेली पी-समूह है जिस पर G अध्यारोपित है।
• 'ए'^p(G) सभी सामान्य उपसमूह K का प्रतिच्छेदन है जैसे कि G/K एक एबेलियन p-समूह है (अर्थात, K एक सूचकांक है $p^{k}$ सामान्य उपसमूह जिसमें व्युत्पन्न समूह होता है $[G,G]$): जी/'ए'^p(G) सबसे बड़ा एबेलियन पी-ग्रुप (जरूरी नहीं कि प्रारंभिक) है जिस पर G अनुमान लगाता है।
• 'ओ'^p(G) G के सभी सामान्य उपसमूह K का प्रतिच्छेदन है जैसे कि G/K एक (संभवतः गैर-अबेलियन) p-समूह है (अर्थात, K एक सूचकांक है $p^{k}$ सामान्य उपसमूह): G/'O'^p(G) सबसे बड़ा p-समूह है (आवश्यक रूप से एबेलियन नहीं) जिस पर G अनुमान लगाता है। 'ओ'^p(G) के रूप में भी जाना जाता है पी-अवशिष्ट उपसमूह।

चूँकि ये समूह K पर कमज़ोर स्थितियाँ हैं, इसलिए व्यक्ति सम्‍मिलन प्राप्त करता है

$\mathbf {E} ^{p}(G)\supseteq \mathbf {A} ^{p}(G)\supseteq \mathbf {O} ^{p}(G).$

इन समूहों के सिलो उपसमूहों और स्थानांतरण समरूपता से महत्वपूर्ण संबंध हैं, जैसा कि वहां चर्चा की गई है।

ज्यामितीय संरचना

एक प्रारंभिक अवलोकन यह है कि सूचकांक 2 के बिल्कुल 2 उपसमूह नहीं हो सकते हैं, क्योंकि उनके सममित अंतर के पूरक (सेट सिद्धांत) से एक तिहाई प्राप्त होता है। यह उपरोक्त चर्चा का एक सरल परिणाम है (अर्थात् प्राथमिक एबेलियन समूह के वेक्टर अंतरिक्ष संरचना का प्रक्षेपण

$G/\mathbf {E} ^{p}(G)\cong (\mathbf {Z} /p)^{k}$,

और आगे, जी इस ज्यामिति पर कार्य नहीं करता है, न ही यह किसी गैर-अबेलियन संरचना को दर्शाता है (दोनों मामलों में क्योंकि भागफल एबेलियन है)।

हालाँकि, यह एक प्रारंभिक परिणाम है, जिसे ठोस रूप से निम्नानुसार देखा जा सकता है: किसी दिए गए इंडेक्स p के सामान्य उपसमूहों का सेट एक प्रक्षेपण स्थान बनाता है, अर्थात् प्रोजेक्टिव स्पेस

$\mathbf {P} (\operatorname {Hom} (G,\mathbf {Z} /p)).$

विस्तार से, जी से ऑर्डर पी के (चक्रीय) समूह के समरूपता का स्थान, $\operatorname {Hom} (G,\mathbf {Z} /p),$ परिमित क्षेत्र पर एक सदिश स्थान है $\mathbf {F} _{p}=\mathbf {Z} /p.$ एक गैर-तुच्छ ऐसे मानचित्र में कर्नेल के रूप में इंडेक्स p का एक सामान्य उपसमूह होता है, और मानचित्र को एक तत्व से गुणा करता है $(\mathbf {Z} /p)^{\times }$ (एक गैर-शून्य संख्या मॉड पी) कर्नेल को नहीं बदलता है; इस प्रकार से एक नक्शा प्राप्त करता है

$\mathbf {P} (\operatorname {Hom} (G,\mathbf {Z} /p)):=(\operatorname {Hom} (G,\mathbf {Z} /p))\setminus \{0\})/(\mathbf {Z} /p)^{\times }$

सामान्य सूचकांक पी उपसमूहों के लिए। इसके विपरीत, इंडेक्स पी का एक सामान्य उपसमूह एक गैर-तुच्छ नक्शा निर्धारित करता है $\mathbf {Z} /p$ एक विकल्प तक कि कौन सा कोसेट मैप करता है $1\in \mathbf {Z} /p,$ जिससे पता चलता है कि यह नक्शा एक आक्षेप है।

परिणामस्वरूप, सूचकांक p के सामान्य उपसमूहों की संख्या है

$(p^{k+1}-1)/(p-1)=1+p+\cdots +p^{k}$

कुछ के लिए; $k=-1$ इंडेक्स पी के कोई सामान्य उपसमूह से मेल नहीं खाता है। इसके अलावा, इंडेक्स पी के दो अलग-अलग सामान्य उपसमूह दिए गए हैं, जिनमें से एक प्रक्षेपण रेखा प्राप्त होती है $p+1$ ऐसे उपसमूह।

के लिए $p=2,$ दो अलग-अलग इंडेक्स 2 उपसमूहों (जो आवश्यक रूप से सामान्य हैं) का सममित अंतर इन उपसमूहों वाली प्रक्षेप्य रेखा पर तीसरा बिंदु देता है, और एक समूह में शामिल होना चाहिए $0,1,3,7,15,\ldots$ अनुक्रमणिका 2 उपसमूह - उदाहरण के लिए, इसमें ठीक 2 या 4 अनुक्रमणिका 2 उपसमूह नहीं हो सकते।

यह भी देखें

• आभासी रूप से
• कोडिमेंशन

संदर्भ

• Lam, T. Y. (March 2004), "On Subgroups of Prime Index", The American Mathematical Monthly, 111 (3): 256–258, JSTOR 4145135

बाहरी संबंध

• Normality of subgroups of prime index at PlanetMath.
• "Subgroup of least prime index is normal" at Groupprops, The Group Properties Wiki