वलय समरूपता: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(12 intermediate revisions by 3 users not shown)
Line 2: Line 2:
{{Ring theory sidebar}}
{{Ring theory sidebar}}


वलय सिद्धांत में, [[अमूर्त बीजगणित]] की शाखा, वलय होमोमोर्फिज्म दो वलय (बीजगणित) के बीच संरचना-संरक्षण कार्य (गणित) है। अधिक स्पष्ट रूप से, यदि ''आर'' और ''एस'' वलय हैं, तो वलय समरूपता फलन है {{nowrap|''f'' : ''R'' → ''S''}} ऐसा कि f है:{{sfn|Artin|1991|p=353}}{{sfn|Atiyah|Macdonald|1969|p=2}}{{sfn|Bourbaki|1998|p=102}}{{sfn|Eisenbud|1995|p=12}}{{sfn|Jacobson|1985|p=103}}{{sfn|Lang|2002|p=88}}{{sfn|Hazewinkel|2004|p=3}}{{efn|Hazewinkel initially defines "ring" without the requirement of a 1, but very soon states that from now on, all rings will have a 1.}}
'''वलय समरूपता''' में, [[अमूर्त बीजगणित]] की शाखा, वलय होमोमोर्फिज्म दो वलय (बीजगणित) के मध्य संरचना-संरक्षण फलन (गणित) है। अधिक स्पष्ट रूप से, यदि ''R'' और ''S'' वलय हैं, तो वलय समरूपता फलन {{nowrap|''f'' : ''R'' → ''S''}} है जैसे कि f है:{{sfn|Artin|1991|p=353}}{{sfn|Atiyah|Macdonald|1969|p=2}}{{sfn|Bourbaki|1998|p=102}}{{sfn|Eisenbud|1995|p=12}}{{sfn|Jacobson|1985|p=103}}{{sfn|Lang|2002|p=88}}{{sfn|Hazewinkel|2004|p=3}}{{efn|Hazewinkel initially defines "ring" without the requirement of a 1, but very soon states that from now on, all rings will have a 1.}}


:अतिरिक्त संरक्षण:
:अतिरिक्त संरक्षण:
::<math>f(a+b)=f(a)+f(b)</math> आर में सभी और बी के लिए
::<math>f(a+b)=f(a)+f(b)</math> R में सभी a और b के लिए,


:गुणा संरक्षण:
:गुणन संरक्षण:
::<math>f(ab)=f(a)f(b)</math> आर में सभी ए और बी के लिए,
::R में सभी a और b के लिए, <math>f(ab)=f(a)f(b)</math>  


:और इकाई (गुणक पहचान) संरक्षित करना:
:और इकाई (गुणक पहचान) को संरक्षित करना:
::<math>f(1_R)=1_S</math>.
::<math>f(1_R)=1_S</math>.


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


यदि इसके अतिरिक्त f आक्षेप है, तो इसका व्युत्क्रम फलन f है<sup>−1</sup> भी वलय समरूपता है। इस मामले में, f को 'वलय आइसोमोर्फिज्म' कहा जाता है, और वलय R और S को आइसोमॉर्फिक कहा जाता है। वलय सिद्धांत के दृष्टिकोण से, समरूपी वलय को अलग नहीं किया जा सकता है।
यदि इसके अतिरिक्त f आक्षेप है, तो इसका व्युत्क्रम फलन ''f''<sup>−1</sup> भी वलय समरूपता है। इस स्तिथि में, f को वलय समरूपता कहा जाता है, वलय R और S को समरूपी कहा जाता है। वलय सिद्धांत के दृष्टिकोण से, समरूपी वलय को भिन्न नहीं किया जा सकता है।


यदि R और S हैं [[आरएनजी (बीजगणित)]] एस, तो संबंधित धारणा की हैरंग समरूपता,{{efn|Some authors do not require a ring to contain a multiplicative identity; instead of <!--NOT A MISSPELLING-->"rng"<!--NOT A MISSPELLING-->, "ring", and <!--NOT A MISSPELLING-->"rng<!--NOT A MISSPELLING--> homomorphism", they use the terms "ring", "ring with identity", and "ring homomorphism", respectively.  Because of this, some other authors, to avoid ambiguity, explicitly specify that rings are unital and that homomorphisms preserve the identity.}} तीसरी शर्त f(1) को छोड़कर ऊपर बताए अनुसार परिभाषित किया गया है<sub>''R''</sub>) = 1<sub>''S''</sub>. ए रंग (इकाई) छल्लों के बीच समरूपता को वलय समरूपता होने की आवश्यकता नहीं है।
यदि R और S [[आरएनजी (बीजगणित)|rng (बीजगणित)]] हैं तो संबंधित धारणा rng समरूपता है,{{efn|Some authors do not require a ring to contain a multiplicative identity; instead of <!--NOT A MISSPELLING-->"rng"<!--NOT A MISSPELLING-->, "ring", and <!--NOT A MISSPELLING-->"rng<!--NOT A MISSPELLING--> homomorphism", they use the terms "ring", "ring with identity", and "ring homomorphism", respectively.  Because of this, some other authors, to avoid ambiguity, explicitly specify that rings are unital and that homomorphisms preserve the identity.}} तीसरा नियम ''f''(1<sub>''R''</sub>) = 1<sub>''S''</sub> को छोड़कर ऊपर के रूप में परिभाषित किया गया है। (इकाई) वलयों के मध्य rng समरूपता को वलय समरूपता होने की आवश्यकता नहीं है।


