अंतराकारिता रिंग: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Endomorphism algebra of an abelian group}} गणित में, एक एबेलियन समूह एक्स के एंडोमो...")
 
No edit summary
Line 1: Line 1:
{{Short description|Endomorphism algebra of an abelian group}}
{{Short description|Endomorphism algebra of an abelian group}}
गणित में, एक [[एबेलियन समूह]] एक्स के [[एंडोमोर्फिज्म]] एक [[अंगूठी (गणित)]] बनाते हैं। इस रिंग को एक्स का 'एंडोमोर्फिज्म रिंग' कहा जाता है, जिसे एंड (एक्स) द्वारा निरूपित किया जाता है; X के सभी [[समरूपता]]ओं का स्वयं में समुच्चय। एंडोमोर्फिज्म का जोड़ स्वाभाविक रूप से पॉइंटवाइज # पॉइंटवाइज ऑपरेशंस तरीके और [[ समारोह रचना ]] के जरिए मल्टीप्लिकेशन में पैदा होता है। इन ऑपरेशनों का उपयोग करते हुए, एक एबेलियन समूह के एंडोमोर्फिज्म का सेट एक (यूनिटल) रिंग बनाता है, जिसमें शून्य आकारिकी होती है। <math display="inline">0: x \mapsto 0</math> योज्य पहचान और [[पहचान मानचित्र]] के रूप में <math display="inline">1: x \mapsto x</math> [[पहचान तत्व]] के रूप में।<ref>{{harvtxt|Fraleigh|1976|p=211}}</ref><ref>{{harvtxt|Passman|1991|pp=4–5}}</ref>
गणित में, एक [[एबेलियन समूह]](गणित में विनिमेय समूह) ''X'' के [[Index.php?title=अंतराकारिता|अंतराकारिता]] एक [[Index.php?title=रिंग|रिंग (गणित)]] बनाते हैं। इस रिंग को ''X'' का 'अंतराकारिता रिंग' कहा जाता है, जिसे एंड (''X'') द्वारा निरूपित किया जाता है; ''X'' के सभी [[समरूपता]]ओं का स्वयं में समुच्चय। अंतराकारिता का जोड़ स्वाभाविक रूप से बिंदुवार संक्रिया तरीके और[[ समारोह रचना ]]के जरिए मल्टीप्लिकेशन में पैदा होता है। इन ऑपरेशनों का उपयोग करते हुए, एक एबेलियन समूह के अंतराकारिता का सेट एक (यूनिटल) रिंग बनाता है, जिसमें शून्य आकारिकी होती है। <math display="inline">0: x \mapsto 0</math> योज्य पहचान और [[पहचान मानचित्र]] के रूप में <math display="inline">1: x \mapsto x</math> [[पहचान तत्व]] के रूप में।<ref>{{harvtxt|Fraleigh|1976|p=211}}</ref><ref>{{harvtxt|Passman|1991|pp=4–5}}</ref>
शामिल कार्यों को संदर्भ में एक समरूपता के रूप में परिभाषित किया गया है, जो विचाराधीन वस्तु की [[श्रेणी (गणित)]] पर निर्भर करता है। एंडोमोर्फिज्म रिंग फलस्वरूप वस्तु के कई आंतरिक गुणों को कूटबद्ध करता है। चूंकि परिणामी वस्तु अक्सर कुछ रिंग आर पर एक बीजगणित (रिंग थ्योरी) होती है, इसे 'एंडोमोर्फिज्म बीजगणित' भी कहा जा सकता है।
शामिल कार्यों को संदर्भ में एक समरूपता के रूप में परिभाषित किया गया है, जो विचाराधीन वस्तु की [[श्रेणी (गणित)]] पर निर्भर करता है। अंतराकारिता रिंग फलस्वरूप वस्तु के कई आंतरिक गुणों को कूटबद्ध करता है। चूंकि परिणामी वस्तु अक्सर कुछ रिंग आर पर एक बीजगणित (रिंग थ्योरी) होती है, इसे 'अंतराकारिता बीजगणित' भी कहा जा सकता है।


