संयुग्मन वर्ग

रंग द्वारा प्रतिष्ठित संयुग्मन वर्गों के साथ डायहेड्रल_ग्रुप के दो केली_ग्राफ।

गणित में, विशेष रूप से समूह सिद्धांत में, समूह के दो तत्व $a$ तथा $b$ संयुग्मित होते हैं यदि समूह में कोई तत्व $g$ ऐसा है कि $b=gag^{-1}.$यह एक तुल्यता संबंध है जिसके तुल्यता वर्ग संयुग्मी वर्ग कहलाते हैं। दूसरे शब्दों में, समूह में सभी तत्वों $g$ के लिए $b=gag^{-1}.$ के अंतर्गत प्रत्येक संयुग्मन वर्ग बंद है।।

एक ही संयुग्मन वर्ग के सदस्यों को केवल समूह संरचना का उपयोग करके भिन्न नहीं किया जा सकता है, और इसलिए कई गुण बाँट लेते हैं। गैर-आबेली समूहों के संयुग्मन वर्गों का अध्ययन उनकी संरचना के अध्ययन के लिए प्राथमिक है। एबेलियन समूह के लिए, प्रत्येक संयुग्मन वर्ग एक तत्व एकाकी वस्तु वाला एक समुच्चय है।

एक ही संयुग्मन वर्ग के सदस्यों के लिए स्थिर होने वाले कार्यों को वर्ग कार्य कहा जाता है।

परिभाषा

मान लीजिए कि $G$ एक समूह है। दो तत्व $a,b\in G$ संयुग्मित हैं यदि कोई तत्व सम्मलित $g\in G$ ऐसा है कि $gag^{-1}=b,$ जिस स्थिति में $b$ को $a$ संयुग्म कहा जाता है और $a$ को एक संयुग्मी कहा जाता है, $b.$ I

विपरीत मैट्रिक्स के सामान्य रैखिक समूह $\operatorname {GL} (n)$ की स्थिति में संयुग्मन संबंध को मैट्रिक्स समानता कहा जाता है I

