क्रमचय की समानता: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
[[File:Symmetric group 4; permutation list.svg|thumb|4 तत्वों के क्रमचय<br><br>विषम क्रमपरिवर्तन की पृष्ठभूमि हरे या नारंगी रंग की होती है। दाहिने कॉलम में संख्याएँ व्युत्क्रम (असतत गणित) संख्याएँ हैं। {{OEIS|A034968}} जिसमें क्रमचय के समान समानता (गणित) है।]]गणित में जब X कम से कम दो तत्वों के साथ एक परिमित समुच्चय होता है। तो X के क्रमचय (अर्थात X से X तक के विशेषण कार्य) समान आकार के दो वर्गों में आते हैं। 'सम क्रम[[परिवर्तन]]' और 'विषम क्रमपरिवर्तन' यदि X का कोई कुल क्रम निश्चित है। तो क्रमपरिवर्तन की 'समता' ('विषमता' या 'समानता') <math>\sigma</math> X को σ के लिए व्युत्क्रमण (असतत गणित) की संख्या की समानता के रूप में परिभाषित किया जा सकता है। अर्थात X के तत्वों x,  y के जोड़े जैसे कि {{nowrap|''x'' < ''y''}} और {{nowrap|''σ''(''x'') > ''σ''(''y'')}}.
[[File:Symmetric group 4; permutation list.svg|thumb|4 तत्वों के क्रमचय<br><br>विषम क्रमपरिवर्तन की पृष्ठभूमि हरे या नारंगी रंग की होती है। दाहिने कॉलम में संख्याएँ व्युत्क्रम (असतत गणित) संख्याएँ हैं {{OEIS|A034968}}, जिसमें क्रमचय के समान समानता (गणित) है।]]गणित में जब X कम से कम दो तत्वों के साथ एक परिमित समुच्चय होता है। तो X के क्रमचय (अर्थात X से X तक के विशेषण कार्य) समान आकार के दो वर्गों में आते हैं। 'सम क्रम[[परिवर्तन]]' और 'विषम क्रमपरिवर्तन' यदि X का कोई कुल क्रम निश्चित है। तो क्रमपरिवर्तन की 'समता' ('विषमता' या 'समानता') <math>\sigma</math> X को σ के लिए व्युत्क्रमण (असतत गणित) की संख्या की समानता के रूप में परिभाषित किया जा सकता है। अर्थात X के तत्वों x,  y के जोड़े जैसे कि {{nowrap|''x'' < ''y''}} और {{nowrap|''σ''(''x'') > ''σ''(''y'')}}.


किसी क्रमचय ''σ'' के चिह्न हस्ताक्षर या चिह्न को sgn(''σ'') दर्शाया जाता है और यदि ''σ'' सम है। तो +1 के रूप में परिभाषित किया जाता है और -1 यदि ''σ'' विषम है। हस्ताक्षर [[सममित समूह]] S<sub>''n''</sub> के वैकल्पिक [[चरित्र (गणित)]] को परिभाषित करता है। क्रमचय के चिह्न के लिए एक अन्य संकेत अधिक सामान्य लेवी-सिविता प्रतीक (ε<sub>''σ''</sub>) जो X से X तक के सभी नक्शों के लिए परिभाषित है और बायजेक्शन के लिए मान शून्य है। गैर-विशेषण मानचित्र।
किसी क्रमचय ''σ'' के चिह्न हस्ताक्षर या चिह्न को sgn(''σ'') दर्शाया जाता है और यदि ''σ'' सम है। तो +1 के रूप में परिभाषित किया जाता है और -1 यदि ''σ'' विषम है। हस्ताक्षर [[सममित समूह]] S<sub>''n''</sub> के वैकल्पिक [[चरित्र (गणित)]] को परिभाषित करता है। क्रमचय के चिह्न के लिए एक अन्य संकेत अधिक सामान्य लेवी-सिविता प्रतीक (ε<sub>''σ''</sub>) जो X से X तक के सभी नक्शों के लिए परिभाषित है और बायजेक्शन के लिए मान शून्य है। गैर-विशेषण मानचित्र।


एक क्रमचय का संकेत स्पष्ट रूप से व्यक्त किया जा सकता है
एक क्रमचय का संकेत स्पष्ट रूप से व्यक्त किया जा सकता है
Line 18: Line 18:
उदाहरण के लिए ट्रांसपोज़िशन की कार्यात्मक संरचना के रूप में σ लिखने के कई अन्य तरीके हैं।
उदाहरण के लिए ट्रांसपोज़िशन की कार्यात्मक संरचना के रूप में σ लिखने के कई अन्य तरीके हैं।
:{{math|1=''σ'' = (1 5)(3 4)(2 4)(1 2)(2 3)}},
:{{math|1=''σ'' = (1 5)(3 4)(2 4)(1 2)(2 3)}},
लेकिन इसे सम संख्या के रूपांतरणों के उत्पाद के रूप में लिखना असंभव है।
किन्तुइसे सम संख्या के रूपांतरणों के उत्पाद के रूप में लिखना असंभव है।


== गुण ==
== गुण ==
Line 34: Line 34:
जो प्रत्येक क्रमचय को निर्दिष्ट करता है उसका हस्ताक्षर एक [[समूह समरूपता]] है।<ref>Rotman (1995), [{{Google books|plainurl=y|id=lYrsiaHSHKcC|page=9|text=sgn}} p. 9, Theorem 1.6.]</ref>
जो प्रत्येक क्रमचय को निर्दिष्ट करता है उसका हस्ताक्षर एक [[समूह समरूपता]] है।<ref>Rotman (1995), [{{Google books|plainurl=y|id=lYrsiaHSHKcC|page=9|text=sgn}} p. 9, Theorem 1.6.]</ref>


इसके अतिरिक्त हम देखते हैं कि सम क्रमपरिवर्तन S<sub>''n''</sub> का एक [[उपसमूह]] बनाते हैं।<ref name="Jacobson" /> यह ''n'' अक्षरों पर [[वैकल्पिक समूह]] है। जिसे A<sub>''n''</sub> द्वारा दर्शाया गया है।<ref name="Jacobson_a">जैकबसन (2009), पी। 51.</ref> यह होमोमोर्फिज्म एसजीएन का [[कर्नेल (बीजगणित)]] है। विषम क्रमचय एक उपसमूह नहीं बना सकते हैं। क्योंकि दो विषम क्रमपरिवर्तन का योग सम है। लेकिन वे An (Sn में) का सहसमुच्चय बनाते हैं<ref>Meijer & Bauer (2004), [{{Google books|plainurl=y|id=ZakN8Y7dcC8C|page=72|text=these permutations do not form a subgroup since the product of two odd permutations is even}} p. 72]</ref>
इसके अतिरिक्त हम देखते हैं कि सम क्रमपरिवर्तन S<sub>''n''</sub> का एक [[उपसमूह]] बनाते हैं।<ref name="Jacobson" /> यह ''n'' अक्षरों पर [[वैकल्पिक समूह]] है। जिसे A<sub>''n''</sub> द्वारा दर्शाया गया है।<ref name="Jacobson_a">जैकबसन (2009), पी। 51.</ref> यह होमोमोर्फिज्म एसजीएन का [[कर्नेल (बीजगणित)]] है। विषम क्रमचय एक उपसमूह नहीं बना सकते हैं। क्योंकि दो विषम क्रमपरिवर्तन का योग सम है। किन्तुवे An (Sn में) का सहसमुच्चय बनाते हैं<ref>Meijer & Bauer (2004), [{{Google books|plainurl=y|id=ZakN8Y7dcC8C|page=72|text=these permutations do not form a subgroup since the product of two odd permutations is even}} p. 72]</ref>