दो वलय समरूपताओं की [[कार्य संरचना]] वलय समरूपता है। यह इस प्रकार है कि सभी वलयों का [[वर्ग (सेट सिद्धांत)]] [[श्रेणी (गणित)]] बनाता है जिसमें वलय होमोमोर्फिज्म के साथ आकारिकी (सीएफ। वलयों की श्रेणी) होती है।
दो वलय समरूपता की [[कार्य संरचना|संरचना फलन]] वलय समरूपता है। इससे यह निष्कर्ष निकलता है कि सभी वलयों का [[वर्ग (सेट सिद्धांत)|वर्ग]] [[श्रेणी (गणित)|वलय]] समरूपताओं के साथ आकारिकी के रूप में श्रेणी बनाता है (cf. वलयों की श्रेणी)विशेष रूप से, कोई वलय एंडोमोर्फिज्म, वलय आइसोमोर्फिज्म और वलय [[आकारिता]] की धारणा प्राप्त करता है।
विशेष रूप से, कोई वलय एंडोमोर्फिज्म, वलय आइसोमोर्फिज्म और वलय [[आकारिता]] की धारणा प्राप्त करता है।


== गुण ==
== गुण ==


होने देना <math>f \colon R \rightarrow S</math> वलय समरूपता हो। फिर, सीधे इन परिभाषाओं से, कोई यह निष्कर्ष निकाल सकता है:
मान लीजिये <math>f \colon R \rightarrow S</math> वलय समरूपता है। फिर, इन परिभाषाओं से, कोई यह निष्कर्ष निकाल सकता है:
* एफ(0<sub>''R''</sub>) = 0<sub>''S''</sub>.
 
