संयुग्मन वर्ग: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(13 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{short description|In group theory, equivalence class under the relation of conjugation}}
[[File:Dihedral-conjugacy-classes.svg|thumb|420px|रंग द्वारा प्रतिष्ठित संयुग्मन वर्गों के साथ डायहेड्रल_ग्रुप के दो केली_ग्राफ।]]गणित में, विशेष रूप से [[समूह सिद्धांत]]  में, समूह के दो तत्व <math>a</math> तथा <math>b</math> संयुग्मित होते हैं यदि समूह में कोई तत्व <math>g</math> ऐसा है कि <math>b = gag^{-1}.</math>यह एक [[तुल्यता संबंध]] है जिसके तुल्यता वर्ग '''संयुग्मन वर्ग''' कहलाते हैं। दूसरे शब्दों में, समूह में सभी तत्वों <math>g</math> के लिए <math>b = gag^{-1}.</math> के अंतर्गत प्रत्येक संयुग्मन वर्ग बंद है।।
[[File:Dihedral-conjugacy-classes.svg|thumb|420px|रंग द्वारा प्रतिष्ठित संयुग्मन वर्गों के साथ डायहेड्रल_ग्रुप के दो केली_ग्राफ।]]गणित में, विशेष रूप से [[समूह सिद्धांत]]  में, समूह के दो तत्व <math>a</math> तथा <math>b</math> संयुग्मित होते हैं यदि [[समूह (गणित)|समूह]] में कोई तत्व <math>g</math> ऐसा है कि <math>b = gag^{-1}.</math>यह एक [[तुल्यता संबंध]] है जिसके [[तुल्यता वर्ग]] संयुग्मी वर्ग कहलाते हैं। दूसरे शब्दों में, समूह में सभी तत्वों <math>g</math> के लिए <math>b = gag^{-1}.</math> के अंतर्गत प्रत्येक संयुग्मन वर्ग बंद है।।


एक ही संयुग्मन वर्ग के सदस्यों को केवल समूह संरचना का उपयोग करके भिन्न नहीं किया जा सकता है, और इसलिए कई गुण बाँट लेते हैं। गैर-आबेली समूहों के संयुग्मन वर्गों का अध्ययन उनकी संरचना के अध्ययन के लिए मौलिक है।<ref name="dummit">{{cite book|last1=Dummit|first1=David S.|last2=Foote|first2=Richard M.|title=सार बीजगणित|publisher=[[John Wiley & Sons]]|year=2004|edition=3rd|isbn=0-471-43334-9}}</ref><ref>{{cite book|last=Lang|first=Serge|author-link=Serge Lang|title=बीजगणित|publisher=[[Springer Science+Business Media|Springer]]|series=[[Graduate Texts in Mathematics]]|year=2002|isbn=0-387-95385-X}}</ref> [[एबेलियन समूह]] के लिए, प्रत्येक संयुग्मन वर्ग एक तत्व [[सिंगलटन (गणित)|एकाकी वस्तु]] वाला एक [[सेट (गणित)|समुच्चय]] है।
एक ही संयुग्मन वर्ग के सदस्यों को केवल समूह संरचना का उपयोग करके भिन्न नहीं किया जा सकता है, और इसलिए कई गुण बाँट लेते हैं। गैर-आबेली समूहों के संयुग्मन वर्गों का अध्ययन उनकी संरचना के अध्ययन के लिए प्राथमिक है।<ref name="dummit">{{cite book|last1=Dummit|first1=David S.|last2=Foote|first2=Richard M.|title=सार बीजगणित|publisher=[[John Wiley & Sons]]|year=2004|edition=3rd|isbn=0-471-43334-9}}</ref><ref>{{cite book|last=Lang|first=Serge|author-link=Serge Lang|title=बीजगणित|publisher=[[Springer Science+Business Media|Springer]]|series=[[Graduate Texts in Mathematics]]|year=2002|isbn=0-387-95385-X}}</ref> [[एबेलियन समूह]] के लिए, प्रत्येक संयुग्मन वर्ग एक तत्व एकाकी वस्तु वाला एक समुच्चय है।


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


मान लीजिए कि <math>G</math> एक समूह है। दो तत्व <math>a, b \in G</math> संयुग्मित हैं यदि कोई तत्व सम्मलित <math>g \in G</math> ऐसा है कि <math>gag^{-1} = b,</math> जिस स्थिति में  <math>b</math> को <math>a</math> संयुग्म कहा जाता है और <math>a</math> को {{em|एक संयुग्मी
मान लीजिए कि <math>G</math> एक समूह है। दो तत्व <math>a, b \in G</math> संयुग्मित हैं यदि कोई तत्व सम्मलित <math>g \in G</math> ऐसा है कि <math>gag^{-1} = b,</math> जिस स्थिति में  <math>b</math> को <math>a</math> संयुग्म कहा जाता है और <math>a</math> को {{em|एक संयुग्मी
}} कहा जाता है I उल्टा मेट्रिसेस के [[सामान्य रैखिक समूह]] <math>\operatorname{GL}(n)</math> की स्थिति में  संयुग्मन संबंध को मैट्रिक्स समानता कहा जाता है <math>b.</math>
}} कहा जाता है I उल्टा मैट्रिक्स के सामान्य रैखिक समूह <math>\operatorname{GL}(n)</math> की स्थिति में  संयुग्मन संबंध को मैट्रिक्स समानता <math>b.</math> कहा जाता है