यह आसानी से दिखाया जा सकता है कि संयुग्मन एक तुल्यता संबंध है, और इसलिए $G$ तुल्यता वर्गों में विभाजन करता है। (इसका अर्थ है कि समूह का प्रत्येक तत्व ठीक एक संयुग्मन वर्ग से संबंधित है, और वर्ग $\operatorname {Cl} (a)$ तथा $\operatorname {Cl} (b)$ बराबर हैं और केवल $a$ तथा $b$ संयुग्मी हैं, अन्यथा भिन्न हो जाते है I तुल्यता वर्ग जिसमें $a\in G$ तत्व सम्मलित है,

$$\operatorname {Cl} (a)=\left\{gag^{-1}:g\in G\right\}$$

और $a.$ संयुग्मी वर्ग कहलाता है $G$ का वर्ग संख्या विशिष्ट (गैर-समतुल्य) संयुग्मी वर्गों की संख्या है। एक ही संयुग्मन वर्ग से संबंधित सभी तत्वों का एक ही क्रम होता है।

संयुग्मी वर्गों को उनका वर्णन करके, या अधिक संक्षेप में 6A जैसे संक्षिप्त रूप से संदर्भित किया जा सकता है, जिसका अर्थ है क्रम 6 के तत्वों के साथ एक निश्चित संयुग्मन वर्ग, और 6B क्रम 6 के तत्वों के साथ एक भिन्न संयुग्मन वर्ग होगा; संयुग्मी वर्ग 1A समानता का संयुग्मी वर्ग है जिसका क्रम 1 है। कुछ स्थिति में, संयुग्मन वर्गों को एक समान उपाय से वर्णित किया जा सकता है; उदाहरण के लिए, सममित समूह में उन्हें चक्र प्रकार से वर्णित किया जा सकता है।

उदाहरण

सममित समूह $S_{3},$ जिसमें तीन तत्वों के 6 क्रम परिवर्तन से मिलकर, तीन संयुग्मन वर्ग हैं:

1. कोई परिवर्तन नहीं होता है $(abc\to abc)$. एकल सदस्य का क्रम 1 है।
2. दो $(abc\to acb,abc\to bac,abc\to cba)$ स्थानान्तरण करना 3 सदस्यों के पास क्रम 2 है।
3. तीनों का एक चक्रीय क्रमपरिवर्तन $(abc\to bca,abc\to cab)$. 2 सदस्यों दोनों के पास क्रम 3 है।

ये तीन वर्ग एक समबाहु त्रिभुज के आइसोमेट्री समूह के वर्गीकरण के अनुरूप भी हैं।

सममित समूह $S_{4},$ जिसमें चार तत्वों के 24 क्रमपरिवर्तन सम्मलित हैं, उनके विवरण, चक्र प्रकार, सदस्य क्रम और सदस्यों के साथ सूचीबद्ध पांच संयुग्मन वर्ग हैं:

1. कोई परिवर्तन नहीं होता है। चक्र प्रकार = [1⁴]। क्रम = 1. सदस्य = {(1, 2, 3, 4)}। इस संयुग्मन वर्ग वाली एकल पंक्ति को आसन्न तालिका में काले घेरे की एक पंक्ति के रूप में दिखाया गया है।
2. अंतर्विनिमय दो (अन्य दो अपरिवर्तित रहते हैं)। चक्र प्रकार = [1²2¹] क्रम = 2. सदस्य = { (1, 2, 4, 3), (1, 4, 3, 2), (1, 3, 2, 4), (4, 2, 3, 1), (3, 2, 1, 4), (2, 1, 3, 4)})। इस संयुग्मन वर्ग वाली 6 पंक्तियों को आसन्न तालिका में हरे रंग में प्रमुखता से दिखाया गया हैI
3. तीन का एक चक्रीय क्रमचय (अन्य एक अपरिवर्तित रहता है)। चक्र प्रकार = [1¹3¹] क्रम = 3. सदस्य = { (1, 3, 4, 2), (1, 4, 2, 3), (3, 2, 4, 1), (4, 2, 1, 3), (4, 1, 3, 2), (2, 4, 3, 1), (3, 1, 2, 4), (2, 3, 1, 4)})। इस संयुग्मन वर्ग वाली 8 पंक्तियों को आसन्न तालिका में सामान्य प्रिंट (कोई बोल्ड अक्षरों या रंग प्रमुखता) के साथ दिखाया गया है।
4. चारों का एक चक्रीय क्रमपरिवर्तन। चक्र प्रकार = [4¹] क्रम = 4. सदस्य = { (2, 3, 4, 1), (2, 4, 1, 3), (3, 1, 4, 2), (3, 4, 2, 1), (4, 1, 2, 3), (4, 3, 1, 2)})। इस संयुग्मन वर्ग वाली 6 पंक्तियों को आसन्न तालिका में नारंगी रंग में प्रमुखता से दिखाया गया हैI
5. दो की आदान-प्रदान, और अन्य दो की भी। चक्र प्रकार = [2²] । क्रम = 2. सदस्य = {(2, 1, 4, 3), (4, 3, 2, 1), (3, 4, 1, 2)})। इस संयुग्मन वर्ग वाली 3 पंक्तियों को आसन्न तालिका में बोल्ड अक्षरों प्रविष्टियों के साथ दिखाया गया है।

घन के उचित घुमाव, जिन्हें शरीर के विकर्णों के क्रमपरिवर्तन द्वारा वर्णित किया जा सकता है, को संयुग्मन द्वारा $S_{4}.$ में भी वर्णित किया गया है। सामान्य तौर पर, सममित समूह में संयुग्मन वर्गों की संख्या $S_{n}$के पूर्णांक विभाजनों की संख्या $n.$ के बराबर है I ऐसा इसलिए है क्योंकि प्रत्येक संयुग्मन वर्ग ठीक एक विभाजन $\{1,2,\ldots ,n\}$ से मेल खाता है I साइकिल अंकन में, $\{1,2,\ldots ,n\}.$ के तत्वों के क्रमचय तक सामान्यतः, यूक्लिडियन अंतरिक्ष में आइसोमेट्री के संयुग्मन द्वारा यूक्लिडियन समूह का अध्ययन किया जा सकता है।

गुण

