केंद्र (समूह सिद्धांत)
∘ | e | b | a | a2 | a3 | ab | a2b | a3b |
---|---|---|---|---|---|---|---|---|
e | e | b | a | a2 | a3 | ab | a2b | a3b |
b | b | e | a3b | a2b | ab | a3 | a2 | a |
a | a | ab | a2 | a3 | e | a2b | a3b | b |
a2 | a2 | a2b | a3 | e | a | a3b | b | ab |
a3 | a3 | a3b | e | a | a2 | b | ab | a2b |
ab | ab | a | b | a3b | a2b | e | a3 | a2 |
a2b | a2b | a2 | ab | b | a3b | a | e | a3 |
a3b | a3b | a3 | a2b | ab | b | a2 | a | e |
सार बीजगणित में, एक समूह का केंद्र (गणित), G, तत्वों का समुच्चय (गणित) है जो प्रत्येक तत्व के साथ क्रमविनिमेय है G. यह निरूपित है Z(G), जर्मन से: ज़ेंट्रम के साथ, जिसका अर्थ है केंद्र। सेट-बिल्डर नोटेशन में,
- Z(G) = {z ∈ G | ∀g ∈ G, zg = gz}.
केंद्र एक सामान्य उपसमूह है, Z(G) ⊲ G. एक उपसमूह के रूप में, यह हमेशा विशिष्ट उपसमूह होता है, लेकिन जरूरी नहीं कि यह पूरी तरह से विशेषता उपसमूह हो। भागफल समूह , G / Z(G), आंतरिक ऑटोमोर्फिज्म समूह के लिए समूह समरूपता है, Inn(G).
एक समूह G एबेलियन है अगर और केवल अगर Z(G) = G. दूसरे चरम पर, एक समूह को केंद्रहीन कहा जाता है यदि Z(G) तुच्छ समूह है; यानी, केवल पहचान तत्व के होते हैं।
केंद्र के तत्वों को कभी-कभी केंद्रीय कहा जाता है।
एक उपसमूह के रूप में
G का केंद्र हमेशा एक उपसमूह (गणित) होता है G. विशेष रूप से:
- Z(G) का पहचान तत्व शामिल है G, क्योंकि यह के हर तत्व के साथ संचार करता है g, परिभाषा से: eg = g = ge, कहां e पहचान है;
- यदि x और y में हैं Z(G), तो ऐसा है xy, साहचर्य द्वारा: (xy)g = x(yg) = x(gy) = (xg)y = (gx)y = g(xy) प्रत्येक के लिए g ∈ G; अर्थात।, Z(G) बन्द है;
- यदि x में है Z(G), तो ऐसा है x−1 के रूप में, सभी के लिए g में G, x−1 के साथ यात्रा करता है g: (gx = xg) ⇒ (x−1gxx−1 = x−1xgx−1) ⇒ (x−1g = gx−1).
इसके अलावा, का केंद्र G का हमेशा एक सामान्य उपसमूह होता है G. चूंकि सभी तत्व Z(G) यात्रा, यह संयुग्म बंद के तहत बंद है।
ध्यान दें कि एक समरूपता f: G → H समूहों के बीच आम तौर पर उनके केंद्रों के बीच समरूपता तक सीमित नहीं होता है। यद्यपि f (Z (G)) साथ आवागमन करता है f ( G ), जब तक f विशेषण है f (Z (G)) सभी के साथ यात्रा करने की आवश्यकता नहीं है H और इसलिए इसका उपसमुच्चय नहीं होना चाहिए Z ( H ). दूसरे तरीके से कहें, तो Grp और Ab श्रेणियों के बीच कोई केंद्र फ़ैक्टर नहीं है। भले ही हम वस्तुओं को मैप कर सकते हैं, हम तीरों को मैप नहीं कर सकते।
संयुग्मन वर्ग और केंद्रक
परिभाषा के अनुसार, केंद्र तत्वों का समूह है जिसके लिए प्रत्येक तत्व का संयुग्मन वर्ग स्वयं तत्व है; अर्थात।, Cl(g) = {g}.
केंद्र प्रत्येक तत्व के सभी केंद्रक और सामान्यक का प्रतिच्छेदन (सेट सिद्धांत) भी है G. चूंकि केंद्रक उपसमूह हैं, यह फिर से दिखाता है कि केंद्र एक उपसमूह है।
संयुग्मन
मानचित्र पर विचार करें, f: G → Aut(G), से G ऑटोमोर्फिज्म समूह के लिए G द्वारा परिभाषित f(g) = ϕg, कहां ϕg का ऑटोमोर्फिज्म है G द्वारा परिभाषित
- f(g)(h) = ϕg(h) = ghg−1.
कार्यक्रम, f एक समूह समरूपता है, और इसका कर्नेल (बीजगणित) बिल्कुल केंद्र है G, और इसकी छवि को आंतरिक ऑटोमोर्फिज़्म समूह कहा जाता है G, निरूपित Inn(G). पहले तुल्याकारिता प्रमेय से हम पाते हैं,
- G/Z(G) ≃ Inn(G).
इस मानचित्र का cokernel समूह है Out(G) बाहरी ऑटोमोर्फिज्म , और ये सटीक क्रम बनाते हैं
- 1 ⟶ Z(G) ⟶ G ⟶ Aut(G) ⟶ Out(G) ⟶ 1.
उदाहरण
- एक एबेलियन समूह का केंद्र, G, सभी का है G.
- हाइजेनबर्ग समूह का केंद्र, H, फॉर्म के मैट्रिसेस का सेट है:
- एक गैर-अबेलियन समूह सरल समूह का केंद्र तुच्छ है।
- डायहेड्रल समूह का केंद्र, Dn, विषम के लिए तुच्छ है n ≥ 3. एक जैसे के लिए n ≥ 4, केंद्र में बहुभुज के 180° घूर्णन के साथ-साथ पहचान तत्व शामिल है।
- चतुष्कोण समूह का केंद्र, Q8 = {1, −1, i, −i, j, −j, k, −k}, है {1, −1}.
- सममित समूह का केंद्र, Sn, के लिए तुच्छ है n ≥ 3.
- वैकल्पिक समूह का केंद्र, An, के लिए तुच्छ है n ≥ 4.
- एक क्षेत्र (गणित) पर सामान्य रेखीय समूह का केंद्र F, GLn(F), विकर्ण मैट्रिक्स का संग्रह है, { sIn ∣ s ∈ F \ {0} }.
- ऑर्थोगोनल समूह का केंद्र, On(F) है {In, −In}.
- विशेष ऑर्थोगोनल समूह का केंद्र, SO(n) पूरा समूह है जब n = 2, और अन्यथा {In, −In} जब n सम है, और तुच्छ है जब n विषम है।
- एकात्मक समूह का केंद्र, है .
- विशेष एकात्मक समूह का केंद्र, है .
- गैर-शून्य चतुष्कोणों के गुणक समूह का केंद्र गैर-शून्य वास्तविक संख्या ओं का गुणक समूह है।
- वर्ग समीकरण का प्रयोग करके कोई यह सिद्ध कर सकता है कि किसी भी गैर-तुच्छ परिमित समूह p-समूह का केंद्र गैर-तुच्छ है।
- यदि भागफल समूह G/Z(G) चक्रीय समूह है, G एबेलियन समूह है (और इसलिए G = Z(G), इसलिए G/Z(G) तुच्छ है)।
- megaminx समूह का केंद्र क्रम 2 का एक चक्रीय समूह है, और kominx समूह का केंद्र तुच्छ है।
उच्च केंद्र
एक समूह के केंद्र द्वारा भाग लेने से समूहों का एक क्रम उत्पन्न होता है जिसे ऊपरी केंद्रीय श्रृंखला कहा जाता है:
- (G0 = G) ⟶ (G1 = G0/Z(G0)) ⟶ (G2 = G1/Z(G1)) ⟶ ⋯
मानचित्र का कर्नेल G → Gi हैiवें केंद्र[1] का G (दूसरा केंद्र, तीसरा केंद्र, आदि) और निरूपित किया जाता है Zi(G).[2] ठोस रूप से, (i + 1)-पहला केंद्र वे शब्द हैं जो सभी तत्वों के साथ एक तत्व तक संप्रेषित होते हैं iवें केंद्र। इस परिभाषा के बाद, एक समूह के 0 वें केंद्र को पहचान उपसमूह के रूप में परिभाषित किया जा सकता है। इसे ट्रांसफिनिट इंडक्शन द्वारा ट्रांसफिनिट ऑर्डिनल्स तक जारी रखा जा सकता है; सभी उच्च केंद्रों के मिलन को hypercenter कहा जाता है।[note 1] कुल आदेश# उपसमूहों की शृंखला
- 1 ≤ Z(G) ≤ Z2(G) ≤ ⋯
i पर स्थिर हो जाता है (समान रूप से, Zi(G) = Zi+1(G)) अगर और केवल अगर Gi केंद्रविहीन है।
उदाहरण
- एक केंद्रविहीन समूह के लिए, सभी उच्च केंद्र शून्य होते हैं, जो कि मामला है Z0(G) = Z1(G) स्थिरीकरण की।
- ग्रुन के लेम्मा द्वारा, इसके केंद्र द्वारा एक पूर्ण समूह का अंश केंद्र रहित होता है, इसलिए सभी उच्च केंद्र केंद्र के बराबर होते हैं। यह स्थिरीकरण का मामला है Z1(G) = Z2(G).
यह भी देखें
- केंद्र (बीजगणित)
- केंद्र (रिंग थ्योरी)
- सेंट्रलाइज़र और नॉर्मलाइज़र
- संयुग्मी वर्ग
टिप्पणियाँ
- ↑ This union will include transfinite terms if the UCS does not stabilize at a finite stage.
संदर्भ
- Fraleigh, John B. (2014). A First Course in Abstract Algebra (7 ed.). Pearson. ISBN 978-1-292-02496-7.
बाहरी कड़ियाँ
- ↑ Ellis, Graham (February 1, 1998). "On groups with a finite nilpotent upper central quotient". Archiv der Mathematik. 70 (2): 89–96. doi:10.1007/s000130050169. ISSN 1420-8938.
- ↑ Ellis, Graham (February 1, 1998). "On groups with a finite nilpotent upper central quotient". Archiv der Mathematik. 70 (2): 89–96. doi:10.1007/s000130050169. ISSN 1420-8938.