यह आसानी से दिखाया जा सकता है कि संयुग्मन एक तुल्यता संबंध है और इसलिए <math>G</math> विभाजन करता है  तुल्यता वर्गों में। (इसका मतलब है कि समूह का प्रत्येक तत्व ठीक एक संयुग्मन वर्ग से संबंधित है, और वर्ग  <math>\operatorname{Cl}(a)</math> तथा <math>\operatorname{Cl}(b)</math> बराबर हैं [[अगर और केवल अगर|और केवल]]  <math>a</math> तथा <math>b</math> संयुग्मी हैं, अन्यथा भिन्न हो जाते है I तुल्यता वर्ग जिसमें  <math>a \in G</math> तत्व सम्मलित है,
यह आसानी से दिखाया जा सकता है कि संयुग्मन एक तुल्यता संबंध है और इसलिए <math>G</math> तुल्यता वर्गों में विभाजन करता है। (इसका अर्थ है कि समूह का प्रत्येक तत्व ठीक एक संयुग्मन वर्ग से संबंधित है, और वर्ग  <math>\operatorname{Cl}(a)</math> तथा <math>\operatorname{Cl}(b)</math> बराबर हैं और केवल <math>a</math> तथा <math>b</math> संयुग्मन हैं, अन्यथा भिन्न हो जाते है I तुल्यता वर्ग जिसमें  <math>a \in G</math> तत्व सम्मलित है,
<math display="block">\operatorname{Cl}(a) = \left\{ gag^{-1} : g \in G \right\}</math>
<math display="block">\operatorname{Cl}(a) = \left\{ gag^{-1} : g \in G \right\}</math>
<math>a.</math> संयुग्मी वर्ग कहलाता है <math>G</math> का {{visible anchor|वर्ग संख्या
और <math>a.</math> संयुग्मन वर्ग कहलाता है <math>G</math> का {{visible anchor|वर्ग संख्या
|कक्षा संख्या (समूह सिद्धांत)
|कक्षा संख्या (समूह सिद्धांत)
}} विशिष्ट (गैर-समतुल्य) संयुग्मी वर्गों की संख्या है।  <!--boldface per WP:R#PLA--> एक ही संयुग्मन वर्ग से संबंधित सभी तत्वों का एक ही क्रम होता है।
}} विशिष्ट (गैर-समतुल्य) संयुग्मन वर्गों की संख्या है।  <!--boldface per WP:R#PLA--> एक ही संयुग्मन वर्ग से संबंधित सभी तत्वों का एक ही क्रम होता है।


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


== उदाहरण ==
== उदाहरण ==
ऑर्डर 6 का सममित समूह डायहेड्रल समूह |<math>S_3,</math>तीन तत्वों के 6 क्रम[[परिवर्तन]] से मिलकर, तीन संयुग्मन वर्ग हैं:
सममित समूह <math>S_3,</math> जिसमें तीन तत्वों के 6 क्रम [[परिवर्तन]] से मिलकर, तीन संयुग्मन वर्ग हैं:


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


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


[[File:Symmetric group S4; conjugacy table.svg|thumb|300px|टेबल दिखा रहा है <math>bab^{-1}</math> सभी जोड़ियों के लिए <math>(a, b)</math> साथ <math>a, b \in S_4</math> <छोटा>(compare [[:File:Symmetric group 4; permutation list.svg|क्रमांकित सूची)</छोटा>। प्रत्येक पंक्ति में संयुग्मन वर्ग के सभी तत्व होते हैं {{nowrap|of <math>a,</math>}} और प्रत्येक कॉलम में सभी तत्व शामिल हैं <math>S_4.</math>]]सममित समूह v:सममित समूह S4|<math>S_4,</math>चार तत्वों के 24 क्रमपरिवर्तनों से मिलकर, उनके विवरण, क्रमचय#Cycle_type, सदस्य क्रम और सदस्यों के साथ सूचीबद्ध पांच संयुग्मन वर्ग हैं:
सममित समूह <math>S_4,</math> जिसमें चार तत्वों के 24 क्रमपरिवर्तन सम्मलित हैं, उनके विवरण, चक्र प्रकार, सदस्य क्रम और सदस्यों के साथ सूचीबद्ध पांच संयुग्मन वर्ग हैं:


# कोई परिवर्तन नहीं होता है। चक्र प्रकार = [1<sup>4</sup>]। आदेश = 1. सदस्य = {(1, 2, 3, 4)}। इस संयुग्मन वर्ग वाली एकल पंक्ति को आसन्न तालिका में काले घेरे की एक पंक्ति के रूप में दिखाया गया है।
# कोई परिवर्तन नहीं होता है। चक्र प्रकार = [1<sup>4</sup>]। क्रम = 1. सदस्य = {(1, 2, 3, 4)}। इस संयुग्मन वर्ग वाली एकल पंक्ति को आसन्न तालिका में काले घेरे की एक पंक्ति के रूप में दिखाया गया है।
# इंटरचेंजिंग दो (अन्य दो अपरिवर्तित रहते हैं)। चक्र प्रकार = [1<sup>2</sup>2<sup>1</उप>]क्रम = 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 पंक्तियों को आसन्न तालिका में हरे रंग में हाइलाइट किया गया है।
# अंतर्विनिमय दो (अन्य दो अपरिवर्तित रहते हैं)। चक्र प्रकार = [1<sup>2</sup>2<sup>1</sup>] क्रम = 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
# तीन का एक चक्रीय क्रमचय (अन्य एक अपरिवर्तित रहता है)। चक्र प्रकार = [1<sup>1</sup>3<sup>1</उप>]क्रम = 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 पंक्तियों को आसन्न तालिका में सामान्य प्रिंट (कोई बोल्डफेस या रंग हाइलाइटिंग) के साथ दिखाया गया है।
# तीन का एक चक्रीय क्रमचय (अन्य एक अपरिवर्तित रहता है)। चक्र प्रकार = [1<sup>1</sup>3<sup>1</sup>] क्रम = 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<sup>1</उप>]क्रम = 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 पंक्तियों को आसन्न तालिका में नारंगी रंग में हाइलाइट किया गया है।
# चारों का एक चक्रीय क्रमपरिवर्तन। चक्र प्रकार = [4<sup>1</sup>] क्रम = 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
# दो की अदला-बदली, और अन्य दो की भी। चक्र प्रकार = [2<sup>2</उप>]। आदेश = 2. सदस्य = {(2, 1, 4, 3), (4, 3, 2, 1), (3, 4, 1, 2)})। इस संयुग्मन वर्ग वाली 3 पंक्तियों को आसन्न तालिका में बोल्डफेस प्रविष्टियों के साथ दिखाया गया है।
# दो की आदान-प्रदान, और अन्य दो की भी। चक्र प्रकार = [2<sup>2</sup>] । क्रम = 2. सदस्य = {(2, 1, 4, 3), (4, 3, 2, 1), (3, 4, 1, 2)})। इस संयुग्मन वर्ग वाली 3 पंक्तियों को आसन्न तालिका में बोल्ड अक्षरों प्रविष्टियों के साथ दिखाया गया है।


ऑक्टाहेड्रल समरूपता # क्यूब की आइसोमेट्रीज़, जिसे शरीर के विकर्णों के क्रमपरिवर्तन द्वारा चित्रित किया जा सकता है, को संयुग्मन द्वारा भी वर्णित किया गया है <math>S_4.</math>
घन के उचित घुमाव, जिन्हें शरीर के विकर्णों के क्रमपरिवर्तन द्वारा वर्णित किया जा सकता है, को संयुग्मन द्वारा <math>S_4.</math> में भी वर्णित किया गया है। सामान्य तौर पर, सममित समूह में संयुग्मन वर्गों की संख्या <math>S_n</math>के पूर्णांक विभाजनों की संख्या <math>n.</math> के बराबर है I ऐसा इसलिए है क्योंकि प्रत्येक संयुग्मन वर्ग ठीक एक विभाजन <math>\{ 1, 2, \ldots, n \}</math> से मेल खाता है I साइकिल अंकन में, <math>\{ 1, 2, \ldots, n \}.</math> के तत्वों के क्रमचय तक सामान्यतः, यूक्लिडियन अंतरिक्ष में आइसोमेट्री के संयुग्मन द्वारा यूक्लिडियन समूह का अध्ययन किया जा सकता है।
सामान्य तौर पर, सममित समूह में संयुग्मन वर्गों की संख्या <math>S_n</math>के [[पूर्णांक विभाजन]]ों की संख्या के बराबर है <math>n.</math> ऐसा इसलिए है क्योंकि प्रत्येक संयुग्मन वर्ग ठीक एक विभाजन से मेल खाता है <math>\{ 1, 2, \ldots, n \}</math> साइकिल अंकन में, के तत्वों के क्रमचय तक <math>\{ 1, 2, \ldots, n \}.</math>
सामान्य तौर पर, यूक्लिडियन अंतरिक्ष में आइसोमेट्री के संयुग्मन द्वारा [[यूक्लिडियन समूह]] का अध्ययन किया जा सकता है।


== गुण ==
== गुण ==
Line 44: Line 41:
* पहचान तत्व हमेशा अपनी कक्षा में एकमात्र तत्व होता है, अर्थात <math>\operatorname{Cl}(e) = \{ e \}.</math>
* पहचान तत्व हमेशा अपनी कक्षा में एकमात्र तत्व होता है, अर्थात <math>\operatorname{Cl}(e) = \{ e \}.</math>
* यदि <math>G</math> तब एबेलियन समूह है <math>gag^{-1} = a</math> सभी के लिए <math>a, g \in G</math>, अर्थात। <math>\operatorname{Cl}(a) = \{ a \}</math> सभी के लिए <math>a \in G</math> (और इसका विलोम भी सत्य है: यदि सभी संयुग्मन वर्ग एकल हैं तो <math>G</math> एबेलियन है)।
* यदि <math>G</math> तब एबेलियन समूह है <math>gag^{-1} = a</math> सभी के लिए <math>a, g \in G</math>, अर्थात। <math>\operatorname{Cl}(a) = \{ a \}</math> सभी के लिए <math>a \in G</math> (और इसका विलोम भी सत्य है: यदि सभी संयुग्मन वर्ग एकल हैं तो <math>G</math> एबेलियन है)।
* यदि दो तत्व <math>a, b \in G</math> एक ही संयुग्मी वर्ग से संबंधित हैं (अर्थात, यदि वे संयुग्मी हैं), तो उनके पास एक ही आदेश (समूह सिद्धांत) है। अधिक सामान्यतः, प्रत्येक कथन के बारे में <math>a</math> के बारे में एक बयान में अनुवाद किया जा सकता है <math>b = gag^{-1},</math> क्योंकि नक्शा <math>\varphi(x) = gxg^{-1}</math> एक समूह समाकृतिकता है#Automorphisms of <math>G</math> एक आंतरिक automorphism कहा जाता है। उदाहरण के लिए अगली संपत्ति देखें।
* यदि दो तत्व <math>a, b \in G</math> एक ही संयुग्मन वर्ग से संबंधित हैं (अर्थात, यदि वे संयुग्मन हैं), तो उनके पास एक ही क्रम (समूह सिद्धांत) है। अधिक सामान्यतः, प्रत्येक कथन के बारे में <math>a</math> के बारे में एक निर्देश में अनुवाद किया जा सकता है <math>b = gag^{-1},</math> क्योंकि चित्र  <math>\varphi(x) = gxg^{-1}</math> एक समूह समाकृतिकता है I <math>G</math> का एक ऑटोमोर्फिज्म है जिसे एक आंतरिक ऑटोमोर्फिज्म कहा जाता है। उदाहरण के लिए अगली संपत्ति देखें।
* यदि <math>a</math> तथा <math>b</math> संयुग्मी हैं, तो उनकी शक्तियां भी हैं <math>a^k</math> तथा <math>b^k.</math> (सबूत: अगर <math>a = gbg^{-1}</math> फिर <math>a^k = \left(gbg^{-1}\right)\left(gbg^{-1}\right) \cdots \left(gbg^{-1}\right) = gb^kg^{-1}.</math>) इस प्रकार ले रहा है <math>k</math><sup>th</sup> शक्तियाँ संयुग्मन वर्गों पर एक नक्शा देती हैं, और कोई इस पर विचार कर सकता है कि कौन से संयुग्मन वर्ग इसकी प्राथमिकता में हैं। उदाहरण के लिए, सममित समूह में, प्रकार (3)(2) (एक 3-चक्र और 2-चक्र) के तत्व का वर्ग प्रकार (3) का एक तत्व है, इसलिए पावर-अप वर्गों में से एक (3) वर्ग है (3) (2) (जहाँ <math>a</math> का एक शक्ति-अप वर्ग है <math>a^k</math>).
* यदि <math>a</math> तथा <math>b</math> संयुग्मन हैं, तो उनकी शक्तियां भी <math>a^k</math> तथा <math>b^k.</math>हैं  (प्रमाण :- अगर <math>a = gbg^{-1}</math> फिर <math>a^k = \left(gbg^{-1}\right)\left(gbg^{-1}\right) \cdots \left(gbg^{-1}\right) = gb^kg^{-1}.</math>) इस प्रकार <math>k</math> ले रहा है शक्तियाँ संयुग्मन वर्गों पर एक चित्र देती हैं, और कोई इस पर विचार कर सकता है कि कौन से संयुग्मन वर्ग इसकी प्राथमिकता में हैं। उदाहरण के लिए, सममित समूह में, प्रकार (3)(2) (एक 3-चक्र और 2-चक्र) के तत्व का वर्ग प्रकार (3) का एक तत्व है, इसलिए पावर-अप वर्गों में से एक (3) वर्ग है (3) (2) (जहाँ <math>a</math> का एक शक्ति-अप वर्ग <math>a^k</math> है ).
* एक तत्व <math>a \in G</math> एक समूह के केंद्र में स्थित है <math>\operatorname{Z}(G)</math> का <math>G</math> अगर और केवल अगर इसके संयुग्मी वर्ग में केवल एक तत्व है, <math>a</math> अपने आप। अधिक सामान्यतः, यदि <math>\operatorname{C}_G(a)</math> दर्शाता है {{em|[[centralizer]]}} का <math>a \in G,</math> यानी, [[उपसमूह]] जिसमें सभी तत्व शामिल हैं <math>g</math> ऐसा है कि <math>ga = ag,</math> फिर [[एक उपसमूह का सूचकांक]] <math>\left[G : \operatorname{C}_G\left(a\right)\right]</math> के संयुग्मी वर्ग में तत्वों की संख्या के बराबर है <math>a</math> ([[कक्षा स्थिरीकरण प्रमेय]] द्वारा)।
* एक तत्व <math>a \in G</math> एक समूह के केंद्र में स्थित <math>\operatorname{Z}(G)</math> का <math>G</math> है अगर इसके संयुग्मन वर्ग में केवल एक तत्व है, <math>a</math> स्वयं। अधिक सामान्यतः, यदि <math>\operatorname{C}_G(a)</math> {{em|[[केंद्रक]]}} को दर्शाता है  <math>a \in G,</math> तातपर्य , [[उपसमूह]] जिसमें सभी तत्व सम्मलित हैं <math>g</math> जैसे कि <math>ga = ag,</math> फिर [[एक उपसमूह का सूचकांक]] <math>\left[G : \operatorname{C}_G\left(a\right)\right]</math> हैI  <math>a</math> के संयुग्मन वर्ग में तत्वों की संख्या के बराबर है ([[कक्षा स्थिरीकरण प्रमेय]] द्वारा)।
* लेना <math>\sigma \in S_n</math> और जाने <math>m_1, m_2, \ldots, m_s</math> के चक्र प्रकार में चक्रों की लंबाई के रूप में दिखाई देने वाले भिन्न पूर्णांक हों <math>\sigma</math> (1-चक्र सहित)। होने देना <math>k_i</math> लंबाई के चक्रों की संख्या हो <math>m_i</math> में <math>\sigma</math> प्रत्येक के लिए <math>i = 1, 2, \ldots, s</math> (ताकि <math>\sum\limits_{i=1}^{s} k_i m_i = n</math>). फिर के संयुग्मों की संख्या <math>\sigma</math> है:<ref name="dummit" /><math display="block">\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)}.</math>
* <math>\sigma \in S_n</math> लें और <math>m_1, m_2, \ldots, m_s</math> के चक्र प्रकार में चक्रों की लंबाई के रूप में दिखाई देने वाले भिन्न पूर्णांक हों <math>\sigma</math> (1-चक्र सहित)। होने देना I <math>k_i</math> लंबाई के चक्रों की संख्या हो <math>m_i</math> में <math>\sigma</math> प्रत्येक के लिए <math>i = 1, 2, \ldots, s</math> (जिससे<math>\sum\limits_{i=1}^{s} k_i m_i = n</math>). फिर के संयुग्मों की संख्या <math>\sigma</math> है:<ref name="dummit" /><math display="block">\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)}.</math>