एक एबेलियन समूह [[पूर्णांक]]ों के वलय के ऊपर एक [[मॉड्यूल (गणित)]] के समान है, जो कि छल्लों की श्रेणी में [[प्रारंभिक वस्तु]] है। इसी तरह से, यदि R कोई क्रमविनिमेय वलय है, तो R-मॉड्यूल के एंडोमोर्फिज्म समान स्वयंसिद्धों और व्युत्पत्ति द्वारा एक वलय के ऊपर एक बीजगणित बनाते हैं। विशेष रूप से, यदि R एक फ़ील्ड (गणित) है, तो इसके मॉड्यूल M [[ सदिश स्थल ]] हैं और उनके एंडोमोर्फिज़्म रिंग एक फ़ील्ड R पर बीजगणित हैं।
एक एबेलियन समूह [[पूर्णांक]]ों के वलय के ऊपर एक [[मॉड्यूल (गणित)]] के समान है, जो कि छल्लों की श्रेणी में [[प्रारंभिक वस्तु]] है। इसी तरह से, यदि R कोई क्रमविनिमेय वलय है, तो R-मॉड्यूल के अंतराकारिता समान स्वयंसिद्धों और व्युत्पत्ति द्वारा एक वलय के ऊपर एक बीजगणित बनाते हैं। विशेष रूप से, यदि R एक फ़ील्ड (गणित) है, तो इसके मॉड्यूल M [[ सदिश स्थल ]] हैं और उनके एंडोमोर्फिज़्म रिंग एक फ़ील्ड R पर बीजगणित हैं।


== विवरण ==
== विवरण ==
होने देना {{nowrap|(''A'', +)}} एक आबेली समूह हो और हम A से A में समूह समाकारिता पर विचार करते हैं। फिर इस तरह के दो समाकारिता के योग को एक अन्य समूह समाकारिता उत्पन्न करने के लिए बिंदुवार परिभाषित किया जा सकता है। स्पष्ट रूप से, दो ऐसी समरूपताएँ f और g दी गई हैं, f और g का योग समाकारिता है {{nowrap|''f'' + ''g'' : ''x'' ↦ ''f''(''x'') + ''g''(''x'')}}. इस ऑपरेशन के तहत एंड (ए) एक एबेलियन समूह है। समरूपता की संरचना के अतिरिक्त संचालन के साथ, अंत (ए) गुणात्मक पहचान वाला एक वलय है। यह रचना स्पष्ट है {{nowrap|''fg'' : ''x'' ↦ ''f''(''g''(''x''))}}. गुणात्मक पहचान ए पर पहचान समरूपता है।
होने देना {{nowrap|(''A'', +)}} एक आबेली समूह हो और हम A से A में समूह समाकारिता पर विचार करते हैं। फिर इस तरह के दो समाकारिता के योग को एक अन्य समूह समाकारिता उत्पन्न करने के लिए बिंदुवार परिभाषित किया जा सकता है। स्पष्ट रूप से, दो ऐसी समरूपताएँ f और g दी गई हैं, f और g का योग समाकारिता है {{nowrap|''f'' + ''g'' : ''x'' ↦ ''f''(''x'') + ''g''(''x'')}}. इस ऑपरेशन के तहत एंड (ए) एक एबेलियन समूह है। समरूपता की संरचना के अतिरिक्त संचालन के साथ, अंत (ए) गुणात्मक पहचान वाला एक वलय है। यह रचना स्पष्ट है {{nowrap|''fg'' : ''x'' ↦ ''f''(''g''(''x''))}}. गुणात्मक पहचान ए पर पहचान समरूपता है।


यदि समुच्चय A एबेलियन समूह नहीं बनाता है, तो उपरोक्त निर्माण आवश्यक रूप से योज्य मानचित्र नहीं है, क्योंकि तब दो समरूपताओं का योग एक समरूपता नहीं होना चाहिए।<ref>{{harvtxt|Dummit|Foote|p=347}}</ref> एंडोमोर्फिज्म का यह सेट [[निकट-अंगूठी]] का एक विहित उदाहरण है जो कि वलय नहीं है।
यदि समुच्चय A एबेलियन समूह नहीं बनाता है, तो उपरोक्त निर्माण आवश्यक रूप से योज्य मानचित्र नहीं है, क्योंकि तब दो समरूपताओं का योग एक समरूपता नहीं होना चाहिए।<ref>{{harvtxt|Dummit|Foote|p=347}}</ref> अंतराकारिता का यह सेट [[निकट-अंगूठी|निकट-रिंग]] का एक विहित उदाहरण है जो कि वलय नहीं है।