* f(−a) = −f(a) R में सभी a के लिए।
''f''(0<sub>''R''</sub>) = 0<sub>''S''</sub>
* R में किसी भी [[इकाई तत्व]] a के लिए, f(a) इकाई तत्व है {{nowrap|1=''f''(''a''<sup>−1</sup>) = ''f''(''a'')<sup>−1</sup>}}. विशेष रूप से, f, R की इकाइयों के (गुणक) समूह से S (या im(f)) की इकाइयों के (गुणक) समूह में [[समूह समरूपता]] को प्रेरित करता है।
* R में सभी a के लिए f(−a) = −f(a) है।
* f की [[छवि (गणित)]], जिसे im(f) दर्शाया गया है, S का उपवलय है।
* R में किसी भी [[इकाई तत्व]] a के लिए, f(a) है जैसे कि {{nowrap|1=''f''(''a''<sup>−1</sup>) = ''f''(''a'')<sup>−1</sup>}}है। विशेष रूप से, f, R की इकाइयों के (गुणक) समूह से S (या im(f)) की इकाइयों के (गुणक) समूह में [[समूह समरूपता]] को प्रेरित करता है।
* एफ का [[कर्नेल (बीजगणित)]], के रूप में परिभाषित किया गया है {{nowrap|1=ker(''f'') = {{mset|1=''a'' in ''R'' : ''f''(''a'') = 0<sub>''S''</sub>}}}}, R में वलय आदर्श है। वलय R में प्रत्येक आदर्श इस तरह से कुछ वलय समरूपता से उत्पन्न होता है।
* f की [[छवि (गणित)]], जिसे im(f) दर्शाया गया है, S का उप-वलय है।
* होमोमोर्फिज्म एफ इंजेक्टिव है यदि और केवल यदि {{nowrap|1=ker(''f'') = {{mset|0<sub>''R''</sub>}}}}.
* f का [[कर्नेल (बीजगणित)]], जिसे {{nowrap|1=ker(''f'') = {{mset|1=''a'' in ''R'' : ''f''(''a'') = 0<sub>''S''</sub>}}}}, के रूप में परिभाषित किया गया है, R में वलय आदर्श है। वलय R में प्रत्येक आदर्श इस प्रकार से कुछ वलय समरूपता से उत्पन्न होता है।
* यदि कोई वलय समरूपता मौजूद है {{nowrap|''f'' : ''R'' → ''S''}} तो S की [[विशेषता (बीजगणित)]] R की विशेषता को [[विभाजित]] करती है। इसका उपयोग कभी-कभी यह दिखाने के लिए किया जा सकता है कि कुछ वलय R और S के बीच, कोई वलय समरूपता नहीं है {{nowrap|''R'' → ''S''}} मौजूद।
* समरूपता f इंजेक्टिव है यदि केवल {{nowrap|1=ker(''f'') = {{mset|0<sub>''R''</sub>}}}} है।
* यदि आर<sub>p</sub>आर और एस में निहित सबसे छोटा [[सबरिंग|सबवलय]] है<sub>p</sub>एस में निहित सबसे छोटा सबवलय है, फिर प्रत्येक वलय समरूपता है {{nowrap|''f'' : ''R'' → ''S''}} वलय समरूपता उत्पन्न करता है {{nowrap|''f<sub>p</sub>'' : ''R<sub>p</sub>'' → ''S<sub>p</sub>''}}.
* यदि कोई वलय समरूपता {{nowrap|''f'' : ''R'' → ''S''}} उपस्थित है तो S की [[विशेषता (बीजगणित)]] R की विशेषता को [[विभाजित]] करती है। इसका उपयोग कभी-कभी यह दिखाने के लिए किया जा सकता है कि कुछ वलय R और S के मध्य, वलय समरूपता {{nowrap|''R'' → ''S''}} उपस्थित नहीं है।
* यदि R [[फ़ील्ड (गणित)]] (या अधिक सामान्यतः तिरछा-फ़ील्ड) है और S शून्य वलय नहीं है, तो f इंजेक्टिव है।
* यदि R<sub>p,</sub>R में निहित सबसे छोटा [[सबरिंग|उपवलय]] है और S<sub>p</sub> , S में निहित सबसे छोटा उप-वलय है, तो प्रत्येक वलय समरूपता {{nowrap|''f'' : ''R'' → ''S''}} वलय समरूपता {{nowrap|''f<sub>p</sub>'' : ''R<sub>p</sub>'' → ''S<sub>p</sub>''}} उत्पन्न करता है।
* यदि R और S दोनों फ़ील्ड (गणित) हैं, तो im(f) S का उपफ़ील्ड है, इसलिए S को R के [[फ़ील्ड विस्तार]] के रूप में देखा जा सकता है।
* यदि R [[फ़ील्ड (गणित)|क्षेत्र (गणित)]] है (या अधिक सामान्यतः S शून्य वलय नहीं है, तो f इंजेक्शन है।
*यदि I, S का आदर्श है तो f<sup>−1</sup>(I) R का आदर्श है।
* यदि R और S दोनों क्षेत्र (गणित) हैं, तो im(f) S का उप-क्षेत्र है, इसलिए S को R के [[फ़ील्ड विस्तार|क्षेत्र विस्तार]] के रूप में देखा जा सकता है।
* यदि R और S क्रमविनिमेय हैं और P, S का अभाज्य आदर्श है तो f<sup>−1</sup>(P) R का प्रमुख आदर्श है।
*यदि I, S का आदर्श है तो f<sup>−1</sup>(I), R का आदर्श है।
*यदि R और S क्रमविनिमेय हैं, M, S का [[अधिकतम आदर्श]] है, और f विशेषणात्मक है, तो f<sup>−1</sup>(M) R का अधिकतम आदर्श है।
* यदि R और S क्रमविनिमेय हैं और P, S का अभाज्य आदर्श है तो f<sup>−1</sup>(P) R का अभाज्य आदर्श है।
* यदि R और S क्रमविनिमेय हैं और S [[अभिन्न डोमेन]] है, तो ker(f) R का प्रमुख आदर्श है।
*यदि R और S क्रमविनिमेय हैं, M, S का [[अधिकतम आदर्श]] है, और f विशेषणात्मक है, तो f<sup>−1</sup>(M), R का अधिकतम आदर्श है।
* यदि R और S क्रमविनिमेय हैं और S [[अभिन्न डोमेन]] है, तो ker(f) R का अभाज्य आदर्श है।
* यदि R और S क्रमविनिमेय हैं, S क्षेत्र है, और f विशेषण है, तो ker(f) R का अधिकतम आदर्श है।
* यदि R और S क्रमविनिमेय हैं, S क्षेत्र है, और f विशेषण है, तो ker(f) R का अधिकतम आदर्श है।
* यदि f विशेषण है, तो R और में P अभाज्य (अधिकतम) आदर्श है {{nowrap|1=ker(''f'') ⊆ ''P''}}, तो S में f(P) अभाज्य (अधिकतम) आदर्श है।
* यदि f विशेषण है, P, R में अभाज्य (अधिकतम) आदर्श है और {{nowrap|1=ker(''f'') ⊆ ''P''}}, तो S में f(P) अभाज्य (अधिकतम) आदर्श है।


इसके अतिरिक्त,
इसके अतिरिक्त,
*वलय होमोमोर्फिज्म की संरचना वलय होमोमोर्फिज्म है।
*वलय समरूपता की संरचना वलय समरूपता है।
*प्रत्येक वलय आर के लिए, पहचान मानचित्र {{nowrap|''R'' → ''R''}} वलय समरूपता है।
*प्रत्येक वलय R के लिए, पहचान मानचित्र {{nowrap|''R'' → ''R''}} वलय समरूपता है।
*इसलिए, सभी छल्लों का वर्ग वलय समरूपताओं के साथ मिलकर श्रेणी बनाता है, छल्लों की श्रेणी।
*इसलिए, सभी वलयों का वर्ग वलय समरूपताओं के साथ मिलकर वलय श्रेणी बनाता है।
*शून्य मानचित्र {{nowrap|''R'' → ''S''}} R के प्रत्येक तत्व को 0 पर भेजना केवल वलय समरूपता है यदि S शून्य वलय है (वह वलय जिसका एकमात्र तत्व शून्य है)।
*शून्य मानचित्र {{nowrap|''R'' → ''S''}}, R के प्रत्येक तत्व को 0 पर भेजना वलय समरूपता है केवल यदि S शून्य वलय है (वह वलय जिसका एकमात्र तत्व शून्य है)।
* प्रत्येक वलय R के लिए, अद्वितीय वलय समरूपता होती है {{nowrap|'''Z''' → ''R''}}. यह कहता है कि पूर्णांकों का वलय वलय की श्रेणी (गणित) में [[प्रारंभिक वस्तु]] है।
* प्रत्येक वलय R के लिए, अद्वितीय वलय समरूपता {{nowrap|'''Z''' → ''R''}} है, यह कहता है कि पूर्णांकों के वलय की श्रेणी (गणित) में [[प्रारंभिक वस्तु]] है।
* प्रत्येक वलय R के लिए, R से शून्य वलय तक अद्वितीय वलय समरूपता होती है। यह कहता है कि शून्य वलय वलय की श्रेणी में [[टर्मिनल वस्तु]] है।
* प्रत्येक वलय R के लिए, R से शून्य वलय तक अद्वितीय वलय समरूपता होती है। यह कहता है कि शून्य वलय की श्रेणी में [[टर्मिनल वस्तु]] है।


== उदाहरण ==
== उदाहरण ==
* कार्यक्रम {{nowrap|''f'' : '''Z''' → '''Z'''/''n'''''Z'''}}, द्वारा परिभाषित {{nowrap|1=''f''(''a'') = [''a'']<sub>''n''</sub> = ''a'' mod ''n''}} कर्नेल n'Z' के साथ [[विशेषण]] वलय समरूपता है ([[मॉड्यूलर अंकगणित]] देखें)।
* फलन क्रम {{nowrap|''f'' : '''Z''' → '''Z'''/''n'''''Z'''}}, {{nowrap|1=''f''(''a'') = [''a'']<sub>''n''</sub> = ''a'' mod ''n''}} द्वारा परिभाषित, कर्नेल n'Z' के साथ [[विशेषण]] वलय समरूपता है ([[मॉड्यूलर अंकगणित]] देखें)।
* [[जटिल संयुग्मन]] {{nowrap|'''C''' → '''C'''}} वलय होमोमोर्फिज्म है (यह वलय ऑटोमोर्फिज्म का उदाहरण है)।
* [[जटिल संयुग्मन]] {{nowrap|'''C''' → '''C'''}} वलय होमोमोर्फिज्म है (यह वलय ऑटोमोर्फिज्म का उदाहरण है)।
* अभाज्य विशेषता p वाले वलय R के लिए, {{nowrap|''R'' → ''R'', ''x'' → ''x''<sup>''p''</sup>}} वलय एंडोमोर्फिज्म है जिसे [[फ्रोबेनियस एंडोमोर्फिज्म]] कहा जाता है।
* अभाज्य विशेषता p, {{nowrap|''R'' → ''R'', ''x'' → ''x''<sup>''p''</sup>}} का वलय R के लिए, वलय एंडोमोर्फिज्म है जिसे [[फ्रोबेनियस एंडोमोर्फिज्म]] कहा जाता है।
* यदि R और S वलय हैं, तो R से S तक शून्य फलन वलय समरूपता है यदि और केवल यदि S शून्य वलय है। (अन्यथा यह मानचित्र 1 बनाने में विफल रहता है<sub>''R''</sub> से 1<sub>''S''</sub>.) दूसरी ओर, शून्य फलन सदैव a होता है रंग समरूपता.
* यदि R और S वलय हैं, तो R से S तक शून्य फलन वलय समरूपता है यदि केवल S शून्य वलय है। (अन्यथा यह 1<sub>''R''</sub> से 1<sub>''S''</sub> को मानचित्रित करने में विफल रहता है।) दूसरी ओर, शून्य फलन सदैव rng समरूपता है।
* यदि R[''X''] [[वास्तविक संख्या]] R में गुणांक के साथ चर ''X'' में सभी [[बहुपद]]ों की अंगूठी को दर्शाता है, और C [[जटिल संख्या]]ओं को दर्शाता है, तो फ़ंक्शन {{nowrap|''f'' : '''R'''[''X''] → '''C'''}} द्वारा परिभाषित {{nowrap|1=''f''(''p'') = ''p''(''i'')}} (बहुपद p में चर X के लिए काल्पनिक इकाई i को प्रतिस्थापित करें) विशेषण वलय समरूपता है। एफ के कर्नेल में 'आर' [एक्स] में सभी बहुपद शामिल हैं जो विभाज्य हैं {{nowrap|''X''<sup>2</sup> + 1}}.
* यदि R[''X''] [[वास्तविक संख्या|वास्तविक संख्याओं]] R में गुणांक के साथ चर ''X'' के लिए काल्पनिक इकाई i को प्रतिस्थापित करें) विशेषण वलय समरूपता है। F के कर्नेल में R[X] के सभी [[बहुपद]] सम्मिलित हैं जो ''X''<sup>2</sup> + 1 से विभाज्य हैं।
* अगर {{nowrap|''f'' : ''R'' → ''S''}} वलय आर और एस के बीच वलय होमोमोर्फिज्म है, फिर एफ [[मैट्रिक्स रिंग|मैट्रिक्स वलय]]ों के बीच वलय होमोमोर्फिज्म प्रेरित करता है {{nowrap|M<sub>''n''</sub>(''R'') → M<sub>''n''</sub>(''S'')}}.
* यदि {{nowrap|''f'' : ''R'' → ''S''}}, वलय R और S के मध्य वलय समरूपता है, तो f [[मैट्रिक्स रिंग|मैट्रिक्स वलय]] {{nowrap|M<sub>''n''</sub>(''R'') → M<sub>''n''</sub>(''S'')}} के मध्य वलय समरूपता उत्पन्न करता है।
*मान लीजिए V फ़ील्ड k पर सदिश समष्टि है। फिर नक्शा <math>\rho : k \to \operatorname{End}(V)</math> द्वारा दिए गए <math>\rho(a)v = av</math> वलय समरूपता है। अधिक आम तौर पर, एबेलियन समूह एम को देखते हुए, वलय आर पर एम पर मॉड्यूल संरचना वलय होमोमोर्फिज्म देने के बराबर है <math>R \to \operatorname{End}(M)</math>.
*मान लीजिए V क्षेत्र k पर सदिश समष्टि है। फिर मानचित्र <math>\rho : k \to \operatorname{End}(V)</math> द्वारा दिए गए <math>\rho(a)v = av</math> वलय समरूपता है। अधिक सामान्यतः, एबेलियन समूह M को देखते हुए, वलय R पर M मॉड्यूल संरचना वलय होमोमोर्फिज्म <math>R \to \operatorname{End}(M)</math> देने के समान है।
* क्रमविनिमेय वलय आर पर यूनिटल [[साहचर्य बीजगणित]] के बीच यूनिटल [[बीजगणित समरूपता]] वलय होमोमोर्फिज्म है जो मॉड्यूल होमोमोर्फिज्म | आर-रैखिक भी है।
* क्रमविनिमेय वलय R पर यूनिटल [[साहचर्य बीजगणित]] के मध्य यूनिटल [[बीजगणित समरूपता]] वलय होमोमोर्फिज्म है जो R-रैखिक भी है।