Line 53: Line 50:
किन्हीं दो तत्वों के लिए <math>g, x \in G,</math> होने देना
किन्हीं दो तत्वों के लिए <math>g, x \in G,</math> होने देना
<math display="block">g \cdot x := gxg^{-1}.</math>
<math display="block">g \cdot x := gxg^{-1}.</math>
यह एक [[समूह क्रिया (गणित)]] को परिभाषित करता है <math>G</math> पर <math>G.</math> समूह क्रिया (गणित)#इस क्रिया की कक्षाएँ और स्थिरीकरण संयुग्मन वर्ग हैं, और समूह क्रिया (गणित)#कक्षाएँ और किसी दिए गए तत्व के स्थिरीकरण तत्व के [[केंद्रक]] हैं।<ref name="Grillet-2007-p56">Grillet (2007), [{{Google books|plainurl=y|id=LJtyhu8-xYwC|page=56|text=the orbits are the conjugacy classes}} p. 56]</ref>
यह एक [[समूह क्रिया (गणित)]] को परिभाषित <math>G</math> पर <math>G.</math> करता है  समूह क्रिया (गणित) इस क्रिया की कक्षाएँ और स्थिरीकरण संयुग्मन वर्ग हैं, और समूह क्रिया (गणित) कक्षाएँ और किसी दिए गए तत्व के स्थिरीकरण तत्व के [[केंद्रक]] हैं।<ref name="Grillet-2007-p56">Grillet (2007), [{{Google books|plainurl=y|id=LJtyhu8-xYwC|page=56|text=the orbits are the conjugacy classes}} p. 56]</ref>
इसी तरह, हम की एक समूह क्रिया को परिभाषित कर सकते हैं <math>G</math> के सभी उपसमूहों के [[सबसेट]] पर <math>G,</math> लेखन से
इसी प्रकार, हम एक समूह क्रिया <math>G</math> को परिभाषित कर सकते हैं <math>G,</math> के सभी उपसमूहों के [[सबसेट|उप-समुच्चय]] पर लेखन से
<math display="block">g \cdot S := gSg^{-1},</math>
<math display="block">g \cdot S := gSg^{-1},</math>
या के उपसमूहों के सेट पर <math>G.</math>
या <math>G.</math>के उपसमूहों के समुच्चय पर




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