• समानता तत्व सदैव अपनी कक्षा में एकमात्र तत्व होता है, अर्थात $\operatorname {Cl} (e)=\{e\}.$
• यदि $G$ तब एबेलियन समूह है $gag^{-1}=a$ सभी के लिए $a,g\in G$, अर्थात। $\operatorname {Cl} (a)=\{a\}$ सभी के लिए $a\in G$ (और इसका विलोम भी सत्य है: यदि सभी संयुग्मन वर्ग एकल हैं तो $G$ एबेलियन है)।
• यदि दो तत्व $a,b\in G$ एक ही संयुग्मी वर्ग से संबंधित हैं (अर्थात, यदि वे संयुग्मी हैं), तो उनके पास एक ही क्रम (समूह सिद्धांत) है। अधिक सामान्यतः, प्रत्येक कथन के बारे में $a$ के बारे में एक निर्देश में अनुवाद किया जा सकता है $b=gag^{-1},$ क्योंकि चित्र $\varphi (x)=gxg^{-1}$ एक समूह समाकृतिकता है I $G$ का एक ऑटोमोर्फिज्म है जिसे एक आंतरिक ऑटोमोर्फिज्म कहा जाता है। उदाहरण के लिए अगली संपत्ति देखें।
• यदि $a$ तथा $b$ संयुग्मी हैं, तो उनकी शक्तियां भी $a^{k}$ तथा $b^{k}.$हैं (प्रमाण :- अगर $a=gbg^{-1}$ फिर $a^{k}=\left(gbg^{-1}\right)\left(gbg^{-1}\right)\cdots \left(gbg^{-1}\right)=gb^{k}g^{-1}.$) इस प्रकार $k$ ले रहा है शक्तियाँ संयुग्मन वर्गों पर एक चित्र देती हैं, और कोई इस पर विचार कर सकता है कि कौन से संयुग्मन वर्ग इसकी प्राथमिकता में हैं। उदाहरण के लिए, सममित समूह में, प्रकार (3)(2) (एक 3-चक्र और 2-चक्र) के तत्व का वर्ग प्रकार (3) का एक तत्व है, इसलिए पावर-अप वर्गों में से एक (3) वर्ग है (3) (2) (जहाँ $a$ का एक शक्ति-अप वर्ग $a^{k}$ है ).
• एक तत्व $a\in G$ एक समूह के केंद्र में स्थित $\operatorname {Z} (G)$ का $G$ है अगर इसके संयुग्मी वर्ग में केवल एक तत्व है, $a$ स्वयं। अधिक सामान्यतः, यदि $\operatorname {C} _{G}(a)$ केंद्रक को दर्शाता है $a\in G,$ तातपर्य , उपसमूह जिसमें सभी तत्व सम्मलित हैं $g$ जैसे कि $ga=ag,$ फिर एक उपसमूह का सूचकांक $\left[G:\operatorname {C} _{G}\left(a\right)\right]$ हैI $a$ के संयुग्मी वर्ग में तत्वों की संख्या के बराबर है (कक्षा स्थिरीकरण प्रमेय द्वारा)।
• $\sigma \in S_{n}$ लें और $m_{1},m_{2},\ldots ,m_{s}$ के चक्र प्रकार में चक्रों की लंबाई के रूप में दिखाई देने वाले भिन्न पूर्णांक हों $\sigma$ (1-चक्र सहित)। होने देना I $k_{i}$ लंबाई के चक्रों की संख्या हो $m_{i}$ में $\sigma$ प्रत्येक के लिए $i=1,2,\ldots ,s$ (जिससे$\sum \limits _{i=1}^{s}k_{i}m_{i}=n$). फिर के संयुग्मों की संख्या $\sigma$ है:
  $${\frac {n!}{\left(k_{1}!m_{1}^{k_{1}}\right)\left(k_{2}!m_{2}^{k_{2}}\right)\cdots \left(k_{s}!m_{s}^{k_{s}}\right)}}.$$

समूह क्रिया के रूप में संयुग्मन

किन्हीं दो तत्वों के लिए $g,x\in G,$ होने देना

$$g\cdot x:=gxg^{-1}.$$

यह एक समूह क्रिया (गणित) को परिभाषित $G$ पर $G.$ करता है समूह क्रिया (गणित) इस क्रिया की कक्षाएँ और स्थिरीकरण संयुग्मन वर्ग हैं, और समूह क्रिया (गणित) कक्षाएँ और किसी दिए गए तत्व के स्थिरीकरण तत्व के केंद्रक हैं। इसी प्रकार, हम एक समूह क्रिया $G$ को परिभाषित कर सकते हैं $G,$ के सभी उपसमूहों के उप-समुच्चय पर लेखन से

$$g\cdot S:=gSg^{-1},$$

या $G.$के उपसमूहों के समुच्चय पर

संयुग्मता वर्ग समीकरण