== गैर-उदाहरण ==
== गैर-उदाहरण ==
* कार्यक्रम {{nowrap|''f'' : '''Z'''/6'''Z''' → '''Z'''/6'''Z'''}} द्वारा परिभाषित {{nowrap|1=''f''([''a'']<sub>6</sub>) = [4''a'']<sub>6</sub>}} है रंग समरूपता (और रंग एंडोमोर्फिज्म), कर्नेल 3Z/6Z और छवि 2Z/6Z के साथ (जो Z/3Z के लिए आइसोमोर्फिक है)।
* फलन क्रम {{nowrap|''f'' : '''Z'''/6'''Z''' → '''Z'''/6'''Z'''}}, {{nowrap|1=''f''([''a'']<sub>6</sub>) = [4''a'']<sub>6</sub>}} द्वारा परिभाषित rng समरूपता (और rng एंडोमोर्फिज्म) है, जिसमें कर्नेल 3Z/6Z और छवि 2Z/6Z है (जो समरूपी है Z/3Z)।
* कोई वलय समरूपता नहीं है {{nowrap|'''Z'''/''n'''''Z''' → '''Z'''}} किसी के लिए {{nowrap|''n'' ≥ 1}}.
* किसी भी {{nowrap|''n'' ≥ 1}} के लिए कोई वलय समरूपता {{nowrap|'''Z'''/''n'''''Z''' → '''Z'''}} नहीं है।
* यदि आर और एस वलय हैं, तो समावेशन <math>R \to R \times S</math> प्रत्येक r को (r,0) पर भेजना rng समरूपता है, लेकिन वलय समरूपता नहीं है (यदि S शून्य वलय नहीं है), क्योंकि यह R की गुणक पहचान 1 को गुणक पहचान (1,1) से मैप नहीं करता है। <math>R \times S</math>.
* यदि R और S वलय हैं, तो समावेशन <math>R \to R \times S</math> प्रत्येक r को (r,0) पर भेजना rng समरूपता है, किंतु वलय समरूपता नहीं है (यदि S शून्य वलय नहीं है), क्योंकि यह R की गुणक पहचान 1 को गुणक पहचान (1,1) में मानचित्र <math>R \times S</math> नहीं करता है।