अगर {{nowrap|''n'' > 1}} तो S<sub>''n''</sub> में उतने ही सम क्रमपरिवर्तन हैं। जैसा कि विषम हैं।<ref name="Jacobson_a" /> परिणामस्वरूप, An में n!/2 क्रमचय होते हैं। (कारण यह है कि यदि σ सम है। {{nowrap|(1  2)''σ''}} विषम है और यदि σ विषम है। तो {{nowrap|(1  2)''σ''}} सम है और ये दोनों मानचित्र एक दूसरे के व्युत्क्रम हैं।)<ref name="Jacobson_a" />
अगर {{nowrap|''n'' > 1}} तो S<sub>''n''</sub> में उतने ही सम क्रमपरिवर्तन हैं। जैसा कि विषम हैं।<ref name="Jacobson_a" /> परिणामस्वरूप, An में n!/2 क्रमचय होते हैं। (कारण यह है कि यदि σ सम है। {{nowrap|(1  2)''σ''}} विषम है और यदि σ विषम है। तो {{nowrap|(1  2)''σ''}} सम है और ये दोनों मानचित्र एक दूसरे के व्युत्क्रम हैं।)<ref name="Jacobson_a" />
Line 42: Line 42:
व्यवहार में यह निर्धारित करने के लिए कि क्या दिया गया क्रमचय सम या विषम है। कोई क्रमचय को असंयुक्त चक्रों के उत्पाद के रूप में लिखता है। क्रमचय विषम है और केवल गुणनखंड में सम-लंबाई वाले चक्रों की संख्या विषम है।
व्यवहार में यह निर्धारित करने के लिए कि क्या दिया गया क्रमचय सम या विषम है। कोई क्रमचय को असंयुक्त चक्रों के उत्पाद के रूप में लिखता है। क्रमचय विषम है और केवल गुणनखंड में सम-लंबाई वाले चक्रों की संख्या विषम है।


एक दिया गया क्रमचय सम या विषम है। यह निर्धारित करने के लिए एक अन्य विधि संबंधित क्रमचय मैट्रिक्स का निर्माण करना और उसके निर्धारक की गणना करना है। निर्धारक का मान क्रमचय की समानता के समान है।
एक दिया गया क्रमचय सम या विषम है। यह निर्धारित करने के लिए एक अन्य विधि संबंधित क्रमचय मैट्रिक्स का निर्माण करना और उसके निर्धारक की गणना करना है। निर्धारक का मान क्रमचय की समानता के समान है।


विषम क्रम (समूह सिद्धांत) का प्रत्येक क्रमचय सम होना चाहिए। क्रमपरिवर्तन {{nowrap|(1 2)(3 4)}} में A<sub>4</sub> दर्शाता है। कि इसका विलोम सामान्य रूप से सत्य नहीं है।
विषम क्रम (समूह सिद्धांत) का प्रत्येक क्रमचय सम होना चाहिए। क्रमपरिवर्तन {{nowrap|(1 2)(3 4)}} में A<sub>4</sub> दर्शाता है। कि इसका विलोम सामान्य रूप से सत्य नहीं है।


== दो परिभाषाओं की समानता ==
== दो परिभाषाओं की समानता ==
Line 58: Line 58:


प्रत्येक ट्रांसपोजिशन को आसन्न तत्वों के विषम संख्या के ट्रांसपोजिशन के उत्पाद के रूप में लिखा जा सकता है। उदा।:(2 5) = (2 3) (3 4) (4 5) (4 3) (3 2).
प्रत्येक ट्रांसपोजिशन को आसन्न तत्वों के विषम संख्या के ट्रांसपोजिशन के उत्पाद के रूप में लिखा जा सकता है। उदा।:(2 5) = (2 3) (3 4) (4 5) (4 3) (3 2).
सामान्यतः हम सेट {1,...,''i'',...,''i+d'' पर ट्रांसपोजिशन (''i''&nbsp;''i+d'') लिख सकते हैं ,...} ''d'' पर पुनरावर्तन द्वारा 2''d''−1 सन्निकट ट्रांसपोजिशन की संरचना के रूप में:
सामान्यतः हम सेट {1,...,''i'',...,''i+d'' पर ट्रांसपोजिशन (''i''&nbsp;''i+d'') लिख सकते हैं ,...} ''d'' पर पुनरावर्तन द्वारा 2''d''−1 सन्निकट ट्रांसपोजिशन की संरचना के रूप में:


* आधार स्थिति ''d=1'' तुच्छ है।
* आधार स्थिति ''d=1'' तुच्छ है।


* पुनरावर्ती स्थितियों में पहले (''i'', ''i+d'') को (''i'', ''i''+1) (''i''+1, ''i) के रूप में फिर से लिखें +d'') (''i'', ''i''+1)। फिर पुनरावर्ती रूप से पुनर्लेखन (''i''+1, ''i+d'') आसन्न प्रतिस्थापन के रूप में।
* पुनरावर्ती मामले में पहले (''i'', ''i+d'') को (''i'', ''i''+1) (''i''+1, ''i) के रूप में फिर से लिखें +d'') (''i'', ''i''+1)। फिर पुनरावर्ती रूप से पुनर्लेखन (''i''+1, ''i+d'') आसन्न प्रतिस्थापन के रूप में।
यदि हम इस तरह से प्रत्येक प्रतिस्थापन को विघटित करते हैं''T''<sub>1</sub>&nbsp;...&nbsp;''T''<sub>''k''</sub> ऊपर हमें नया अपघटन मिलता है:
यदि हम इस तरह से प्रत्येक प्रतिस्थापन को विघटित करते हैं''T''<sub>1</sub>&nbsp;...&nbsp;''T''<sub>''k''</sub> ऊपर, हमें नया अपघटन मिलता है:
:''σ'' = ''A''<sub>1</sub> ''A''<sub>2</sub> ... ''A<sub>m</sub>''
:''σ'' = ''A''<sub>1</sub> ''A''<sub>2</sub> ... ''A<sub>m</sub>''
जहां सभी ''A''<sub>1</sub>...''A<sub>m</sub>'' दाये-बाये हैं। साथ ही समानता ''m'' के समान ''k'' है।
जहां सभी ''A''<sub>1</sub>...''A<sub>m</sub>'' दाये-बाये हैं। साथ ही, की समानता ''m'' के समान ''k'' है।


यह एक तथ्य है: सभी क्रमचय ''τ'' और आसन्न स्थानान्तरण ''a,'' ''aτ'' के लिए या तो ''τ'' की तुलना में एक कम या एक अधिक उलटा है। दूसरे शब्दों में एक क्रमचय के व्युत्क्रमों की संख्या की समानता तब बदली जाती है जब एक निकटस्थ स्थानान्तरण के साथ रचना की जाती है।
यह एक तथ्य है: सभी क्रमचय ''τ'' और आसन्न स्थानान्तरण ''a,'' ''aτ'' के लिए या तो ''τ'' की तुलना में एक कम या एक अधिक उलटा है। दूसरे शब्दों में एक क्रमचय के व्युत्क्रमों की संख्या की समानता तब बदली जाती है जब एक निकटस्थ स्थानान्तरण के साथ रचना की जाती है।
Line 72: Line 71:
इसलिए, ''σ'' के व्युत्क्रमों की संख्या की समानता ''m'' की समानता है। जो ''k'' की समानता भी है। यही हम सिद्ध करने निकले हैं।
इसलिए, ''σ'' के व्युत्क्रमों की संख्या की समानता ''m'' की समानता है। जो ''k'' की समानता भी है। यही हम सिद्ध करने निकले हैं।


