वलय समरूपता: Difference between revisions
No edit summary |
No edit summary |
||
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.}} | |||
:अतिरिक्त संरक्षण: | :अतिरिक्त संरक्षण: | ||
Line 15: | Line 15: | ||
योगात्मक व्युत्क्रम और योगात्मक पहचान भी संरचना का हिस्सा हैं, लेकिन यह स्पष्ट रूप से आवश्यक नहीं है कि उनका भी सम्मान किया जाए, क्योंकि ये स्थितियाँ उपरोक्त तीन स्थितियों के परिणाम हैं। | योगात्मक व्युत्क्रम और योगात्मक पहचान भी संरचना का हिस्सा हैं, लेकिन यह स्पष्ट रूप से आवश्यक नहीं है कि उनका भी सम्मान किया जाए, क्योंकि ये स्थितियाँ उपरोक्त तीन स्थितियों के परिणाम हैं। | ||
यदि इसके अतिरिक्त f एक आक्षेप है, तो इसका व्युत्क्रम फलन f है<sup>−1</sup> भी एक वलय समरूपता है। इस मामले में, f को ' | यदि इसके अतिरिक्त 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 हैं [[आरएनजी (बीजगणित)]] एस, तो संबंधित धारणा एक की हैरंग समरूपता,{{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>. ए रंग (इकाई) छल्लों के बीच समरूपता को वलय समरूपता होने की आवश्यकता नहीं है। | ||
दो वलय समरूपताओं की [[कार्य संरचना]] एक वलय समरूपता है। यह इस प्रकार है कि सभी | दो वलय समरूपताओं की [[कार्य संरचना]] एक वलय समरूपता है। यह इस प्रकार है कि सभी वलयों का [[वर्ग (सेट सिद्धांत)]] एक [[श्रेणी (गणित)]] बनाता है जिसमें वलय होमोमोर्फिज्म के साथ आकारिकी (सीएफ। वलयों की श्रेणी) होती है। | ||
विशेष रूप से, कोई | विशेष रूप से, कोई वलय एंडोमोर्फिज्म, वलय आइसोमोर्फिज्म और वलय [[आकारिता]] की धारणा प्राप्त करता है। | ||
== गुण == | == गुण == | ||
Line 28: | Line 28: | ||
* f(−a) = −f(a) R में सभी a के लिए। | * f(−a) = −f(a) R में सभी a के लिए। | ||
* 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) एक इकाई तत्व है {{nowrap|1=''f''(''a''<sup>−1</sup>) = ''f''(''a'')<sup>−1</sup>}}. विशेष रूप से, f, R की इकाइयों के (गुणक) समूह से S (या im(f)) की इकाइयों के (गुणक) समूह में एक [[समूह समरूपता]] को प्रेरित करता है। | ||
* f की [[छवि (गणित)]], जिसे im(f) दर्शाया गया है, S का एक | * f की [[छवि (गणित)]], जिसे im(f) दर्शाया गया है, S का एक उपवलय है। | ||
* एफ का [[कर्नेल (बीजगणित)]], के रूप में परिभाषित किया गया है {{nowrap|1=ker(''f'') = {{mset|1=''a'' in ''R'' : ''f''(''a'') = 0<sub>''S''</sub>}}}}, R में एक वलय आदर्श है। वलय R में प्रत्येक आदर्श इस तरह से कुछ वलय समरूपता से उत्पन्न होता है। | * एफ का [[कर्नेल (बीजगणित)]], के रूप में परिभाषित किया गया है {{nowrap|1=ker(''f'') = {{mset|1=''a'' in ''R'' : ''f''(''a'') = 0<sub>''S''</sub>}}}}, R में एक वलय आदर्श है। वलय R में प्रत्येक आदर्श इस तरह से कुछ वलय समरूपता से उत्पन्न होता है। | ||
* होमोमोर्फिज्म एफ इंजेक्टिव है यदि और केवल यदि {{nowrap|1=ker(''f'') = {{mset|0<sub>''R''</sub>}}}}. | * होमोमोर्फिज्म एफ इंजेक्टिव है यदि और केवल यदि {{nowrap|1=ker(''f'') = {{mset|0<sub>''R''</sub>}}}}. | ||
* यदि कोई | * यदि कोई वलय समरूपता मौजूद है {{nowrap|''f'' : ''R'' → ''S''}} तो S की [[विशेषता (बीजगणित)]] R की विशेषता को [[विभाजित]] करती है। इसका उपयोग कभी-कभी यह दिखाने के लिए किया जा सकता है कि कुछ वलय R और S के बीच, कोई वलय समरूपता नहीं है {{nowrap|''R'' → ''S''}} मौजूद। | ||
* यदि आर<sub>p</sub>आर और एस में निहित सबसे छोटा [[सबरिंग]] है<sub>p</sub>एस में निहित सबसे छोटा | * यदि आर<sub>p</sub>आर और एस में निहित सबसे छोटा [[सबरिंग|सबवलय]] है<sub>p</sub>एस में निहित सबसे छोटा सबवलय है, फिर प्रत्येक वलय समरूपता है {{nowrap|''f'' : ''R'' → ''S''}} एक वलय समरूपता उत्पन्न करता है {{nowrap|''f<sub>p</sub>'' : ''R<sub>p</sub>'' → ''S<sub>p</sub>''}}. | ||
* यदि R एक [[फ़ील्ड (गणित)]] (या अधिक सामान्यतः एक तिरछा-फ़ील्ड) है और S शून्य | * यदि R एक [[फ़ील्ड (गणित)]] (या अधिक सामान्यतः एक तिरछा-फ़ील्ड) है और S शून्य वलय नहीं है, तो f इंजेक्टिव है। | ||
* यदि R और S दोनों फ़ील्ड (गणित) हैं, तो im(f) S का एक उपफ़ील्ड है, इसलिए S को R के [[फ़ील्ड विस्तार]] के रूप में देखा जा सकता है। | * यदि R और S दोनों फ़ील्ड (गणित) हैं, तो im(f) S का एक उपफ़ील्ड है, इसलिए S को R के [[फ़ील्ड विस्तार]] के रूप में देखा जा सकता है। | ||
*यदि I, S का आदर्श है तो f<sup>−1</sup>(I) R का एक आदर्श है। | *यदि I, S का आदर्श है तो f<sup>−1</sup>(I) R का एक आदर्श है। | ||
Line 43: | Line 43: | ||
इसके अतिरिक्त, | इसके अतिरिक्त, | ||
* | *वलय होमोमोर्फिज्म की संरचना एक वलय होमोमोर्फिज्म है। | ||
*प्रत्येक | *प्रत्येक वलय आर के लिए, पहचान मानचित्र {{nowrap|''R'' → ''R''}} एक वलय समरूपता है। | ||
*इसलिए, सभी छल्लों का वर्ग वलय समरूपताओं के साथ मिलकर एक श्रेणी बनाता है, छल्लों की श्रेणी। | *इसलिए, सभी छल्लों का वर्ग वलय समरूपताओं के साथ मिलकर एक श्रेणी बनाता है, छल्लों की श्रेणी। | ||
*शून्य मानचित्र {{nowrap|''R'' → ''S''}} R के प्रत्येक तत्व को 0 पर भेजना केवल एक | *शून्य मानचित्र {{nowrap|''R'' → ''S''}} R के प्रत्येक तत्व को 0 पर भेजना केवल एक वलय समरूपता है यदि S शून्य वलय है (वह वलय जिसका एकमात्र तत्व शून्य है)। | ||
* प्रत्येक वलय R के लिए, एक अद्वितीय वलय समरूपता होती है {{nowrap|'''Z''' → ''R''}}. यह कहता है कि पूर्णांकों का वलय वलय की श्रेणी (गणित) में एक [[प्रारंभिक वस्तु]] है। | * प्रत्येक वलय R के लिए, एक अद्वितीय वलय समरूपता होती है {{nowrap|'''Z''' → ''R''}}. यह कहता है कि पूर्णांकों का वलय वलय की श्रेणी (गणित) में एक [[प्रारंभिक वस्तु]] है। | ||
* प्रत्येक वलय R के लिए, R से शून्य वलय तक एक अद्वितीय वलय समरूपता होती है। यह कहता है कि शून्य वलय वलय की श्रेणी में एक [[टर्मिनल वस्तु]] है। | * प्रत्येक वलय R के लिए, R से शून्य वलय तक एक अद्वितीय वलय समरूपता होती है। यह कहता है कि शून्य वलय वलय की श्रेणी में एक [[टर्मिनल वस्तु]] है। | ||
Line 52: | Line 52: | ||
== उदाहरण == | == उदाहरण == | ||
* कार्यक्रम {{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 वाले वलय R के लिए, {{nowrap|''R'' → ''R'', ''x'' → ''x''<sup>''p''</sup>}} एक वलय एंडोमोर्फिज्म है जिसे [[फ्रोबेनियस एंडोमोर्फिज्म]] कहा जाता है। | ||
* यदि 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>.) दूसरी ओर, शून्य फलन सदैव a होता है रंग समरूपता. | ||
* यदि 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'' में सभी [[बहुपद]]ों की अंगूठी को दर्शाता है, और C [[जटिल संख्या]]ओं को दर्शाता है, तो फ़ंक्शन {{nowrap|''f'' : '''R'''[''X''] → '''C'''}} द्वारा परिभाषित {{nowrap|1=''f''(''p'') = ''p''(''i'')}} (बहुपद p में चर X के लिए काल्पनिक इकाई i को प्रतिस्थापित करें) एक विशेषण वलय समरूपता है। एफ के कर्नेल में 'आर' [एक्स] में सभी बहुपद शामिल हैं जो विभाज्य हैं {{nowrap|''X''<sup>2</sup> + 1}}. | ||
* अगर {{nowrap|''f'' : ''R'' → ''S''}} | * अगर {{nowrap|''f'' : ''R'' → ''S''}} वलय आर और एस के बीच एक वलय होमोमोर्फिज्म है, फिर एफ [[मैट्रिक्स रिंग|मैट्रिक्स वलय]]ों के बीच एक वलय होमोमोर्फिज्म प्रेरित करता है {{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> एक वलय समरूपता है। अधिक आम तौर पर, एक एबेलियन समूह एम को देखते हुए, एक | *मान लीजिए V एक फ़ील्ड k पर एक सदिश समष्टि है। फिर नक्शा <math>\rho : k \to \operatorname{End}(V)</math> द्वारा दिए गए <math>\rho(a)v = av</math> एक वलय समरूपता है। अधिक आम तौर पर, एक एबेलियन समूह एम को देखते हुए, एक वलय आर पर एम पर एक मॉड्यूल संरचना एक वलय होमोमोर्फिज्म देने के बराबर है <math>R \to \operatorname{End}(M)</math>. | ||
* एक क्रमविनिमेय | * एक क्रमविनिमेय वलय आर पर यूनिटल [[साहचर्य बीजगणित]] के बीच एक यूनिटल [[बीजगणित समरूपता]] एक वलय होमोमोर्फिज्म है जो मॉड्यूल होमोमोर्फिज्म | आर-रैखिक भी है। | ||
== गैर-उदाहरण == | == गैर-उदाहरण == | ||
* कार्यक्रम {{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>}} एक है रंग समरूपता (और रंग एंडोमोर्फिज्म), कर्नेल 3Z/6Z और छवि 2Z/6Z के साथ (जो Z/3Z के लिए आइसोमोर्फिक है)। | ||
* कोई वलय समरूपता नहीं है {{nowrap|'''Z'''/''n'''''Z''' → '''Z'''}} किसी के लिए {{nowrap|''n'' ≥ 1}}. | * कोई वलय समरूपता नहीं है {{nowrap|'''Z'''/''n'''''Z''' → '''Z'''}} किसी के लिए {{nowrap|''n'' ≥ 1}}. | ||
* यदि आर और एस वलय हैं, तो समावेशन <math>R \to R \times S</math> प्रत्येक r को (r,0) पर भेजना एक rng समरूपता है, लेकिन | * यदि आर और एस वलय हैं, तो समावेशन <math>R \to R \times S</math> प्रत्येक r को (r,0) पर भेजना एक rng समरूपता है, लेकिन वलय समरूपता नहीं है (यदि S शून्य वलय नहीं है), क्योंकि यह R की गुणक पहचान 1 को गुणक पहचान (1,1) से मैप नहीं करता है। <math>R \times S</math>. | ||
==अंगूठियों की श्रेणी== | ==अंगूठियों की श्रेणी== | ||
Line 69: | Line 69: | ||
===एंडोमोर्फिज्म, आइसोमोर्फिज्म, और ऑटोमोर्फिज्म=== | ===एंडोमोर्फिज्म, आइसोमोर्फिज्म, और ऑटोमोर्फिज्म=== | ||
* | * वलय एंडोमोर्फिज्म एक वलय से स्वयं तक एक वलय होमोमोर्फिज्म है। | ||
* एक वलय समरूपता एक वलय समरूपता है जिसमें दो-तरफा व्युत्क्रम होता है जो एक वलय समरूपता भी है। कोई यह सिद्ध कर सकता है कि एक वलय समरूपता एक समरूपता है यदि और केवल यदि यह अंतर्निहित सेटों पर एक फ़ंक्शन के रूप में विशेषण है। यदि दो वलय ''आर'' और ''एस'' के बीच एक वलय समरूपता मौजूद है, तो ''आर'' और ''एस'' को समरूपी कहा जाता है। समरूपी वलय केवल तत्वों के पुनः लेबलिंग द्वारा भिन्न होते हैं। उदाहरण: समरूपता तक, क्रम 4 के चार वलय होते हैं। (इसका मतलब है कि क्रम 4 के चार जोड़ीदार गैर-समरूपी वलय होते हैं, जैसे कि क्रम 4 का हर दूसरा वलय उनमें से एक के लिए समरूपी होता है।) दूसरी ओर, समरूपता तक ग्यारह होते हैं rngs क्रम 4 का. | * एक वलय समरूपता एक वलय समरूपता है जिसमें दो-तरफा व्युत्क्रम होता है जो एक वलय समरूपता भी है। कोई यह सिद्ध कर सकता है कि एक वलय समरूपता एक समरूपता है यदि और केवल यदि यह अंतर्निहित सेटों पर एक फ़ंक्शन के रूप में विशेषण है। यदि दो वलय ''आर'' और ''एस'' के बीच एक वलय समरूपता मौजूद है, तो ''आर'' और ''एस'' को समरूपी कहा जाता है। समरूपी वलय केवल तत्वों के पुनः लेबलिंग द्वारा भिन्न होते हैं। उदाहरण: समरूपता तक, क्रम 4 के चार वलय होते हैं। (इसका मतलब है कि क्रम 4 के चार जोड़ीदार गैर-समरूपी वलय होते हैं, जैसे कि क्रम 4 का हर दूसरा वलय उनमें से एक के लिए समरूपी होता है।) दूसरी ओर, समरूपता तक ग्यारह होते हैं rngs क्रम 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|'''Z''' ⊆ '''Q'''}} एक [[मजबूत प्रतीकवाद]] है, लेकिन एक अनुमान नहीं है। हालाँकि, वे बिल्कुल मजबूत एपिमोर्फिज्म के समान हैं। | हालाँकि, विशेषण वलय समरूपता वलय की श्रेणी में [[एपिमोर्फिज्म]] से काफी भिन्न हैं। उदाहरण के लिए, समावेशन {{nowrap|'''Z''' ⊆ '''Q'''}} एक [[मजबूत प्रतीकवाद]] है, लेकिन एक अनुमान नहीं है। हालाँकि, वे बिल्कुल मजबूत एपिमोर्फिज्म के समान हैं। |
Revision as of 20:30, 9 July 2023
Algebraic structure → Ring theory Ring theory |
---|
वलय सिद्धांत में, अमूर्त बीजगणित की एक शाखा, एक वलय होमोमोर्फिज्म दो वलय (बीजगणित) के बीच एक संरचना-संरक्षण कार्य (गणित) है। अधिक स्पष्ट रूप से, यदि आर और एस वलय हैं, तो एक वलय समरूपता एक फलन है f : R → S ऐसा कि f है:[1][2][3][4][5][6][7][lower-alpha 1]
- अतिरिक्त संरक्षण:
- आर में सभी ए और बी के लिए
- गुणा संरक्षण:
- आर में सभी ए और बी के लिए,
- और इकाई (गुणक पहचान) संरक्षित करना:
- .
योगात्मक व्युत्क्रम और योगात्मक पहचान भी संरचना का हिस्सा हैं, लेकिन यह स्पष्ट रूप से आवश्यक नहीं है कि उनका भी सम्मान किया जाए, क्योंकि ये स्थितियाँ उपरोक्त तीन स्थितियों के परिणाम हैं।
यदि इसके अतिरिक्त f एक आक्षेप है, तो इसका व्युत्क्रम फलन f है−1 भी एक वलय समरूपता है। इस मामले में, f को 'वलय आइसोमोर्फिज्म' कहा जाता है, और वलय R और S को आइसोमॉर्फिक कहा जाता है। वलय सिद्धांत के दृष्टिकोण से, समरूपी वलय को अलग नहीं किया जा सकता है।
यदि R और S हैं आरएनजी (बीजगणित) एस, तो संबंधित धारणा एक की हैरंग समरूपता,[lower-alpha 2] तीसरी शर्त f(1) को छोड़कर ऊपर बताए अनुसार परिभाषित किया गया हैR) = 1S. ए रंग (इकाई) छल्लों के बीच समरूपता को वलय समरूपता होने की आवश्यकता नहीं है।
दो वलय समरूपताओं की कार्य संरचना एक वलय समरूपता है। यह इस प्रकार है कि सभी वलयों का वर्ग (सेट सिद्धांत) एक श्रेणी (गणित) बनाता है जिसमें वलय होमोमोर्फिज्म के साथ आकारिकी (सीएफ। वलयों की श्रेणी) होती है। विशेष रूप से, कोई वलय एंडोमोर्फिज्म, वलय आइसोमोर्फिज्म और वलय आकारिता की धारणा प्राप्त करता है।
गुण
होने देना एक वलय समरूपता हो। फिर, सीधे इन परिभाषाओं से, कोई यह निष्कर्ष निकाल सकता है:
- एफ(0R) = 0S.
- f(−a) = −f(a) R में सभी a के लिए।
- R में किसी भी इकाई तत्व a के लिए, f(a) एक इकाई तत्व है f(a−1) = f(a)−1. विशेष रूप से, f, R की इकाइयों के (गुणक) समूह से S (या im(f)) की इकाइयों के (गुणक) समूह में एक समूह समरूपता को प्रेरित करता है।
- f की छवि (गणित), जिसे im(f) दर्शाया गया है, S का एक उपवलय है।
- एफ का कर्नेल (बीजगणित), के रूप में परिभाषित किया गया है ker(f) = {a in R : f(a) = 0S}, R में एक वलय आदर्श है। वलय R में प्रत्येक आदर्श इस तरह से कुछ वलय समरूपता से उत्पन्न होता है।
- होमोमोर्फिज्म एफ इंजेक्टिव है यदि और केवल यदि ker(f) = {0R}.
- यदि कोई वलय समरूपता मौजूद है f : R → S तो S की विशेषता (बीजगणित) R की विशेषता को विभाजित करती है। इसका उपयोग कभी-कभी यह दिखाने के लिए किया जा सकता है कि कुछ वलय R और S के बीच, कोई वलय समरूपता नहीं है R → S मौजूद।
- यदि आरpआर और एस में निहित सबसे छोटा सबवलय हैpएस में निहित सबसे छोटा सबवलय है, फिर प्रत्येक वलय समरूपता है f : R → S एक वलय समरूपता उत्पन्न करता है fp : Rp → Sp.
- यदि 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 विशेषण है, तो R और में P अभाज्य (अधिकतम) आदर्श है ker(f) ⊆ P, तो S में f(P) अभाज्य (अधिकतम) आदर्श है।
इसके अतिरिक्त,
- वलय होमोमोर्फिज्म की संरचना एक वलय होमोमोर्फिज्म है।
- प्रत्येक वलय आर के लिए, पहचान मानचित्र R → R एक वलय समरूपता है।
- इसलिए, सभी छल्लों का वर्ग वलय समरूपताओं के साथ मिलकर एक श्रेणी बनाता है, छल्लों की श्रेणी।
- शून्य मानचित्र R → S R के प्रत्येक तत्व को 0 पर भेजना केवल एक वलय समरूपता है यदि S शून्य वलय है (वह वलय जिसका एकमात्र तत्व शून्य है)।
- प्रत्येक वलय R के लिए, एक अद्वितीय वलय समरूपता होती है Z → R. यह कहता है कि पूर्णांकों का वलय वलय की श्रेणी (गणित) में एक प्रारंभिक वस्तु है।
- प्रत्येक वलय R के लिए, R से शून्य वलय तक एक अद्वितीय वलय समरूपता होती है। यह कहता है कि शून्य वलय वलय की श्रेणी में एक टर्मिनल वस्तु है।
उदाहरण
- कार्यक्रम f : Z → Z/nZ, द्वारा परिभाषित f(a) = [a]n = a mod n कर्नेल n'Z' के साथ एक विशेषण वलय समरूपता है (मॉड्यूलर अंकगणित देखें)।
- जटिल संयुग्मन C → C एक वलय होमोमोर्फिज्म है (यह वलय ऑटोमोर्फिज्म का एक उदाहरण है)।
- अभाज्य विशेषता p वाले वलय R के लिए, R → R, x → xp एक वलय एंडोमोर्फिज्म है जिसे फ्रोबेनियस एंडोमोर्फिज्म कहा जाता है।
- यदि R और S वलय हैं, तो R से S तक शून्य फलन एक वलय समरूपता है यदि और केवल यदि S शून्य वलय है। (अन्यथा यह मानचित्र 1 बनाने में विफल रहता हैR से 1S.) दूसरी ओर, शून्य फलन सदैव a होता है रंग समरूपता.
- यदि R[X] वास्तविक संख्या R में गुणांक के साथ चर X में सभी बहुपदों की अंगूठी को दर्शाता है, और C जटिल संख्याओं को दर्शाता है, तो फ़ंक्शन f : R[X] → C द्वारा परिभाषित f(p) = p(i) (बहुपद p में चर X के लिए काल्पनिक इकाई i को प्रतिस्थापित करें) एक विशेषण वलय समरूपता है। एफ के कर्नेल में 'आर' [एक्स] में सभी बहुपद शामिल हैं जो विभाज्य हैं X2 + 1.
- अगर f : R → S वलय आर और एस के बीच एक वलय होमोमोर्फिज्म है, फिर एफ मैट्रिक्स वलयों के बीच एक वलय होमोमोर्फिज्म प्रेरित करता है Mn(R) → Mn(S).
- मान लीजिए V एक फ़ील्ड k पर एक सदिश समष्टि है। फिर नक्शा द्वारा दिए गए एक वलय समरूपता है। अधिक आम तौर पर, एक एबेलियन समूह एम को देखते हुए, एक वलय आर पर एम पर एक मॉड्यूल संरचना एक वलय होमोमोर्फिज्म देने के बराबर है .
- एक क्रमविनिमेय वलय आर पर यूनिटल साहचर्य बीजगणित के बीच एक यूनिटल बीजगणित समरूपता एक वलय होमोमोर्फिज्म है जो मॉड्यूल होमोमोर्फिज्म | आर-रैखिक भी है।
गैर-उदाहरण
- कार्यक्रम f : Z/6Z → Z/6Z द्वारा परिभाषित f([a]6) = [4a]6 एक है रंग समरूपता (और रंग एंडोमोर्फिज्म), कर्नेल 3Z/6Z और छवि 2Z/6Z के साथ (जो Z/3Z के लिए आइसोमोर्फिक है)।
- कोई वलय समरूपता नहीं है Z/nZ → Z किसी के लिए n ≥ 1.
- यदि आर और एस वलय हैं, तो समावेशन प्रत्येक r को (r,0) पर भेजना एक rng समरूपता है, लेकिन वलय समरूपता नहीं है (यदि S शून्य वलय नहीं है), क्योंकि यह R की गुणक पहचान 1 को गुणक पहचान (1,1) से मैप नहीं करता है। .
अंगूठियों की श्रेणी
एंडोमोर्फिज्म, आइसोमोर्फिज्म, और ऑटोमोर्फिज्म
- वलय एंडोमोर्फिज्म एक वलय से स्वयं तक एक वलय होमोमोर्फिज्म है।
- एक वलय समरूपता एक वलय समरूपता है जिसमें दो-तरफा व्युत्क्रम होता है जो एक वलय समरूपता भी है। कोई यह सिद्ध कर सकता है कि एक वलय समरूपता एक समरूपता है यदि और केवल यदि यह अंतर्निहित सेटों पर एक फ़ंक्शन के रूप में विशेषण है। यदि दो वलय आर और एस के बीच एक वलय समरूपता मौजूद है, तो आर और एस को समरूपी कहा जाता है। समरूपी वलय केवल तत्वों के पुनः लेबलिंग द्वारा भिन्न होते हैं। उदाहरण: समरूपता तक, क्रम 4 के चार वलय होते हैं। (इसका मतलब है कि क्रम 4 के चार जोड़ीदार गैर-समरूपी वलय होते हैं, जैसे कि क्रम 4 का हर दूसरा वलय उनमें से एक के लिए समरूपी होता है।) दूसरी ओर, समरूपता तक ग्यारह होते हैं rngs क्रम 4 का.
- एक वलय ऑटोमोर्फिज्म एक वलय से स्वयं तक एक वलय आइसोमोर्फिज्म है।
एकरूपता और एपिमोर्फिज्म
इंजेक्टिव वलय होमोमोर्फिज्म वलयों की श्रेणी में मोनोमोर्फिज्म के समान हैं: यदि f : R → S एक मोनोमोर्फिज्म है जो इंजेक्शन नहीं है, तो यह कुछ आर भेजता है1 और आर2 एस के एक ही तत्व के लिए दो मानचित्रों पर विचार करें जी1 और जी2 Z[x] से R तक वह मानचित्र x से r1 और आर2, क्रमश; f ∘ g1 और f ∘ g2 समान हैं, लेकिन चूँकि f एक एकरूपता है इसलिए यह असंभव है।
हालाँकि, विशेषण वलय समरूपता वलय की श्रेणी में एपिमोर्फिज्म से काफी भिन्न हैं। उदाहरण के लिए, समावेशन Z ⊆ Q एक मजबूत प्रतीकवाद है, लेकिन एक अनुमान नहीं है। हालाँकि, वे बिल्कुल मजबूत एपिमोर्फिज्म के समान हैं।
यह भी देखें
उद्धरण
- ↑ Artin 1991, p. 353.
- ↑ Atiyah & Macdonald 1969, p. 2.
- ↑ Bourbaki 1998, p. 102.
- ↑ Eisenbud 1995, p. 12.
- ↑ Jacobson 1985, p. 103.
- ↑ Lang 2002, p. 88.
- ↑ 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). Algebra I, Chapters 1–3. Springer.
- 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
Cite error: <ref>
tags exist for a group named "lower-alpha", but no corresponding <references group="lower-alpha"/>
tag was found