== गुण ==
== गुण ==
* एंडोमोर्फिज्म के छल्ले में हमेशा योगात्मक और गुणक पहचान तत्व होते हैं, क्रमशः शून्य मानचित्र और पहचान कार्य।
* अंतराकारिता के छल्ले में हमेशा योगात्मक और गुणक पहचान तत्व होते हैं, क्रमशः शून्य मानचित्र और पहचान कार्य।
* एंडोमोर्फिज्म रिंग सहयोगी हैं, लेकिन आमतौर पर [[गैर-कम्यूटेटिव रिंग]]|गैर-कम्यूटेटिव।
* अंतराकारिता रिंग सहयोगी हैं, लेकिन आमतौर पर [[गैर-कम्यूटेटिव रिंग]]|गैर-कम्यूटेटिव।
* यदि एक मॉड्यूल [[सरल मॉड्यूल]] है, तो इसका एंडोमोर्फिज्म रिंग एक [[ विभाजन की अंगूठी ]] है (इसे कभी-कभी शूर लेम्मा कहा जाता है)।{{sfn|Jacobson| 2009|loc=p. 118}}
* यदि एक मॉड्यूल [[सरल मॉड्यूल]] है, तो इसका अंतराकारिता रिंग एक [[ विभाजन की अंगूठी | विभाजन की रिंग]] है (इसे कभी-कभी शूर लेम्मा कहा जाता है)।{{sfn|Jacobson| 2009|loc=p. 118}}
* एक मॉड्यूल अविघटनीय मॉड्यूल है अगर और केवल अगर इसकी एंडोमोर्फिज्म रिंग में कोई गैर-तुच्छ निष्क्रिय तत्व (रिंग थ्योरी) नहीं है।{{sfn|Jacobson|2009|loc=p. 111, Prop. 3.1}} यदि मॉड्यूल एक [[इंजेक्शन मॉड्यूल]] है, तो अपघटन क्षमता स्थानीय रिंग होने के कारण एंडोमोर्फिज्म रिंग के बराबर है।{{sfn|Wisbauer|1991|loc=p. 163}}
* एक मॉड्यूल अविघटनीय मॉड्यूल है अगर और केवल अगर इसकी अंतराकारिता रिंग में कोई गैर-तुच्छ निष्क्रिय तत्व (रिंग थ्योरी) नहीं है।{{sfn|Jacobson|2009|loc=p. 111, Prop. 3.1}} यदि मॉड्यूल एक [[इंजेक्शन मॉड्यूल]] है, तो अपघटन क्षमता स्थानीय रिंग होने के कारण अंतराकारिता रिंग के बराबर है।{{sfn|Wisbauer|1991|loc=p. 163}}
* एक [[अर्ध-सरल मॉड्यूल]] के लिए, एंडोमोर्फिज्म रिंग एक [[वॉन न्यूमैन नियमित रिंग]] है।
* एक [[अर्ध-सरल मॉड्यूल]] के लिए, अंतराकारिता रिंग एक [[वॉन न्यूमैन नियमित रिंग]] है।
* एक गैर-शून्य सही [[एकतरफा मॉड्यूल]] के एंडोमोर्फिज्म रिंग में या तो एक या दो अधिकतम सही आदर्श होते हैं। यदि मॉड्यूल आर्टिनियन, नोथेरियन, प्रोजेक्टिव या इंजेक्शन है, तो एंडोमोर्फिज्म रिंग का एक अद्वितीय अधिकतम आदर्श है, ताकि यह एक स्थानीय रिंग हो।
* एक गैर-शून्य सही [[एकतरफा मॉड्यूल]] के अंतराकारिता रिंग में या तो एक या दो अधिकतम सही आदर्श होते हैं। यदि मॉड्यूल आर्टिनियन, नोथेरियन, प्रोजेक्टिव या इंजेक्शन है, तो अंतराकारिता रिंग का एक अद्वितीय अधिकतम आदर्श है, ताकि यह एक स्थानीय रिंग हो।
* एक आर्टिनियन [[वर्दी मॉड्यूल]] की एंडोमोर्फिज़्म रिंग एक स्थानीय रिंग है।{{sfn|Wisbauer|1991|loc=p. 263}}
* एक आर्टिनियन [[वर्दी मॉड्यूल]] की एंडोमोर्फिज़्म रिंग एक स्थानीय रिंग है।{{sfn|Wisbauer|1991|loc=p. 263}}
* परिमित रचना लंबाई वाले मॉड्यूल का एंडोमोर्फिज्म रिंग एक [[ अर्द्ध प्राथमिक अंगूठी ]] है।
* परिमित रचना लंबाई वाले मॉड्यूल का अंतराकारिता रिंग एक [[ अर्द्ध प्राथमिक अंगूठी | अर्द्ध प्राथमिक रिंग]] है।
* एक [[निरंतर मॉड्यूल]] या [[असतत मॉड्यूल]] की एंडोमोर्फिज्म रिंग एक साफ रिंग है।{{sfn|Camillo|Khurana|Lam|Nicholson|2006}}
* एक [[निरंतर मॉड्यूल]] या [[असतत मॉड्यूल]] की अंतराकारिता रिंग एक साफ रिंग है।{{sfn|Camillo|Khurana|Lam|Nicholson|2006}}
* यदि एक आर मॉड्यूल बारीक रूप से उत्पन्न और प्रक्षेपी है (जो कि एक पूर्वज है), तो मॉड्यूल की एंडोमोर्फिज्म रिंग और आर सभी मोरिटा अपरिवर्तनीय गुणों को साझा करते हैं। मोरिटा सिद्धांत का एक मूलभूत परिणाम यह है कि आर के समतुल्य सभी वलय पूर्वजों के एंडोमोर्फिज्म वलय के रूप में उत्पन्न होते हैं।
* यदि एक आर मॉड्यूल बारीक रूप से उत्पन्न और प्रक्षेपी है (जो कि एक पूर्वज है), तो मॉड्यूल की अंतराकारिता रिंग और आर सभी मोरिटा अपरिवर्तनीय गुणों को साझा करते हैं। मोरिटा सिद्धांत का एक मूलभूत परिणाम यह है कि आर के समतुल्य सभी वलय पूर्वजों के अंतराकारिता वलय के रूप में उत्पन्न होते हैं।