यदि <math>G</math> एक [[परिमित समूह]] है, तो किसी भी समूह तत्व के लिए <math>a,</math> के संयुग्मी वर्ग में तत्व <math>a</math> केंद्रक के [[coset|सह-समुच्चय]] के साथ एक-से-एक पत्राचार में हैं <math>\operatorname{C}_G(a).</math> इसे किन्हीं दो तत्वों को देखकर देखा जा सकता है <math>b</math> तथा <math>c</math> एक ही सह-समुच्चय से संबंधित (और इसलिए, <math>b = cz</math> कुछ के लिए <math>z</math> केंद्रक में <math>\operatorname{C}_G(a)</math>) संयुग्मन करते समय एक ही तत्व को जन्म देते हैं <math>a</math>:
यदि <math>G</math> एक [[परिमित समूह]] है, तो किसी भी समूह तत्व <math>a,</math> के लिए <math>a</math> के संयुग्मन वर्ग के तत्व एक-से-एक संगति में  [[coset|सह-समुच्चय]] के साथ होते हैं केंद्रक  <math>\operatorname{C}_G(a).</math> यह किसी भी दो तत्वों को देखकर देखा जा सकता है I <math>b</math> तथा <math>c</math> एक ही सह-समुच्चय से संबंधित हैं (और इसलिए, <math>b = cz</math> कुछ के लिए <math>z</math> केंद्रक में <math>\operatorname{C}_G(a)</math>) <math>a</math> संयुग्मन करते समय एक ही तत्व को जन्म देते हैं
<math display="block">bab^{-1} = cza(cz)^{-1} = czaz^{-1}c^{-1} = cazz^{-1}c^{-1} = cac^{-1}.</math>
<math display="block">bab^{-1} = cza(cz)^{-1} = czaz^{-1}c^{-1} = cazz^{-1}c^{-1} = cac^{-1}.</math>
इसे ऑर्बिट-स्टेबलाइज़र प्रमेय से भी देखा जा सकता है, जब समूह को संयुग्मन के माध्यम से स्वयं पर कार्य करने पर विचार किया जाता है, ताकि कक्षाएँ संयुग्मन वर्ग हों और स्टेबलाइज़र उपसमूह केंद्रीकृत हों। बातचीत भी रखती है।
इसे कक्षा-स्टेबलाइजर प्रमेय से भी देखा जा सकता है, जब समूह को संयुग्मन के माध्यम से स्वयं पर कार्य करने पर विचार किया जाता है, जिससे कक्षाएँ संयुग्मन वर्ग हों और स्टेबलाइज़र उपसमूह केंद्रीकृत हों। बातचीत भी रखती है।


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


