क्रमचय की समानता

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

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

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

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

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

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

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

3&4&5&2&1\end{pmatrix} = \begin{pmatrix}1&3&5\end{pmatrix} \begin{pmatrix}2&4\end{pmatrix} = \begin{pmatrix}1&3\end{pmatrix} \begin{pmatrix}3&5\end{pmatrix} \begin{pmatrix}2&4\end{pmatrix} .$$ उदाहरण के लिए ट्रांसपोज़िशन की कार्यात्मक संरचना के रूप में σ लिखने के कई अन्य तरीके हैं।

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

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

निम्नलिखित नियम पूर्णांकों के योग के बारे में संबंधित नियमों से सीधे अनुसरण करते हैं। दो सम क्रमचयों का संघटन सम होता है। इनसे यह अनुसरण करता है।
 * दो विषम क्रमचयों का संघटन सम होता है।
 * विषम और सम क्रमचय का संयोजन विषम होता है।
 * प्रत्येक सम क्रमचय का व्युत्क्रम सम होता है।
 * प्रत्येक विषम क्रमचय का व्युत्क्रम विषम होता है।

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

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

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

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

एक चक्रीय क्रमचय सम है। यदि केवल इसकी लंबाई विषम है। यह जैसे सूत्रों से होता है।
 * $$(a\ b\ c\ d\ e)=(d\ e)(c\ e)(b\ e)(a\ e)\text{ or }(a\ b)(b\ c)(c\ d)(d\ e).$$

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

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

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

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


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

का प्रतिनिधित्व करता है।] सभी संबंध एक शब्द की लंबाई को समान रखते हैं। या इसे दो से बदलते हैं। एक सम-लंबाई वाले शब्द से शुरू करने से संबंधों का उपयोग करने के बाद हमेशा एक समान-लंबाई वाले शब्द का परिणाम होगा, और इसी तरह विषम-लंबाई वाले शब्दों के लिए भी। इसलिए इसके तत्वों को कॉल करना असंदिग्ध है। S n सम-लंबाई वाले शब्दों "सम" द्वारा प्रतिनिधित्व किया जाता है, और तत्वों को विषम-लंबाई वाले शब्दों "विषम" द्वारा दर्शाया जाता है। }}

inversions are formed. The count of inversions i gained is thus n &minus; 2vi, जिसकी समानता n के समान है। इसी प्रकार, प्राप्त व्युत्क्रम j की गणना में भी n के समान समानता है। इसलिए, दोनों संयुक्त द्वारा प्राप्त व्युत्क्रमों की संख्या में 2n या 0. के समान समानता है। 'वें तत्व, हम देख सकते हैं कि यह अदला-बदली व्युत्क्रमों की गिनती की समानता को बदल देती है, क्योंकि हम जोड़ी (i,j) के लिए प्राप्त व्युत्क्रमों की संख्या में 1 जोड़ते हैं (या घटाते हैं). ध्यान दें कि शुरू में जब कोई स्वैप लागू नहीं होता है, तो व्युत्क्रमों की संख्या 0 होती है। अब हम क्रमचय की समता की दो परिभाषाओं की समानता प्राप्त करते हैं। }}

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

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


 * $$(a\ b\ c \dots x\ y\ z)=(a\ b)(b\ c) \dots (x\ y)(y\ z),$$

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


 * $$n \text{ minus the number of disjoint cycles in the decomposition of } \sigma$$

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

मान लीजिए कि एक क्रमचय σ के बाद एक स्थानान्तरण (a b) प्रयुक्त किया जाता है। जब a और b σ के विभिन्न चक्रों में होते हैं तब
 * $$(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)$$,

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


 * $$(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)$$.

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

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


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

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

यह भी देखें

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

संदर्भ


Перестановка