== उदाहरण ==
== उदाहरण ==
* आर मॉड्यूल (गणित) की श्रेणी में आर-मॉड्यूल एम की एंडोमोर्फिज्म रिंग केवल आर [[मॉड्यूल समरूपता]] का उपयोग करेगी, जो आमतौर पर एबेलियन समूह होमोमोर्फिज्म का एक उचित उपसमुच्चय है।<ref>Abelian groups may also be viewed as modules over the ring of integers.</ref> जब एम एक सूक्ष्म रूप से उत्पन्न मॉड्यूल [[ प्रक्षेपी मॉड्यूल ]] होता है, तो एंडोमोर्फिज्म रिंग मॉड्यूल श्रेणियों के [[मोरिटा तुल्यता]] के लिए केंद्रीय होता है।
* आर मॉड्यूल (गणित) की श्रेणी में आर-मॉड्यूल एम की अंतराकारिता रिंग केवल आर [[मॉड्यूल समरूपता]] का उपयोग करेगी, जो आमतौर पर एबेलियन समूह होमोमोर्फिज्म का एक उचित उपसमुच्चय है।<ref>Abelian groups may also be viewed as modules over the ring of integers.</ref> जब एम एक सूक्ष्म रूप से उत्पन्न मॉड्यूल [[ प्रक्षेपी मॉड्यूल ]] होता है, तो अंतराकारिता रिंग मॉड्यूल श्रेणियों के [[मोरिटा तुल्यता]] के लिए केंद्रीय होता है।
* किसी भी एबेलियन समूह के लिए <math>A</math>, <math>M_n(\operatorname{End}(A))\cong \operatorname{End}(A^n)</math>, क्योंकि कोई भी मैट्रिक्स में <math>M_n(\operatorname{End}(A))</math> की एक प्राकृतिक समरूपता संरचना वहन करती है <math>A^n</math> निम्नलिखित नुसार:
* किसी भी एबेलियन समूह के लिए <math>A</math>, <math>M_n(\operatorname{End}(A))\cong \operatorname{End}(A^n)</math>, क्योंकि कोई भी मैट्रिक्स में <math>M_n(\operatorname{End}(A))</math> की एक प्राकृतिक समरूपता संरचना वहन करती है <math>A^n</math> निम्नलिखित नुसार:
::<math>\begin{pmatrix}\varphi_{11}&\cdots &\varphi_{1n}\\ \vdots& &\vdots \\ \varphi_{n1}&\cdots& \varphi_{nn}  \end{pmatrix}\begin{pmatrix}a_1\\\vdots\\a_n\end{pmatrix}=\begin{pmatrix}\sum_{i=1}^n\varphi_{1i}(a_i)\\\vdots\\\sum_{i=1}^n\varphi_{ni}(a_i) \end{pmatrix}. </math>
::<math>\begin{pmatrix}\varphi_{11}&\cdots &\varphi_{1n}\\ \vdots& &\vdots \\ \varphi_{n1}&\cdots& \varphi_{nn}  \end{pmatrix}\begin{pmatrix}a_1\\\vdots\\a_n\end{pmatrix}=\begin{pmatrix}\sum_{i=1}^n\varphi_{1i}(a_i)\\\vdots\\\sum_{i=1}^n\varphi_{ni}(a_i) \end{pmatrix}. </math>
: इस समरूपता का उपयोग बहुत सारे गैर-कम्यूटेटिव एंडोमोर्फिज्म रिंगों के निर्माण के लिए कर सकते हैं। उदाहरण के लिए: <math>\operatorname{End}(\mathbb{Z}\times \mathbb{Z})\cong M_2(\mathbb{Z})</math>, तब से <math>\operatorname{End}(\mathbb{Z})\cong \mathbb{Z}</math>.
: इस समरूपता का उपयोग बहुत सारे गैर-कम्यूटेटिव अंतराकारिता रिंगों के निर्माण के लिए कर सकते हैं। उदाहरण के लिए: <math>\operatorname{End}(\mathbb{Z}\times \mathbb{Z})\cong M_2(\mathbb{Z})</math>, तब से <math>\operatorname{End}(\mathbb{Z})\cong \mathbb{Z}</math>.
: और कब <math>R=K</math> एक क्षेत्र है, एक विहित समरूपता है <math>\operatorname{End}(K)\cong K</math>, इसलिए <math>\operatorname{End}(K^n)\cong M_n(K)</math>, यानी ए की एंडोमोर्फिज्म रिंग <math>K</math>-वेक्टर स्पेस की पहचान मैट्रिक्स रिंग के साथ की जाती है। एन-बाय-एन मेट्रिसेस की रिंग में प्रविष्टियां होती हैं <math>K</math>.{{sfn|Drozd|Kirichenko|1994|loc=pp. 23–31}} अधिक आम तौर पर, मुक्त मॉड्यूल का एंडोमोर्फिज्म बीजगणित <math>M = R^n</math> स्वाभाविक रूप से है <math>n</math>-द्वारा-<math>n</math> अंगूठी में प्रविष्टियों के साथ matrices <math>R</math>.
: और कब <math>R=K</math> एक क्षेत्र है, एक विहित समरूपता है <math>\operatorname{End}(K)\cong K</math>, इसलिए <math>\operatorname{End}(K^n)\cong M_n(K)</math>, यानी ए की अंतराकारिता रिंग <math>K</math>-वेक्टर स्पेस की पहचान मैट्रिक्स रिंग के साथ की जाती है। एन-बाय-एन मेट्रिसेस की रिंग में प्रविष्टियां होती हैं <math>K</math>.{{sfn|Drozd|Kirichenko|1994|loc=pp. 23–31}} अधिक आम तौर पर, मुक्त मॉड्यूल का अंतराकारिता बीजगणित <math>M = R^n</math> स्वाभाविक रूप से है <math>n</math>-द्वारा-<math>n</math> रिंग में प्रविष्टियों के साथ matrices <math>R</math>.
* अंतिम बिंदु के एक विशेष उदाहरण के रूप में, एकता के साथ किसी भी वलय R के लिए, {{nowrap|1=End(''R''<sub>''R''</sub>) = ''R''}}, जहां R के तत्व बाएं गुणन द्वारा R पर कार्य करते हैं।
* अंतिम बिंदु के एक विशेष उदाहरण के रूप में, एकता के साथ किसी भी वलय R के लिए, {{nowrap|1=End(''R''<sub>''R''</sub>) = ''R''}}, जहां R के तत्व बाएं गुणन द्वारा R पर कार्य करते हैं।
* सामान्य तौर पर, एंडोमोर्फिज्म रिंग्स को किसी भी पूर्ववर्ती श्रेणी की वस्तुओं के लिए परिभाषित किया जा सकता है।
* सामान्य तौर पर, अंतराकारिता रिंग्स को किसी भी पूर्ववर्ती श्रेणी की वस्तुओं के लिए परिभाषित किया जा सकता है।