यदि $G$ एक परिमित समूह है, तो किसी भी समूह तत्व $a,$ के लिए $a$ के संयुग्मन वर्ग के तत्व एक-से-एक संगति में सह-समुच्चय के साथ होते हैं केंद्रक $\operatorname {C} _{G}(a).$ यह किसी भी दो तत्वों को देखकर देखा जा सकता है I $b$ तथा $c$ एक ही सह-समुच्चय से संबंधित हैं (और इसलिए, $b=cz$ कुछ के लिए $z$ केंद्रक में $\operatorname {C} _{G}(a)$) $a$ संयुग्मन करते समय एक ही तत्व को जन्म देते हैं

$$bab^{-1}=cza(cz)^{-1}=czaz^{-1}c^{-1}=cazz^{-1}c^{-1}=cac^{-1}.$$

इसे कक्षा-स्टेबलाइजर प्रमेय से भी देखा जा सकता है, जब समूह को संयुग्मन के माध्यम से स्वयं पर कार्य करने पर विचार किया जाता है, जिससे कक्षाएँ संयुग्मन वर्ग हों और स्टेबलाइज़र उपसमूह केंद्रीकृत हों। बातचीत भी रखती है।

इस प्रकार संयुग्मी वर्ग में तत्वों की संख्या $a$ एक उपसमूह का सूचकांक है $\left[G:\operatorname {C} _{G}(a)\right]$ केंद्रक का $\operatorname {C} _{G}(a)$ में $G$; इसलिए प्रत्येक संयुग्मन वर्ग का आकार समूह के क्रम को विभाजित करता है।

इसके अतिरिक्त, यदि हम एक एकल प्रतिनिधि तत्व $x_{i}$ चुनते हैं I प्रत्येक संयुग्मी वर्ग से, हम संयुग्मी वर्गों की असंगति से अनुमान लगाते हैं कि

$$|G|=\sum _{i}\left[G:\operatorname {C} _{G}\left(x_{i}\right)\right],$$

जहाँ $\operatorname {C} _{G}\left(x_{i}\right)$ तत्व का केंद्रक है यह देखते हुए कि केंद्र का प्रत्येक तत्व $\operatorname {Z} (G)$ एक संयुग्मी वर्ग बनाता है जिसमें केवल स्वयं ही वर्ग समीकरण को जन्म देता है:

$$|G|=|\operatorname {Z} (G)|+\sum _{i}\left[G:\operatorname {C} _{G}\left(x_{i}\right)\right],$$

जहां योग केंद्र में नहीं है कि प्रत्येक संयुग्मन वर्ग से एक प्रतिनिधि तत्व खत्म हो गया है।

समूह क्रम के विभाजकों का ज्ञान $|G|$ केंद्र या संयुग्मी वर्गों के क्रम के बारे में जानकारी प्राप्त करने के लिए प्रायः उपयोग किया जा सकता है।

उदाहरण

एक परिमित $p$-समूह $G$ पर विचार करें (अर्थात् क्रम वाला समूह $p^{n},$ जहाँ पर $p$ एक अभाज्य संख्या है और $n>0$). हम यह सिद्ध करने जा रहे हैं प्रत्येक परिमित <गणित>p</गणित>-समूह में एक गैर-तुच्छ केंद्र होता है.

