क्रमपरिवर्तन समूह: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|Group whose operation is composition of permutations}} {{Group theory sidebar}} गणित में, एक क्रमचय समूह एक ...")
 
No edit summary
Line 2: Line 2:
{{Group theory sidebar}}
{{Group theory sidebar}}


गणित में, एक क्रमचय समूह एक [[समूह (गणित)]] ''G'' होता है जिसके तत्व किसी दिए गए [[सेट (गणित)]] ''M'' के क्रमचय होते हैं और जिसका [[समूह संचालन]] ''G'' में क्रमचय का संयोजन होता है (जो सेट 'M'' से खुद के लिए विशेषण कार्यों के रूप में सोचा जाता है)। एक सेट ''M'' के ''सभी'' क्रम[[परिवर्तन]] का समूह ''M'' का [[सममित समूह]] है, जिसे अक्सर Sym(''M'') के रूप में लिखा जाता है।<ref>The notations '''S'''<sub>''M''</sub> and '''S'''<sup>''M''</sup> are also used.</ref> शब्द क्रमचय समूह इस प्रकार सममित समूह का एक [[उपसमूह]] है। अगर {{nowrap|1=''M'' = {1, 2, ..., ''n''<nowiki>}</nowiki> }} तो Sym(M) को आमतौर पर S से दर्शाया जाता है<sub>''n''</sub>, और n अक्षरों पर सममित समूह कहा जा सकता है।
गणित में, एक क्रमचय समूह एक [[समूह (गणित)]] ''G'' होता है जिसके तत्व किसी दिए गए [[सेट (गणित)|समुच्चय (गणित)]] ''M'' के क्रमचय होते हैं और जिसका [[समूह संचालन]] ''G'' में क्रमचय का संयोजन होता है (जो समुच्चय 'M'' से स्वयं के लिए विशेषण कार्यों के रूप में सोचा जाता है)। एक समुच्चय ''M'' के ''सभी'' क्रम[[परिवर्तन]] का समूह ''M'' का [[सममित समूह]] है, जिसे प्रायः Sym(''M'') के रूप में लिखा जाता है।<ref>The notations '''S'''<sub>''M''</sub> and '''S'''<sup>''M''</sup> are also used.</ref> शब्द क्रमचय समूह इस प्रकार सममित समूह का एक [[उपसमूह]] है। यदि{{nowrap|1=''M'' = {1, 2, ..., ''n''<nowiki>}</nowiki> }} तो Sym(M) को सामान्यतः S से दर्शाया जाता है<sub>''n''</sub>, और n अक्षरों पर सममित समूह कहा जा सकता है।


केली के प्रमेय के अनुसार, प्रत्येक समूह कुछ क्रमचय समूह के लिए तुल्याकारी है।
केली के प्रमेय के अनुसार, प्रत्येक समूह कुछ क्रमचय समूह के लिए तुल्याकारी है।


जिस तरह से एक क्रमचय समूह के तत्व सेट के तत्वों को क्रमबद्ध करते हैं, उसे [[समूह क्रिया (गणित)]] कहा जाता है। समूह क्रियाओं का अनुप्रयोग सममिति, संयोजक और गणित, भौतिकी और रसायन विज्ञान की कई अन्य शाखाओं के अध्ययन में होता है।
जिस प्रकार से एक क्रमचय समूह के तत्व समुच्चय के तत्वों को क्रमबद्ध करते हैं, उसे [[समूह क्रिया (गणित)]] कहा जाता है। समूह क्रियाओं का अनुप्रयोग सममिति, संयोजक और गणित, भौतिकी और रसायन विज्ञान की कई अन्य शाखाओं के अध्ययन में होता है।


[[Image:Rubik's cube.svg|thumb|1974 में अर्नो रूबिक द्वारा आविष्कार की गई लोकप्रिय पहेली रूबिक क्यूब का उपयोग क्रमचय समूहों के चित्रण के रूप में किया गया है। घन की एक परत के प्रत्येक घुमाव के परिणामस्वरूप सतह के रंगों का क्रमपरिवर्तन होता है और यह समूह का सदस्य होता है। घन के क्रमपरिवर्तन समूह को रुबिक का घन समूह कहा जाता है।]]
[[Image:Rubik's cube.svg|thumb|1974 में अर्नो रूबिक द्वारा आविष्कार की गई लोकप्रिय पहेली रूबिक क्यूब का उपयोग क्रमचय समूहों के चित्रण के रूप में किया गया है। घन की एक परत के प्रत्येक घुमाव के परिणामस्वरूप सतह के रंगों का क्रमपरिवर्तन होता है और यह समूह का सदस्य होता है। घन के क्रमपरिवर्तन समूह को रुबिक का घन समूह कहा जाता है।]]
Line 12: Line 12:
== बुनियादी गुण और शब्दावली ==
== बुनियादी गुण और शब्दावली ==


एक सममित समूह का एक उपसमूह होने के नाते, समूह (गणित) सिद्धांतों को संतुष्ट करने के लिए क्रमपरिवर्तन के एक सेट के लिए आवश्यक है और क्रमपरिवर्तन समूह यह है कि इसमें पहचान क्रमचय शामिल है, इसमें शामिल प्रत्येक क्रमचय का व्युत्क्रम तत्व, और बंद होना इसके क्रमपरिवर्तन की कार्य संरचना के तहत।<ref>{{harvnb|Rotman|2006|loc=p. 148, Definition of subgroup}}</ref> परिमित समूहों की एक सामान्य संपत्ति का अर्थ है कि सममित समूह का एक परिमित गैर-रिक्त उपसमुच्चय फिर से एक समूह है यदि और केवल अगर यह समूह संचालन के तहत बंद है।<ref>{{harvnb|Rotman|2006|loc=p. 149, Proposition 2.69}}</ref>
एक सममित समूह का एक उपसमूह होने के नाते, समूह (गणित) सिद्धांतों को संतुष्ट करने के लिए क्रमपरिवर्तन के एक समुच्चय के लिए आवश्यक है और क्रमपरिवर्तन समूह यह है कि इसमें पहचान क्रमचय सम्मिलित है, इसमें सम्मिलित प्रत्येक क्रमचय का व्युत्क्रम तत्व, और बंद होना इसके क्रमपरिवर्तन की कार्य संरचना के अंतर्गत।<ref>{{harvnb|Rotman|2006|loc=p. 148, Definition of subgroup}}</ref> परिमित समूहों की एक सामान्य संपत्ति का अर्थ है कि सममित समूह का एक परिमित गैर-रिक्त उपसमुच्चय फिर से एक समूह है यदि और केवल यदि यह समूह संचालन के अंतर्गत बंद है।<ref>{{harvnb|Rotman|2006|loc=p. 149, Proposition 2.69}}</ref>
एक [[परिमित सेट]] के क्रमचय के समूह की डिग्री सेट में [[प्रमुखता]] है। समूह का क्रम (किसी भी प्रकार का) समूह में तत्वों (कार्डिनैलिटी) की संख्या है। Lagrange के प्रमेय (समूह सिद्धांत) द्वारा | Lagrange के प्रमेय, डिग्री ''n'' के किसी भी परिमित क्रमचय समूह का क्रम ''n'' को विभाजित करना चाहिए! चूँकि ''n''-[[ कारख़ाने का ]] सममित समूह ''S'' का क्रम है<sub>''n''</sub>.


== नोटेशन ==
एक [[परिमित सेट|परिमित समुच्चय]] के क्रमचय के समूह की डिग्री समुच्चय में [[प्रमुखता]] है। समूह का क्रम (किसी भी प्रकार का) समूह में तत्वों (कार्डिनैलिटी) की संख्या है। Lagrange के प्रमेय (समूह सिद्धांत) द्वारा | Lagrange के प्रमेय, डिग्री ''n'' के किसी भी परिमित क्रमचय समूह का क्रम ''n'' को विभाजित करना चाहिए! चूँकि ''n''-[[ कारख़ाने का | कारख़ाने का]] सममित समूह ''S''<sub>''n''</sub> का क्रम है
{{main|Permutation#Notations}}
 
चूँकि क्रमचय एक समुच्चय के [[द्विभाजन]] हैं, उन्हें [[ऑगस्टिन-लुई कॉची]] के दो-पंक्ति संकेतन द्वारा दर्शाया जा सकता है।<ref>{{citation|title=The Genesis of the Abstract Group Concept: A Contribution to the History of the Origin of Abstract Group Theory|first=Hans|last=Wussing|publisher=Courier Dover Publications|year=2007|isbn=9780486458687|page=94|url=https://books.google.com/books?id=Xp3JymnfAq4C&pg=PA94|quote=Cauchy used his permutation notation—in which the arrangements are written one below the other and both are enclosed in parentheses—for the first time in 1815.}}</ref> यह संकेतन पहली पंक्ति में एम के प्रत्येक तत्व को सूचीबद्ध करता है, और प्रत्येक तत्व के लिए, दूसरी पंक्ति में इसके नीचे क्रमचय के तहत इसकी छवि। अगर <math>\sigma</math> सेट का क्रमपरिवर्तन है <math>M = \{x_1,x_2,\ldots,x_n\}</math> तब,
== अंकन ==
{{main|क्रमचय#अंकन}}
 
चूँकि क्रमचय एक समुच्चय के [[द्विभाजन]] हैं, उन्हें [[ऑगस्टिन-लुई कॉची]] के दो-पंक्ति संकेतन द्वारा दर्शाया जा सकता है।<ref>{{citation|title=The Genesis of the Abstract Group Concept: A Contribution to the History of the Origin of Abstract Group Theory|first=Hans|last=Wussing|publisher=Courier Dover Publications|year=2007|isbn=9780486458687|page=94|url=https://books.google.com/books?id=Xp3JymnfAq4C&pg=PA94|quote=Cauchy used his permutation notation—in which the arrangements are written one below the other and both are enclosed in parentheses—for the first time in 1815.}}</ref> यह संकेतन प्रथम पंक्ति में एम के प्रत्येक तत्व को सूचीबद्ध करता है, और प्रत्येक तत्व के लिए, दूसरी पंक्ति में इसके नीचे क्रमचय के अंतर्गत इसकी छवि। यदि <math>\sigma</math> समुच्चय का क्रमपरिवर्तन है <math>M = \{x_1,x_2,\ldots,x_n\}</math> तब,
: <math> \sigma = \begin{pmatrix}
: <math> \sigma = \begin{pmatrix}
x_1 & x_2 & x_3 & \cdots & x_n \\
x_1 & x_2 & x_3 & \cdots & x_n \\
Line 25: Line 27:
1 & 2 & 3 & 4 & 5 \\
1 & 2 & 3 & 4 & 5 \\
2 & 5 & 4 & 3 & 1\end{pmatrix};</math>
2 & 5 & 4 & 3 & 1\end{pmatrix};</math>
इसका अर्थ है कि σ σ(1) = 2, σ(2) = 5, σ(3) = 4, σ(4) = 3, और σ(5) = 1 को संतुष्ट करता है। पहली पंक्ति में विशेष क्रम, इसलिए उसी क्रमचय को इस रूप में भी लिखा जा सकता है
इसका अर्थ है कि σ σ(1) = 2, σ(2) = 5, σ(3) = 4, σ(4) = 3, और σ(5) = 1 को संतुष्ट करता है। प्रथम पंक्ति में विशेष क्रम, इसलिए उसी क्रमचय को इस रूप में भी लिखा जा सकता है
: <math>\sigma=\begin{pmatrix}
: <math>\sigma=\begin{pmatrix}
3 & 2 & 5 & 1 & 4 \\
3 & 2 & 5 & 1 & 4 \\
4 & 5 & 1 & 2 & 3\end{pmatrix}.</math>
4 & 5 & 1 & 2 & 3\end{pmatrix}.</math>
क्रमपरिवर्तन भी अक्सर चक्र संकेतन (चक्रीय रूप) में लिखे जाते हैं<ref>especially when the algebraic properties of the permutation are of interest.</ref> इसलिए कि सेट M = {1, 2, 3, 4} दिया गया है, g(1) = 2, g(2) = 4, g(4) = 1 और g(3) = 3 के साथ M का क्रमपरिवर्तन g (1, 2, 4) (3), या अधिक सामान्यतः, (1, 2, 4) के रूप में लिखा जाएगा क्योंकि 3 अपरिवर्तित छोड़ दिया गया है; यदि वस्तुओं को एकल अक्षरों या अंकों से दर्शाया जाता है, तो अल्पविराम और रिक्त स्थान को भी हटाया जा सकता है, और हमारे पास (124) जैसा एक अंकन है। ऊपर 2-पंक्ति संकेतन में लिखे गए क्रमचय को चक्र संकेतन के रूप में लिखा जाएगा <math> \sigma = (125)(34).</math>
क्रमपरिवर्तन भी प्रायः चक्र संकेतन (चक्रीय रूप) में लिखे जाते हैं<ref>especially when the algebraic properties of the permutation are of interest.</ref> इसलिए कि समुच्चय M = {1, 2, 3, 4} दिया गया है, g(1) = 2, g(2) = 4, g(4) = 1 और g(3) = 3 के साथ M का क्रमपरिवर्तन g (1, 2, 4) (3), या अधिक सामान्यतः, (1, 2, 4) के रूप में लिखा जाएगा क्योंकि 3 अपरिवर्तित छोड़ दिया गया है; यदि वस्तुओं को एकल अक्षरों या अंकों से दर्शाया जाता है, तो अल्पविराम और रिक्त स्थान को भी हटाया जा सकता है, और हमारे पास (124) जैसा एक अंकन है। ऊपर 2-पंक्ति संकेतन में लिखे गए क्रमचय को चक्र संकेतन के रूप में लिखा जाएगा <math> \sigma = (125)(34).</math>




==क्रमपरिवर्तनों का संघटन-समूह उत्पाद==
==क्रमपरिवर्तनों का संघटन-समूह उत्पाद==
दो क्रमपरिवर्तन के उत्पाद को उनके कार्य संरचना के रूप में कार्यों के रूप में परिभाषित किया गया है, इसलिए <math>\sigma \cdot \pi</math> वह फ़ंक्शन है जो सेट के किसी तत्व x को मैप करता है <math>\sigma (\pi (x))</math>. ध्यान दें कि जिस तरह से फ़ंक्शन रचना लिखी जाती है, उसके कारण सबसे सही क्रमपरिवर्तन पहले तर्क पर लागू होता है।<ref>
दो क्रमपरिवर्तन के उत्पाद को उनके कार्य संरचना के रूप में कार्यों के रूप में परिभाषित किया गया है, इसलिए <math>\sigma \cdot \pi</math> वह फलनहै जो समुच्चय के किसी तत्व x को प्रतिचित्र करता है <math>\sigma (\pi (x))</math>. ध्यान दें कि जिस प्रकार से फलनरचना लिखी जाती है, उसके कारण सबसे सही क्रमपरिवर्तन पहले तर्क पर अनुप्रयुक्त  होता है।<ref>
{{cite book | last1=Biggs | first1=Norman L. | last2=White | first2=A. T.
{{cite book | last1=Biggs | first1=Norman L. | last2=White | first2=A. T.
|year=1979
|year=1979
Line 40: Line 42:
|isbn=0-521-22287-7
|isbn=0-521-22287-7
}}
}}
</ref><ref>{{harvnb|Rotman|2006|loc=p. 107}} &ndash; note especially the footnote on this page.</ref> कुछ लेखक सबसे बाएँ कारक को पहले अभिनय करना पसंद करते हैं, लेकिन इसके लिए क्रमपरिवर्तन को उनके तर्क के दाईं ओर लिखा जाना चाहिए, अक्सर एक [[ ऊपर की ओर लिखा हुआ ]] के रूप में, इसलिए क्रमचय <math>\sigma</math> तत्व पर कार्य करता है <math>x</math> छवि में परिणाम <math>x ^{\sigma}</math>. इस सम्मेलन के साथ, उत्पाद द्वारा दिया जाता है <math>x ^{\sigma \cdot \pi} = (x ^{\sigma})^{\pi}</math>.<ref>
</ref><ref>{{harvnb|Rotman|2006|loc=p. 107}} &ndash; note especially the footnote on this page.</ref> कुछ लेखक सबसे बाएँ कारक को पहले अभिनय करना पसंद करते हैं, लेकिन इसके लिए क्रमपरिवर्तन को उनके तर्क के दाईं ओर लिखा जाना चाहिए, प्रायः एक [[ ऊपर की ओर लिखा हुआ ]] के रूप में, इसलिए क्रमचय <math>\sigma</math> तत्व पर कार्य करता है <math>x</math> छवि में परिणाम <math>x ^{\sigma}</math>. इस सम्मेलन के साथ, उत्पाद द्वारा दिया जाता है <math>x ^{\sigma \cdot \pi} = (x ^{\sigma})^{\pi}</math>.<ref>
{{harvnb|Dixon|Mortimer|1996|loc=p. 3}} &ndash; see the comment following Example 1.2.2</ref>
{{harvnb|Dixon|Mortimer|1996|loc=p. 3}} &ndash; see the comment following Example 1.2.2</ref>
<ref>
<ref>
Line 60: Line 62:
  |doi=10.1016/0196-6774(86)90038-6
  |doi=10.1016/0196-6774(86)90038-6
}}
}}
</ref> हालांकि, यह क्रमपरिवर्तन को गुणा करने के लिए एक अलग नियम देता है। क्रमपरिवर्तन समूह साहित्य में आमतौर पर इस सम्मेलन का उपयोग किया जाता है, लेकिन यह लेख उस सम्मेलन का उपयोग करता है जहां सबसे सही क्रमपरिवर्तन पहले लागू किया जाता है।
</ref> हालांकि, यह क्रमपरिवर्तन को गुणा करने के लिए एक अलग नियम देता है। क्रमपरिवर्तन समूह साहित्य में सामान्यतः इस सम्मेलन का उपयोग किया जाता है, लेकिन यह लेख उस सम्मेलन का उपयोग करता है जहां सबसे सही क्रमपरिवर्तन पहले अनुप्रयुक्त  किया जाता है।


चूँकि दो द्विविभाजकों का संघटन सदैव एक अन्य आक्षेप देता है, दो क्रमपरिवर्तनों का गुणनफल पुनः एक क्रमचय होता है। दो-पंक्ति संकेतन में, दो क्रमचय का गुणनफल दूसरे (सबसे बाएँ) क्रमचय के स्तंभों को पुनर्व्यवस्थित करके प्राप्त किया जाता है ताकि इसकी पहली पंक्ति पहली (दाहिनी ओर) क्रमचय की दूसरी पंक्ति के समान हो। उत्पाद को तब संशोधित दूसरे क्रमपरिवर्तन की दूसरी पंक्ति पर पहली क्रमचय की पहली पंक्ति के रूप में लिखा जा सकता है। उदाहरण के लिए, दिए गए क्रमचय,
चूँकि दो द्विविभाजकों का संघटन सदैव एक अन्य आक्षेप देता है, दो क्रमपरिवर्तनों का गुणनफल पुनः एक क्रमचय होता है। दो-पंक्ति संकेतन में, दो क्रमचय का गुणनफल दूसरे (सबसे बाएँ) क्रमचय के स्तंभों को पुनर्व्यवस्थित करके प्राप्त किया जाता है ताकि इसकी प्रथम पंक्ति प्रथम (दाहिनी ओर) क्रमचय की दूसरी पंक्ति के समान हो। उत्पाद को तब संशोधित दूसरे क्रमपरिवर्तन की दूसरी पंक्ति पर प्रथम क्रमचय की प्रथम पंक्ति के रूप में लिखा जा सकता है। उदाहरण के लिए, दिए गए क्रमचय,
:<math>P = \begin{pmatrix}1 & 2 & 3 & 4 & 5 \\2 & 4 & 1 & 3 & 5 \end{pmatrix}\quad \text{  and  } \quad Q = \begin{pmatrix}1 & 2 & 3 & 4 & 5 \\ 5 & 4 & 3 & 2 & 1 \end{pmatrix},</math>
:<math>P = \begin{pmatrix}1 & 2 & 3 & 4 & 5 \\2 & 4 & 1 & 3 & 5 \end{pmatrix}\quad \text{  and  } \quad Q = \begin{pmatrix}1 & 2 & 3 & 4 & 5 \\ 5 & 4 & 3 & 2 & 1 \end{pmatrix},</math>
उत्पाद क्यूपी है:
उत्पाद क्यूपी है:
Line 68: Line 70:
क्रमपरिवर्तन की संरचना, जब वे चक्र संकेतन में लिखे जाते हैं, तो दो क्रमपरिवर्तन (बाईं ओर लिखे गए दूसरे क्रमांक के साथ) को जोड़कर प्राप्त किया जाता है और फिर वांछित होने पर एक असम्बद्ध चक्र रूप को सरल बनाया जाता है। इस प्रकार, उपरोक्त उत्पाद द्वारा दिया जाएगा:
क्रमपरिवर्तन की संरचना, जब वे चक्र संकेतन में लिखे जाते हैं, तो दो क्रमपरिवर्तन (बाईं ओर लिखे गए दूसरे क्रमांक के साथ) को जोड़कर प्राप्त किया जाता है और फिर वांछित होने पर एक असम्बद्ध चक्र रूप को सरल बनाया जाता है। इस प्रकार, उपरोक्त उत्पाद द्वारा दिया जाएगा:
:<math>Q \cdot P = (1 5)(2 4) \cdot (1 2 4 3) = (1 4 3 5).</math>
:<math>Q \cdot P = (1 5)(2 4) \cdot (1 2 4 3) = (1 4 3 5).</math>
चूँकि फ़ंक्शन संरचना साहचर्य है, इसलिए क्रमपरिवर्तन पर उत्पाद संचालन है: <math>(\sigma \cdot \pi) \cdot \rho = \sigma \cdot(\pi \cdot \rho)</math>. इसलिए, दो या दो से अधिक क्रमचयों के गुणनफल आमतौर पर व्यक्त समूहन में कोष्ठक जोड़े बिना लिखे जाते हैं; वे आम तौर पर गुणा को इंगित करने के लिए एक बिंदु या अन्य चिह्न के बिना लिखे जाते हैं (पिछले उदाहरण के बिंदुओं को जोर देने के लिए जोड़ा गया था, इसलिए इसे केवल इस रूप में लिखा जाएगा <math>\sigma \pi \rho</math>).
चूँकि फलन संरचना साहचर्य है, इसलिए क्रमपरिवर्तन पर उत्पाद संचालन है: <math>(\sigma \cdot \pi) \cdot \rho = \sigma \cdot(\pi \cdot \rho)</math>. इसलिए, दो या दो से अधिक क्रमचयों के गुणनफल सामान्यतः व्यक्त समूहन में कोष्ठक जोड़े बिना लिखे जाते हैं; वे सामान्यतः गुणा को इंगित करने के लिए एक बिंदु या अन्य चिह्न के बिना लिखे जाते हैं (पिछले उदाहरण के बिंदुओं को जोर देने के लिए जोड़ा गया था, इसलिए इसे केवल इस रूप में लिखा जाएगा <math>\sigma \pi \rho</math>).


== तटस्थ तत्व और व्युत्क्रम ==
== तटस्थ तत्व और व्युत्क्रम ==


पहचान क्रमचय, जो सेट के हर तत्व को अपने आप में मैप करता है, इस उत्पाद के लिए तटस्थ तत्व है। दो-पंक्ति संकेतन में, पहचान है
पहचान क्रमचय, जो समुच्चय के प्रत्येक तत्व को अपने आप में प्रतिचित्र करता है, इस उत्पाद के लिए तटस्थ तत्व है। दो-पंक्ति संकेतन में, पहचान है
:<math>\begin{pmatrix}1 & 2 & 3 & \cdots & n \\ 1 & 2 & 3 & \cdots & n\end{pmatrix}.</math>
:<math>\begin{pmatrix}1 & 2 & 3 & \cdots & n \\ 1 & 2 & 3 & \cdots & n\end{pmatrix}.</math>
चक्र संकेतन में, ई = (1)(2)(3)...(n) जिसे परिपाटी द्वारा भी केवल (1) या यहां तक ​​कि () द्वारा निरूपित किया जाता है।<ref>{{harvnb|Rotman|2006|loc=p. 108}}</ref>
चक्र संकेतन में, ई = (1)(2)(3)...(n) जिसे परिपाटी द्वारा भी केवल (1) या यहां तक ​​कि () द्वारा निरूपित किया जाता है।<ref>{{harvnb|Rotman|2006|loc=p. 108}}</ref>
चूँकि [[आक्षेप]]ों का व्युत्क्रम फलन होता है, इसलिए क्रमपरिवर्तन और व्युत्क्रम σ होता है<sup>σ का −1</sup> फिर से एक क्रमचय है। स्पष्ट रूप से, जब भी σ(x)=y किसी के पास भी σ होता है<sup>−1</sup>(y)=x. दो-पंक्ति संकेतन में व्युत्क्रम दो पंक्तियों को आपस में बदलकर प्राप्त किया जा सकता है (और स्तंभों को क्रमबद्ध करना यदि कोई चाहता है कि पहली पंक्ति किसी दिए गए क्रम में हो)। उदाहरण के लिए
चूँकि [[आक्षेप]]ों का व्युत्क्रम फलन होता है, इसलिए क्रमपरिवर्तन और व्युत्क्रम σ होता है<sup>σ का −1</sup> फिर से एक क्रमचय है। स्पष्ट रूप से, जब भी σ(x)=y किसी के पास भी σ होता है<sup>−1</sup>(y)=x. दो-पंक्ति संकेतन में व्युत्क्रम दो पंक्तियों को आपस में परिवर्तन प्राप्त किया जा सकता है (और स्तंभों को क्रमबद्ध करना यदि कोई चाहता है कि प्रथम पंक्ति किसी दिए गए क्रम में हो)। उदाहरण के लिए
:<math>\begin{pmatrix}1 & 2 & 3 & 4 & 5 \\ 2 & 5 & 4 & 3 & 1\end{pmatrix}^{-1}
:<math>\begin{pmatrix}1 & 2 & 3 & 4 & 5 \\ 2 & 5 & 4 & 3 & 1\end{pmatrix}^{-1}
       =\begin{pmatrix}2 & 5 & 4 & 3 & 1\\ 1 & 2 & 3 & 4 & 5 \end{pmatrix}
       =\begin{pmatrix}2 & 5 & 4 & 3 & 1\\ 1 & 2 & 3 & 4 & 5 \end{pmatrix}
Line 81: Line 83:
एक चक्र का व्युत्क्रम प्राप्त करने के लिए, हम इसके तत्वों के क्रम को उलट देते हैं। इस प्रकार,
एक चक्र का व्युत्क्रम प्राप्त करने के लिए, हम इसके तत्वों के क्रम को उलट देते हैं। इस प्रकार,
:<math> (1 2 5)^{-1} = (5 2 1) = (152).</math>
:<math> (1 2 5)^{-1} = (5 2 1) = (152).</math>
चक्रों के गुणनफल का व्युत्क्रम प्राप्त करने के लिए, हम पहले चक्रों के क्रम को उल्टा करते हैं, और फिर हम प्रत्येक का व्युत्क्रम ऊपर की तरह लेते हैं। इस प्रकार,
चक्रों के गुणनफल का व्युत्क्रम प्राप्त करने के लिए, हम पहले चक्रों के क्रम को उल्टा करते हैं, और फिर हम प्रत्येक का व्युत्क्रम ऊपर की प्रकार लेते हैं। इस प्रकार,
:<math> [(1 2 5)(3 4)]^{-1} = (34)^{-1}(125)^{-1} = (43)(521) = (34)(152).</math>
:<math> [(1 2 5)(3 4)]^{-1} = (34)^{-1}(125)^{-1} = (43)(521) = (34)(152).</math>
एक साहचर्य उत्पाद, एक पहचान तत्व, और इसके सभी तत्वों के व्युत्क्रम होने से, M के सभी क्रमपरिवर्तनों का एक समूह (गणित), Sym(M) में सेट हो जाता है; एक क्रमपरिवर्तन समूह।
एक साहचर्य उत्पाद, एक पहचान तत्व, और इसके सभी तत्वों के व्युत्क्रम होने से, M के सभी क्रमपरिवर्तनों का एक समूह (गणित), Sym(M) में समुच्चय हो जाता है; एक क्रमपरिवर्तन समूह।


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


निम्नलिखित सेट जी पर विचार करें<sub>1</sub> समुच्चय M = {1, 2, 3, 4} के क्रमचयों की संख्या:
निम्नलिखित समुच्चय जी पर विचार करें<sub>1</sub> समुच्चय M = {1, 2, 3, 4} के क्रमचयों की संख्या:


* = (1)(2)(3)(4) = (1)
* ''e'' = (1)(2)(3)(4) = (1)
** यह पहचान है, तुच्छ क्रमचय जो प्रत्येक तत्व को ठीक करता है।
** यह पहचान है, तुच्छ क्रमचय जो प्रत्येक तत्व को ठीक करता है।
* = (1 2)(3)(4) = (1 2)
* ''a'' = (1 2)(3)(4) = (1 2)
**यह क्रमचय 1 और 2 को आपस में बदल देता है, और 3 और 4 को ठीक कर देता है।
**यह क्रमचय 1 और 2 को आपस में बदल देता है, और 3 और 4 को ठीक कर देता है।
* बी = (1)(2)(3 4) = (3 4)
* ''b'' = (1)(2)(3 4) = (3 4)
** पिछले वाले की तरह, लेकिन 3 और 4 का आदान-प्रदान करना, और दूसरों को ठीक करना।
** पिछले वाले की प्रकार, लेकिन 3 और 4 का आदान-प्रदान करना, और दूसरों को ठीक करना।
* अब = (1 2) (3 4)
* ''ab'' = (1 2) (3 4)
** यह क्रमचय, जो पिछले दो का संयोजन है, एक साथ 1 का 2 से, और 3 का 4 से आदान-प्रदान करता है।
** यह क्रमचय, जो पिछले दो का संयोजन है, एक साथ 1 का 2 से, और 3 का 4 से आदान-प्रदान करता है।


जी<sub>1</sub> एक समूह बनाता है, क्योंकि = बीबी = , बीए = एबी, और अबाब = ई। यह क्रमचय समूह, एक अमूर्त समूह के रूप में, क्लेन समूह V है<sub>4</sub>.
''G''<sub>1</sub>एक समूह बनाता है, क्योंकि ''aa'' = ''bb'' = ''e'', ''ba'' = ''ab'', and ''abab'' = ''e''। यह क्रमचय समूह, एक अमूर्त समूह के रूप में, क्लेन समूह V<sub>4</sub> है


एक अन्य उदाहरण के रूप में समूहों के उदाहरणों पर विचार करें # एक वर्ग का समरूपता समूह: आदेश 8 का [[डायहेड्रल समूह]]। वर्ग के शीर्षों को 1, 2, 3 और 4 लेबल करें (शीर्ष बाएं कोने में 1 से शुरू होने वाले वर्ग के चारों ओर वामावर्त ). समरूपता को शीर्षों की छवियों द्वारा निर्धारित किया जाता है, जो क्रमपरिवर्तन द्वारा वर्णित किया जा सकता है। वर्ग के केंद्र के बारे में 90° (घड़ी की विपरीत दिशा में) घूर्णन को क्रमचय (1234) द्वारा वर्णित किया गया है। 180° और 270° घुमाव क्रमशः (13)(24) और (1432) द्वारा दिए गए हैं। केंद्र के माध्यम से क्षैतिज रेखा के बारे में प्रतिबिंब (12) (34) द्वारा दिया गया है और संबंधित लंबवत रेखा प्रतिबिंब (14) (23) है। 1,3-विकर्ण रेखा के बारे में प्रतिबिंब (24) है और 2,4-विकर्ण रेखा के बारे में प्रतिबिंब (13) है। एकमात्र शेष समरूपता पहचान (1)(2)(3)(4) है। इस क्रमचय समूह को सार समूह के रूप में जाना जाता है, क्रम 8 के डायहेड्रल समूह के रूप में।
एक अन्य उदाहरण के रूप में समूहों के उदाहरणों पर विचार करें # एक वर्ग का समरूपता समूह: आदेश 8 का [[डायहेड्रल समूह]]। वर्ग के शीर्षों को 1, 2, 3 और 4 लेबल करें (शीर्ष बाएं कोने में 1 से शुरू होने वाले वर्ग के चारों ओर वामावर्त ). समरूपता को शीर्षों की छवियों द्वारा निर्धारित किया जाता है, जो क्रमपरिवर्तन द्वारा वर्णित किया जा सकता है। वर्ग के केंद्र के विषय में 90° (घड़ी की विपरीत दिशा में) घूर्णन को क्रमचय (1234) द्वारा वर्णित किया गया है। 180° और 270° घुमाव क्रमशः (13)(24) और (1432) द्वारा दिए गए हैं। केंद्र के माध्यम से क्षैतिज रेखा के विषय में प्रतिबिंब (12) (34) द्वारा दिया गया है और संबंधित लंबवत रेखा प्रतिबिंब (14) (23) है। 1,3-विकर्ण रेखा के विषय में प्रतिबिंब (24) है और 2,4-विकर्ण रेखा के विषय में प्रतिबिंब (13) है। एकमात्र शेष समरूपता पहचान (1)(2)(3)(4) है। इस क्रमचय समूह को सार समूह के रूप में संदर्भित है, क्रम 8 के डायहेड्रल समूह के रूप में।


== समूह क्रियाएं ==
== समूह क्रियाएं ==
{{main|Group action (mathematics)}}
{{main|समूह क्रिया (गणित)}}
एक वर्ग के समरूपता समूह के उपरोक्त उदाहरण में, क्रमपरिवर्तन समरूपता के समूह द्वारा प्रेरित वर्ग के शीर्षों की गति का वर्णन करता है। यह कहना सामान्य है कि ये समूह तत्व वर्ग के शीर्षों के समुच्चय पर कार्य कर रहे हैं। समूह क्रिया को औपचारिक रूप से परिभाषित करके इस विचार को सटीक बनाया जा सकता है।<ref name=Dixon96>{{harvnb|Dixon|Mortimer|1996|loc=p. 5}}</ref>
एक वर्ग के समरूपता समूह के उपरोक्त उदाहरण में, क्रमपरिवर्तन समरूपता के समूह द्वारा प्रेरित वर्ग के शीर्षों की गति का वर्णन करता है। यह कहना सामान्य है कि ये समूह तत्व वर्ग के शीर्षों के समुच्चय पर कार्य कर रहे हैं। समूह क्रिया को औपचारिक रूप से परिभाषित करके इस विचार को सटीक बनाया जा सकता है।<ref name=Dixon96>{{harvnb|Dixon|Mortimer|1996|loc=p. 5}}</ref>
G को एक समूह (गणित) और M को एक गैर-खाली सेट (गणित) होने दें। M पर G की एक 'क्रिया' एक फलन f: G × M → M ऐसा है कि
 
G को एक समूह (गणित) और M को एक गैर-खाली समुच्चय (गणित) होने दें। M पर G की एक 'क्रिया' एक फलन f: G × M → M ऐसा है कि
* f(1, x) = x, M में सभी x के लिए (1 समूह G का [[पहचान तत्व]] (तटस्थ) तत्व है), और
* f(1, x) = x, M में सभी x के लिए (1 समूह G का [[पहचान तत्व]] (तटस्थ) तत्व है), और
* f(g, f(h, x)) = f(gh, x), G में सभी g,h और M में सभी x के लिए।
* f(g, f(h, x)) = f(gh, x), G में सभी g,h और M में सभी x के लिए।
शर्तों की इस जोड़ी को यह कहते हुए भी व्यक्त किया जा सकता है कि कार्रवाई G से Sym(M) में एक समूह समरूपता को प्रेरित करती है।<ref name=Dixon96 />ऐसी किसी भी समाकारिता को M पर G का (क्रमपरिवर्तन) निरूपण कहा जाता है।
शर्तों की इस जोड़ी को यह कहते हुए भी व्यक्त किया जा सकता है कि क्रिया G से Sym(M) में एक समूह समरूपता को प्रेरित करती है।<ref name=Dixon96 />ऐसी किसी भी समाकारिता को M पर G का (क्रमपरिवर्तन) निरूपण कहा जाता है।


किसी क्रमचय समूह के लिए, जो क्रिया (g, x) → g(x) भेजती है, उसे M पर G की 'प्राकृतिक क्रिया' कहा जाता है।<ref name=Dixon96 />वर्ग के समरूपता समूह के उदाहरण में, शिखरों के सेट पर समूह की क्रिया प्राकृतिक क्रिया है। हालाँकि, यह समूह वर्ग में चार त्रिकोणों के सेट पर भी एक क्रिया को प्रेरित करता है, जो हैं: टी<sub>1</sub> = 234, टी<sub>2</sub> = 134, टी<sub>3</sub> = 124 और टी<sub>4</sub> = 123. यह दो विकर्णों पर भी कार्य करता है: d<sub>1</sub> = 13 और डी<sub>2</sub> = 24.
किसी क्रमचय समूह के लिए, जो क्रिया (g, x) → g(x) भेजती है, उसे M पर G की 'प्राकृतिक क्रिया' कहा जाता है।<ref name=Dixon96 />वर्ग के समरूपता समूह के उदाहरण में, शिखरों के समुच्चय पर समूह की क्रिया प्राकृतिक क्रिया है। हालाँकि, यह समूह वर्ग में चार त्रिकोणों के समुच्चय पर भी एक क्रिया को प्रेरित करता है, जो हैं: ''t''<sub>1</sub> = 234, ''t''<sub>2</sub> = 134, ''t''<sub>3</sub> = 124 and ''t''<sub>4</sub> = 123. यह दो विकर्णों पर भी कार्य करता है: d<sub>1</sub> = 13 और ''d''<sub>2</sub> = 24.
{| class="wikitable"
{| class="wikitable"
|-
|-
! Group element !! Action on triangles !! Action on diagonals
! समूह तत्व !! त्रिकोण पर क्रिया !! विकर्णों पर क्रिया
|-
|-
| (1) || (1) || (1)
| (1) || (1) || (1)
Line 132: Line 135:
|}
|}


 
=== सकर्मक क्रियाएं ===
सकर्मक क्रियाएं =
समुच्चय M पर समूह G की क्रिया को सकर्मक कहा जाता है, यदि M के प्रत्येक दो तत्वों s, t के लिए, कुछ समूह तत्व g ऐसा हो कि g(s) = t। समान रूप से, समुच्चय M, G की क्रिया के अंतर्गत एकल [[कक्षा (समूह सिद्धांत)]] बनाता है।<ref>{{harvnb|Artin|1991|p=177}}</ref> उदाहरणों में से, {1, 2, 3, 4} के क्रमपरिवर्तन का समूह {e, (1 2), (3 4), (1 2)(3 4)} सकर्मक नहीं है (कोई समूह तत्व नहीं लेता है 1 से 3) लेकिन एक वर्ग की सममितियों का समूह शीर्षों पर सकर्मक होता है।
समुच्चय M पर समूह G की क्रिया को सकर्मक कहा जाता है, यदि M के प्रत्येक दो तत्वों s, t के लिए, कुछ समूह तत्व g ऐसा हो कि g(s) = t। समान रूप से, समुच्चय M, G की क्रिया के तहत एकल [[कक्षा (समूह सिद्धांत)]] बनाता है।<ref>{{harvnb|Artin|1991|p=177}}</ref> उदाहरणों में से, {1, 2, 3, 4} के क्रमपरिवर्तन का समूह {e, (1 2), (3 4), (1 2)(3 4)} सकर्मक नहीं है (कोई समूह तत्व नहीं लेता है 1 से 3) लेकिन एक वर्ग की सममितियों का समूह शीर्षों पर सकर्मक होता है।


=== आदिम क्रियाएं ===
=== आदिम क्रियाएं ===
{{main|Primitive permutation group}}
{{main|Primitive permutation group}}
एक गैर-रिक्त परिमित समुच्चय M पर सकर्मक रूप से कार्य करने वाला एक क्रमपरिवर्तन समूह G अभेद्य है यदि M का कुछ गैर-तुच्छ सेट विभाजन है जो G की क्रिया द्वारा संरक्षित है, जहां गैर-तुच्छ का अर्थ है कि विभाजन [[सिंगलटन सेट]] में विभाजन नहीं है और न ही विभाजन केवल एक भाग के साथ। अन्यथा, यदि G सकर्मक है, लेकिन M के किसी भी गैर-तुच्छ विभाजन को संरक्षित नहीं करता है, तो समूह G आदिम है।
एक गैर-रिक्त परिमित समुच्चय M पर सकर्मक रूप से कार्य करने वाला एक क्रमपरिवर्तन समूह G अभेद्य है यदि M का कुछ गैर-तुच्छ समुच्चय विभाजन है जो G की क्रिया द्वारा संरक्षित है, जहां गैर-तुच्छ का अर्थ है कि विभाजन [[सिंगलटन सेट|सिंगलटन समुच्चय]] में विभाजन नहीं है और न ही विभाजन केवल एक भाग के साथ। अन्यथा, यदि G सकर्मक है, लेकिन M के किसी भी गैर-तुच्छ विभाजन को संरक्षित नहीं करता है, तो समूह G आदिम है।


उदाहरण के लिए, किसी वर्ग की सममितियों का समूह शीर्षों पर अपरिमेय होता है: यदि उन्हें चक्रीय क्रम में 1, 2, 3, 4 क्रमांकित किया जाता है, तो विभाजन {{1, 3}, {2, 4}} विपरीत जोड़े में प्रत्येक समूह तत्व द्वारा संरक्षित किया जाता है। दूसरी ओर, सेट एम पर पूर्ण सममित समूह हमेशा आदिम होता है।
उदाहरण के लिए, किसी वर्ग की सममितियों का समूह शीर्षों पर अपरिमेय होता है: यदि उन्हें चक्रीय क्रम में 1, 2, 3, 4 क्रमांकित किया जाता है, तो विभाजन <nowiki>{{1, 3}, {2, 4}}</nowiki> विपरीत जोड़े में प्रत्येक समूह तत्व द्वारा संरक्षित किया जाता है। दूसरी ओर, समुच्चय एम पर पूर्ण सममित समूह सदैव आदिम होता है।


== केली प्रमेय ==
== केली प्रमेय ==
{{main|Cayley's theorem}}
{{main|Cayley's theorem}}


कोई भी समूह G स्वयं पर कार्य कर सकता है (समूह के तत्वों को समुच्चय M के रूप में माना जाता है) कई तरीकों से। विशेष रूप से, समूह में (बाएं) गुणन द्वारा दी गई एक नियमित समूह क्रिया होती है। अर्थात, G में सभी g और x के लिए f(g, x) = gx। प्रत्येक नियत g के लिए, फलन f<sub>''g''</sub>(x) = gx, G पर एक आक्षेप है और इसलिए G के तत्वों के समुच्चय का एक क्रमचय है। G के प्रत्येक तत्व को इस तरह एक क्रमचय के रूप में माना जा सकता है और इसलिए G एक क्रमचय समूह के लिए समरूप है; यह केली के प्रमेय की सामग्री है।
कोई भी समूह G स्वयं पर कार्य कर सकता है (समूह के तत्वों को समुच्चय M के रूप में माना जाता है) कई तरीकों से। विशेष रूप से, समूह में (बाएं) गुणन द्वारा दी गई एक नियमित समूह क्रिया होती है। अर्थात, G में सभी g और x के लिए f(g, x) = gx। प्रत्येक नियत g के लिए, फलन f<sub>''g''</sub>(x) = gx, G पर एक आक्षेप है और इसलिए G के तत्वों के समुच्चय का एक क्रमचय है। G के प्रत्येक तत्व को इस प्रकार एक क्रमचय के रूप में माना जा सकता है और इसलिए G एक क्रमचय समूह के लिए समरूप है; यह केली के प्रमेय की सामग्री है।


उदाहरण के लिए, समूह जी पर विचार करें<sub>1</sub> ऊपर दिए गए सेट {1, 2, 3, 4} पर कार्य करना। मान लीजिए कि इस समूह के तत्वों को e, a, b और c = ab = ba द्वारा निरूपित किया जाता है। जी. की कार्रवाई<sub>1</sub> स्वयं केली के प्रमेय में वर्णित निम्नलिखित क्रमचय प्रतिनिधित्व देता है:
उदाहरण के लिए, समूह जी पर विचार करें<sub>1</sub> ऊपर दिए गए समुच्चय {1, 2, 3, 4} पर कार्य करना। मान लीजिए कि इस समूह के तत्वों को e, a, b और c = ab = ba द्वारा निरूपित किया जाता है। जी. की क्रिया<sub>1</sub> स्वयं केली के प्रमेय में वर्णित निम्नलिखित क्रमचय प्रतिनिधित्व देता है:
:एफ<sub>''e''</sub> ↦ () () (बी) (सी)
:''f<sub>e</sub>'' ↦ (''e'')(''a'')(''b'')(''c'')
:एफ<sub>''a''</sub> ↦ (ईए) (बीसी)
:''f<sub>a</sub>'' ↦ (''ea'')(''bc'')
:एफ<sub>''b''</sub> ↦ (ईबी) (और)
:''f<sub>b</sub>'' ↦ (''eb'')(''ac'')
: एफ<sub>''c''</sub> ↦ (ec)(ab).
: ''f<sub>c</sub>'' ↦ (''ec'')(''ab'')


== क्रमचय समूहों की समरूपता ==
== क्रमचय समूहों की समरूपता ==


यदि G और H क्रिया f के साथ सेट X और Y पर दो क्रमचय समूह हैं<sub>1</sub> और एफ<sub>2</sub> क्रमशः, तो हम कहते हैं कि जी और एच क्रमचय आइसोमोर्फिक हैं (या क्रमपरिवर्तन समूहों के रूप में [[ समाकृतिकता ]]) यदि कोई आक्षेप मौजूद है {{nowrap|''λ'' : ''X'' → ''Y''}} और एक [[समूह समरूपता]] {{nowrap|''ψ'' : ''G'' → ''H''}} ऐसा है कि
यदि G और H क्रिया f के साथ समुच्चय X और Y पर दो क्रमचय समूह हैं<sub>1</sub> और एफ<sub>2</sub> क्रमशः, तो हम कहते हैं कि जी और एच क्रमचय आइसोमोर्फिक हैं (या क्रमपरिवर्तन समूहों के रूप में [[ समाकृतिकता ]]) यदि कोई आक्षेप उपस्थित है {{nowrap|''λ'' : ''X'' → ''Y''}} और एक [[समूह समरूपता]] {{nowrap|''ψ'' : ''G'' → ''H''}} ऐसा है कि
: λ (एफ<sub>1</sub>(जी, एक्स)) = एफ<sub>2</sub>(ψ(g), λ(x)) G में सभी g और X में x के लिए।<ref>{{harvnb|Dixon|Mortimer|1996|p=17}}</ref>
: ''λ''(''f''<sub>1</sub>(''g'', ''x'')) = ''f''<sub>2</sub>(''ψ''(''g''), ''λ''(''x'')) G में सभी g और X में x के लिए।<ref>{{harvnb|Dixon|Mortimer|1996|p=17}}</ref>
अगर {{nowrap|1=''X'' = ''Y''}} यह G और H के समान है जो कि Sym(X) के उपसमूहों के रूप में संयुग्मित है।<ref>{{harvnb|Dixon|Mortimer|1996|loc=p. 18}}</ref> विशेष मामला जहां {{nowrap|1=''G'' = ''H''}} और ψ एक [[पहचान मानचित्र]] है जो एक समूह की समतुल्य क्रियाओं की अवधारणा को जन्म देता है।<ref>{{harvnb|Cameron|1994|loc=p. 228}}</ref>
यदि {{nowrap|1=''X'' = ''Y''}} यह G और H के समान है जो कि Sym(X) के उपसमूहों के रूप में संयुग्मित है।<ref>{{harvnb|Dixon|Mortimer|1996|loc=p. 18}}</ref> विशेष मामला जहां {{nowrap|1=''G'' = ''H''}} और ψ एक [[पहचान मानचित्र]] है जो एक समूह की समतुल्य क्रियाओं की अवधारणा को जन्म देता है।<ref>{{harvnb|Cameron|1994|loc=p. 228}}</ref>
ऊपर दिए गए वर्ग के समरूपता के उदाहरण में, सेट {1,2,3,4} पर प्राकृतिक क्रिया त्रिकोण पर कार्रवाई के बराबर है। सेट के बीच की आपत्ति λ द्वारा दी गई है {{nowrap|''i'' ↦ ''t''<sub>''i''</sub>}}. समूह जी की प्राकृतिक क्रिया<sub>1</sub> ऊपर और स्वयं पर इसकी क्रिया (बाएं गुणन के माध्यम से) समतुल्य नहीं है क्योंकि प्राकृतिक क्रिया के निश्चित बिंदु होते हैं और दूसरी क्रिया नहीं होती है।
 
ऊपर दिए गए वर्ग के समरूपता के उदाहरण में, समुच्चय {1,2,3,4} पर प्राकृतिक क्रिया त्रिकोण पर क्रिया के समान है। समुच्चय के मध्य की आपत्ति λ द्वारा दी गई है {{nowrap|''i'' ↦ ''t''<sub>''i''</sub>}}. समूह जी की प्राकृतिक क्रिया<sub>1</sub> ऊपर और स्वयं पर इसकी क्रिया (बाएं गुणन के माध्यम से) समतुल्य नहीं है क्योंकि प्राकृतिक क्रिया के निश्चित बिंदु होते हैं और दूसरी क्रिया नहीं होती है।


== ओलिगोमॉर्फिक समूह ==
== ओलिगोमॉर्फिक समूह ==


जब एक समूह G एक सेट (गणित) S पर कार्य करता है, तो क्रिया स्वाभाविक रूप से कार्टेशियन उत्पाद S तक विस्तारित हो सकती है<sup>S का n</sup>, जिसमें S के तत्वों के n-टुपल्स शामिल हैं: n-ट्यूपल (s) पर एक तत्व g की क्रिया<sub>1</sub>, ..., एस<sub>''n''</sub>) द्वारा दिया गया है
जब एक समूह G एक समुच्चय (गणित) S पर कार्य करता है, तो क्रिया स्वाभाविक रूप से कार्टेशियन उत्पाद S तक विस्तारित हो सकती है<sup>S का n</sup>, जिसमें S के तत्वों के n-टुपल्स सम्मिलित हैं: n-ट्यूपल (s) पर एक तत्व g की क्रिया<sub>1</sub>, ..., एस<sub>''n''</sub>) द्वारा दिया गया है
: जी (एस<sub>1</sub>, ..., एस<sub>''n''</sub>) = (जी (एस<sub>1</sub>), ..., जी (एस<sub>''n''</sub>)).
: ''g''(''s''<sub>1</sub>, ..., ''s<sub>n</sub>'') = (''g''(''s''<sub>1</sub>), ..., ''g''(''s<sub>n</sub>''))


समूह G को ओलिगोमोर्फिक कहा जाता है यदि S पर क्रिया हो<sup>n</sup> में प्रत्येक धनात्मक पूर्णांक n के लिए केवल परिमित रूप से कई कक्षाएँ होती हैं।<ref>{{cite book | last=Cameron | first=Peter J. | author-link=Peter Cameron (mathematician) | title=ओलिगोमॉर्फिक क्रमपरिवर्तन समूह| series=London Mathematical Society Lecture Note Series | volume=152 | location=Cambridge | publisher=[[Cambridge University Press]] | year=1990 | isbn=0-521-38836-8 | zbl=0813.20002 }}</ref><ref>[http://www.newton.ac.uk/files/preprints/ni08029.pdf Oligomorphic permutation groups] - Isaac Newton Institute preprint, Peter J. Cameron</ref> (यदि S परिमित है तो यह स्वत: है, इसलिए S अनंत होने पर यह शब्द विशेष रूप से रुचिकर है।)
समूह G को ओलिगोमोर्फिक कहा जाता है यदि S<sup>n</sup> पर क्रिया होमें प्रत्येक धनात्मक पूर्णांक n के लिए केवल परिमित रूप से कई कक्षाएँ होती हैं।<ref>{{cite book | last=Cameron | first=Peter J. | author-link=Peter Cameron (mathematician) | title=ओलिगोमॉर्फिक क्रमपरिवर्तन समूह| series=London Mathematical Society Lecture Note Series | volume=152 | location=Cambridge | publisher=[[Cambridge University Press]] | year=1990 | isbn=0-521-38836-8 | zbl=0813.20002 }}</ref><ref>[http://www.newton.ac.uk/files/preprints/ni08029.pdf Oligomorphic permutation groups] - Isaac Newton Institute preprint, Peter J. Cameron</ref> (यदि S परिमित है तो यह स्वत: है, इसलिए S अनंत होने पर यह शब्द विशेष रूप से रुचिकर है।)


ओलिगोमॉर्फिक समूहों में रुचि आंशिक रूप से [[मॉडल सिद्धांत]] के लिए उनके आवेदन पर आधारित है, उदाहरण के लिए जब स्वचालित रूप से श्रेणीबद्ध सिद्धांत में [[ automorphism ]] पर विचार किया जाता है।<ref>{{cite book | zbl=0916.20002 | last1=Bhattacharjee | first1=Meenaxi | last2=Macpherson |first2=Dugald | last3=Möller | first3=Rögnvaldur G. | last4=Neumann | first4=Peter M. | title=अनंत क्रमपरिवर्तन समूहों पर नोट्स| series=Lecture Notes in Mathematics | volume=1698 | location=Berlin | publisher=[[Springer-Verlag]] | year=1998 | isbn=3-540-64965-4 | page=83 }}</ref>
अल्परूपी समूहों में रुचि आंशिक रूप से [[मॉडल सिद्धांत|प्रतिरूप सिद्धांत]] के लिए उनके आवेदन पर आधारित है, उदाहरण के लिए जब स्वचालित रूप से श्रेणीबद्ध सिद्धांत में [[ automorphism |स्वसमाकृतिकता]] पर विचार किया जाता है।<ref>{{cite book | zbl=0916.20002 | last1=Bhattacharjee | first1=Meenaxi | last2=Macpherson |first2=Dugald | last3=Möller | first3=Rögnvaldur G. | last4=Neumann | first4=Peter M. | title=अनंत क्रमपरिवर्तन समूहों पर नोट्स| series=Lecture Notes in Mathematics | volume=1698 | location=Berlin | publisher=[[Springer-Verlag]] | year=1998 | isbn=3-540-64965-4 | page=83 }}</ref>




Line 173: Line 176:
{{main|History of group theory}}
{{main|History of group theory}}


समूह (गणित) का अध्ययन मूल रूप से क्रमचय समूहों की समझ से विकसित हुआ।<ref>{{harvnb|Dixon|Mortimer|1996|loc=p. 28}}</ref> बहुपद समीकरणों के बीजगणितीय समाधानों पर अपने काम में 1770 में [[Lagrange]] द्वारा क्रमचय का गहन अध्ययन किया गया था। यह विषय फला-फूला और 19वीं शताब्दी के मध्य तक क्रमचय समूहों का एक सुविकसित सिद्धांत मौजूद था, जिसे [[केमिली जॉर्डन]] ने अपनी पुस्तक ट्रेटे डेस सबस्टिट्यूशंस एट डेस इक्वेशन अल्जेब्रिक्स ऑफ 1870 में संहिताबद्ध किया। बदले में, जॉर्डन की पुस्तक बचे हुए कागजात पर आधारित थी। 1832 में Évariste Galois द्वारा।
समूह (गणित) का अध्ययन मूल रूप से क्रमचय समूहों की समझ से विकसित हुआ।<ref>{{harvnb|Dixon|Mortimer|1996|loc=p. 28}}</ref> बहुपद समीकरणों के बीजगणितीय समाधानों पर अपने काम में 1770 में [[Lagrange]] द्वारा क्रमचय का गहन अध्ययन किया गया था। यह विषय फला-फूला और 19वीं शताब्दी के मध्य तक क्रमचय समूहों का एक सुविकसित सिद्धांत उपस्थित था, जिसे [[केमिली जॉर्डन]] ने अपनी पुस्तक ट्रेटे डेस सबस्टिट्यूशंस एट डेस समीकरण बीजगणित ऑफ 1870 में संहिताबद्ध किया। बदले में, जॉर्डन की पुस्तक बचे हुए कागजात पर आधारित थी। 1832 में Évariste Galois द्वारा।
 
जब [[आर्थर केली]] ने एक सार समूह की अवधारणा प्रस्तुत की, तो यह तुरंत स्पष्ट नहीं था कि यह ज्ञात क्रमपरिवर्तन समूहों (जिसकी परिभाषा आधुनिक से अलग थी) की तुलना में वस्तुओं का एक बड़ा संग्रह था या नहीं। केली ने सिद्ध किया कि केली के प्रमेय में दो अवधारणाएं समान थीं।<ref>{{harvnb|Cameron|1994|loc=p. 226}}</ref>
 
क्रमपरिवर्तन समूहों पर कई अध्यायों वाला एक अन्य शास्त्रीय पाठ 1911 के [[विलियम बर्नसाइड]] के परिमित आदेश के समूहों का सिद्धांत है।<ref>{{citation|first=William|last=Burnside|title=Theory of Groups of Finite Order|year=1955|orig-year=1911|edition=2nd|publisher=Dover}}</ref> बीसवीं शताब्दी की प्रथम छमाही सामान्य रूप से समूह सिद्धांत के अध्ययन में एक परती अवधि थी, लेकिन 1950 के दशक में H. Wielandt द्वारा क्रमपरिवर्तन समूहों में रुचि को पुनर्जीवित किया गया था, जिनके जर्मन व्याख्यान नोट्स को 1964 में परिमित क्रमपरिवर्तन समूह के रूप में पुनर्मुद्रित किया गया था।<ref>{{citation|first=H.|last=Wielandt|title=Finite Permutation Groups|year=1964|publisher=Academic Press}}</ref>


जब [[आर्थर केली]] ने एक सार समूह की अवधारणा पेश की, तो यह तुरंत स्पष्ट नहीं था कि यह ज्ञात क्रमपरिवर्तन समूहों (जिसकी परिभाषा आधुनिक से अलग थी) की तुलना में वस्तुओं का एक बड़ा संग्रह था या नहीं। केली ने साबित किया कि केली के प्रमेय में दो अवधारणाएं समान थीं।<ref>{{harvnb|Cameron|1994|loc=p. 226}}</ref>
क्रमपरिवर्तन समूहों पर कई अध्यायों वाला एक अन्य शास्त्रीय पाठ 1911 के [[विलियम बर्नसाइड]] के परिमित आदेश के समूहों का सिद्धांत है।<ref>{{citation|first=William|last=Burnside|title=Theory of Groups of Finite Order|year=1955|orig-year=1911|edition=2nd|publisher=Dover}}</ref> बीसवीं शताब्दी की पहली छमाही सामान्य रूप से समूह सिद्धांत के अध्ययन में एक परती अवधि थी, लेकिन 1950 के दशक में H. Wielandt द्वारा क्रमपरिवर्तन समूहों में रुचि को पुनर्जीवित किया गया था, जिनके जर्मन व्याख्यान नोट्स को 1964 में परिमित क्रमपरिवर्तन समूह के रूप में पुनर्मुद्रित किया गया था।<ref>{{citation|first=H.|last=Wielandt|title=Finite Permutation Groups|year=1964|publisher=Academic Press}}</ref>





Revision as of 21:26, 29 March 2023

गणित में, एक क्रमचय समूह एक समूह (गणित) G होता है जिसके तत्व किसी दिए गए समुच्चय (गणित) M के क्रमचय होते हैं और जिसका समूह संचालन G में क्रमचय का संयोजन होता है (जो समुच्चय 'M से स्वयं के लिए विशेषण कार्यों के रूप में सोचा जाता है)। एक समुच्चय M के सभी क्रमपरिवर्तन का समूह M का सममित समूह है, जिसे प्रायः Sym(M) के रूप में लिखा जाता है।[1] शब्द क्रमचय समूह इस प्रकार सममित समूह का एक उपसमूह है। यदिM = {1, 2, ..., n} तो Sym(M) को सामान्यतः S से दर्शाया जाता हैn, और n अक्षरों पर सममित समूह कहा जा सकता है।

केली के प्रमेय के अनुसार, प्रत्येक समूह कुछ क्रमचय समूह के लिए तुल्याकारी है।

जिस प्रकार से एक क्रमचय समूह के तत्व समुच्चय के तत्वों को क्रमबद्ध करते हैं, उसे समूह क्रिया (गणित) कहा जाता है। समूह क्रियाओं का अनुप्रयोग सममिति, संयोजक और गणित, भौतिकी और रसायन विज्ञान की कई अन्य शाखाओं के अध्ययन में होता है।

1974 में अर्नो रूबिक द्वारा आविष्कार की गई लोकप्रिय पहेली रूबिक क्यूब का उपयोग क्रमचय समूहों के चित्रण के रूप में किया गया है। घन की एक परत के प्रत्येक घुमाव के परिणामस्वरूप सतह के रंगों का क्रमपरिवर्तन होता है और यह समूह का सदस्य होता है। घन के क्रमपरिवर्तन समूह को रुबिक का घन समूह कहा जाता है।

बुनियादी गुण और शब्दावली

एक सममित समूह का एक उपसमूह होने के नाते, समूह (गणित) सिद्धांतों को संतुष्ट करने के लिए क्रमपरिवर्तन के एक समुच्चय के लिए आवश्यक है और क्रमपरिवर्तन समूह यह है कि इसमें पहचान क्रमचय सम्मिलित है, इसमें सम्मिलित प्रत्येक क्रमचय का व्युत्क्रम तत्व, और बंद होना इसके क्रमपरिवर्तन की कार्य संरचना के अंतर्गत।[2] परिमित समूहों की एक सामान्य संपत्ति का अर्थ है कि सममित समूह का एक परिमित गैर-रिक्त उपसमुच्चय फिर से एक समूह है यदि और केवल यदि यह समूह संचालन के अंतर्गत बंद है।[3]

एक परिमित समुच्चय के क्रमचय के समूह की डिग्री समुच्चय में प्रमुखता है। समूह का क्रम (किसी भी प्रकार का) समूह में तत्वों (कार्डिनैलिटी) की संख्या है। Lagrange के प्रमेय (समूह सिद्धांत) द्वारा | Lagrange के प्रमेय, डिग्री n के किसी भी परिमित क्रमचय समूह का क्रम n को विभाजित करना चाहिए! चूँकि n- कारख़ाने का सममित समूह Sn का क्रम है

अंकन

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

उदाहरण के लिए, समुच्चय {1, 2, 3, 4, 5} के एक विशेष क्रमचय को इस प्रकार लिखा जा सकता है

इसका अर्थ है कि σ σ(1) = 2, σ(2) = 5, σ(3) = 4, σ(4) = 3, और σ(5) = 1 को संतुष्ट करता है। प्रथम पंक्ति में विशेष क्रम, इसलिए उसी क्रमचय को इस रूप में भी लिखा जा सकता है

क्रमपरिवर्तन भी प्रायः चक्र संकेतन (चक्रीय रूप) में लिखे जाते हैं[5] इसलिए कि समुच्चय M = {1, 2, 3, 4} दिया गया है, g(1) = 2, g(2) = 4, g(4) = 1 और g(3) = 3 के साथ M का क्रमपरिवर्तन g (1, 2, 4) (3), या अधिक सामान्यतः, (1, 2, 4) के रूप में लिखा जाएगा क्योंकि 3 अपरिवर्तित छोड़ दिया गया है; यदि वस्तुओं को एकल अक्षरों या अंकों से दर्शाया जाता है, तो अल्पविराम और रिक्त स्थान को भी हटाया जा सकता है, और हमारे पास (124) जैसा एक अंकन है। ऊपर 2-पंक्ति संकेतन में लिखे गए क्रमचय को चक्र संकेतन के रूप में लिखा जाएगा


क्रमपरिवर्तनों का संघटन-समूह उत्पाद

दो क्रमपरिवर्तन के उत्पाद को उनके कार्य संरचना के रूप में कार्यों के रूप में परिभाषित किया गया है, इसलिए वह फलनहै जो समुच्चय के किसी तत्व x को प्रतिचित्र करता है . ध्यान दें कि जिस प्रकार से फलनरचना लिखी जाती है, उसके कारण सबसे सही क्रमपरिवर्तन पहले तर्क पर अनुप्रयुक्त होता है।[6][7] कुछ लेखक सबसे बाएँ कारक को पहले अभिनय करना पसंद करते हैं, लेकिन इसके लिए क्रमपरिवर्तन को उनके तर्क के दाईं ओर लिखा जाना चाहिए, प्रायः एक ऊपर की ओर लिखा हुआ के रूप में, इसलिए क्रमचय तत्व पर कार्य करता है छवि में परिणाम . इस सम्मेलन के साथ, उत्पाद द्वारा दिया जाता है .[8] [9] [10] हालांकि, यह क्रमपरिवर्तन को गुणा करने के लिए एक अलग नियम देता है। क्रमपरिवर्तन समूह साहित्य में सामान्यतः इस सम्मेलन का उपयोग किया जाता है, लेकिन यह लेख उस सम्मेलन का उपयोग करता है जहां सबसे सही क्रमपरिवर्तन पहले अनुप्रयुक्त किया जाता है।

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

उत्पाद क्यूपी है:

क्रमपरिवर्तन की संरचना, जब वे चक्र संकेतन में लिखे जाते हैं, तो दो क्रमपरिवर्तन (बाईं ओर लिखे गए दूसरे क्रमांक के साथ) को जोड़कर प्राप्त किया जाता है और फिर वांछित होने पर एक असम्बद्ध चक्र रूप को सरल बनाया जाता है। इस प्रकार, उपरोक्त उत्पाद द्वारा दिया जाएगा:

चूँकि फलन संरचना साहचर्य है, इसलिए क्रमपरिवर्तन पर उत्पाद संचालन है: . इसलिए, दो या दो से अधिक क्रमचयों के गुणनफल सामान्यतः व्यक्त समूहन में कोष्ठक जोड़े बिना लिखे जाते हैं; वे सामान्यतः गुणा को इंगित करने के लिए एक बिंदु या अन्य चिह्न के बिना लिखे जाते हैं (पिछले उदाहरण के बिंदुओं को जोर देने के लिए जोड़ा गया था, इसलिए इसे केवल इस रूप में लिखा जाएगा ).

तटस्थ तत्व और व्युत्क्रम

पहचान क्रमचय, जो समुच्चय के प्रत्येक तत्व को अपने आप में प्रतिचित्र करता है, इस उत्पाद के लिए तटस्थ तत्व है। दो-पंक्ति संकेतन में, पहचान है

चक्र संकेतन में, ई = (1)(2)(3)...(n) जिसे परिपाटी द्वारा भी केवल (1) या यहां तक ​​कि () द्वारा निरूपित किया जाता है।[11] चूँकि आक्षेपों का व्युत्क्रम फलन होता है, इसलिए क्रमपरिवर्तन और व्युत्क्रम σ होता हैσ का −1 फिर से एक क्रमचय है। स्पष्ट रूप से, जब भी σ(x)=y किसी के पास भी σ होता है−1(y)=x. दो-पंक्ति संकेतन में व्युत्क्रम दो पंक्तियों को आपस में परिवर्तन प्राप्त किया जा सकता है (और स्तंभों को क्रमबद्ध करना यदि कोई चाहता है कि प्रथम पंक्ति किसी दिए गए क्रम में हो)। उदाहरण के लिए

एक चक्र का व्युत्क्रम प्राप्त करने के लिए, हम इसके तत्वों के क्रम को उलट देते हैं। इस प्रकार,

चक्रों के गुणनफल का व्युत्क्रम प्राप्त करने के लिए, हम पहले चक्रों के क्रम को उल्टा करते हैं, और फिर हम प्रत्येक का व्युत्क्रम ऊपर की प्रकार लेते हैं। इस प्रकार,

एक साहचर्य उत्पाद, एक पहचान तत्व, और इसके सभी तत्वों के व्युत्क्रम होने से, M के सभी क्रमपरिवर्तनों का एक समूह (गणित), Sym(M) में समुच्चय हो जाता है; एक क्रमपरिवर्तन समूह।

उदाहरण

निम्नलिखित समुच्चय जी पर विचार करें1 समुच्चय M = {1, 2, 3, 4} के क्रमचयों की संख्या:

  • e = (1)(2)(3)(4) = (1)
    • यह पहचान है, तुच्छ क्रमचय जो प्रत्येक तत्व को ठीक करता है।
  • a = (1 2)(3)(4) = (1 2)
    • यह क्रमचय 1 और 2 को आपस में बदल देता है, और 3 और 4 को ठीक कर देता है।
  • b = (1)(2)(3 4) = (3 4)
    • पिछले वाले की प्रकार, लेकिन 3 और 4 का आदान-प्रदान करना, और दूसरों को ठीक करना।
  • ab = (1 2) (3 4)
    • यह क्रमचय, जो पिछले दो का संयोजन है, एक साथ 1 का 2 से, और 3 का 4 से आदान-प्रदान करता है।

G1एक समूह बनाता है, क्योंकि aa = bb = e, ba = ab, and abab = e। यह क्रमचय समूह, एक अमूर्त समूह के रूप में, क्लेन समूह V4 है

एक अन्य उदाहरण के रूप में समूहों के उदाहरणों पर विचार करें # एक वर्ग का समरूपता समूह: आदेश 8 का डायहेड्रल समूह। वर्ग के शीर्षों को 1, 2, 3 और 4 लेबल करें (शीर्ष बाएं कोने में 1 से शुरू होने वाले वर्ग के चारों ओर वामावर्त ). समरूपता को शीर्षों की छवियों द्वारा निर्धारित किया जाता है, जो क्रमपरिवर्तन द्वारा वर्णित किया जा सकता है। वर्ग के केंद्र के विषय में 90° (घड़ी की विपरीत दिशा में) घूर्णन को क्रमचय (1234) द्वारा वर्णित किया गया है। 180° और 270° घुमाव क्रमशः (13)(24) और (1432) द्वारा दिए गए हैं। केंद्र के माध्यम से क्षैतिज रेखा के विषय में प्रतिबिंब (12) (34) द्वारा दिया गया है और संबंधित लंबवत रेखा प्रतिबिंब (14) (23) है। 1,3-विकर्ण रेखा के विषय में प्रतिबिंब (24) है और 2,4-विकर्ण रेखा के विषय में प्रतिबिंब (13) है। एकमात्र शेष समरूपता पहचान (1)(2)(3)(4) है। इस क्रमचय समूह को सार समूह के रूप में संदर्भित है, क्रम 8 के डायहेड्रल समूह के रूप में।

समूह क्रियाएं

एक वर्ग के समरूपता समूह के उपरोक्त उदाहरण में, क्रमपरिवर्तन समरूपता के समूह द्वारा प्रेरित वर्ग के शीर्षों की गति का वर्णन करता है। यह कहना सामान्य है कि ये समूह तत्व वर्ग के शीर्षों के समुच्चय पर कार्य कर रहे हैं। समूह क्रिया को औपचारिक रूप से परिभाषित करके इस विचार को सटीक बनाया जा सकता है।[12]

G को एक समूह (गणित) और M को एक गैर-खाली समुच्चय (गणित) होने दें। M पर G की एक 'क्रिया' एक फलन f: G × M → M ऐसा है कि

  • f(1, x) = x, M में सभी x के लिए (1 समूह G का पहचान तत्व (तटस्थ) तत्व है), और
  • f(g, f(h, x)) = f(gh, x), G में सभी g,h और M में सभी x के लिए।

शर्तों की इस जोड़ी को यह कहते हुए भी व्यक्त किया जा सकता है कि क्रिया G से Sym(M) में एक समूह समरूपता को प्रेरित करती है।[12]ऐसी किसी भी समाकारिता को M पर G का (क्रमपरिवर्तन) निरूपण कहा जाता है।

किसी क्रमचय समूह के लिए, जो क्रिया (g, x) → g(x) भेजती है, उसे M पर G की 'प्राकृतिक क्रिया' कहा जाता है।[12]वर्ग के समरूपता समूह के उदाहरण में, शिखरों के समुच्चय पर समूह की क्रिया प्राकृतिक क्रिया है। हालाँकि, यह समूह वर्ग में चार त्रिकोणों के समुच्चय पर भी एक क्रिया को प्रेरित करता है, जो हैं: t1 = 234, t2 = 134, t3 = 124 and t4 = 123. यह दो विकर्णों पर भी कार्य करता है: d1 = 13 और d2 = 24.

समूह तत्व त्रिकोण पर क्रिया विकर्णों पर क्रिया
(1) (1) (1)
(1234) (t1 t2 t3 t4) (d1 d2)
(13)(24) (t1 t3)(t2 t4) (1)
(1432) (t1 t4 t3 t2) (d1 d2)
(12)(34) (t1 t2)(t3 t4) (d1 d2)
(14)(23) (t1 t4)(t2 t3) (d1 d2)
(13) (t1 t3) (1)
(24) (t2 t4) (1)

सकर्मक क्रियाएं

समुच्चय M पर समूह G की क्रिया को सकर्मक कहा जाता है, यदि M के प्रत्येक दो तत्वों s, t के लिए, कुछ समूह तत्व g ऐसा हो कि g(s) = t। समान रूप से, समुच्चय M, G की क्रिया के अंतर्गत एकल कक्षा (समूह सिद्धांत) बनाता है।[13] उदाहरणों में से, {1, 2, 3, 4} के क्रमपरिवर्तन का समूह {e, (1 2), (3 4), (1 2)(3 4)} सकर्मक नहीं है (कोई समूह तत्व नहीं लेता है 1 से 3) लेकिन एक वर्ग की सममितियों का समूह शीर्षों पर सकर्मक होता है।

आदिम क्रियाएं

एक गैर-रिक्त परिमित समुच्चय M पर सकर्मक रूप से कार्य करने वाला एक क्रमपरिवर्तन समूह G अभेद्य है यदि M का कुछ गैर-तुच्छ समुच्चय विभाजन है जो G की क्रिया द्वारा संरक्षित है, जहां गैर-तुच्छ का अर्थ है कि विभाजन सिंगलटन समुच्चय में विभाजन नहीं है और न ही विभाजन केवल एक भाग के साथ। अन्यथा, यदि G सकर्मक है, लेकिन M के किसी भी गैर-तुच्छ विभाजन को संरक्षित नहीं करता है, तो समूह G आदिम है।

उदाहरण के लिए, किसी वर्ग की सममितियों का समूह शीर्षों पर अपरिमेय होता है: यदि उन्हें चक्रीय क्रम में 1, 2, 3, 4 क्रमांकित किया जाता है, तो विभाजन {{1, 3}, {2, 4}} विपरीत जोड़े में प्रत्येक समूह तत्व द्वारा संरक्षित किया जाता है। दूसरी ओर, समुच्चय एम पर पूर्ण सममित समूह सदैव आदिम होता है।

केली प्रमेय

कोई भी समूह G स्वयं पर कार्य कर सकता है (समूह के तत्वों को समुच्चय M के रूप में माना जाता है) कई तरीकों से। विशेष रूप से, समूह में (बाएं) गुणन द्वारा दी गई एक नियमित समूह क्रिया होती है। अर्थात, G में सभी g और x के लिए f(g, x) = gx। प्रत्येक नियत g के लिए, फलन fg(x) = gx, G पर एक आक्षेप है और इसलिए G के तत्वों के समुच्चय का एक क्रमचय है। G के प्रत्येक तत्व को इस प्रकार एक क्रमचय के रूप में माना जा सकता है और इसलिए G एक क्रमचय समूह के लिए समरूप है; यह केली के प्रमेय की सामग्री है।

उदाहरण के लिए, समूह जी पर विचार करें1 ऊपर दिए गए समुच्चय {1, 2, 3, 4} पर कार्य करना। मान लीजिए कि इस समूह के तत्वों को e, a, b और c = ab = ba द्वारा निरूपित किया जाता है। जी. की क्रिया1 स्वयं केली के प्रमेय में वर्णित निम्नलिखित क्रमचय प्रतिनिधित्व देता है:

fe ↦ (e)(a)(b)(c)
fa ↦ (ea)(bc)
fb ↦ (eb)(ac)
fc ↦ (ec)(ab)

क्रमचय समूहों की समरूपता

यदि G और H क्रिया f के साथ समुच्चय X और Y पर दो क्रमचय समूह हैं1 और एफ2 क्रमशः, तो हम कहते हैं कि जी और एच क्रमचय आइसोमोर्फिक हैं (या क्रमपरिवर्तन समूहों के रूप में समाकृतिकता ) यदि कोई आक्षेप उपस्थित है λ : XY और एक समूह समरूपता ψ : GH ऐसा है कि

λ(f1(g, x)) = f2(ψ(g), λ(x)) G में सभी g और X में x के लिए।[14]

यदि X = Y यह G और H के समान है जो कि Sym(X) के उपसमूहों के रूप में संयुग्मित है।[15] विशेष मामला जहां G = H और ψ एक पहचान मानचित्र है जो एक समूह की समतुल्य क्रियाओं की अवधारणा को जन्म देता है।[16]

ऊपर दिए गए वर्ग के समरूपता के उदाहरण में, समुच्चय {1,2,3,4} पर प्राकृतिक क्रिया त्रिकोण पर क्रिया के समान है। समुच्चय के मध्य की आपत्ति λ द्वारा दी गई है iti. समूह जी की प्राकृतिक क्रिया1 ऊपर और स्वयं पर इसकी क्रिया (बाएं गुणन के माध्यम से) समतुल्य नहीं है क्योंकि प्राकृतिक क्रिया के निश्चित बिंदु होते हैं और दूसरी क्रिया नहीं होती है।

ओलिगोमॉर्फिक समूह

जब एक समूह G एक समुच्चय (गणित) S पर कार्य करता है, तो क्रिया स्वाभाविक रूप से कार्टेशियन उत्पाद S तक विस्तारित हो सकती हैS का n, जिसमें S के तत्वों के n-टुपल्स सम्मिलित हैं: n-ट्यूपल (s) पर एक तत्व g की क्रिया1, ..., एसn) द्वारा दिया गया है

g(s1, ..., sn) = (g(s1), ..., g(sn))

समूह G को ओलिगोमोर्फिक कहा जाता है यदि Sn पर क्रिया होमें प्रत्येक धनात्मक पूर्णांक n के लिए केवल परिमित रूप से कई कक्षाएँ होती हैं।[17][18] (यदि S परिमित है तो यह स्वत: है, इसलिए S अनंत होने पर यह शब्द विशेष रूप से रुचिकर है।)

अल्परूपी समूहों में रुचि आंशिक रूप से प्रतिरूप सिद्धांत के लिए उनके आवेदन पर आधारित है, उदाहरण के लिए जब स्वचालित रूप से श्रेणीबद्ध सिद्धांत में स्वसमाकृतिकता पर विचार किया जाता है।[19]


इतिहास

समूह (गणित) का अध्ययन मूल रूप से क्रमचय समूहों की समझ से विकसित हुआ।[20] बहुपद समीकरणों के बीजगणितीय समाधानों पर अपने काम में 1770 में Lagrange द्वारा क्रमचय का गहन अध्ययन किया गया था। यह विषय फला-फूला और 19वीं शताब्दी के मध्य तक क्रमचय समूहों का एक सुविकसित सिद्धांत उपस्थित था, जिसे केमिली जॉर्डन ने अपनी पुस्तक ट्रेटे डेस सबस्टिट्यूशंस एट डेस समीकरण बीजगणित ऑफ 1870 में संहिताबद्ध किया। बदले में, जॉर्डन की पुस्तक बचे हुए कागजात पर आधारित थी। 1832 में Évariste Galois द्वारा।

जब आर्थर केली ने एक सार समूह की अवधारणा प्रस्तुत की, तो यह तुरंत स्पष्ट नहीं था कि यह ज्ञात क्रमपरिवर्तन समूहों (जिसकी परिभाषा आधुनिक से अलग थी) की तुलना में वस्तुओं का एक बड़ा संग्रह था या नहीं। केली ने सिद्ध किया कि केली के प्रमेय में दो अवधारणाएं समान थीं।[21]

क्रमपरिवर्तन समूहों पर कई अध्यायों वाला एक अन्य शास्त्रीय पाठ 1911 के विलियम बर्नसाइड के परिमित आदेश के समूहों का सिद्धांत है।[22] बीसवीं शताब्दी की प्रथम छमाही सामान्य रूप से समूह सिद्धांत के अध्ययन में एक परती अवधि थी, लेकिन 1950 के दशक में H. Wielandt द्वारा क्रमपरिवर्तन समूहों में रुचि को पुनर्जीवित किया गया था, जिनके जर्मन व्याख्यान नोट्स को 1964 में परिमित क्रमपरिवर्तन समूह के रूप में पुनर्मुद्रित किया गया था।[23]


यह भी देखें

टिप्पणियाँ

  1. The notations SM and SM are also used.
  2. Rotman 2006, p. 148, Definition of subgroup
  3. Rotman 2006, p. 149, Proposition 2.69
  4. Wussing, Hans (2007), The Genesis of the Abstract Group Concept: A Contribution to the History of the Origin of Abstract Group Theory, Courier Dover Publications, p. 94, ISBN 9780486458687, Cauchy used his permutation notation—in which the arrangements are written one below the other and both are enclosed in parentheses—for the first time in 1815.
  5. especially when the algebraic properties of the permutation are of interest.
  6. Biggs, Norman L.; White, A. T. (1979). Permutation groups and combinatorial structures. Cambridge University Press. ISBN 0-521-22287-7.
  7. Rotman 2006, p. 107 – note especially the footnote on this page.
  8. Dixon & Mortimer 1996, p. 3 – see the comment following Example 1.2.2
  9. Cameron, Peter J. (1999). Permutation groups. Cambridge University Press. ISBN 0-521-65302-9.
  10. Jerrum, M. (1986). "A compact representation of permutation groups". J. Algorithms. 7 (1): 60–78. doi:10.1016/0196-6774(86)90038-6.
  11. Rotman 2006, p. 108
  12. 12.0 12.1 12.2 Dixon & Mortimer 1996, p. 5
  13. Artin 1991, p. 177
  14. Dixon & Mortimer 1996, p. 17
  15. Dixon & Mortimer 1996, p. 18
  16. Cameron 1994, p. 228
  17. Cameron, Peter J. (1990). ओलिगोमॉर्फिक क्रमपरिवर्तन समूह. London Mathematical Society Lecture Note Series. Vol. 152. Cambridge: Cambridge University Press. ISBN 0-521-38836-8. Zbl 0813.20002.
  18. Oligomorphic permutation groups - Isaac Newton Institute preprint, Peter J. Cameron
  19. Bhattacharjee, Meenaxi; Macpherson, Dugald; Möller, Rögnvaldur G.; Neumann, Peter M. (1998). अनंत क्रमपरिवर्तन समूहों पर नोट्स. Lecture Notes in Mathematics. Vol. 1698. Berlin: Springer-Verlag. p. 83. ISBN 3-540-64965-4. Zbl 0916.20002.
  20. Dixon & Mortimer 1996, p. 28
  21. Cameron 1994, p. 226
  22. Burnside, William (1955) [1911], Theory of Groups of Finite Order (2nd ed.), Dover
  23. Wielandt, H. (1964), Finite Permutation Groups, Academic Press


संदर्भ


अग्रिम पठन

  • Akos Seress. Permutation group algorithms. Cambridge Tracts in Mathematics, 152. Cambridge University Press, Cambridge, 2003.
  • Meenaxi Bhattacharjee, Dugald Macpherson, Rögnvaldur G. Möller and Peter M. Neumann. Notes on Infinite Permutation Groups. Number 1698 in Lecture Notes in Mathematics. Springer-Verlag, 1998.
  • Peter J. Cameron. Permutation Groups. LMS Student Text 45. Cambridge University Press, Cambridge, 1999.
  • Peter J. Cameron. Oligomorphic Permutation Groups. Cambridge University Press, Cambridge, 1990.


बाहरी संबंध