== टिप्पणियाँ ==
== टिप्पणियाँ ==

Revision as of 15:06, 29 April 2023

गणित में, एक एबेलियन समूह(गणित में विनिमेय समूह) X के अंतराकारिता एक रिंग (गणित) बनाते हैं। इस रिंग को X का 'अंतराकारिता रिंग' कहा जाता है, जिसे एंड (X) द्वारा निरूपित किया जाता है; X के सभी समरूपताओं का स्वयं में समुच्चय। अंतराकारिता का जोड़ स्वाभाविक रूप से बिंदुवार संक्रिया तरीके औरसमारोह रचना के जरिए मल्टीप्लिकेशन में पैदा होता है। इन ऑपरेशनों का उपयोग करते हुए, एक एबेलियन समूह के अंतराकारिता का सेट एक (यूनिटल) रिंग बनाता है, जिसमें शून्य आकारिकी होती है। योज्य पहचान और पहचान मानचित्र के रूप में पहचान तत्व के रूप में।[1][2] शामिल कार्यों को संदर्भ में एक समरूपता के रूप में परिभाषित किया गया है, जो विचाराधीन वस्तु की श्रेणी (गणित) पर निर्भर करता है। अंतराकारिता रिंग फलस्वरूप वस्तु के कई आंतरिक गुणों को कूटबद्ध करता है। चूंकि परिणामी वस्तु अक्सर कुछ रिंग आर पर एक बीजगणित (रिंग थ्योरी) होती है, इसे 'अंतराकारिता बीजगणित' भी कहा जा सकता है।

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