इस प्रकार हम ''σ'' की समता को परिभाषित कर सकते हैं। जो किसी भी अपघटन में इसके घटक परिवर्तनों की संख्या है और जैसा कि ऊपर देखा गया है। यह किसी भी आदेश के अनुसार  व्युत्क्रमों की संख्या की समानता से सहमत होना चाहिए। इसलिए परिभाषाएँ वास्तव में अच्छी तरह से परिभाषित और समकक्ष हैं।
इस प्रकार हम ''σ'' की समता को परिभाषित कर सकते हैं। जो किसी भी अपघटन में इसके घटक परिवर्तनों की संख्या है और जैसा कि ऊपर देखा गया है, यह किसी भी आदेश के अनुसार  व्युत्क्रमों की संख्या की समानता से सहमत होना चाहिए। इसलिए परिभाषाएँ वास्तव में अच्छी तरह से परिभाषित और समकक्ष हैं।
}}
}}


{{hidden|header=प्रमाण 2|content=
{{hidden|header=प्रमाण 2|content=
एक वैकल्पिक प्रमाण [[वैंडरमोंड बहुपद]] का उपयोग करता है
वैकल्पिक प्रमाण [[वैंडरमोंड बहुपद]] का उपयोग करता है।


:<math>P(x_1,\ldots,x_n)=\prod_{i<j} (x_i - x_j).</math>
:<math>P(x_1,\ldots,x_n)=\prod_{i<j} (x_i - x_j).</math>


तो उदाहरण के लिए {{nowrap|1=''n'' = 3}} हमारे पास है।
तो उदाहरण के लिए {{nowrap|1=''n'' = 3}}, हमारे पास है


:<math>P(x_1, x_2, x_3) = (x_1 - x_2)(x_2 - x_3)(x_1 - x_3).</math>
:<math>P(x_1, x_2, x_3) = (x_1 - x_2)(x_2 - x_3)(x_1 - x_3).</math>


अब संख्याओं {1, ..., ''n''} के दिए गए क्रमचय&nbsp;''σ'' के लिए हम परिभाषित करते हैं।
अब संख्याओं {1, ..., ''n''} के दिए गए क्रमचय&nbsp;''σ'' के लिए हम परिभाषित करते हैं


:<math>\sgn(\sigma)=\frac{P(x_{\sigma(1)},\ldots,x_{\sigma(n)})}{P(x_1,\ldots,x_n)}.</math>
:<math>\sgn(\sigma)=\frac{P(x_{\sigma(1)},\ldots,x_{\sigma(n)})}{P(x_1,\ldots,x_n)}.</math>


बहुपद के बाद से <math>P(x_{\sigma(1)},\dots,x_{\sigma(n)})</math> के समान कारक हैं। <math>P(x_1,\dots,x_n)</math> उनके संकेतों को छोड़कर यह इस प्रकार है कि sgn(''σ'') या तो +1 या -1 है। इसके अतिरिक्त अगर ''σ'' और ''τ'' दो क्रमचय हैं, तो हम देखते हैं
बहुपद के बाद से <math>P(x_{\sigma(1)},\dots,x_{\sigma(n)})</math> के समान कारक हैं <math>P(x_1,\dots,x_n)</math> उनके संकेतों को छोड़कर यह इस प्रकार है कि sgn(''σ'') या तो +1 या -1 है। इसके अलावा अगर ''σ'' और ''τ'' दो क्रमचय हैं। तो हम देखते हैं


: <math>
: <math>
Line 106: Line 105:
* <math>\tau_i^{}\tau_{i+1}\tau_i = \tau_{i+1}\tau_i\tau_{i+1}</math> &nbsp; सभी के लिए ''i'' < ''n''&nbsp;&minus;&nbsp;1
* <math>\tau_i^{}\tau_{i+1}\tau_i = \tau_{i+1}\tau_i\tau_{i+1}</math> &nbsp; सभी के लिए ''i'' < ''n''&nbsp;&minus;&nbsp;1
* <math>\tau_i^{}\tau_j = \tau_j\tau_i</math> &nbsp; if <math>|i- j| \geq 2.</math>
* <math>\tau_i^{}\tau_j = \tau_j\tau_i</math> &nbsp; if <math>|i- j| \geq 2.</math>
[यहाँ जनरेटर <math>\tau_i</math> (''i'', ''i''<nowiki> + 1)}} का प्रतिनिधित्व करता है।] सभी संबंध एक शब्द की लंबाई को समान रखते हैं या इसे दो से बदलते हैं। एक सम-लंबाई वाले शब्द से शुरू करने से संबंधों का उपयोग करने के बाद हमेशा समान-लंबाई वाले शब्द का परिणाम होगा और इसी तरह विषम-लंबाई वाले शब्दों के लिए भी। इसलिए इसके तत्वों को कॉल करना असंदिग्ध है। S</nowiki><sub>''n''</sub> सम-लंबाई वाले शब्दों "सम" द्वारा प्रतिनिधित्व किया जाता है और तत्वों को विषम-लंबाई वाले शब्दों "विषम" द्वारा दर्शाया जाता है।
[यहाँ जनरेटर <math>\tau_i</math> (''i'', ''i''<nowiki> + 1)}} का प्रतिनिधित्व करता है।] सभी संबंध एक शब्द की लंबाई को समान रखते हैं। या इसे दो से बदलते हैं। एक सम-लंबाई वाले शब्द से शुरू करने से संबंधों का उपयोग करने के बाद हमेशा एक समान-लंबाई वाले शब्द का परिणाम होगा, और इसी तरह विषम-लंबाई वाले शब्दों के लिए भी। इसलिए इसके तत्वों को कॉल करना असंदिग्ध है। S</nowiki><sub>''n''</sub> सम-लंबाई वाले शब्दों "सम" द्वारा प्रतिनिधित्व किया जाता है, और तत्वों को विषम-लंबाई वाले शब्दों "विषम" द्वारा दर्शाया जाता है।
}}
}}