==अंगूठियों की श्रेणी==
==वलय की श्रेणी==
{{main|Category of rings}}
{{main|वलयों की श्रेणी}}


===एंडोमोर्फिज्म, आइसोमोर्फिज्म, और ऑटोमोर्फिज्म===
===एंडोमोर्फिज्म, आइसोमोर्फिज्म, और ऑटोमोर्फिज्म===
* वलय एंडोमोर्फिज्म वलय से स्वयं तक वलय होमोमोर्फिज्म है।
* वलय एंडोमोर्फिज्म वलय से स्वयं तक वलय होमोमोर्फिज्म है।
* वलय समरूपता वलय समरूपता है जिसमें दो-तरफा व्युत्क्रम होता है जो वलय समरूपता भी है। कोई यह सिद्ध कर सकता है कि वलय समरूपता समरूपता है यदि और केवल यदि यह अंतर्निहित सेटों पर फ़ंक्शन के रूप में विशेषण है। यदि दो वलय ''आर'' और ''एस'' के बीच वलय समरूपता मौजूद है, तो ''आर'' और ''एस'' को समरूपी कहा जाता है। समरूपी वलय केवल तत्वों के पुनः लेबलिंग द्वारा भिन्न होते हैं। उदाहरण: समरूपता तक, क्रम 4 के चार वलय होते हैं। (इसका मतलब है कि क्रम 4 के चार जोड़ीदार गैर-समरूपी वलय होते हैं, जैसे कि क्रम 4 का हर दूसरा वलय उनमें से के लिए समरूपी होता है।) दूसरी ओर, समरूपता तक ग्यारह होते हैं rngs क्रम 4 का.
* वलय समरूपता ऐसी वलय समरूपता है जिसमें दो-ओर व्युत्क्रम होता है जो वलय समरूपता भी है। कोई यह सिद्ध कर सकता है कि वलय समरूपता ऐसा समरूपता है यदि केवल अंतर्निहित समुच्चयों पर फलन के रूप में विशेषण है। यदि दो वलय ''R'' और ''S'' के मध्य वलय समरूपता उपस्थित है, तो ''R'' और ''S'' को समरूपी कहा जाता है। समरूपी वलय केवल तत्वों के पुनः लेबलिंग द्वारा भिन्न होते हैं। उदाहरण: समरूपता तक, क्रम 4 के चार वलय होते हैं। (इसका तात्पर्य है कि क्रम 4 के चार जोड़ीदार गैर-समरूपी वलय होते हैं, जैसे कि क्रम 4 का प्रत्येक दूसरा वलय उनमें से के लिए समरूपी होता है।) दूसरी ओर, समरूपता तक, क्रम 4 के ग्यारह वलय होते हैं।
* वलय ऑटोमोर्फिज्म वलय से स्वयं तक वलय आइसोमोर्फिज्म है।
* वलय ऑटोमोर्फिज्म से स्वयं तक वलय आइसोमोर्फिज्म है।


===[[एकरूपता]] और एपिमोर्फिज्म===
===[[एकरूपता]] और एपिमोर्फिज्म===
इंजेक्टिव वलय होमोमोर्फिज्म वलयों की श्रेणी में मोनोमोर्फिज्म के समान हैं: यदि {{nowrap|''f'' : ''R'' → ''S''}} मोनोमोर्फिज्म है जो इंजेक्शन नहीं है, तो यह कुछ आर भेजता है<sub>1</sub> और आर<sub>2</sub> एस के ही तत्व के लिए दो मानचित्रों पर विचार करें जी<sub>1</sub> और जी<sub>2</sub> Z[''x''] से ''R'' तक वह मानचित्र ''x'' से ''r''<sub>1</sub> और आर<sub>2</sub>, क्रमश; {{nowrap|''f'' ∘ ''g''<sub>1</sub>}} और {{nowrap|''f'' ∘ ''g''<sub>2</sub>}} समान हैं, लेकिन चूँकि f एकरूपता है इसलिए यह असंभव है।
इंजेक्टिव वलय होमोमोर्फिज्म वलयों की श्रेणी में मोनोमोर्फिज्म के समान हैं: यदि {{nowrap|''f'' : ''R'' → ''S''}} मोनोमोर्फिज्म है जो इंजेक्शन नहीं है, तो यह S के एक ही तत्व में कुछ r<sub>1</sub> और r<sub>2</sub> भेजता है। '''Z'''[''x''] से दो मानचित्र ''g''<sub>1</sub> और ''g''<sub>2</sub> पर विचार करें। जो क्रमशः x से ''r''<sub>1</sub> और ''r''<sub>2</sub>, तक मानचित्रित है; {{nowrap|''f'' ∘ ''g''<sub>1</sub>}} और {{nowrap|''f'' ∘ ''g''<sub>2</sub>}} के समान हैं, किंतु चूँकि f एकरूपता है इसलिए यह असंभव है।