विवरण

होने देना (A, +) एक आबेली समूह हो और हम A से A में समूह समाकारिता पर विचार करते हैं। फिर इस तरह के दो समाकारिता के योग को एक अन्य समूह समाकारिता उत्पन्न करने के लिए बिंदुवार परिभाषित किया जा सकता है। स्पष्ट रूप से, दो ऐसी समरूपताएँ f और g दी गई हैं, f और g का योग समाकारिता है f + g : xf(x) + g(x). इस ऑपरेशन के तहत एंड (ए) एक एबेलियन समूह है। समरूपता की संरचना के अतिरिक्त संचालन के साथ, अंत (ए) गुणात्मक पहचान वाला एक वलय है। यह रचना स्पष्ट है fg : xf(g(x)). गुणात्मक पहचान ए पर पहचान समरूपता है।

यदि समुच्चय A एबेलियन समूह नहीं बनाता है, तो उपरोक्त निर्माण आवश्यक रूप से योज्य मानचित्र नहीं है, क्योंकि तब दो समरूपताओं का योग एक समरूपता नहीं होना चाहिए।[3] अंतराकारिता का यह सेट निकट-रिंग का एक विहित उदाहरण है जो कि वलय नहीं है।

गुण

  • अंतराकारिता के छल्ले में हमेशा योगात्मक और गुणक पहचान तत्व होते हैं, क्रमशः शून्य मानचित्र और पहचान कार्य।
  • अंतराकारिता रिंग सहयोगी हैं, लेकिन आमतौर पर गैर-कम्यूटेटिव रिंग|गैर-कम्यूटेटिव।
  • यदि एक मॉड्यूल सरल मॉड्यूल है, तो इसका अंतराकारिता रिंग एक विभाजन की रिंग है (इसे कभी-कभी शूर लेम्मा कहा जाता है)।[4]
  • एक मॉड्यूल अविघटनीय मॉड्यूल है अगर और केवल अगर इसकी अंतराकारिता रिंग में कोई गैर-तुच्छ निष्क्रिय तत्व (रिंग थ्योरी) नहीं है।[5] यदि मॉड्यूल एक इंजेक्शन मॉड्यूल है, तो अपघटन क्षमता स्थानीय रिंग होने के कारण अंतराकारिता रिंग के बराबर है।[6]
  • एक अर्ध-सरल मॉड्यूल के लिए, अंतराकारिता रिंग एक वॉन न्यूमैन नियमित रिंग है।
  • एक गैर-शून्य सही एकतरफा मॉड्यूल के अंतराकारिता रिंग में या तो एक या दो अधिकतम सही आदर्श होते हैं। यदि मॉड्यूल आर्टिनियन, नोथेरियन, प्रोजेक्टिव या इंजेक्शन है, तो अंतराकारिता रिंग का एक अद्वितीय अधिकतम आदर्श है, ताकि यह एक स्थानीय रिंग हो।
  • एक आर्टिनियन वर्दी मॉड्यूल की एंडोमोर्फिज़्म रिंग एक स्थानीय रिंग है।[7]
  • परिमित रचना लंबाई वाले मॉड्यूल का अंतराकारिता रिंग एक अर्द्ध प्राथमिक रिंग है।
  • एक निरंतर मॉड्यूल या असतत मॉड्यूल की अंतराकारिता रिंग एक साफ रिंग है।[8]
  • यदि एक आर मॉड्यूल बारीक रूप से उत्पन्न और प्रक्षेपी है (जो कि एक पूर्वज है), तो मॉड्यूल की अंतराकारिता रिंग और आर सभी मोरिटा अपरिवर्तनीय गुणों को साझा करते हैं। मोरिटा सिद्धांत का एक मूलभूत परिणाम यह है कि आर के समतुल्य सभी वलय पूर्वजों के अंतराकारिता वलय के रूप में उत्पन्न होते हैं।