{{hidden|header=प्रमाण 4|content=
{{hidden|header=प्रमाण 4|content=
याद रखें कि एक जोड़ी ''x'', ''y'' जैसे कि {{nowrap|''x'' <''y''}} और {{nowrap|''σ''(''x'' ) > ''σ''(''y'')}} को उलटा कहा जाता है। हम यह दिखाना चाहते हैं कि व्युत्क्रमों की गिनती में 2-तत्व स्वैप की गिनती के समान समानता है। ऐसा करने के लिए हम दिखा सकते हैं कि प्रत्येक परिवर्तन व्युत्क्रमों की गिनती की समानता को बदल देती है। इससे कोई फर्क नहीं पड़ता कि कौन से दो तत्वों का परिवर्तन किया जा रहा है और कौन सा क्रमचय पहले ही लागू किया जा चुका है।  
याद रखें कि एक जोड़ी ''x'', ''y'' जैसे कि {{nowrap|''x'' <''y''}} और {{nowrap|''σ''(''x'' ) > ''σ''(''y'')}} को उलटा कहा जाता है। हम यह दिखाना चाहते हैं कि व्युत्क्रमों की गिनती में 2-तत्व स्वैप की गिनती के समान समानता है। ऐसा करने के लिए, हम दिखा सकते हैं कि प्रत्येक अदला-बदली व्युत्क्रमों की गिनती की समानता को बदल देती है, इससे कोई फर्क नहीं पड़ता कि कौन से दो तत्वों की अदला-बदली की जा रही है और कौन सा क्रमचय पहले ही लागू किया जा चुका है।  
मान लीजिए कि हम ''i''वें और ''j''वें तत्व की परिवर्तन करना चाहते हैं। स्पष्ट रूप से {{nowrap|[''i'', ''j'']}} के बाहर किसी तत्व के साथ ''i'' या ''j'' द्वारा गठित व्युत्क्रम प्रभावित नहीं होंगे।
मान लीजिए कि हम ''i''वें और ''j''वें तत्व की अदला-बदली करना चाहते हैं। स्पष्ट रूप से, {{nowrap|[''i'', ''j'']}} के बाहर किसी तत्व के साथ ''i'' या ''j'' द्वारा गठित व्युत्क्रम प्रभावित नहीं होंगे।
{{nowrap|1=''n'' = ''j'' &minus; ''मैं'' &ऋण; 1}} अंतराल के भीतर तत्व {{nowrap|(''i'', ''j'')}}, मान लें कि ''v''<sub>''i''</sub> उनमें से ''i'' के साथ व्युत्क्रम बनाते हैं और''v''<sub>''j''</sub> उनमें से 'J' के साथ व्युत्क्रम बनाते हैं। यदि ''i'' और ''j'' का परिवर्तन किया जाता है। तो वो ''v''<sub>''i''</sub> उनमें से 'J' के साथ व्युत्क्रम बनाते हैं। यदि ''i'' और ''j'' का  परिवर्तन किया जाता है। तो वो ''v''<sub>''i''</sub><nowiki>}} inversions are formed. The count of inversions </nowiki>''i'' gained is thus {{nowrap|''n'' &minus; 2''v''<sub>''i''</sub>}}, जिसकी समानता ''n'' के समान है।
{{nowrap|1=''n'' = ''j'' &minus; ''मैं'' &ऋण; 1}} अंतराल के भीतर तत्व {{nowrap|(''i'', ''j'')}}, मान लें कि ''v''<sub>''i''</sub> उनमें से ''i'' के साथ व्युत्क्रम बनाते हैं और''v''<sub>''j''</sub> उनमें से 'जे' के साथ व्युत्क्रम बनाते हैं। यदि ''i'' और ''j'' की अदला-बदली की जाती है, तो वो ''v''<sub>''i''</sub> उनमें से 'जे' के साथ व्युत्क्रम बनाते हैं। यदि ''i'' और ''j'' की अदला-बदली की जाती है, तो वो ''v''<sub>''i''</sub><nowiki>}} inversions are formed. The count of inversions </nowiki>''i'' gained is thus {{nowrap|''n'' &minus; 2''v''<sub>''i''</sub>}}, जिसकी समानता ''n'' के समान है।
   
   
इसी प्रकार प्राप्त व्युत्क्रम ''j'' की गणना में भी ''n'' के समान समानता है। इसलिए दोनों संयुक्त द्वारा प्राप्त व्युत्क्रमों की संख्या में 2''n'' या 0. के समान समानता है। वें तत्व हम देख सकते हैं कि यह परिवर्तन व्युत्क्रमों की गिनती की समानता को बदल देती है। क्योंकि हम जोड़ी ''(i,j)'' के लिए प्राप्त व्युत्क्रमों की संख्या में 1 जोड़ते हैं (या घटाते हैं।)  
इसी प्रकार, प्राप्त व्युत्क्रम ''j'' की गणना में भी ''n'' के समान समानता है। इसलिए, दोनों संयुक्त द्वारा प्राप्त व्युत्क्रमों की संख्या में 2''n'' या 0. के समान समानता है। 'वें तत्व, हम देख सकते हैं कि यह अदला-बदली व्युत्क्रमों की गिनती की समानता को बदल देती है, क्योंकि हम जोड़ी ''(i,j)'' के लिए प्राप्त व्युत्क्रमों की संख्या में 1 जोड़ते हैं (या घटाते हैं) .
ध्यान दें कि शुरू में जब कोई स्वैप लागू नहीं होता है, तो व्युत्क्रमों की संख्या 0 होती है। अब हम क्रमचय की समता की दो परिभाषाओं की समानता प्राप्त करते हैं।
ध्यान दें कि शुरू में जब कोई स्वैप लागू नहीं होता है, तो व्युत्क्रमों की संख्या 0 होती है। अब हम क्रमचय की समता की दो परिभाषाओं की समानता प्राप्त करते हैं।
}}
}}


{{hidden|header=प्रमाण 5|content=
{{hidden|header=प्रमाण 5|content=
उन तत्वों पर विचार करें जो स्थानान्तरण के दो तत्वों द्वारा सैंडविच होते हैं। हर एक पूरी तरह से ऊपर, पूरी तरह से नीचे, या दो वाष्पोत्सर्जन तत्वों के बीच में स्थित है।
उन तत्वों पर विचार करें जो एक स्थानान्तरण के दो तत्वों द्वारा सैंडविच होते हैं। हर एक पूरी तरह से ऊपर, पूरी तरह से नीचे, या दो वाष्पोत्सर्जन तत्वों के बीच में स्थित है।


एक तत्व जो पूरी तरह से ऊपर या पूरी तरह से नीचे है। ट्रांसपोजिशन लागू होने पर व्युत्क्रम गणना में कुछ भी योगदान नहीं देता है। बीच के तत्व योगदान करते हैं <math>2</math>.
एक तत्व जो या तो पूरी तरह से ऊपर या पूरी तरह से नीचे है, ट्रांसपोजिशन लागू होने पर व्युत्क्रम गणना में कुछ भी योगदान नहीं देता है। बीच के तत्व योगदान करते हैं <math>2</math>.


जैसा कि ट्रांसपोजिशन ही आपूर्ति करता है। <math>\pm1</math> व्युत्क्रम और अन्य सभी 0 (mod 2) व्युत्क्रम प्रदान करते हैं। एक स्थानान्तरण व्युत्क्रमों की संख्या की समानता को बदल देता है।
जैसा कि ट्रांसपोजिशन ही आपूर्ति करता है <math>\pm1</math> व्युत्क्रम, और अन्य सभी 0 (mod 2) व्युत्क्रम प्रदान करते हैं, एक स्थानान्तरण व्युत्क्रमों की संख्या की समानता को बदल देता है।
}}
}}


== अन्य परिभाषाएं और प्रमाण ==
== अन्य परिभाषाएं और प्रमाण ==
क्रमचय की समता <math>n</math> इसके चक्रीय क्रमपरिवर्तन में अंक भी एन्कोड किए गए हैं।
के क्रमचय की समता <math>n</math> इसके चक्रीय क्रमपरिवर्तन में अंक भी एन्कोड किए गए हैं।


