सर्वांगसमता संबंध

अमूर्त बीजगणित में, एक सर्वांगसमता संबंध (या बस सर्वांगसमता) एक बीजगणितीय संरचना (जैसे कि एक समूह (गणित), रिंग (गणित), या सदिश स्थल) पर एक समतुल्य संबंध है जो बीजगणितीय संचालन के अर्थ में संरचना के साथ संगत है समतुल्य तत्वों के साथ किए गए कार्य से समतुल्य तत्व प्राप्त होंगे। प्रत्येक सर्वांगसम संबंध में एक संगत समतुल्य वर्ग संरचना होती है, जिसके तत्व संबंध के लिए समतुल्य वर्ग (या सर्वांगसम वर्ग) होते हैं।

मूल उदाहरण
सर्वांगसमता संबंध का प्रोटोटाइपिक उदाहरण मॉड्यूलर अंकगणित#सर्वांगसमता|सर्वांगसमता मॉड्यूलो है $$n$$पूर्णांकों के समुच्चय पर. किसी दिए गए सकारात्मक पूर्णांक के लिए $$n$$, दो पूर्णांक $$a$$ और $$b$$ सर्वांगसम मापांक कहलाते हैं $$n$$, लिखा हुआ
 * $$a \equiv b \pmod{n}$$

अगर $$a - b$$ से विभाज्य है $$n$$ (या समकक्ष यदि $$a$$ और $$b$$ से विभाजित करने पर शेषफल समान रहता है $$n$$).

उदाहरण के लिए, $$37$$ और $$57$$ मॉड्यूल के अनुरूप हैं $$10$$,


 * $$37 \equiv 57 \pmod{10}$$

तब से $$37 - 57 = -20$$ 10 का गुणज है, या दोनों के समतुल्य है $$37$$ और $$57$$ का शेष है $$7$$ जब विभाजित किया जाता है $$10$$.

सर्वांगसमता मॉड्यूलो $$n$$ (एक निश्चित के लिए $$n$$) पूर्णांकों पर जोड़ और गुणा दोनों के साथ संगत है। वह है,

अगर


 * $$a_1 \equiv a_2 \pmod{n} $$ और $$ b_1 \equiv b_2 \pmod{n}$$

तब


 * $$a_1 + b_1 \equiv a_2 + b_2 \pmod{n} $$ और $$ a_1 b_1 \equiv a_2b_2 \pmod{n}$$

समतुल्य वर्गों के संगत जोड़ और गुणन को मॉड्यूलर अंकगणित के रूप में जाना जाता है। अमूर्त बीजगणित के दृष्टिकोण से, सर्वांगसमता मॉड्यूलो $$n$$ पूर्णांकों के वलय (गणित) और अंकगणित मॉड्यूलो पर एक सर्वांगसमता संबंध है $$n$$ संगत भागफल वलय पर होता है।

परिभाषा
सर्वांगसमता की परिभाषा विचाराधीन बीजगणितीय संरचना के प्रकार पर निर्भर करती है। समूह (गणित), वलय (गणित), सदिश स्थान, मॉड्यूल (गणित), अर्धसमूह, जाली (क्रम), इत्यादि के लिए सर्वांगसमता की विशेष परिभाषाएँ बनाई जा सकती हैं। सामान्य विषय यह है कि सर्वांगसमता एक बीजगणितीय वस्तु पर एक समतुल्य संबंध है जो बीजगणितीय संरचना के साथ संगत है, इस अर्थ में कि संचालन समतुल्य वर्गों पर अच्छी तरह से परिभाषित हैं।

उदाहरण: समूह
उदाहरण के लिए, एक समूह एक बीजगणितीय वस्तु है जिसमें एक एकल बाइनरी ऑपरेशन के साथ एक सेट (गणित) शामिल होता है, जो कुछ सिद्धांतों को संतुष्ट करता है। अगर $$G$$ संचालन वाला एक समूह है $$\ast$$, पर एक सर्वांगसमता संबंध $$G$$ एक तुल्यता संबंध है $$\equiv$$ के तत्वों पर $$G$$ संतुष्टि देने वाला
 * $$g_1 \equiv g_2 \ \ \,$$ और $$\ \ \, h_1 \equiv h_2 \implies g_1 \ast h_1 \equiv g_2 \ast h_2$$ सभी के लिए $$g_1, g_2, h_1, h_2 \in G$$. किसी समूह में सर्वांगसमता के लिए, पहचान तत्व वाला समतुल्य वर्ग हमेशा एक सामान्य उपसमूह होता है, और अन्य समतुल्य वर्ग इस उपसमूह के अन्य सहसमुच्चय होते हैं। साथ में, ये तुल्यता वर्ग एक भागफल समूह के तत्व हैं।