इसके अलावा, यदि हम एक एकल प्रतिनिधि तत्व चुनते हैं <math>x_i</math> प्रत्येक संयुग्मी वर्ग से, हम संयुग्मी वर्गों की असंगति से अनुमान लगाते हैं कि
इसके अतिरिक्त, यदि हम एक एकल प्रतिनिधि तत्व <math>x_i</math> चुनते हैं I प्रत्येक संयुग्मन वर्ग से, हम संयुग्मन वर्गों की असंगति से अनुमान लगाते हैं कि
<math display="block">|G| = \sum_i \left[ G : \operatorname{C}_G\left(x_i\right)\right],</math> कहाँ पे <math>\operatorname{C}_G\left(x_i\right)</math> तत्व का केंद्रक है <math>x_i.</math> यह देखते हुए कि केंद्र का प्रत्येक तत्व <math>\operatorname{Z}(G)</math> एक संयुग्मी वर्ग बनाता है जिसमें केवल स्वयं ही वर्ग समीकरण को जन्म देता है:<ref>Grillet (2007), [{{Google books|plainurl=y|id=LJtyhu8-xYwC|page=57|text=The Class Equation}} p. 57]</ref>
<math display="block">|G| = \sum_i \left[ G : \operatorname{C}_G\left(x_i\right)\right],</math> जहाँ  <math>\operatorname{C}_G\left(x_i\right)</math> तत्व का केंद्रक है यह देखते हुए कि केंद्र का प्रत्येक तत्व <math>\operatorname{Z}(G)</math> एक संयुग्मन वर्ग बनाता है जिसमें केवल स्वयं ही वर्ग समीकरण को जन्म देता है:<ref>Grillet (2007), [{{Google books|plainurl=y|id=LJtyhu8-xYwC|page=57|text=The Class Equation}} p. 57]</ref>
<math display="block">|G| = |\operatorname{Z}(G)| + \sum_i \left[G : \operatorname{C}_G\left(x_i\right)\right],</math>
<math display="block">|G| = |\operatorname{Z}(G)| + \sum_i \left[G : \operatorname{C}_G\left(x_i\right)\right],</math>
जहां योग केंद्र में नहीं है कि प्रत्येक conjugacy वर्ग से एक प्रतिनिधि तत्व खत्म हो गया है।
जहां योग केंद्र में नहीं है कि प्रत्येक संयुग्मन वर्ग से एक प्रतिनिधि तत्व खत्म हो गया है।