माना ''σ'' = (''i''<sub>1</sub> ''i''<sub>2</sub> ... ''i<sub>r</sub>''<sub>+1</sub>)(''j''<sub>1</sub> ''j''<sub>2</sub> ... ''j<sub>s</sub>''<sub>+1</sub>)...(''''<sub>1</sub> ''''<sub>2</sub> ... ''ℓ<sub>u</sub>''<sub>+1</sub>) अद्वितीय चक्र संकेतन हो। σ का असंयुक्त चक्रों में अपघटन जिसे किसी भी क्रम में बनाया जा सकता है। क्योंकि वे यात्रा करते हैं। एक चक्र {{nowrap|(''a'' ''b'' ''c'' ... ''x'' ''y'' ''z'')}} शामिल है। {{nowrap|''k'' + 1}} अंक हमेशा के ट्रांसपोजिशन (2-चक्र) बनाकर प्राप्त किए जा सकते हैं।
माना σ = (i<sub>1</sub> i<sub>2</sub> ... मैं<sub>''r''+1</sub>)(जे<sub>1</sub> j<sub>2</sub> ... जे<sub>''s''+1</sub>)...(ℓ<sub>1</sub> ℓ<sub>2</sub> ... ℓ<sub>''u''+1</sub>) अद्वितीय चक्र संकेतन हो | σ का असंयुक्त चक्रों में अपघटन, जिसे किसी भी क्रम में बनाया जा सकता है क्योंकि वे यात्रा करते हैं। एक चक्र {{nowrap|(''a'' ''b'' ''c'' ... ''x'' ''y'' ''z'')}} शामिल है {{nowrap|''k'' + 1}} अंक सदैव के ट्रांसपोजिशन (2-चक्र) बनाकर प्राप्त किए जा सकते हैं:


:<math>(a\ b\ c \dots x\ y\ z)=(a\ b)(b\ c) \dots (x\ y)(y\ z),</math>
:<math>(a\ b\ c \dots x\ y\ z)=(a\ b)(b\ c) \dots (x\ y)(y\ z),</math>
इसलिए k को चक्र का आकार कहते हैं और निरीक्षण करते हैं कि इस परिभाषा के अनुसार ट्रांसपोज़िशन आकार के 1 चक्र हैं। अपघटन से m विसंक्रमित चक्रों में हम σ का अपघटन प्राप्त कर सकते हैं। {{nowrap|''k''<sub>1</sub> + ''k''<sub>2</sub> + ... + ''k''<sub>''m''</sub>}} स्थानान्तरण जहाँ k<sub>''i''</sub> वें चक्र का आकार है। जो नंबर {{nowrap|1=''N''(''σ'') = ''k''<sub>1</sub> + ''k''<sub>2</sub> + ... + ''k''<sub>''m''</sub>}} को σ का विवेचक कहा जाता है और इसकी गणना भी की जा सकती है।
इसलिए k को चक्र का आकार कहते हैं, और निरीक्षण करते हैं कि, इस परिभाषा के तहत, ट्रांसपोज़िशन आकार 1 के चक्र हैं। अपघटन से m विसंक्रमित चक्रों में हम σ का अपघटन प्राप्त कर सकते हैं {{nowrap|''k''<sub>1</sub> + ''k''<sub>2</sub> + ... + ''k''<sub>''m''</sub>}} स्थानान्तरण, जहाँ k<sub>''i''</sub> iवें चक्र का आकार है। जो नंबर {{nowrap|1=''N''(''σ'') = ''k''<sub>1</sub> + ''k''<sub>2</sub> + ... + ''k''<sub>''m''</sub>}} को σ का विवेचक कहा जाता है, और इसकी गणना भी की जा सकती है


:<math>n \text{ minus the number of disjoint cycles in the decomposition of } \sigma</math>
:<math>n \text{ minus the number of disjoint cycles in the decomposition of } \sigma</math>
यदि हम σ के निश्चित बिंदुओं को 1-चक्र के रूप में शामिल करने का ख्याल रखते हैं।
अगर हम σ के निश्चित बिंदुओं को 1-चक्र के रूप में शामिल करने का ख्याल रखते हैं।


मान लीजिए कि क्रमचय σ के बाद स्थानान्तरण (a b) लागू किया जाता है। जब a और b σ के विभिन्न चक्रों में होते हैं। तब
मान लीजिए कि एक क्रमचय σ के बाद एक स्थानान्तरण (a b) प्रयुक्त किया जाता है। जब a और b σ के विभिन्न चक्रों में होते हैं तब
:<math>(a\ b)(a\ c_1\ c_2 \dots c_r)(b\ d_1\ d_2 \dots d_s) = (a\ c_1\ c_2 \dots c_r\ b\ d_1\ d_2 \dots d_s)</math>,
:<math>(a\ b)(a\ c_1\ c_2 \dots c_r)(b\ d_1\ d_2 \dots d_s) = (a\ c_1\ c_2 \dots c_r\ b\ d_1\ d_2 \dots d_s)</math>,


और यदि a और b σ के एक ही चक्र में हैं। तो
और अगर ए और बी σ के एक ही चक्र में हैं तो


:<math>(a\ b)(a c_1 c_2 \dots c_r\ b\ d_1\ d_2 \dots d_s) = (a\ c_1\ c_2 \dots c_r)(b\ d_1\ d_2 \dots d_s)</math>.
:<math>(a\ b)(a c_1 c_2 \dots c_r\ b\ d_1\ d_2 \dots d_s) = (a\ c_1\ c_2 \dots c_r)(b\ d_1\ d_2 \dots d_s)</math>.


किसी भी स्थितियों में यह देखा जा सकता है {{nowrap|1=''N''((''a'' ''b'')''σ'') = ''N''(''σ'') ± 1}}, इसलिए N((a b)σ) की समता N(σ) की समता से भिन्न होगी।
किसी भी मामले में, यह देखा जा सकता है {{nowrap|1=''N''((''a'' ''b'')''σ'') = ''N''(''σ'') ± 1}}, इसलिए N((a b)σ) की समता N(σ) की समता से भिन्न होगी।


अगर {{nowrap|1=''σ'' = ''t''<sub>1</sub>''t''<sub>2</sub> ... ''t''<sub>''r''</sub>}} एक क्रमचय σ का इच्छानुसार अपघटन है। r ट्रांसपोज़िशन को लागू करके <math>t_1</math> के बाद t<sub>2</sub> के बाद ... t<sub>''r''</sub> सर्वसमिका (जिसका N शून्य है) के बाद निरीक्षण करें कि N(σ) और r में समानता है। σ की समता को N(σ) की समता के रूप में परिभाषित करके क्रमचय जिसमें समान लंबाई का अपघटन होता है। सम क्रमचय होता है और एक क्रमचय जिसमें एक विषम लंबाई का अपघटन होता है। विषम क्रमचय होता है।
अगर {{nowrap|1=''σ'' = ''t''<sub>1</sub>''t''<sub>2</sub> ... ''t''<sub>''r''</sub>}} एक क्रमचय σ का मनमाना अपघटन है, r ट्रांसपोज़िशन को प्रयुक्त करके <math>t_1</math> टी के बाद<sub>2</sub> के बाद ... टी के बाद<sub>''r''</sub> सर्वसमिका (जिसका N शून्य है) के बाद निरीक्षण करें कि N(σ) और r में समानता है। σ की समता को N(σ) की समता के रूप में परिभाषित करके, एक क्रमचय जिसमें एक समान लंबाई का अपघटन होता है, एक सम क्रमचय होता है और एक क्रमचय जिसमें एक विषम लंबाई का अपघटन होता है, एक विषम क्रमचय होता है।


; टिप्पणियां
; टिप्पणियां:
*उपर्युक्त तर्क की सावधानीपूर्वक जांच से पता चलता है। {{nowrap|''r'' ≥ ''N''(''σ'')}} और चक्रों में σ के किसी भी अपघटन के बाद से जिनके आकार r के बराबर होते हैं। उन्हें r पारदर्शिता की संरचना के रूप में व्यक्त किया जा सकता है। संख्या N(σ) σ के अपघटन में चक्रों के आकार का न्यूनतम संभव योग है। जिसमें शामिल है ऐसी स्थितियों जिनमें सभी चक्र स्थानान्तरण हैं।
*उपर्युक्त तर्क की सावधानीपूर्वक जांच से पता चलता है {{nowrap|''r'' ≥ ''N''(''σ'')}}, और चक्रों में σ के किसी भी अपघटन के बाद से जिनके आकार r के बराबर होते हैं, उन्हें r पारदर्शिता की संरचना के रूप में व्यक्त किया जा सकता है, संख्या N(σ) σ के अपघटन में चक्रों के आकार का न्यूनतम संभव योग है, जिसमें शामिल है ऐसे मामले जिनमें सभी चक्र स्थानान्तरण हैं।
* यह प्रमाण उन बिंदुओं के सेट में (संभवतः इच्छानुसार) आदेश नहीं देता है। जिन पर σ कार्य करता है।
* यह प्रमाण उन बिंदुओं के सेट में (संभवतः मनमाना) आदेश नहीं देता है जिन पर σ कार्य करता है।


== सामान्यीकरण ==
== सामान्यीकरण ==
समता को [[कॉक्सेटर समूह|कॉक्सेटर समूहों]] के लिए सामान्यीकृत किया जा सकता है। एक लंबाई फ़ंक्शन ℓ(v) को परिभाषित करता है। जो जनरेटर की पसंद पर निर्भर करता है। (सममित समूह के लिए, आसन्न पारदर्शिता) और फिर फ़ंक्शन {{nowrap|''v'' ↦ (&minus;1)<sup>ℓ(''v'')</sup>}} एक सामान्यीकृत साइन मैप देता है।
समता को [[कॉक्सेटर समूह]]ों के लिए सामान्यीकृत किया जा सकता है: एक लंबाई फ़ंक्शन ℓ(v) को परिभाषित करता है, जो जनरेटर की पसंद पर निर्भर करता है (सममित समूह के लिए, आसन्न पारदर्शिता), और फिर फ़ंक्शन {{nowrap|''v'' ↦ (&minus;1)<sup>ℓ(''v'')</sup>}} एक सामान्यीकृत साइन मैप देता है।


== यह भी देखें ==
== यह भी देखें ==
* [[पंद्रह पहेली]] एक क्लासिक अनुप्रयोग है।
* [[पंद्रह पहेली]] एक क्लासिक अनुप्रयोग है
* ज़ोलोटारेव की लेम्मा
* ज़ोलोटारेव की लेम्मा


Line 169: Line 168:
* {{cite book |last1=Goodman |first1=Frederick M. |title=Algebra: Abstract and Concrete |isbn=978-0-9799142-0-1  }}
* {{cite book |last1=Goodman |first1=Frederick M. |title=Algebra: Abstract and Concrete |isbn=978-0-9799142-0-1  }}
* {{cite book |last1=Meijer |first1=Paul Herman Ernst |last2=Bauer |first2=Edmond |title=Group theory: the application to quantum mechanics |series=Dover classics of science and mathematics |year=2004 |publisher=Dover Publications |isbn=978-0-486-43798-9  }}
* {{cite book |last1=Meijer |first1=Paul Herman Ernst |last2=Bauer |first2=Edmond |title=Group theory: the application to quantum mechanics |series=Dover classics of science and mathematics |year=2004 |publisher=Dover Publications |isbn=978-0-486-43798-9  }}
[[Category: समूह सिद्धांत]] [[Category: क्रमपरिवर्तन]] [[Category: समता (गणित)]] [[Category: प्रमाण युक्त लेख]]
   


[[ru:Перестановка#Связанные определения]]
[[ru:Перестановка#Связанные определения]]


[[Category: Machine Translated Page]]
[[Category:Created On 21/03/2023]]
[[Category:Created On 21/03/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:क्रमपरिवर्तन]]
[[Category:प्रमाण युक्त लेख]]
[[Category:समता (गणित)]]
[[Category:समूह सिद्धांत]]

Latest revision as of 10:11, 18 April 2023

4 तत्वों के क्रमचय

विषम क्रमपरिवर्तन की पृष्ठभूमि हरे या नारंगी रंग की होती है। दाहिने कॉलम में संख्याएँ व्युत्क्रम (असतत गणित) संख्याएँ हैं (sequence A034968 in the OEIS), जिसमें क्रमचय के समान समानता (गणित) है।

गणित में जब X कम से कम दो तत्वों के साथ एक परिमित समुच्चय होता है। तो X के क्रमचय (अर्थात X से X तक के विशेषण कार्य) समान आकार के दो वर्गों में आते हैं। 'सम क्रमपरिवर्तन' और 'विषम क्रमपरिवर्तन' यदि X का कोई कुल क्रम निश्चित है। तो क्रमपरिवर्तन की 'समता' ('विषमता' या 'समानता') X को σ के लिए व्युत्क्रमण (असतत गणित) की संख्या की समानता के रूप में परिभाषित किया जा सकता है। अर्थात X के तत्वों x,  y के जोड़े जैसे कि x < y और σ(x) > σ(y).

किसी क्रमचय σ के चिह्न हस्ताक्षर या चिह्न को sgn(σ) दर्शाया जाता है और यदि σ सम है। तो +1 के रूप में परिभाषित किया जाता है और -1 यदि σ विषम है। हस्ताक्षर सममित समूह Sn के वैकल्पिक चरित्र (गणित) को परिभाषित करता है। क्रमचय के चिह्न के लिए एक अन्य संकेत अधिक सामान्य लेवी-सिविता प्रतीक (εσ) जो X से X तक के सभी नक्शों के लिए परिभाषित है और बायजेक्शन के लिए मान शून्य है। गैर-विशेषण मानचित्र।

एक क्रमचय का संकेत स्पष्ट रूप से व्यक्त किया जा सकता है

sgn(σ) = (−1)N(σ)

जहां N(σ) σ में व्युत्क्रम (असतत गणित) की संख्या है।

वैकल्पिक रूप से क्रमचय के चिह्न σ को इसके अपघटन से स्थानान्तरण (गणित) के उत्पाद में परिभाषित किया जा सकता है।

sgn(σ) = (−1)m

जहाँ m अपघटन में स्थानान्तरण की संख्या है। चूंकि इस तरह का एक अपघटन अद्वितीय नहीं है। सभी अपघटन में परिवर्तनों की संख्या की समानता समान है। जिसका अर्थ है कि क्रमचय का संकेत अच्छी तरह से परिभाषित है।[1]


उदाहरण

सेट के क्रमचय σ पर विचार करें {1, 2, 3, 4, 5} द्वारा परिभाषित और एक-पंक्ति संकेतन में इस क्रमचय को 34521 दर्शाया गया है। इसे पहचान क्रमचय 12345 से तीन परिवर्तनों द्वारा प्राप्त किया जा सकता है। पहले संख्या 2 और 4 का आदान-प्रदान करें। फिर 3 और 5 का आदान-प्रदान करें और अंत में 1 और 3 का आदान-प्रदान करें। यह दर्शाता है कि दिया गया क्रमचय σ विषम है। क्रमपरिवर्तन # साइकिल नोटेशन लेख की विधि का अनुसरण करते हुए इसे बाएँ से दाएँ लिखते हुए लिखा जा सकता है। जैसा कि

उदाहरण के लिए ट्रांसपोज़िशन की कार्यात्मक संरचना के रूप में σ लिखने के कई अन्य तरीके हैं।

σ = (1 5)(3 4)(2 4)(1 2)(2 3),

किन्तुइसे सम संख्या के रूपांतरणों के उत्पाद के रूप में लिखना असंभव है।

गुण

पहचान क्रमचय एक समान क्रमचय है।[1] एक समान क्रमचय को एक सम और विषम संख्याओं की संरचना के रूप में प्राप्त किया जा सकता है और केवल दो तत्वों के आदान-प्रदान (जिन्हें ट्रांसपोजिशन (गणित) कहा जाता है) की समान संख्या है। जबकि एक विषम क्रमपरिवर्तन (केवल) विषम संख्या में ट्रांसपोज़िशन द्वारा प्राप्त किया जा सकता है।

निम्नलिखित नियम पूर्णांकों के योग के बारे में संबंधित नियमों से सीधे अनुसरण करते हैं।[1] दो सम क्रमचयों का संघटन सम होता है।

  • दो विषम क्रमचयों का संघटन सम होता है।
  • विषम और सम क्रमचय का संयोजन विषम होता है।

इनसे यह अनुसरण करता है।

  • प्रत्येक सम क्रमचय का व्युत्क्रम सम होता है।
  • प्रत्येक विषम क्रमचय का व्युत्क्रम विषम होता है।

सममित समूह एस को ध्यान में रखते हुएn सेट {1, ..., n} के सभी क्रमपरिवर्तनों में हम यह निष्कर्ष निकाल सकते हैं कि मानचित्र

sgn: Sn → {−1, 1} 

जो प्रत्येक क्रमचय को निर्दिष्ट करता है उसका हस्ताक्षर एक समूह समरूपता है।[2]

इसके अतिरिक्त हम देखते हैं कि सम क्रमपरिवर्तन Sn का एक उपसमूह बनाते हैं।[1] यह n अक्षरों पर वैकल्पिक समूह है। जिसे An द्वारा दर्शाया गया है।[3] यह होमोमोर्फिज्म एसजीएन का कर्नेल (बीजगणित) है। विषम क्रमचय एक उपसमूह नहीं बना सकते हैं। क्योंकि दो विषम क्रमपरिवर्तन का योग सम है। किन्तुवे An (Sn में) का सहसमुच्चय बनाते हैं[4]

अगर n > 1 तो Sn में उतने ही सम क्रमपरिवर्तन हैं। जैसा कि विषम हैं।[3] परिणामस्वरूप, An में n!/2 क्रमचय होते हैं। (कारण यह है कि यदि σ सम है। (1  2)σ विषम है और यदि σ विषम है। तो (1  2)σ सम है और ये दोनों मानचित्र एक दूसरे के व्युत्क्रम हैं।)[3]

एक चक्रीय क्रमचय सम है। यदि केवल इसकी लंबाई विषम है। यह जैसे सूत्रों से होता है।

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

एक दिया गया क्रमचय सम या विषम है। यह निर्धारित करने के लिए एक अन्य विधि संबंधित क्रमचय मैट्रिक्स का निर्माण करना और उसके निर्धारक की गणना करना है। निर्धारक का मान क्रमचय की समानता के समान है।

विषम क्रम (समूह सिद्धांत) का प्रत्येक क्रमचय सम होना चाहिए। क्रमपरिवर्तन (1 2)(3 4) में A4 दर्शाता है। कि इसका विलोम सामान्य रूप से सत्य नहीं है।

दो परिभाषाओं की समानता

यह खंड प्रमाण प्रस्तुत करता है कि क्रमचय σ की समानता को दो समान तरीकों से परिभाषित किया जा सकता है:

  • σ (किसी भी क्रम में) में व्युत्क्रमों की संख्या की समानता के रूप में।
  • ट्रांसपोज़िशन की संख्या की समानता के रूप में जिसे σ को विघटित किया जा सकता है (हालाँकि हम इसे विघटित करना चुनते हैं)।
प्रमाण 1

मान लें कि σ रैंक किए गए डोमेन S पर एक क्रमचय है। प्रत्येक क्रमचय ट्रांसपोजिशन (2-एलिमेंट एक्सचेंज) के अनुक्रम द्वारा निर्मित किया जा सकता है। निम्नलिखित को एक ऐसा अपघटन होने दें

σ = T1 T2 ... Tk

हम दिखाना चाहते हैं कि k की समता σ के व्युत्क्रमों की संख्या की समता के बराबर है।

प्रत्येक ट्रांसपोजिशन को आसन्न तत्वों के विषम संख्या के ट्रांसपोजिशन के उत्पाद के रूप में लिखा जा सकता है। उदा।:(2 5) = (2 3) (3 4) (4 5) (4 3) (3 2). सामान्यतः हम सेट {1,...,i,...,i+d पर ट्रांसपोजिशन (i i+d) लिख सकते हैं ,...} d पर पुनरावर्तन द्वारा 2d−1 सन्निकट ट्रांसपोजिशन की संरचना के रूप में:

  • आधार स्थिति d=1 तुच्छ है।
  • पुनरावर्ती मामले में पहले (i, i+d) को (i, i+1) (i+1, i) के रूप में फिर से लिखें +d) (i, i+1)। फिर पुनरावर्ती रूप से पुनर्लेखन (i+1, i+d) आसन्न प्रतिस्थापन के रूप में।

यदि हम इस तरह से प्रत्येक प्रतिस्थापन को विघटित करते हैंT1 ... Tk ऊपर, हमें नया अपघटन मिलता है:

σ = A1 A2 ... Am

जहां सभी A1...Am दाये-बाये हैं। साथ ही, की समानता m के समान k है।

यह एक तथ्य है: सभी क्रमचय τ और आसन्न स्थानान्तरण a, के लिए या तो τ की तुलना में एक कम या एक अधिक उलटा है। दूसरे शब्दों में एक क्रमचय के व्युत्क्रमों की संख्या की समानता तब बदली जाती है जब एक निकटस्थ स्थानान्तरण के साथ रचना की जाती है।

इसलिए, σ के व्युत्क्रमों की संख्या की समानता m की समानता है। जो k की समानता भी है। यही हम सिद्ध करने निकले हैं।

इस प्रकार हम σ की समता को परिभाषित कर सकते हैं। जो किसी भी अपघटन में इसके घटक परिवर्तनों की संख्या है और जैसा कि ऊपर देखा गया है, यह किसी भी आदेश के अनुसार व्युत्क्रमों की संख्या की समानता से सहमत होना चाहिए। इसलिए परिभाषाएँ वास्तव में अच्छी तरह से परिभाषित और समकक्ष हैं।
प्रमाण 2

वैकल्पिक प्रमाण वैंडरमोंड बहुपद का उपयोग करता है।

तो उदाहरण के लिए n = 3, हमारे पास है

अब संख्याओं {1, ..., n} के दिए गए क्रमचय σ के लिए हम परिभाषित करते हैं

बहुपद के बाद से के समान कारक हैं उनके संकेतों को छोड़कर यह इस प्रकार है कि sgn(σ) या तो +1 या -1 है। इसके अलावा अगर σ और τ दो क्रमचय हैं। तो हम देखते हैं

चूंकि इस परिभाषा के साथ यह और भी स्पष्ट है कि दो तत्वों के किसी भी स्थानान्तरण में हस्ताक्षर −1 होता है। हम वास्तव में हस्ताक्षर को पुनः प्राप्त करते हैं। जैसा कि पहले परिभाषित किया गया था।
प्रमाण 3

तीसरा दृष्टिकोण समूह के प्रस्तुति का उपयोग करता है। Sn जनरेटर के मामले में τ1, ..., τn−1 और संबंध

  •   सभी के लिए i
  •   सभी के लिए i < n − 1
  •   if
[यहाँ जनरेटर (i, i + 1)}} का प्रतिनिधित्व करता है।] सभी संबंध एक शब्द की लंबाई को समान रखते हैं। या इसे दो से बदलते हैं। एक सम-लंबाई वाले शब्द से शुरू करने से संबंधों का उपयोग करने के बाद हमेशा एक समान-लंबाई वाले शब्द का परिणाम होगा, और इसी तरह विषम-लंबाई वाले शब्दों के लिए भी। इसलिए इसके तत्वों को कॉल करना असंदिग्ध है। Sn सम-लंबाई वाले शब्दों "सम" द्वारा प्रतिनिधित्व किया जाता है, और तत्वों को विषम-लंबाई वाले शब्दों "विषम" द्वारा दर्शाया जाता है।
प्रमाण 4

याद रखें कि एक जोड़ी x, y जैसे कि x <y और σ(x ) > σ(y) को उलटा कहा जाता है। हम यह दिखाना चाहते हैं कि व्युत्क्रमों की गिनती में 2-तत्व स्वैप की गिनती के समान समानता है। ऐसा करने के लिए, हम दिखा सकते हैं कि प्रत्येक अदला-बदली व्युत्क्रमों की गिनती की समानता को बदल देती है, इससे कोई फर्क नहीं पड़ता कि कौन से दो तत्वों की अदला-बदली की जा रही है और कौन सा क्रमचय पहले ही लागू किया जा चुका है। मान लीजिए कि हम iवें और jवें तत्व की अदला-बदली करना चाहते हैं। स्पष्ट रूप से, [i, j] के बाहर किसी तत्व के साथ i या j द्वारा गठित व्युत्क्रम प्रभावित नहीं होंगे। n = jमैं &ऋण; 1 अंतराल के भीतर तत्व (i, j), मान लें कि vi उनमें से i के साथ व्युत्क्रम बनाते हैं औरvj उनमें से 'जे' के साथ व्युत्क्रम बनाते हैं। यदि i और j की अदला-बदली की जाती है, तो वो vi उनमें से 'जे' के साथ व्युत्क्रम बनाते हैं। यदि i और j की अदला-बदली की जाती है, तो वो vi}} inversions are formed. The count of inversions i gained is thus n − 2vi, जिसकी समानता n के समान है।

