प्रतिसमरूपता

गणित में, एक प्रतिसमरूपता (एंटीहोमोमोर्फिज्म) एक प्रकार का फलन है जो गुणन के साथ समुच्चयों पर परिभाषित होता है जो गुणन के क्रम को उलट देता है। एक एंटीऑटोमोर्फिज्म एक एकैकी आच्छादी प्रतिसमरूपता है, यानी एक एंटीसोमोर्फिज्म, एक समुच्चय से लेकर स्वयं तक है। एकैक आच्छादन से यह पता चलता है कि एंटीऑटोमोर्फिज्म में व्युत्क्रम होते हैं, और यह कि एंटीऑटोमोर्फिज्म का व्युत्क्रम भी एक एंटीऑटोमोर्फिज्म होता है।

परिभाषा

अनौपचारिक रूप से, एक प्रतिसमरूपता एक नक्शा है जो गुणन के क्रम को बदलता है। औपचारिक रूप से, संरचनाओं के बीच एक प्रतिसमरूपता $X$ और $Y$ एक समरूपता है $\phi \colon X\to Y^{\text{op}}$, कहाँ $Y^{\text{op}}$ के बराबर होती है $Y$ एक समुच्चय के रूप में, लेकिन इसका गुणन उस परिभाषित पर उलटा है $Y$. पर (आम तौर पर गैर-विनिमेय ) गुणन को नकारना $Y$ द्वारा $\cdot$, गुणन पर $Y^{\text{op}}$, द्वारा चिह्नित $*$, द्वारा परिभाषित किया गया है $x*y:=y\cdot x$. जो वस्तु $Y^{\text{op}}$ के विपरीत वस्तु कहलाती है $Y$ (क्रमशः, विपरीत समूह, विपरीत बीजगणित, विपरीत श्रेणी आदि)।

यह परिभाषा समाकारिता के समतुल्य है $\phi \colon X^{\text{op}}\to Y$ (नक्शा लागू करने से पहले या बाद में ऑपरेशन को उलट देना समतुल्य है)। औपचारिक रूप से, भेज रहा हूँ $X$ को $X^{\text{op}}$ और मानचित्रों पर पहचान के रूप में कार्य करना एक फ़नकार है (वास्तव में, एक इनवोल्यूशन (गणित))।

उदाहरण

समूह सिद्धांत में, एक प्रतिसमरूपता दो समूहों के बीच एक नक्शा है जो गुणन के क्रम को उलट देता है। तो यदि φ : X → Y एक समूह प्रतिसमरूपता है,

φ(xy) = φ(y)φ(x)

एक्स में सभी एक्स, वाई के लिए।

वह मानचित्र जो x को x भेजता है⁻¹ एक समूह एंटीऑटोमोर्फिज्म का एक उदाहरण है। एक अन्य महत्वपूर्ण उदाहरण रैखिक बीजगणित में खिसकाना ऑपरेशन है, जो पंक्ति वैक्टर को कॉलम वेक्टर में ले जाता है। किसी सदिश-मैट्रिक्स समीकरण को समतुल्य समीकरण में स्थानांतरित किया जा सकता है जहां कारकों का क्रम उलटा हो।

मेट्रिसेस के साथ, ट्रांसपोज़ मैप द्वारा एंटीऑटोमोर्फिज़्म का एक उदाहरण दिया गया है। चूंकि व्युत्क्रम और ट्रांसपोज़िंग दोनों ही एंटीऑटोमोर्फिज़्म देते हैं, इसलिए उनकी रचना एक ऑटोमोर्फिज़्म है। इस समावेशन को अक्सर विरोधाभासी नक्शा कहा जाता है, और यह सामान्य रैखिक समूह के बाहरी ऑटोमोर्फिज्म का उदाहरण प्रदान करता है GL(n, F), जहां F एक फ़ील्ड है, सिवाय इसके कि कब |F| = 2 और n = 1 or 2, या |F| = 3 और n = 1 (यानी, समूहों के लिए GL(1, 2), GL(2, 2), और GL(1, 3)).

अंगूठी सिद्धांत में, एक प्रतिसमरूपता दो रिंगों के बीच का एक नक्शा है जो जोड़ को संरक्षित करता है, लेकिन गुणन के क्रम को उलट देता है। इसलिए φ : X → Y एक रिंग प्रतिसमरूपता है अगर और केवल अगर:

φ(1) = 1

φ(x + y) = φ(x) + φ(y)

φ(xy) = φ(y)φ(x)

एक्स में सभी एक्स, वाई के लिए। फ़ील्ड K पर बीजगणित के लिए, φ अंतर्निहित सदिश स्थान का K-रैखिक मानचित्र होना चाहिए। यदि अंतर्निहित क्षेत्र में एक अंतर्वलन है, तो इसके बजाय φ को संयुग्म-रैखिक होने के लिए कहा जा सकता है, जैसा कि नीचे संयुग्मित संक्रमण में है।

निवेश

अक्सर ऐसा होता है कि एंटीऑटोमोर्फिज्म इनवोल्यूशन (गणित) हैं, यानी एंटीऑटोमोर्फिज्म का वर्ग पहचान कार्य है; इन्हें भी कहा जाता हैinvolutive antiautomorphismएस। उदाहरण के लिए, किसी भी समूह में वह मानचित्र जो x को उसके व्युत्क्रम तत्व x पर भेजता है⁻¹ एक समावेशी एंटीऑटोमोर्फिज्म है।

एक अनैच्छिक एंटीऑटोमोर्फिज्म वाली अंगूठी को *-अँगूठी कहा जाता है, और *-बीजगणित # उदाहरण।

गुण

यदि स्रोत X या लक्ष्य Y क्रमविनिमेय है, तो एक समरूपतावाद एक समरूपता के समान है।

दो प्रतिसमरूपता की फलन संरचना हमेशा एक समरूपता होती है, क्योंकि क्रम को दो बार उलटने से क्रम बरकरार रहता है। एक होमोमोर्फिज्म के साथ एक प्रतिसमरूपता की रचना एक और प्रतिसमरूपता देती है।

यह भी देखें

• शामिल होने के साथ अर्धसमूह

संदर्भ

• Weisstein, Eric W. "Antihomomorphism". MathWorld.