समूह क्रम के विभाजकों का ज्ञान <math>|G|</math> केंद्र या संयुग्मी वर्गों के आदेश के बारे में जानकारी प्राप्त करने के लिए अक्सर इस्तेमाल किया जा सकता है।
समूह क्रम के विभाजकों का ज्ञान <math>|G|</math> केंद्र या संयुग्मन वर्गों के क्रम के बारे में जानकारी प्राप्त करने के लिए प्रायः उपयोग किया जा सकता है।


=== उदाहरण ===
=== उदाहरण ===


परिमित पी-समूह पर विचार करें<math>p</math>-समूह <math>G</math> (अर्थात् आदेश वाला समूह <math>p^n,</math> कहाँ पे <math>p</math> एक [[अभाज्य संख्या]] है और <math>n > 0</math>). हम यह साबित करने जा रहे हैं {{em|every finite <math>p</math>-group has a non-[[Trivial (mathematics)|trivial]] center}}.
एक परिमित <math>p</math>-समूह <math>G</math> पर विचार करें (अर्थात् क्रम वाला समूह <math>p^n,</math> जहाँ पर  <math>p</math> एक [[अभाज्य संख्या]] है और <math>n > 0</math>). हम यह सिद्ध करने जा रहे हैं {{em|प्रत्येक परिमित <गणित>p</गणित>-समूह में एक गैर-[[तुच्छ (गणित)|तुच्छ]] केंद्र होता है}}.


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




== उपसमूहों और सामान्य उपसमूहों की संयुग्मन ==<!-- This section is linked from [[Symmetry group]] -->
== उपसमूहों और सामान्य उपसमूहों की संयुग्मन ==<!-- This section is linked from [[Symmetry group]] -->
अधिक सामान्यतः, कोई उपसमुच्चय दिया गया है <math>S \subseteq G</math> (<math>S</math> जरूरी नहीं कि एक उपसमूह), एक सबसेट परिभाषित करें <math>T \subseteq G</math> से संयुग्मित होना <math>S</math> अगर कुछ मौजूद है <math>g \in G</math> ऐसा है कि <math>T = gSg^{-1}.</math> होने देना <math>\operatorname{Cl}(S)</math> सभी उपसमुच्चयों का समुच्चय हो <math>T \subseteq G</math> ऐसा है कि <math>T</math> से संयुग्मित है <math>S.</math>
अधिक सामान्यतः, कोई उपसमुच्चय दिया गया है <math>S \subseteq G</math> (<math>S</math> जरूरी नहीं कि एक उपसमूह), एक उप-समुच्चय परिभाषित करें <math>T \subseteq G</math> से संयुग्मित होना <math>S</math> यदि कुछ उपस्तिथ  है <math>g \in G</math> ऐसा है कि <math>T = gSg^{-1}.</math> होने देना <math>\operatorname{Cl}(S)</math> सभी उपसमुच्चयों का समुच्चय हो <math>T \subseteq G</math> ऐसा है कि <math>T</math> से संयुग्मित है <math>S.</math> एक बार-बार उपयोग किया जाने वाला प्रमेय वह है, जिसे कोई उपसमुच्चय दिया गया हो <math>S \subseteq G,</math> का उप-समुच्चय <math>\operatorname{N}(S)</math> (सामान्यकारक <math>S</math>) में <math>G</math> के क्रम के बराबर है <math>\operatorname{Cl}(S)</math>:
एक बार-बार उपयोग किया जाने वाला प्रमेय वह है, जिसे कोई उपसमुच्चय दिया गया हो <math>S \subseteq G,</math> का कोसेट <math>\operatorname{N}(S)</math> (सामान्यकारक <math>S</math>) में <math>G</math> के क्रम के बराबर है <math>\operatorname{Cl}(S)</math>:
<math display="block">|\operatorname{Cl}(S)| = [G : N(S)].</math>
<math display="block">|\operatorname{Cl}(S)| = [G : N(S)].</math>
यह इस प्रकार है, अगर <math>g, h \in G,</math> फिर <math>gSg^{-1} = hSh^{-1}</math> अगर और केवल अगर <math>g^{-1}h \in \operatorname{N}(S),</math> दूसरे शब्दों में, अगर और केवल अगर <math>g \text{ and } h</math> के एक ही कोसेट में हैं <math>\operatorname{N}(S).</math>
यह इस प्रकार है, यदि <math>g, h \in G,</math> फिर <math>gSg^{-1} = hSh^{-1}</math> अगर <math>g^{-1}h \in \operatorname{N}(S),</math> दूसरे शब्दों में, और केवल <math>g \text{ and } h</math> के एक ही सह-समुच्चय में हैं <math>\operatorname{N}(S).</math>का उपयोग करके <math>S = \{ a \},</math> यह सूत्र संयुग्मन वर्ग में तत्वों की संख्या के लिए पहले दिए गए सूत्र का सामान्यीकरण करता है।
का उपयोग करके <math>S = \{ a \},</math> यह सूत्र संयुग्मी वर्ग में तत्वों की संख्या के लिए पहले दिए गए सूत्र का सामान्यीकरण करता है।


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


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


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