इसी प्रकार, प्राप्त व्युत्क्रम j की गणना में भी n के समान समानता है। इसलिए, दोनों संयुक्त द्वारा प्राप्त व्युत्क्रमों की संख्या में 2n या 0. के समान समानता है। 'वें तत्व, हम देख सकते हैं कि यह अदला-बदली व्युत्क्रमों की गिनती की समानता को बदल देती है, क्योंकि हम जोड़ी (i,j) के लिए प्राप्त व्युत्क्रमों की संख्या में 1 जोड़ते हैं (या घटाते हैं) .

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

उन तत्वों पर विचार करें जो एक स्थानान्तरण के दो तत्वों द्वारा सैंडविच होते हैं। हर एक पूरी तरह से ऊपर, पूरी तरह से नीचे, या दो वाष्पोत्सर्जन तत्वों के बीच में स्थित है।

एक तत्व जो या तो पूरी तरह से ऊपर या पूरी तरह से नीचे है, ट्रांसपोजिशन लागू होने पर व्युत्क्रम गणना में कुछ भी योगदान नहीं देता है। बीच के तत्व योगदान करते हैं .

जैसा कि ट्रांसपोजिशन ही आपूर्ति करता है व्युत्क्रम, और अन्य सभी 0 (mod 2) व्युत्क्रम प्रदान करते हैं, एक स्थानान्तरण व्युत्क्रमों की संख्या की समानता को बदल देता है।