किसी भी संयुग्मी वर्ग $G$ के क्रम के बाद से $G,$ के क्रम को विभाजित करना चाहिए I यह इस प्रकार है कि प्रत्येक संयुग्मी वर्ग $H_{i}$ जो केंद्र में नहीं है उसकी भी कुछ शक्ति है $p^{k_{i}},$ जहाँ $0<k_{i}<n.$ किन्तु तब वर्ग समीकरण की आवश्यकता होती है ${\textstyle |G|=p^{n}=|\operatorname {Z} (G)|+\sum _{i}p^{k_{i}}.}$ इससे हम देखते हैं $p$ विभाजित करना चाहिए $|\operatorname {Z} (G)|,$ इसलिए $|\operatorname {Z} (G)|>1.$ विशेष रूप से, जब $n=2,$ फिर $G$ एक एबेलियन समूह है क्योंकि कोई भी गैर-तुच्छ समूह तत्व $p$ या $p^{2}.$ क्रम का है यदि कुछ तत्व $a$ का $G$ क्रम $p^{2},$ का है फिर $G$ क्रम के चक्रीय समूह के लिए $p^{2},$ आइसोमोर्फिक है I दूसरी ओर, यदि प्रत्येक गैर-तुच्छ तत्व में $G$ क्रम का है $p,$ इसलिए उपरोक्त निष्कर्ष से $|\operatorname {Z} (G)|>1,$ फिर $|\operatorname {Z} (G)|=p>1$ या $p^{2}.$ हमें केवल स्थिति पर विचार करने की आवश्यकता है $|\operatorname {Z} (G)|=p>1,$ तब एक तत्व $b$ का $G$ होता है जो केंद्र में नहीं है $G.$ ध्यान दें कि $\operatorname {C} _{G}(b)$ सम्मलित $b$ और केंद्र जिसमें $b$ सम्मलित नहीं है किन्तु कम से कम $p$ तत्व है। इसलिए $\operatorname {C} _{G}(b)$ का क्रम सख्ती से बड़ा है $p,$ इसलिए $\left|\operatorname {C} _{G}(b)\right|=p^{2},$ इसलिए $b$ के केंद्र का अंग है $G,$ एक विरोधाभास। अत $G$ एबेलियन है और वास्तव में प्रत्येक क्रम के दो चक्रीय समूहों के प्रत्यक्ष उत्पाद के लिए $p.$ आइसोमोर्फिक हैI

उपसमूहों और सामान्य उपसमूहों का संयुग्मन

सामान्यतः, कोई उपसमुच्चय $S\subseteq G$ ($S$ जरूरी नहीं कि एक उपसमूह) दिया गया है, एक उप-समुच्चय परिभाषित करें $T\subseteq G$ से संयुग्मित होना $S$ यदि कुछ उपस्तिथ है, $g\in G$ ऐसा है कि $T=gSg^{-1}.$ होने देना $\operatorname {Cl} (S)$ सभी उपसमुच्चयों का समुच्चय हो $T\subseteq G$ ऐसा है कि $T$ से संयुग्मित है $S.$ एक बार-बार उपयोग किया जाने वाला प्रमेय वह है, जिसे कोई उपसमुच्चय दिया गया हो $S\subseteq G,$ का उप-समुच्चय $\operatorname {N} (S)$ (सामान्यकारक $S$) में $G$ के क्रम $\operatorname {Cl} (S)$ के बराबर है:

$$|\operatorname {Cl} (S)|=[G:N(S)].$$

यह इस प्रकार है, यदि $g,h\in G,$ फिर $gSg^{-1}=hSh^{-1}$ अगर $g^{-1}h\in \operatorname {N} (S),$ दूसरे शब्दों में, और केवल $g{\text{ and }}h$ के एक ही सह-समुच्चय में हैं $\operatorname {N} (S).$ का उपयोग करके $S=\{a\},$ यह सूत्र संयुग्मी वर्ग में तत्वों की संख्या के लिए पूर्व दिए गए सूत्र का सामान्यीकरण करता है।

$G.$ उपसमूहों के सम्बन्ध में वर्णन करते समय उपर्युक्त विशेष रूप से उपयोगी होता है I इस प्रकार उपसमूहों को संयुग्मी वर्गों में विभाजित किया जा सकता है, एक ही वर्ग से संबंधित दो उपसमूहों के साथ यदि और केवल यदि वे संयुग्मित हैं। संयुग्म उपसमूह समूह समरूपता हैं, किन्तु समरूप उपसमूहों को संयुग्मित होने की आवश्यकता नहीं है। उदाहरण के लिए, एक एबेलियन समूह के दो भिन्न-भिन्न उपसमूह हो सकते हैं जो आइसोमोर्फिक हैं, किन्तु वे कभी संयुग्मित नहीं होते हैं।

ज्यामितीय व्याख्या

पथ से जुड़े संस्थानिक स्थान के प्राथमिक समूह में संयुग्मी वर्गों को स्वतंत्र होमोटोपी के अंतर्गत अंतर्गत लूप के समतुल्य वर्गों के रूप में माना जा सकता है।

यह भी देखें

• सामयिक संयुग्मन
• एफसी-समूह
• संयुग्मन-बंद उपसमूह

संदर्भ

• Grillet, Pierre Antoine (2007). Abstract algebra. Graduate texts in mathematics. Vol. 242 (2 ed.). Springer. ISBN 978-0-387-71567-4.

बाहरी संबंध

• "Conjugate elements", Encyclopedia of Mathematics, EMS Press, 2001 [1994]