== परिमित समूह == में संयुग्मन वर्ग और अलघुकरणीय निरूपण
परिमित समूह में संयुग्मन वर्ग और अलघुकरणीय निरूपण


किसी भी परिमित समूह में, जटिल संख्याओं पर अलग-अलग (गैर-आइसोमॉर्फिक) अलघुकरणीय अभ्यावेदन की संख्या वास्तव में संयुग्मन वर्गों की संख्या है।
किसी भी परिमित समूह में, जटिल संख्याओं पर भिन्न-भिन्न(गैर-आइसोमॉर्फिक) अलघुकरणीय अभ्यावेदन की संख्या वास्तव में संयुग्मन वर्गों की संख्या है।


== यह भी देखें ==
== यह भी देखें ==
* {{annotated link|सामयिक संयुग्मन
* सामयिक संयुग्मन
}}
* एफसी-समूह
* {{annotated link|एफसी-समूह
* संयुग्मन-बंद उपसमूह
}}
* {{annotated link|संयुग्मन-बंद उपसमूह
}}




Line 119: Line 110:
==बाहरी संबंध==
==बाहरी संबंध==
* {{springer|title=Conjugate elements|id=p/c025010}}
* {{springer|title=Conjugate elements|id=p/c025010}}
[[Category: समूह सिद्धांत]]


 
[[Category:Articles with short description]]
[[Category: Machine Translated Page]]
[[Category:Created On 29/11/2022]]
[[Category:Created On 29/11/2022]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:समूह सिद्धांत]]

Latest revision as of 12:53, 27 October 2023

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

गणित में, विशेष रूप से समूह सिद्धांत में, समूह के दो तत्व तथा संयुग्मित होते हैं यदि समूह में कोई तत्व ऐसा है कि यह एक तुल्यता संबंध है जिसके तुल्यता वर्ग संयुग्मन वर्ग कहलाते हैं। दूसरे शब्दों में, समूह में सभी तत्वों के लिए के अंतर्गत प्रत्येक संयुग्मन वर्ग बंद है।।

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

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

परिभाषा

मान लीजिए कि एक समूह है। दो तत्व संयुग्मित हैं यदि कोई तत्व सम्मलित ऐसा है कि जिस स्थिति में को संयुग्म कहा जाता है और को एक संयुग्मी कहा जाता है I उल्टा मैट्रिक्स के सामान्य रैखिक समूह की स्थिति में संयुग्मन संबंध को मैट्रिक्स समानता कहा जाता है

यह आसानी से दिखाया जा सकता है कि संयुग्मन एक तुल्यता संबंध है और इसलिए तुल्यता वर्गों में विभाजन करता है। (इसका अर्थ है कि समूह का प्रत्येक तत्व ठीक एक संयुग्मन वर्ग से संबंधित है, और वर्ग तथा बराबर हैं और केवल तथा संयुग्मन हैं, अन्यथा भिन्न हो जाते है I तुल्यता वर्ग जिसमें तत्व सम्मलित है,

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

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

उदाहरण

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

  1. कोई परिवर्तन नहीं होता है . एकल सदस्य का क्रम 1 है।
  2. दो स्थानान्तरण करना 3 सदस्यों के पास क्रम 2 है।
  3. तीनों का एक चक्रीय क्रमपरिवर्तन . 2 सदस्यों दोनों के पास क्रम 3 है।

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

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

  1. कोई परिवर्तन नहीं होता है। चक्र प्रकार = [14]। क्रम = 1. सदस्य = {(1, 2, 3, 4)}। इस संयुग्मन वर्ग वाली एकल पंक्ति को आसन्न तालिका में काले घेरे की एक पंक्ति के रूप में दिखाया गया है।
  2. अंतर्विनिमय दो (अन्य दो अपरिवर्तित रहते हैं)। चक्र प्रकार = [1221] क्रम = 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. तीन का एक चक्रीय क्रमचय (अन्य एक अपरिवर्तित रहता है)। चक्र प्रकार = [1131] क्रम = 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. चारों का एक चक्रीय क्रमपरिवर्तन। चक्र प्रकार = [41] क्रम = 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. दो की आदान-प्रदान, और अन्य दो की भी। चक्र प्रकार = [22] । क्रम = 2. सदस्य = {(2, 1, 4, 3), (4, 3, 2, 1), (3, 4, 1, 2)})। इस संयुग्मन वर्ग वाली 3 पंक्तियों को आसन्न तालिका में बोल्ड अक्षरों प्रविष्टियों के साथ दिखाया गया है।

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