अन्य परिभाषाएं और प्रमाण

के क्रमचय की समता इसके चक्रीय क्रमपरिवर्तन में अंक भी एन्कोड किए गए हैं।

माना σ = (i1 i2 ... मैंr+1)(जे1 j2 ... जेs+1)...(ℓ12 ... ℓu+1) अद्वितीय चक्र संकेतन हो | σ का असंयुक्त चक्रों में अपघटन, जिसे किसी भी क्रम में बनाया जा सकता है क्योंकि वे यात्रा करते हैं। एक चक्र (a b c ... x y z) शामिल है k + 1 अंक सदैव के ट्रांसपोजिशन (2-चक्र) बनाकर प्राप्त किए जा सकते हैं:

इसलिए k को चक्र का आकार कहते हैं, और निरीक्षण करते हैं कि, इस परिभाषा के तहत, ट्रांसपोज़िशन आकार 1 के चक्र हैं। अपघटन से m विसंक्रमित चक्रों में हम σ का अपघटन प्राप्त कर सकते हैं k1 + k2 + ... + km स्थानान्तरण, जहाँ ki iवें चक्र का आकार है। जो नंबर N(σ) = k1 + k2 + ... + km को σ का विवेचक कहा जाता है, और इसकी गणना भी की जा सकती है