उदाहरण

  • आर मॉड्यूल (गणित) की श्रेणी में आर-मॉड्यूल एम की अंतराकारिता रिंग केवल आर मॉड्यूल समरूपता का उपयोग करेगी, जो आमतौर पर एबेलियन समूह होमोमोर्फिज्म का एक उचित उपसमुच्चय है।[9] जब एम एक सूक्ष्म रूप से उत्पन्न मॉड्यूल प्रक्षेपी मॉड्यूल होता है, तो अंतराकारिता रिंग मॉड्यूल श्रेणियों के मोरिटा तुल्यता के लिए केंद्रीय होता है।
  • किसी भी एबेलियन समूह के लिए , , क्योंकि कोई भी मैट्रिक्स में की एक प्राकृतिक समरूपता संरचना वहन करती है निम्नलिखित नुसार:
इस समरूपता का उपयोग बहुत सारे गैर-कम्यूटेटिव अंतराकारिता रिंगों के निर्माण के लिए कर सकते हैं। उदाहरण के लिए: , तब से .
और कब एक क्षेत्र है, एक विहित समरूपता है , इसलिए , यानी ए की अंतराकारिता रिंग -वेक्टर स्पेस की पहचान मैट्रिक्स रिंग के साथ की जाती है। एन-बाय-एन मेट्रिसेस की रिंग में प्रविष्टियां होती हैं .[10] अधिक आम तौर पर, मुक्त मॉड्यूल का अंतराकारिता बीजगणित स्वाभाविक रूप से है -द्वारा- रिंग में प्रविष्टियों के साथ matrices .
  • अंतिम बिंदु के एक विशेष उदाहरण के रूप में, एकता के साथ किसी भी वलय R के लिए, End(RR) = R, जहां R के तत्व बाएं गुणन द्वारा R पर कार्य करते हैं।
  • सामान्य तौर पर, अंतराकारिता रिंग्स को किसी भी पूर्ववर्ती श्रेणी की वस्तुओं के लिए परिभाषित किया जा सकता है।

टिप्पणियाँ

  1. Fraleigh (1976, p. 211)
  2. Passman (1991, pp. 4–5)
  3. Dummit & Foote, p. 347)
  4. Jacobson 2009, p. 118.
  5. Jacobson 2009, p. 111, Prop. 3.1.
  6. Wisbauer 1991, p. 163.
  7. Wisbauer 1991, p. 263.
  8. Camillo et al. 2006.
  9. Abelian groups may also be viewed as modules over the ring of integers.
  10. Drozd & Kirichenko 1994, pp. 23–31.


संदर्भ

  • Camillo, V. P.; Khurana, D.; Lam, T. Y.; Nicholson, W. K.; Zhou, Y. (2006), "Continuous modules are clean", J. Algebra, 304 (1): 94–111, doi:10.1016/j.jalgebra.2006.06.032, ISSN 0021-8693, MR 2255822
  • Drozd, Yu. A.; Kirichenko, V.V. (1994), Finite Dimensional Algebras, Berlin: Springer-Verlag, ISBN 3-540-53380-X
  • Dummit, David; Foote, Richard, Algebra