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

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

परिभाषा

अनौपचारिक रूप से, एक एंटीहोमोमोर्फिज्म एक नक्शा है जो गुणन के क्रम को बदलता है। औपचारिक रूप से, संरचनाओं के बीच एक एंटीहोमोमोर्फिज्म $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.