उदाहरण: अंगूठियां
जब एक बीजगणितीय संरचना में एक से अधिक ऑपरेशन शामिल होते हैं, तो सर्वांगसमता संबंधों को प्रत्येक ऑपरेशन के साथ संगत होना आवश्यक है। उदाहरण के लिए, एक वलय में जोड़ और गुणा दोनों होते हैं, और एक वलय पर सर्वांगसमता संबंध को संतुष्ट करना चाहिए
 * $$r_1 + s_1 \equiv r_2 + s_2$$ और $$r_1 s_1 \equiv r_2 s_2$$

जब कभी भी $$r_1 \equiv r_2$$ और $$s_1 \equiv s_2$$. एक रिंग पर सर्वांगसमता के लिए, 0 वाला समतुल्य वर्ग हमेशा एक दो-तरफा आदर्श (रिंग सिद्धांत) होता है, और समतुल्य वर्गों के सेट पर दो ऑपरेशन संबंधित भागफल रिंग को परिभाषित करते हैं।

सामान्य
सर्वांगसमता संबंध की सामान्य धारणा को औपचारिक रूप से सार्वभौमिक बीजगणित के संदर्भ में परिभाषित किया जा सकता है, एक ऐसा क्षेत्र जो सभी बीजगणितीय संरचनाओं के लिए सामान्य विचारों का अध्ययन करता है। इस सेटिंग में, एक द्विआधारी संबंध $$R$$ किसी दिए गए बीजीय संरचना पर संगत कहा जाता है यदि
 * प्रत्येक के लिए $$n$$ और प्रत्येक $$n$$-और संचालन $$\mu$$ संरचना पर परिभाषित: जब भी $$a_1 \mathrel{R} a'_1$$ और और $$a_n \mathrel{R} a'_n$$, तब $$\mu(a_1,\ldots,a_n) \mathrel{R} \mu(a'_1,\ldots,a'_n)$$.

फिर संरचना पर एक सर्वांगसम संबंध को एक समतुल्य संबंध के रूप में परिभाषित किया जाता है जो संगत भी होता है।

समरूपता के साथ संबंध
अगर $$f:A\, \rightarrow B$$ दो बीजगणितीय संरचनाओं के बीच एक समरूपता है (जैसे कि समूह समरूपता, या वेक्टर स्थानों के बीच एक रैखिक मानचित्र), तो संबंध $$R$$ द्वारा परिभाषित


 * $$a_1\, R\, a_2$$ अगर और केवल अगर $$f(a_1) = f(a_2)$$ पर एक सर्वांगसमता संबंध है $$A$$. प्रथम समरूपता प्रमेय के अनुसार, ए की छवि (गणित)। $$f$$ इस सर्वांगसमता द्वारा A के भागफल के लिए B समरूपता की एक उपसंरचना है।

दूसरी ओर, सर्वांगसमता संबंध $$R$$ एक अद्वितीय समरूपता उत्पन्न करता है $$f: A \rightarrow A/R$$ द्वारा दिए गए


 * $$f(x) = \{y \mid x \, R \, y\}$$.

इस प्रकार, किसी भी बीजगणितीय संरचना की सर्वांगसमताओं और समरूपताओं के बीच एक प्राकृतिक पत्राचार होता है।

समूहों, और सामान्य उपसमूहों और आदर्शों की सर्वांगसमता
समूह (गणित) के विशेष मामले में, सर्वांगसम संबंधों को प्रारंभिक शब्दों में निम्नानुसार वर्णित किया जा सकता है: यदि G एक समूह है (पहचान तत्व e और संक्रिया * के साथ) और ~ G पर एक द्विआधारी संबंध है, तो ~ जब भी एक सर्वांगसमता है:
 * 1) G के किसी भी तत्व a को देखते हुए, a ~ a ('प्रतिवर्ती संबंध');
 * 2) G के किसी भी तत्व a और b को देखते हुए, भौतिक सशर्त a ~ b, फिर b ~ a ('सममित संबंध');
 * 3) G के किसी भी तत्व a, b, और c को देखते हुए, यदि a ~ b तार्किक संयोजन b ~ c है, तो a ~ c ('सकर्मक संबंध');
 * 4) G के किसी भी तत्व a, a', b, और b' को देखते हुए, यदि a ~ a' और b ~ b' , तो a * b ~ a' * b' ;
 * 5) G के किसी भी तत्व a और a' को देखते हुए, यदि a ~ a' है, तो a−1~ए'−1 (यह वास्तव में अन्य चार से सिद्ध किया जा सकता है, तो पूरी तरह से अनावश्यक है)।