गुण

  • पहचान तत्व हमेशा अपनी कक्षा में एकमात्र तत्व होता है, अर्थात
  • यदि तब एबेलियन समूह है सभी के लिए , अर्थात। सभी के लिए (और इसका विलोम भी सत्य है: यदि सभी संयुग्मन वर्ग एकल हैं तो एबेलियन है)।
  • यदि दो तत्व एक ही संयुग्मन वर्ग से संबंधित हैं (अर्थात, यदि वे संयुग्मन हैं), तो उनके पास एक ही क्रम (समूह सिद्धांत) है। अधिक सामान्यतः, प्रत्येक कथन के बारे में के बारे में एक निर्देश में अनुवाद किया जा सकता है क्योंकि चित्र एक समूह समाकृतिकता है I का एक ऑटोमोर्फिज्म है जिसे एक आंतरिक ऑटोमोर्फिज्म कहा जाता है। उदाहरण के लिए अगली संपत्ति देखें।
  • यदि तथा संयुग्मन हैं, तो उनकी शक्तियां भी तथा हैं (प्रमाण :- अगर फिर ) इस प्रकार ले रहा है शक्तियाँ संयुग्मन वर्गों पर एक चित्र देती हैं, और कोई इस पर विचार कर सकता है कि कौन से संयुग्मन वर्ग इसकी प्राथमिकता में हैं। उदाहरण के लिए, सममित समूह में, प्रकार (3)(2) (एक 3-चक्र और 2-चक्र) के तत्व का वर्ग प्रकार (3) का एक तत्व है, इसलिए पावर-अप वर्गों में से एक (3) वर्ग है (3) (2) (जहाँ का एक शक्ति-अप वर्ग है ).
  • एक तत्व एक समूह के केंद्र में स्थित का है अगर इसके संयुग्मन वर्ग में केवल एक तत्व है, स्वयं। अधिक सामान्यतः, यदि केंद्रक को दर्शाता है तातपर्य , उपसमूह जिसमें सभी तत्व सम्मलित हैं जैसे कि फिर एक उपसमूह का सूचकांक हैI के संयुग्मन वर्ग में तत्वों की संख्या के बराबर है (कक्षा स्थिरीकरण प्रमेय द्वारा)।
  • लें और के चक्र प्रकार में चक्रों की लंबाई के रूप में दिखाई देने वाले भिन्न पूर्णांक हों (1-चक्र सहित)। होने देना I लंबाई के चक्रों की संख्या हो में प्रत्येक के लिए (जिससे). फिर के संयुग्मों की संख्या है:[1]


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

किन्हीं दो तत्वों के लिए होने देना

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


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

यदि एक परिमित समूह है, तो किसी भी समूह तत्व के लिए के संयुग्मन वर्ग के तत्व एक-से-एक संगति में सह-समुच्चय के साथ होते हैं केंद्रक यह किसी भी दो तत्वों को देखकर देखा जा सकता है I तथा एक ही सह-समुच्चय से संबंधित हैं (और इसलिए, कुछ के लिए केंद्रक में ) संयुग्मन करते समय एक ही तत्व को जन्म देते हैं

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

इस प्रकार संयुग्मन वर्ग में तत्वों की संख्या एक उपसमूह का सूचकांक है केंद्रक का में ; इसलिए प्रत्येक संयुग्मन वर्ग का आकार समूह के क्रम को विभाजित करता है।

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

जहाँ तत्व का केंद्रक है यह देखते हुए कि केंद्र का प्रत्येक तत्व एक संयुग्मन वर्ग बनाता है जिसमें केवल स्वयं ही वर्ग समीकरण को जन्म देता है:[4]
जहां योग केंद्र में नहीं है कि प्रत्येक संयुग्मन वर्ग से एक प्रतिनिधि तत्व खत्म हो गया है।

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

उदाहरण

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

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


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

अधिक सामान्यतः, कोई उपसमुच्चय दिया गया है ( जरूरी नहीं कि एक उपसमूह), एक उप-समुच्चय परिभाषित करें से संयुग्मित होना यदि कुछ उपस्तिथ है ऐसा है कि होने देना सभी उपसमुच्चयों का समुच्चय हो ऐसा है कि से संयुग्मित है एक बार-बार उपयोग किया जाने वाला प्रमेय वह है, जिसे कोई उपसमुच्चय दिया गया हो का उप-समुच्चय (सामान्यकारक ) में के क्रम के बराबर है :

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

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

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

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

परिमित समूह में संयुग्मन वर्ग और अलघुकरणीय निरूपण

किसी भी परिमित समूह में, जटिल संख्याओं पर भिन्न-भिन्न(गैर-आइसोमॉर्फिक) अलघुकरणीय अभ्यावेदन की संख्या वास्तव में संयुग्मन वर्गों की संख्या है।

यह भी देखें

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


टिप्पणियाँ

  1. 1.0 1.1 Dummit, David S.; Foote, Richard M. (2004). सार बीजगणित (3rd ed.). John Wiley & Sons. ISBN 0-471-43334-9.
  2. Lang, Serge (2002). बीजगणित. Graduate Texts in Mathematics. Springer. ISBN 0-387-95385-X.
  3. Grillet (2007), p. 56
  4. Grillet (2007), p. 57


संदर्भ

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


बाहरी संबंध