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

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

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

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

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

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

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

गुण

 * यदि H, G का एक उपसमूह है और K, H का एक उपसमूह है, तो
 * $$|G:K| = |G:H|\,|H:K|.$$


 * यदि H और के G के उपसमूह हैं, तो
 * $$|G:H\cap K| \le |G : H|\,|G : K|,$$
 * समानता के साथ यदि $$HK=G$$. (यदि $$|G:H\cap K|$$ परिमित है, तो समानता धारण करती है। यदि $$HK=G$$.)


 * समतुल्य रूप से, यदि H और K, G के उपसमूह हैं, तो
 * $$|H:H\cap K| \le |G:K|,$$
 * समानता के साथ यदि $$HK=G$$. (यदि $$|H:H\cap K|$$ परिमित है, तो समानता धारण करती है। यदि $$HK=G$$.)


 * यदि G और H समूह हैं और $$\varphi \colon G\to H$$ एक समरूपता है, तो कर्नेल (बीजगणित) का सूचकांक $$\varphi$$ G में छवि के क्रम के बराबर है:
 * $$|G:\operatorname{ker}\;\varphi|=|\operatorname{im}\;\varphi|.$$


 * माना कि G एक सेट (गणित) x पर समूह हो, और x ∈ X दे। फिर G के अनुसार x की कक्षा गणनांक की प्रमुखता x के स्थिरक उपसमूह के सूचकांक के बराबर है :
 * $$|Gx| = |G:G_x|.\!$$
 * इसे कक्षा स्थिरीकरण प्रमेय के रूप में जाना जाता है।


 * कक्षा स्थिरीकरण प्रमेय के एक विशेष स्थिति के रूप में, संयुग्मन वर्ग की संख्या $$gxg^{-1}$$ एक तत्व का $$x \in G$$ G में x के केंद्रक के सूचकांक के बराबर है।
 * इसी प्रकार, संयुग्मों की संख्या $$gHg^{-1}$$ G में एक उपसमूह H का G में H के सामान्यक के सूचकांक के बराबर है।
 * यदि H, G का एक उपसमूह है, तो H के कोर (समूह) का सूचकांक निम्नलिखित असमानता को संतुष्ट करता है:
 * $$|G:\operatorname{Core}(H)| \le |G:H|!$$
 * जहां कारक फलन को दर्शाता है, यह नीचे आगे चर्चा की गई है।
 * * एक परिणाम के रूप में, यदि G में H का सूचकांक 2 है, या एक परिमित समूह के लिए निम्नतम अभाज्य p है जो G के क्रम को विभाजित करता है, तो H सामान्य है, क्योंकि इसके मूल का सूचकांक भी p होना चाहिए, और इस प्रकार H इसके कोर के बराबर है, अर्थात यह सामान्य है।
 * ध्यान दें कि निम्नतम प्रधान सूचकांक का एक उपसमूह सम्मलित नहीं हो सकता है, जैसे कि गैर-प्रधान आदेश के किसी भी साधारण समूह में, या अधिक सामान्य रूप से किसी भी पूर्ण समूह में।

उदाहरण

 * वैकल्पिक समूह $$A_n$$ सममित समूह में अनुक्रमणिका 2 है $$S_n,$$ और इस प्रकार सामान्य है।
 * विशिष्‍ट लांबिक समूह $$\operatorname{SO}(n)$$ लांबिक समूह में सूचकांक 2 है $$\operatorname{O}(n)$$, और इस प्रकार सामान्य है।
 * मुक्त एबेलियन समूह $$\Z\oplus \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 अभाज्य संख्या है तो $$\Z^n$$ है $$(p^n-1)/(p-1)$$ सूचकांक P के उपसमूह, के अनुरूप $$(p^n-1)$$ गैर नगण्य समरूपता $$\Z^n \to \Z/p\Z$$ है।
 * इसी प्रकार मुक्त समूह $$F_n$$ है $$(p^n-1)$$ सूचकांक P के उपसमूह है।
 * अनंत द्वितल समूह में सूचकांक 2 का चक्रीय समूह होता है, जो आवश्यक रूप से सामान्य होता है।

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

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

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

यदि Hca ⊂ Hc ∀ c ∈ G और इसी प्रकार Hcb ⊂ Hc ∀ c ∈ G, तो Hcab ⊂ Hc ∀ c ∈ G. यदि h1का = h2c सबके लिए c ∈ G (साथ h1, h2 ∈ h) फिर h2वह-1 = h1c, इसलिए hca−1 ⊂ h.c.

आइए हम इस समूह को A कहते हैं। माना कि B G के तत्वों का सेट है जो H के सह समुच्चय पर दिए गए क्रमपरिवर्तन को निष्पादित करता है। फिर B A का सही सह समुच्चय है।

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

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

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

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

परिणाम का एक वैकल्पिक प्रमाण है कि सूचकांक सबसे कम प्राइम p का उपसमूह सामान्य है, और प्राइम सूचकांक के उपसमूहों के अन्य गुण दिए गए हैं ।

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

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

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

प्राइम पावर सूचकांक के तीन महत्वपूर्ण सामान्य उपसमूह हैं, प्रत्येक एक निश्चित वर्ग में सबसे छोटा सामान्य उपसमूह है: चूंकि ये समूह की कमजोर स्थिति हैं के एक समूह में निहित प्राप्त करता है
 * 'E 'p(G) सभी अनुक्रमणिका p सामान्य उपसमूहों का प्रतिच्छेदन है; G/'E 'p(G) एक प्राथमिक आबेली समूह है, और सबसे बड़ा प्राथमिक आबेली p-समूह है जिस पर G अध्यारोपित है।
 * 'A 'p(G) सभी सामान्य उपसमूह K का प्रतिच्छेदन है जैसे कि G/K एक एबेलियन p-समूह है (अर्थात, K एक सूचकांक है $$p^k$$ सामान्य उपसमूह जिसमें व्युत्पन्न समूह होता है $$[G,G]$$): G/'A 'p(G) सबसे बड़ा एबेलियन p-समूह (जरूरी नहीं कि प्रारंभिक) है जिस पर G अनुमान लगाता है।
 * 'O 'p(G) G के सभी सामान्य उपसमूह K का प्रतिच्छेदन है जैसे कि G/K एक (संभवतः गैर-अबेलियन) p-समूह है (अर्थात, K एक सूचकांक है $$p^k$$ सामान्य उपसमूह): G/'O'p(G) सबसे बड़ा p-समूह है (आवश्यक रूप से एबेलियन नहीं) जिस पर G अनुमान लगाता है। 'O 'p(G) के रूप में भी जाना जाता है p-अवशिष्ट उपसमूह है।
 * $$\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$$,

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

चूंकि, यह एक प्रारंभिक परिणाम है, जिसे ठोस रूप से निम्नानुसार देखा जा सकता है: किसी दिए गए सूचकांक p के सामान्य उपसमूहों का सेट एक प्रक्षेपी समष्‍टि बनाता है, अर्थात् प्रक्षेपी समष्‍टि
 * $$\mathbf{P}(\operatorname{Hom}(G,\mathbf{Z}/p)).$$

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

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

परिणामस्वरूप, सूचकांक p के सामान्य उपसमूहों की संख्या है:
 * $$(p^{k+1}-1)/(p-1)=1+p+\cdots+p^k$$

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

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

यह भी देखें

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

बाहरी संबंध

 * "Subgroup of least prime index is normal" at Groupprops, The Group Properties Wiki
 * "Subgroup of least prime index is normal" at Groupprops, The Group Properties Wiki