अगर हम σ के निश्चित बिंदुओं को 1-चक्र के रूप में शामिल करने का ख्याल रखते हैं।

मान लीजिए कि एक क्रमचय σ के बाद एक स्थानान्तरण (a b) प्रयुक्त किया जाता है। जब a और b σ के विभिन्न चक्रों में होते हैं तब

,

और अगर ए और बी σ के एक ही चक्र में हैं तो

.

किसी भी मामले में, यह देखा जा सकता है N((a b)σ) = N(σ) ± 1, इसलिए N((a b)σ) की समता N(σ) की समता से भिन्न होगी।

अगर σ = t1t2 ... tr एक क्रमचय σ का मनमाना अपघटन है, r ट्रांसपोज़िशन को प्रयुक्त करके टी के बाद2 के बाद ... टी के बादr सर्वसमिका (जिसका N शून्य है) के बाद निरीक्षण करें कि N(σ) और r में समानता है। σ की समता को N(σ) की समता के रूप में परिभाषित करके, एक क्रमचय जिसमें एक समान लंबाई का अपघटन होता है, एक सम क्रमचय होता है और एक क्रमचय जिसमें एक विषम लंबाई का अपघटन होता है, एक विषम क्रमचय होता है।

टिप्पणियां
  • उपर्युक्त तर्क की सावधानीपूर्वक जांच से पता चलता है rN(σ), और चक्रों में σ के किसी भी अपघटन के बाद से जिनके आकार r के बराबर होते हैं, उन्हें r पारदर्शिता की संरचना के रूप में व्यक्त किया जा सकता है, संख्या N(σ) σ के अपघटन में चक्रों के आकार का न्यूनतम संभव योग है, जिसमें शामिल है ऐसे मामले जिनमें सभी चक्र स्थानान्तरण हैं।
  • यह प्रमाण उन बिंदुओं के सेट में (संभवतः मनमाना) आदेश नहीं देता है जिन पर σ कार्य करता है।

सामान्यीकरण

समता को कॉक्सेटर समूहों के लिए सामान्यीकृत किया जा सकता है: एक लंबाई फ़ंक्शन ℓ(v) को परिभाषित करता है, जो जनरेटर की पसंद पर निर्भर करता है (सममित समूह के लिए, आसन्न पारदर्शिता), और फिर फ़ंक्शन v ↦ (−1)ℓ(v) एक सामान्यीकृत साइन मैप देता है।

यह भी देखें

टिप्पणियाँ

  1. 1.0 1.1 1.2 1.3 Jacobson (2009), p. 50.
  2. Rotman (1995), p. 9, Theorem 1.6.
  3. 3.0 3.1 3.2 जैकबसन (2009), पी। 51.
  4. Meijer & Bauer (2004), p. 72


संदर्भ

  • Weisstein, Eric W. "Even Permutation". MathWorld.
  • Jacobson, Nathan (2009). Basic algebra. Vol. 1 (2nd ed.). Dover. ISBN 978-0-486-47189-1.
  • Rotman, J.J. (1995). An introduction to the theory of groups. Graduate texts in mathematics. Springer-Verlag. ISBN 978-0-387-94285-8.
  • Goodman, Frederick M. Algebra: Abstract and Concrete. ISBN 978-0-9799142-0-1.
  • Meijer, Paul Herman Ernst; Bauer, Edmond (2004). Group theory: the application to quantum mechanics. Dover classics of science and mathematics. Dover Publications. ISBN 978-0-486-43798-9.