शर्तें 1, 2, और 3 कहती हैं कि ~ एक तुल्यता संबंध है।

एक सर्वांगसमता ~ पूरी तरह से G के उन तत्वों के सेट {a ∈ G : a ~ e} द्वारा निर्धारित होती है जो पहचान तत्व के सर्वांगसम होते हैं, और यह सेट एक सामान्य उपसमूह है। विशेष रूप से, a ~ b यदि और केवल यदि बी−1 *ए~ई. इसलिए समूहों पर सर्वांगसमताओं के बारे में बात करने के बजाय, लोग आमतौर पर उनके सामान्य उपसमूहों के संदर्भ में बात करते हैं; वास्तव में, प्रत्येक सर्वांगसमता जी के कुछ सामान्य उपसमूह से विशिष्ट रूप से मेल खाती है।

छल्लों के आदर्श और सामान्य स्थिति
एक समान चाल किसी को रिंग (गणित) में गुठली को सर्वांगसम संबंधों के बजाय आदर्श (रिंग सिद्धांत) के रूप में और मॉड्यूल (गणित) में सर्वांगसम संबंधों के बजाय सबमॉड्यूल के रूप में बोलने की अनुमति देती है।

एक अधिक सामान्य स्थिति जहां यह युक्ति संभव है वह ओमेगा-समूहों के साथ है (सामान्य अर्थ में एकाधिक योग्यता वाले ऑपरेटरों को अनुमति देना)। लेकिन उदाहरण के लिए, मोनोइड्स के साथ ऐसा नहीं किया जा सकता है, इसलिए सर्वांगसमता संबंधों का अध्ययन मोनोइड सिद्धांत में अधिक केंद्रीय भूमिका निभाता है।

सार्वभौमिक बीजगणित
सर्वांगसमता की सामान्य धारणा सार्वभौमिक बीजगणित में विशेष रूप से उपयोगी है। इस संदर्भ में एक समतुल्य सूत्रीकरण निम्नलिखित है: बीजगणित ए पर एक सर्वांगसम संबंध प्रत्यक्ष उत्पाद ए × ए का एक उपसमुच्चय है जो कि ए पर एक तुल्यता संबंध और ए × ए का उपबीजगणित दोनों है।

एक समरूपता का कर्नेल (सार्वभौमिक बीजगणित) हमेशा एक सर्वांगसमता होता है। वास्तव में, प्रत्येक सर्वांगसमता एक गिरी के रूप में उत्पन्न होती है। A पर दी गई सर्वांगसमता ~ के लिए, समतुल्य वर्गों के सबसेट A/~ को प्राकृतिक तरीके से बीजगणित की संरचना, भागफल (सार्वभौमिक बीजगणित) दी जा सकती है। वह फ़ंक्शन जो A के प्रत्येक तत्व को उसके समतुल्य वर्ग में मैप करता है, एक समरूपता है, और इस समरूपता का कर्नेल ~ है।

बीजगणित A पर सभी सर्वांगसम संबंधों की जाली (क्रम) 'Con'(A) बीजगणितीय जाली है।

जॉन एम. होवी ने वर्णन किया कि कैसे अर्धसमूह सिद्धांत सार्वभौमिक बीजगणित में सर्वांगसमता संबंधों को दर्शाता है:
 * किसी समूह में एक सर्वांगसमता निर्धारित की जाती है यदि हम एक सर्वांगसम वर्ग को जानते हैं, विशेष रूप से यदि हम सामान्य उपसमूह को जानते हैं जो कि पहचान वाला वर्ग है। इसी प्रकार, एक वलय में एक सर्वांगसमता निर्धारित की जाती है यदि हम उस आदर्श को जानते हैं जो शून्य युक्त सर्वांगसम वर्ग है। अर्धसमूहों में ऐसी कोई भाग्यशाली घटना नहीं होती है, और इसलिए हमें सर्वांगसमताओं का अध्ययन करने की आवश्यकता का सामना करना पड़ता है। किसी भी अन्य चीज़ से अधिक, यह वह आवश्यकता है जो सेमीग्रुप सिद्धांत को उसका विशिष्ट स्वाद देती है। अर्धसमूह वास्तव में बीजगणित का पहला और सरल प्रकार है जिसमें सार्वभौमिक बीजगणित के तरीकों को लागू किया जाना चाहिए...

यह भी देखें

 * चीनी शेषफल प्रमेय
 * सर्वांगसमता जालक समस्या
 * सर्वांगसमताओं की तालिका

संदर्भ

 * Horn and Johnson, Matrix Analysis, Cambridge University Press, 1985. ISBN 0-521-38632-2. (Section 4.5 discusses congruency of matrices.)