हालाँकि, विशेषण वलय समरूपता वलय की श्रेणी में [[एपिमोर्फिज्म]] से काफी भिन्न हैं। उदाहरण के लिए, समावेशन {{nowrap|'''Z''' ⊆ '''Q'''}} [[मजबूत प्रतीकवाद]] है, लेकिन अनुमान नहीं है। हालाँकि, वे बिल्कुल मजबूत एपिमोर्फिज्म के समान हैं।
चूँकि, विशेषण वलय समरूपता वलय की श्रेणी में [[एपिमोर्फिज्म]] से अधिक भिन्न हैं। उदाहरण के लिए, समावेशन {{nowrap|'''Z''' ⊆ '''Q'''}} [[मजबूत प्रतीकवाद|वलय एपिमोर्फिज़्म]] है, किंतु अनुमान नहीं है। चूँकि, वे स्थिर एपिमोर्फिज्म के समान हैं।


== यह भी देखें ==
== यह भी देखें ==


* [[अंगूठियों का परिवर्तन]]
* [[अंगूठियों का परिवर्तन|वलयों का परिवर्तन]]


== उद्धरण ==
== उद्धरण ==
Line 98: Line 98:
  | publisher=Springer
  | publisher=Springer
  | year=1998
  | year=1998
}}
*{{cite book | last=Eisenbud| first= David| author-link=David Eisenbud| title=Commutative algebra with a view toward algebraic geometry | location=New York | publisher=[[Springer-Verlag]] | series=[[Graduate Texts in Mathematics]] | volume=150 | year=1995 | mr=1322960 | isbn=0-387-94268-8 | no-pp=true | page=xvi+785}}
*{{cite book | last=Eisenbud| first= David| author-link=David Eisenbud| title=Commutative algebra with a view toward algebraic geometry | location=New York | publisher=[[Springer-Verlag]] | series=[[Graduate Texts in Mathematics]] | volume=150 | year=1995 | mr=1322960 | isbn=0-387-94268-8 | no-pp=true | page=xvi+785}}
*{{cite book| last1=Hazewinkel| first1=Michiel| author-link1=Michiel Hazewinkel| title=Algebras, rings and modules| year=2004| publisher=[[Springer-Verlag]]| isbn=1-4020-2690-0}}
*{{cite book| last1=Hazewinkel| first1=Michiel| author-link1=Michiel Hazewinkel| title=Algebras, rings and modules| year=2004| publisher=[[Springer-Verlag]]| isbn=1-4020-2690-0}}
*{{cite book| last1=Jacobson| first1=Nathan| author-link=Nathan Jacobson| title=Basic algebra I| edition=2nd| year=1985| isbn=9780486471891| url=https://store.doverpublications.com/0486471896.html}}
*{{cite book| last1=Jacobson| first1=Nathan| author-link=Nathan Jacobson| title=Basic algebra I| edition=2nd| year=1985| isbn=9780486471891| url=https://store.doverpublications.com/0486471896.html}}
* {{Lang Algebra|3rd}}
* {{Lang Algebra|3rd}}
}}
{{refend}}
{{refend}}
{{reflist|group=lower-alpha}}


[[Category: वलय सिद्धांत]] [[Category: आकृति विज्ञान]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
 
[[Category:CS1 errors]]
 
 
[[Category: Machine Translated Page]]
[[Category:Created On 04/07/2023]]
[[Category:Created On 04/07/2023]]
[[Category:Harv and Sfn no-target errors]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Morphisms]]
[[Category:Pages with reference errors]]
[[Category:Pages with script errors]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]

Latest revision as of 07:02, 16 July 2023

वलय समरूपता में, अमूर्त बीजगणित की शाखा, वलय होमोमोर्फिज्म दो वलय (बीजगणित) के मध्य संरचना-संरक्षण फलन (गणित) है। अधिक स्पष्ट रूप से, यदि R और S वलय हैं, तो वलय समरूपता फलन f : RS है जैसे कि f है:[1][2][3][4][5][6][7][lower-alpha 1]

अतिरिक्त संरक्षण:
R में सभी a और b के लिए,
गुणन संरक्षण:
R में सभी a और b के लिए,
और इकाई (गुणक पहचान) को संरक्षित करना:
.

योगात्मक व्युत्क्रम और योगात्मक पहचान भी संरचना का भाग हैं, किंतु यह स्पष्ट रूप से आवश्यक नहीं है कि उनका भी सम्मान किया जाए, क्योंकि ये स्थितियाँ उपरोक्त तीन स्थितियों के परिणाम हैं।

यदि इसके अतिरिक्त f आक्षेप है, तो इसका व्युत्क्रम फलन f−1 भी वलय समरूपता है। इस स्तिथि में, f को वलय समरूपता कहा जाता है, वलय R और S को समरूपी कहा जाता है। वलय सिद्धांत के दृष्टिकोण से, समरूपी वलय को भिन्न नहीं किया जा सकता है।

यदि R और S rng (बीजगणित) हैं तो संबंधित धारणा rng समरूपता है,[lower-alpha 2] तीसरा नियम f(1R) = 1S को छोड़कर ऊपर के रूप में परिभाषित किया गया है। (इकाई) वलयों के मध्य rng समरूपता को वलय समरूपता होने की आवश्यकता नहीं है।

दो वलय समरूपता की संरचना फलन वलय समरूपता है। इससे यह निष्कर्ष निकलता है कि सभी वलयों का वर्ग वलय समरूपताओं के साथ आकारिकी के रूप में श्रेणी बनाता है (cf. वलयों की श्रेणी)। विशेष रूप से, कोई वलय एंडोमोर्फिज्म, वलय आइसोमोर्फिज्म और वलय आकारिता की धारणा प्राप्त करता है।

गुण

मान लीजिये वलय समरूपता है। फिर, इन परिभाषाओं से, कोई यह निष्कर्ष निकाल सकता है:

f(0R) = 0S

  • R में सभी a के लिए f(−a) = −f(a) है।
  • R में किसी भी इकाई तत्व a के लिए, f(a) है जैसे कि f(a−1) = f(a)−1है। विशेष रूप से, f, R की इकाइयों के (गुणक) समूह से S (या im(f)) की इकाइयों के (गुणक) समूह में समूह समरूपता को प्रेरित करता है।
  • f की छवि (गणित), जिसे im(f) दर्शाया गया है, S का उप-वलय है।
  • f का कर्नेल (बीजगणित), जिसे ker(f) = {a in R : f(a) = 0S}, के रूप में परिभाषित किया गया है, R में वलय आदर्श है। वलय R में प्रत्येक आदर्श इस प्रकार से कुछ वलय समरूपता से उत्पन्न होता है।
  • समरूपता f इंजेक्टिव है यदि केवल ker(f) = {0R} है।
  • यदि कोई वलय समरूपता f : RS उपस्थित है तो S की विशेषता (बीजगणित) R की विशेषता को विभाजित करती है। इसका उपयोग कभी-कभी यह दिखाने के लिए किया जा सकता है कि कुछ वलय R और S के मध्य, वलय समरूपता RS उपस्थित नहीं है।
  • यदि Rp,R में निहित सबसे छोटा उपवलय है और Sp , S में निहित सबसे छोटा उप-वलय है, तो प्रत्येक वलय समरूपता f : RS वलय समरूपता fp : RpSp उत्पन्न करता है।
  • यदि R क्षेत्र (गणित) है (या अधिक सामान्यतः S शून्य वलय नहीं है, तो f इंजेक्शन है।
  • यदि R और S दोनों क्षेत्र (गणित) हैं, तो im(f) S का उप-क्षेत्र है, इसलिए S को R के क्षेत्र विस्तार के रूप में देखा जा सकता है।
  • यदि I, S का आदर्श है तो f−1(I), R का आदर्श है।
  • यदि R और S क्रमविनिमेय हैं और P, S का अभाज्य आदर्श है तो f−1(P) R का अभाज्य आदर्श है।
  • यदि R और S क्रमविनिमेय हैं, M, S का अधिकतम आदर्श है, और f विशेषणात्मक है, तो f−1(M), R का अधिकतम आदर्श है।
  • यदि R और S क्रमविनिमेय हैं और S अभिन्न डोमेन है, तो ker(f) R का अभाज्य आदर्श है।
  • यदि R और S क्रमविनिमेय हैं, S क्षेत्र है, और f विशेषण है, तो ker(f) R का अधिकतम आदर्श है।
  • यदि f विशेषण है, P, R में अभाज्य (अधिकतम) आदर्श है और ker(f) ⊆ P, तो S में f(P) अभाज्य (अधिकतम) आदर्श है।

इसके अतिरिक्त,

  • वलय समरूपता की संरचना वलय समरूपता है।
  • प्रत्येक वलय R के लिए, पहचान मानचित्र RR वलय समरूपता है।
  • इसलिए, सभी वलयों का वर्ग वलय समरूपताओं के साथ मिलकर वलय श्रेणी बनाता है।
  • शून्य मानचित्र RS, R के प्रत्येक तत्व को 0 पर भेजना वलय समरूपता है केवल यदि S शून्य वलय है (वह वलय जिसका एकमात्र तत्व शून्य है)।
  • प्रत्येक वलय R के लिए, अद्वितीय वलय समरूपता ZR है, यह कहता है कि पूर्णांकों के वलय की श्रेणी (गणित) में प्रारंभिक वस्तु है।
  • प्रत्येक वलय R के लिए, R से शून्य वलय तक अद्वितीय वलय समरूपता होती है। यह कहता है कि शून्य वलय की श्रेणी में टर्मिनल वस्तु है।

उदाहरण

  • फलन क्रम f : ZZ/nZ, f(a) = [a]n = a mod n द्वारा परिभाषित, कर्नेल n'Z' के साथ विशेषण वलय समरूपता है (मॉड्यूलर अंकगणित देखें)।
  • जटिल संयुग्मन CC वलय होमोमोर्फिज्म है (यह वलय ऑटोमोर्फिज्म का उदाहरण है)।
  • अभाज्य विशेषता p, RR, xxp का वलय R के लिए, वलय एंडोमोर्फिज्म है जिसे फ्रोबेनियस एंडोमोर्फिज्म कहा जाता है।
  • यदि R और S वलय हैं, तो R से S तक शून्य फलन वलय समरूपता है यदि केवल S शून्य वलय है। (अन्यथा यह 1R से 1S को मानचित्रित करने में विफल रहता है।) दूसरी ओर, शून्य फलन सदैव rng समरूपता है।
  • यदि R[X] वास्तविक संख्याओं R में गुणांक के साथ चर X के लिए काल्पनिक इकाई i को प्रतिस्थापित करें) विशेषण वलय समरूपता है। F के कर्नेल में R[X] के सभी बहुपद सम्मिलित हैं जो X2 + 1 से विभाज्य हैं।
  • यदि f : RS, वलय R और S के मध्य वलय समरूपता है, तो f मैट्रिक्स वलय Mn(R) → Mn(S) के मध्य वलय समरूपता उत्पन्न करता है।
  • मान लीजिए V क्षेत्र k पर सदिश समष्टि है। फिर मानचित्र द्वारा दिए गए वलय समरूपता है। अधिक सामान्यतः, एबेलियन समूह M को देखते हुए, वलय R पर M मॉड्यूल संरचना वलय होमोमोर्फिज्म देने के समान है।
  • क्रमविनिमेय वलय R पर यूनिटल साहचर्य बीजगणित के मध्य यूनिटल बीजगणित समरूपता वलय होमोमोर्फिज्म है जो R-रैखिक भी है।

गैर-उदाहरण

  • फलन क्रम f : Z/6ZZ/6Z, f([a]6) = [4a]6 द्वारा परिभाषित rng समरूपता (और rng एंडोमोर्फिज्म) है, जिसमें कर्नेल 3Z/6Z और छवि 2Z/6Z है (जो समरूपी है Z/3Z)।
  • किसी भी n ≥ 1 के लिए कोई वलय समरूपता Z/nZZ नहीं है।
  • यदि R और S वलय हैं, तो समावेशन प्रत्येक r को (r,0) पर भेजना rng समरूपता है, किंतु वलय समरूपता नहीं है (यदि S शून्य वलय नहीं है), क्योंकि यह R की गुणक पहचान 1 को गुणक पहचान (1,1) में मानचित्र नहीं करता है।

वलय की श्रेणी

एंडोमोर्फिज्म, आइसोमोर्फिज्म, और ऑटोमोर्फिज्म

  • वलय एंडोमोर्फिज्म वलय से स्वयं तक वलय होमोमोर्फिज्म है।
  • वलय समरूपता ऐसी वलय समरूपता है जिसमें दो-ओर व्युत्क्रम होता है जो वलय समरूपता भी है। कोई यह सिद्ध कर सकता है कि वलय समरूपता ऐसा समरूपता है यदि केवल अंतर्निहित समुच्चयों पर फलन के रूप में विशेषण है। यदि दो वलय R और S के मध्य वलय समरूपता उपस्थित है, तो R और S को समरूपी कहा जाता है। समरूपी वलय केवल तत्वों के पुनः लेबलिंग द्वारा भिन्न होते हैं। उदाहरण: समरूपता तक, क्रम 4 के चार वलय होते हैं। (इसका तात्पर्य है कि क्रम 4 के चार जोड़ीदार गैर-समरूपी वलय होते हैं, जैसे कि क्रम 4 का प्रत्येक दूसरा वलय उनमें से के लिए समरूपी होता है।) दूसरी ओर, समरूपता तक, क्रम 4 के ग्यारह वलय होते हैं।
  • वलय ऑटोमोर्फिज्म से स्वयं तक वलय आइसोमोर्फिज्म है।

एकरूपता और एपिमोर्फिज्म

इंजेक्टिव वलय होमोमोर्फिज्म वलयों की श्रेणी में मोनोमोर्फिज्म के समान हैं: यदि f : RS मोनोमोर्फिज्म है जो इंजेक्शन नहीं है, तो यह S के एक ही तत्व में कुछ r1 और r2 भेजता है। Z[x] से दो मानचित्र g1 और g2 पर विचार करें। जो क्रमशः x से r1 और r2, तक मानचित्रित है; fg1 और fg2 के समान हैं, किंतु चूँकि f एकरूपता है इसलिए यह असंभव है।

चूँकि, विशेषण वलय समरूपता वलय की श्रेणी में एपिमोर्फिज्म से अधिक भिन्न हैं। उदाहरण के लिए, समावेशन ZQ वलय एपिमोर्फिज़्म है, किंतु अनुमान नहीं है। चूँकि, वे स्थिर एपिमोर्फिज्म के समान हैं।

यह भी देखें

उद्धरण

  1. Artin 1991, p. 353.
  2. Atiyah & Macdonald 1969, p. 2.
  3. Bourbaki 1998, p. 102.
  4. Eisenbud 1995, p. 12.
  5. Jacobson 1985, p. 103.
  6. Lang 2002, p. 88.
  7. Hazewinkel 2004, p. 3.

टिप्पणियाँ

संदर्भ

  • Artin, Michael (1991). Algebra. Englewood Cliffs, N.J.: Prentice Hall.
  • Atiyah, Michael F.; Macdonald, Ian G. (1969), Introduction to commutative algebra, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., MR 0242802
  • Bourbaki, N. (1998
  • Eisenbud, David (1995). Commutative algebra with a view toward algebraic geometry. Graduate Texts in Mathematics. Vol. 150. New York: Springer-Verlag. xvi+785. ISBN 0-387-94268-8. MR 1322960.
  • Hazewinkel, Michiel (2004). Algebras, rings and modules. Springer-Verlag. ISBN 1-4020-2690-0.
  • Jacobson, Nathan (1985). Basic algebra I (2nd ed.). ISBN 9780486471891.
  • Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, vol. 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556). Algebra I, Chapters 1–3. Springer. {{cite book}}: Check date values in: |year= (help); External link in |year= (help); line feed character in |year= at position 5 (help)
  1. Hazewinkel initially defines "ring" without the requirement of a 1, but very soon states that from now on, all rings will have a 1.
  2. Some authors do not require a ring to contain a multiplicative identity; instead of "rng", "ring", and "rng homomorphism", they use the terms "ring", "ring with identity", and "ring homomorphism", respectively. Because of this, some other authors, to avoid ambiguity, explicitly specify that rings are unital and that homomorphisms preserve the identity.