इडेम्पोटेंट (रिंग थ्योरी): Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|In mathematics, element that equals its square}}
{{Short description|In mathematics, element that equals its square}}
[[वलय सिद्धांत]] में, गणित की शाखा, निष्क्रिय तत्व या बस वलय का निष्क्रिय तत्व (गणित) ऐसा तत्व ''ए'' है जो {{nowrap|1=''a''<sup>2</sup> = ''a''}}.<ref>See Hazewinkel et al. (2004), p. 2.</ref> अर्थात्, रिंग के गुणन के तहत तत्व [[निष्क्रिय]] है। [[गणितीय प्रेरण]] तो, कोई यह निष्कर्ष भी निकाल सकता है {{nowrap|1=''a'' = ''a''<sup>2</sup> = ''a''<sup>3</sup> = ''a''<sup>4</sup> = ... = ''a''<sup>''n''</sup>}} किसी भी धनात्मक [[पूर्णांक]] n के लिए। उदाहरण के लिए, [[मैट्रिक्स रिंग]] का निष्क्रिय तत्व वास्तव में [[निष्क्रिय मैट्रिक्स]] है।
[[वलय सिद्धांत]] में, गणित की शाखा, वलय का निष्क्रिय अवयव या मात्र निष्क्रिय अवयव (गणित) एक ऐसा अवयव है जो {{nowrap|1=''a''<sup>2</sup> = ''a''}} है।<ref>See Hazewinkel et al. (2004), p. 2.</ref> अर्थात्, वलय के गुणन के अंतर्गत अवयव [[निष्क्रिय]] है। [[गणितीय प्रेरण]] से, कोई यह निष्कर्ष भी निकाल सकता है कि किसी भी धनात्मक [[पूर्णांक]] n के लिए {{nowrap|1=''a'' = ''a''<sup>2</sup> = ''a''<sup>3</sup> = ''a''<sup>4</sup> = ... = ''a''<sup>''n''</sup>}} उदाहरण के लिए, [[मैट्रिक्स रिंग|आव्यूह वलय]] का निष्क्रिय अवयव वस्तुतः [[निष्क्रिय मैट्रिक्स|निष्क्रिय आव्यूह]] है।


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


==उदाहरण==
==उदाहरण==


=== Z के भागफल ===
=== Z के भागफल ===
कोई पूर्णांक मॉड्यूल n के वलय पर विचार कर सकता है जहां n [[वर्ग-मुक्त पूर्णांक]] है। [[चीनी शेषफल प्रमेय]] के अनुसार, यह वलय पूर्णांक मॉड्यूलो p के वलय के गुणनफल में कारक होता है जहां p [[अभाज्य संख्या]] है। अब इनमें से प्रत्येक कारक क्षेत्र (गणित) है, इसलिए यह स्पष्ट है कि कारकों के एकमात्र निष्क्रिय प्रभाव 0 और 1 होंगे। यानी, प्रत्येक कारक के दो निष्क्रिय कारक हैं। इसलिए यदि m गुणनखंड हैं, तो 2 होंगे<sup></sup>बेवकूफ़.
कोई पूर्णांक मॉड्यूल '''n''' के वलय पर विचार कर सकता है जहां n [[वर्ग-मुक्त पूर्णांक]] है। [[चीनी शेषफल प्रमेय]] के अनुसार, यह वलय पूर्णांक मॉड्यूलो p के वलय के गुणनफल में कारक होता है जहां p [[अभाज्य संख्या]] है। अब इनमें से प्रत्येक कारक क्षेत्र (गणित) है, इसलिए यह स्पष्ट है कि कारकों के एकमात्र निष्क्रिय प्रभाव 0 और 1 होंगे। अर्थात, प्रत्येक कारक के दो निष्क्रिय कारक हैं। इसलिए यदि '''m''' कारक हैं, तो 2<sup>m</sup> निष्क्रिय होंगे।


हम इसे पूर्णांक मॉड 6 के लिए जांच सकते हैं, {{nowrap|1=''R'' = '''Z'''/6'''Z'''}}. चूँकि 6 के दो अभाज्य गुणनखंड (2 और 3) हैं इसलिए इसका 2 होना चाहिए<sup>2</sup>बेवकूफ़.
हम इसे पूर्णांक मॉड 6, {{nowrap|1=''R'' = '''Z'''/6'''Z'''}} के लिए जांच सकते हैं। चूँकि 6 के दो अभाज्य गुणनखंड (2 और 3) हैं इसलिए इसमें 2<sup>2</sup> निष्क्रिय होंगे।


: 0<sup>2</sup> ≡ 0 ≡ 0 (मॉड 6)
:: 0<sup>2</sup> ≡ 0 ≡ 0 (mod 6)
: 1<sup>2</sup> ≡ 1 ≡ 1 (मॉड 6)
:: 1<sup>2</sup> ≡ 1 ≡ 1 (mod 6)
: 2<sup>2</sup> ≡ 4 ≡ 4 (मॉड 6)
:: 2<sup>2</sup> ≡ 4 ≡ 4 (mod 6)
: 3<sup>2</sup> ≡ 9 ≡ 3 (मॉड 6)
:: 3<sup>2</sup> ≡ 9 ≡ 3 (mod 6)
: 4<sup>2</sup> ≡ 16 ≡ 4 (मॉड 6)
:: 4<sup>2</sup> ≡ 16 ≡ 4 (mod 6)
: 5<sup>2</sup> ≡ 25 ≡ 1 (मॉड 6)
:: 5<sup>2</sup> ≡ 25 ≡ 1 (mod 6)


इन गणनाओं से, 0, 1, 3, और 4 इस रिंग के निष्क्रिय हैं, जबकि 2 और 5 नहीं हैं। यह नीचे वर्णित अपघटन गुणों को भी प्रदर्शित करता है: क्योंकि {{nowrap|1=3 + 4 = 1 (mod 6)}}, रिंग अपघटन है {{nowrap|3'''Z'''/6'''Z''' ⊕ 4'''Z'''/6'''Z'''}}. 3Z/6Z में पहचान 3+6Z है और 4Z/6Z में पहचान 4+6Z है।
इन गणनाओं से, 0, 1, 3, और 4 इस वलय के निष्क्रिय हैं, जबकि 2 और 5 नहीं हैं। यह निम्न वर्णित अपघटन गुणों को भी प्रदर्शित करता है: क्योंकि {{nowrap|1=3 + 4 = 1 (mod 6)}}, वलय अपघटन {{nowrap|3'''Z'''/6'''Z''' ⊕ 4'''Z'''/6'''Z'''}} है। 3Z/6Z में तत्समक 3+6Z है और 4Z/6Z में तत्समक 4+6Z है।


=== बहुपद वलय का भागफल ===
=== बहुपद वलय का भागफल ===
एक अंगूठी दी <math>R</math> और तत्व <math>f \in R</math> ऐसा है कि <math>f^2 \neq 0</math>, फिर भागफल वलय
एक वलय <math>R</math> और अवयव <math>f \in R</math> इस प्रकार दिया गया है कि <math>f^2 \neq 0</math> , तो भागफल वलय
:<math>R/(f^2 - f)</math>
:<math>R/(f^2 - f)</math>
निष्क्रिय है <math>f</math>. उदाहरण के लिए, इसे लागू किया जा सकता है <math>x \in \mathbb{Z}[x]</math>, या कोई [[बहुपद]] <math>f \in k[x_1,\ldots, x_n]</math>.
में निष्क्रिय <math>f</math> है। उदाहरण के लिए, इसे <math>x \in \mathbb{Z}[x]</math> या किसी [[बहुपद]] <math>f \in k[x_1,\ldots, x_n]</math> पर लागू किया जा सकता है।


=== [[ विभाजन-चतुर्थक ]] रिंग्स में इडेम्पोटेंट्स ===
=== [[ विभाजन-चतुर्थक |विभाजन-चतुर्थक]] वलयों में निष्क्रिय ===
स्प्लिट-क्वाटर्नियन रिंग में इडेम्पोटेंट्स का [[कैटेनॉइड]] होता है।
विभाजन-चतुर्थक वलय में निष्क्रिय का [[कैटेनॉइड|श्रृंखलाभ]] होता है।


==रिंग इडेम्पोटेंट्स के प्रकार==
==वलय निष्क्रिय के प्रकार==
महत्वपूर्ण प्रकार के बेरोजगारों की आंशिक सूची में शामिल हैं:
महत्वपूर्ण प्रकार के निष्क्रियों की आंशिक सूची में सम्मिलित हैं:
*दो निष्क्रिय ए और बी को 'ऑर्थोगोनल' कहा जाता है यदि {{nowrap|1=''ab'' = ''ba'' = 0}}. यदि a रिंग R में निष्क्रिय है (रिंग_(गणित)#नोट्स_ऑन_द_डेफिनिशन के साथ), तो ऐसा ही है {{nowrap|1=''b'' = 1&thinsp;−&nbsp;''a''}}; इसके अलावा, और बी ऑर्थोगोनल हैं।
*यदि {{nowrap|1=''ab'' = ''ba'' = 0}} है तो दो निष्क्रिय a और b को '''<nowiki/>'लाम्बिक'''<nowiki/>' कहा जाता है। यदि a वलय R (वलय के साथ) में निष्क्रिय है, तो {{nowrap|1=''b'' = 1&thinsp;−&nbsp;''a''}} है; इसके अतिरिक्त, a और b लाम्बिक हैं।
*आर में निष्क्रिय को 'केंद्रीय निष्क्रिय' कहा जाता है यदि {{nowrap|1=''ax'' = ''xa''}} R में सभी x के लिए, अर्थात, यदि a, R के [[केंद्र (रिंग सिद्धांत)]] में है।
*R में निष्क्रिय a को ''''केंद्रीय निष्क्रिय'''<nowiki/>' कहा जाता है यदि {{nowrap|1=''ax'' = ''xa''}} R में सभी x के लिए, अर्थात, यदि a, R के [[केंद्र (रिंग सिद्धांत)|केंद्र (वलय सिद्धांत)]] में है।
*एक 'तुच्छ निष्क्रिय' तत्व 0 और 1 में से किसी को संदर्भित करता है, जो हमेशा निष्क्रिय होते हैं।
*एक ''''तुच्छ निष्क्रिय'''<nowiki/>' अवयव 0 और 1 में से किसी को संदर्भित करता है, जो सदैव निष्क्रिय होते हैं।
*रिंग आर का 'आदिम निष्क्रिय' गैर-शून्य निष्क्रिय है, जैसे कि एआर सही आर-मॉड्यूल के रूप में [[अविभाज्य मॉड्यूल]] है; यानी कि एआर दो [[शून्य मॉड्यूल]] [[सबमॉड्यूल]] के [[मॉड्यूल का प्रत्यक्ष योग]] नहीं है। समान रूप से, यदि इसे = + एफ के रूप में नहीं लिखा जा सकता है, तो आदिम इडेम्पोटेंट है, जहां और एफ आर में गैर-शून्य ऑर्थोगोनल इडेम्पोटेंट हैं।
*वलय R का ''''आदिम निष्क्रिय'''<nowiki/>' गैर-शून्य निष्क्रिय है, जैसे कि aR उचित R-मॉड्यूल के रूप में [[अविभाज्य मॉड्यूल]] है; अर्थात कि aR दो [[शून्य मॉड्यूल]] [[सबमॉड्यूल|उपमॉड्यूल]] के [[मॉड्यूल का प्रत्यक्ष योग]] नहीं है। समान रूप से, यदि इसे '''''a = e + f''''' के रूप में नहीं लिखा जा सकता है, तो a आदिम निष्क्रिय है, जहां e और f R में गैर-शून्य लाम्बिक निष्क्रिय हैं।
*एक 'स्थानीय निष्क्रिय' निष्क्रिय व्यक्ति है जैसे कि एआरए स्थानीय वलय है। इसका तात्पर्य यह है कि एआर सीधे तौर पर अविभाज्य है, इसलिए स्थानीय निष्क्रियता भी आदिम है।
*एक ''''स्थानीय निष्क्रिय'''' निष्क्रिय है जैसे कि aRa स्थानीय वलय है। इसका तात्पर्य यह है कि aR प्रत्यक्षतः अविभाज्य है, इसलिए स्थानीय निष्क्रियता भी आदिम है।
*'राइट इरेड्यूसिबल इडेम्पोटेंट' इडेम्पोटेंट है जिसके लिए एआर [[सरल मॉड्यूल]] है। शूर की लेम्मा द्वारा, {{nowrap|1=End<sub>''R''</sub>(''aR'') = ''aRa''}} विभाजन वलय है, और इसलिए स्थानीय वलय है, इसलिए दाएँ (और बाएँ) इरेड्यूसिबल इडेम्पोटेंट स्थानीय हैं।
*'''<nowiki/>'दाएँ अखंडनीय निष्क्रिय'''' निष्क्रिय है जिसके लिए aR [[सरल मॉड्यूल]] है। शूर की लेम्मा द्वारा, {{nowrap|1=End<sub>''R''</sub>(''aR'') = ''aRa''}} विभाजन वलय है, और इसलिए स्थानीय वलय है, इसलिए दाएँ (और बाएँ) अखंडनीय निष्क्रिय स्थानीय हैं।
*एक केंद्रीय रूप से आदिम निष्क्रिय केंद्रीय निष्क्रिय भावी ''ए'' है जिसे दो गैर-शून्य ऑर्थोगोनल केंद्रीय निष्क्रियता के योग के रूप में नहीं लिखा जा सकता है।
*एक '''केंद्रीय रूप से आदिम''' निष्क्रिय केंद्रीय निष्क्रिय भावी a है जिसे दो गैर-शून्य लाम्बिक केंद्रीय निष्क्रियता के योग के रूप में नहीं लिखा जा सकता है।
*एक नपुंसक {{nowrap|1=''a'' + ''I''}} भागफल रिंग में R/I को 'लिफ्ट मोडुलो I' कहा जाता है यदि R में कोई निष्क्रिय b मौजूद है जैसे कि {{nowrap|1=''b'' + ''I'' = ''a'' + ''I''}}.
*एक निष्क्रिय {{nowrap|1=''a'' + ''I''}} भागफल वलय में R/I को '''<nowiki/>'लिफ्ट मोडुलो I'''' कहा जाता है यदि R में कोई निष्क्रिय b स्थित है जैसे कि '''{{nowrap|1=''b'' + ''I'' = ''a'' + ''I''}}'''.
*R के निष्क्रिय व्यक्ति को 'पूर्ण निष्क्रिय' कहा जाता है यदि {{nowrap|1=''RaR'' = ''R''}}.
*R के निष्क्रिय को 'पूर्ण निष्क्रिय' कहा जाता है यदि '''{{nowrap|1=''RaR'' = ''R''}}'''.
*एक पृथक्करण निष्क्रियता; [[वियोज्य बीजगणित]] देखें.
*एक पृथक्करण निष्क्रियता; [[वियोज्य बीजगणित]] देखें।


कोई भी गैर-तुच्छ निष्क्रिय ''ए'' शून्य विभाजक है (क्योंकि {{nowrap|1=''ab'' = 0}} जिसमें न तो a और न ही b शून्य है, जहां {{nowrap|1=''b'' = 1&thinsp;−&nbsp;''a''}}). इससे पता चलता है कि [[ अभिन्न डोमेन ]] और डिवीज़न रिंग्स में ऐसी निष्क्रियता नहीं होती है। स्थानीय रिंगों में भी ऐसे निरर्थक लोग नहीं हैं, लेकिन अलग कारण से। रिंग के [[ जैकबसन कट्टरपंथी ]] में निहित एकमात्र इडेम्पोटेंट 0 है।
कोई भी गैर-तुच्छ निष्क्रिय a शून्य विभाजक है (क्योंकि {{nowrap|1=''ab'' = 0}} जिसमें न तो a और न ही b शून्य है, जहां {{nowrap|1=''b'' = 1&thinsp;−&nbsp;''a''}})'''।''' इससे पता चलता है कि [[ अभिन्न डोमेन |अभिन्न प्रांत]] और विभाजन वलयों में ऐसी निष्क्रियता नहीं होती है। स्थानीय वलयों में भी ऐसे निरर्थक लोग नहीं हैं, परन्तु अलग कारण से। वलय के [[ जैकबसन कट्टरपंथी |जैकबसन कट्टरपंथी]] में निहित एकमात्र निष्क्रिय 0 है।


==इडेम्पोटेंट्स की विशेषता वाले छल्ले==
==निष्क्रिय की विशेषता वाले वलय==
*एक वलय जिसमें सभी तत्व निष्क्रिय होते हैं, बूलियन वलय कहलाता है। कुछ लेखक इस प्रकार की अंगूठी के लिए इडेम्पोटेंट रिंग शब्द का उपयोग करते हैं। ऐसे वलय में, गुणन [[क्रमविनिमेय वलय]] है और प्रत्येक तत्व अपना योगात्मक व्युत्क्रम है।
*एक वलय जिसमें सभी अवयव निष्क्रिय होते हैं, बूलियन वलय कहलाता है। कुछ लेखक इस प्रकार की वलय के लिए निष्क्रिय वलय शब्द का उपयोग करते हैं। ऐसे वलय में, गुणन [[क्रमविनिमेय वलय]] है और प्रत्येक अवयव अपना योगात्मक व्युत्क्रम है।
*एक वलय अर्धसरल वलय है यदि और केवल तभी यदि प्रत्येक दायां (या प्रत्येक बायां) [[आदर्श (रिंग सिद्धांत)]] निष्क्रिय व्यक्ति द्वारा उत्पन्न किया गया हो।
*एक वलय अर्धसरल वलय है यदि और मात्र तभी यदि प्रत्येक दायां (या प्रत्येक बायां) [[आदर्श (रिंग सिद्धांत)|आदर्श (वलय सिद्धांत)]] निष्क्रिय द्वारा उत्पन्न किया गया हो।
*एक वलय वॉन न्यूमैन नियमित वलय है यदि और केवल यदि प्रत्येक सूक्ष्म रूप से उत्पन्न मॉड्यूल दाएं (या प्रत्येक अंतिम रूप से उत्पन्न बाएं) आदर्श निष्क्रिय द्वारा उत्पन्न होता है।
*एक वलय वॉन न्यूमैन नियमित वलय है यदि और मात्र यदि प्रत्येक सूक्ष्म रूप से उत्पन्न मॉड्यूल दाएं (या प्रत्येक अंतिम रूप से उत्पन्न बाएं) आदर्श निष्क्रिय द्वारा उत्पन्न होता है।
*एक रिंग जिसके लिए [[संहारक (रिंग सिद्धांत)]] r.Ann(S) R का प्रत्येक उपसमुच्चय S निष्क्रिय द्वारा उत्पन्न होता है, [[बेयर रिंग]] कहलाती है। यदि शर्त केवल R के सभी [[सिंगलटन (गणित)]] उपसमुच्चय के लिए लागू होती है, तो रिंग सही [[रिकार्ट रिंग]] है। ये दोनों प्रकार के छल्ले रिंग (बीजगणित) होने पर भी दिलचस्प हैं।
*एक वलय जिसके लिए [[संहारक (रिंग सिद्धांत)|संहारक (वलय सिद्धांत)]] r.Ann(S) R का प्रत्येक उपसमुच्चय S निष्क्रिय द्वारा उत्पन्न होता है, [[बेयर रिंग|बेयर वलय]] कहलाती है। यदि प्रतिबन्ध मात्र R के सभी [[सिंगलटन (गणित)|एकल (गणित)]] उपसमुच्चय के लिए लागू होती है, तो वलय उचित [[रिकार्ट रिंग|रिकार्ट वलय]] है। ये दोनों प्रकार के वलय (बीजगणित) होने पर भी रुचिपूर्ण हैं।
*एक वलय जिसमें सभी निष्क्रिय केंद्र होते हैं (रिंग सिद्धांत) को 'एबेलियन वलय' कहा जाता है। ऐसे छल्लों को क्रमविनिमेय होने की आवश्यकता नहीं है।
*एक वलय जिसमें सभी निष्क्रिय केंद्र होते हैं (वलय सिद्धांत) को 'एबेलियन वलय' कहा जाता है। ऐसे वलयों को क्रमविनिमेय होने की आवश्यकता नहीं है।
*एक वलय इरेड्यूसबल वलय है यदि और केवल यदि 0 और 1 ही एकमात्र केंद्रीय निष्क्रिय हैं।
*एक वलय अखंडनीय वलय है यदि और मात्र यदि 0 और 1 ही एकमात्र केंद्रीय निष्क्रिय हैं।
*एक वलय R को इस प्रकार लिखा जा सकता है {{nowrap|1=''e''<sub>1</sub>''R'' ⊕ ''e''<sub>2</sub>''R'' ⊕ ... ⊕ ''e''<sub>''n''</sub>''R''}} प्रत्येक ई के साथ<sub>''i''</sub> स्थानीय निष्प्रभावी यदि और केवल यदि R अर्धपरिपूर्ण वलय है।
*एक वलय R को{{nowrap|1=''e''<sub>1</sub>''R'' ⊕ ''e''<sub>2</sub>''R'' ⊕ ... ⊕ ''e''<sub>''n''</sub>''R''}} के रूप में लिखा जा सकता है, प्रत्येक e<sub>''i''</sub> स्थानीय निष्प्रभावी यदि और मात्र यदि R अर्धपरिपूर्ण वलय है।
*एक रिंग को '[[एसबीआई रिंग]]' या 'लिफ्ट/रेड' रिंग कहा जाता है यदि आर के सभी निष्क्रिय मॉड्यूल जैकबसन रेडिकल को लिफ्ट करते हैं।
*एक वलय को '[[एसबीआई रिंग|एसबीआई वलय]]' या '''<nowiki/>'लिफ्ट/रेड'''' वलय कहा जाता है यदि R के सभी निष्क्रिय मॉड्यूल जैकबसन रेडिकल को लिफ्ट करते हैं।
*एक रिंग दाएं सीधे समन पर [[आरोही श्रृंखला की स्थिति]] को संतुष्ट करती है यदि और केवल तभी यदि रिंग बाएं प्रत्यक्ष समन पर अवरोही श्रृंखला की स्थिति को संतुष्ट करती है यदि और केवल यदि जोड़ीदार ऑर्थोगोनल इडेम्पोटेंट्स का प्रत्येक सेट परिमित है।
*एक वलय दाएं प्रत्यक्ष '''पद''' पर [[आरोही श्रृंखला की स्थिति]] को संतुष्ट करती है यदि और मात्र तभी यदि वलय बाएं प्रत्यक्ष समन पर अवरोही श्रृंखला की स्थिति को संतुष्ट करती है यदि और मात्र यदि युग्मानुसार लाम्बिक निष्क्रिय का प्रत्येक समुच्चय परिमित है।
*यदि a वलय R में निष्क्रिय है, तो aRa फिर से गुणक पहचान a के साथ वलय है। रिंग एआरए को अक्सर आर के 'कोने की अंगूठी' के रूप में जाना जाता है। कोने की अंगूठी [[एंडोमोर्फिज्म की अंगूठी]] के बाद से स्वाभाविक रूप से उत्पन्न होती है {{nowrap|1=End<sub>''R''</sub>(''aR'') ≅ ''aRa''}}.
*यदि a वलय R में निष्क्रिय है, तो aRa फिर से गुणक तत्समक a के साथ वलय है। वलय aRa को प्रायः R के 'कोण वलय' के रूप में जाना जाता है। [[एंडोमोर्फिज्म की अंगूठी|अंतःरूपता वलय]] {{nowrap|1=End<sub>''R''</sub>(''aR'') ≅ ''aRa''}} के वलय के बाद से कोण वलय स्वाभाविक रूप से उत्पन्न होती है।


==विघटन में भूमिका==
==विघटन में भूमिका==
आर के निष्क्रिय तत्वों का आर-मॉड्यूल (गणित) के अपघटन से महत्वपूर्ण संबंध है। यदि एम आर-मॉड्यूल है और {{nowrap|1=''E'' = End<sub>''R''</sub>(''M'')}} तो, इसकी एंडोमोर्फिज्म की अंगूठी है {{nowrap|1=''A'' ⊕ ''B'' = ''M''}} यदि और केवल यदि में अद्वितीय निष्क्रिय है जैसे कि {{nowrap|1=''A'' = ''e''(''M'')}} और {{nowrap|1=''B'' = (1&thinsp;−&nbsp;''e'')(''M'')}}. स्पष्ट रूप से, एम सीधे तौर पर अविभाज्य है यदि और केवल यदि में 0 और 1 ही एकमात्र निष्क्रिय हैं।{{sfn|Anderson|Fuller|1992|loc=p.69-72}}
R के निष्क्रिय अवयवों का R-मॉड्यूल (गणित) के अपघटन से महत्वपूर्ण संबंध है। यदि M R-मॉड्यूल है और {{nowrap|1=''E'' = End<sub>''R''</sub>(''M'')}} इसकी अंतःरूपता वलय है, तो {{nowrap|1=''A'' ⊕ ''B'' = ''M''}} यदि और मात्र यदि e में अद्वितीय निष्क्रिय e है जैसे कि {{nowrap|1=''A'' = ''e''(''M'')}} और {{nowrap|1=''B'' = (1&thinsp;−&nbsp;''e'')(''M'')}}. स्पष्ट रूप से, M प्रत्यक्षतः अविभाज्य है यदि और मात्र यदि e में 0 और 1 ही एकमात्र निष्क्रिय हैं।{{sfn|Anderson|Fuller|1992|loc=p.69-72}}


मामले में जब {{nowrap|1=''M'' = ''R''}} एंडोमोर्फिज्म रिंग {{nowrap|1=End<sub>''R''</sub>(''R'') = ''R''}}, जहां प्रत्येक [[एंडोमोर्फिज्म]] निश्चित रिंग तत्व द्वारा बाएं गुणन के रूप में उत्पन्न होता है। अंकन के इस संशोधन के साथ, {{nowrap|1=''A'' ⊕ ''B'' = ''R''}} सही मॉड्यूल के रूप में यदि और केवल यदि कोई अद्वितीय निष्क्रिय ई मौजूद है जैसे कि {{nowrap|1=''eR'' = ''A''}} और {{nowrap|1=(1&thinsp;−&nbsp;''e'')''R'' = ''B''}}. इस प्रकार R का प्रत्येक प्रत्यक्ष सारांश निष्क्रिय व्यक्ति द्वारा उत्पन्न होता है।
मामले में जब {{nowrap|1=''M'' = ''R''}} अंतःरूपता वलय {{nowrap|1=End<sub>''R''</sub>(''R'') = ''R''}}, जहां प्रत्येक अंतःरूपता निश्चित वलय अवयव द्वारा बाएं गुणन के रूप में उत्पन्न होता है। अंकन के इस संशोधन के साथ, {{nowrap|1=''A'' ⊕ ''B'' = ''R''}} उचित मॉड्यूल के रूप में यदि और मात्र यदि कोई अद्वितीय निष्क्रिय e स्थित है जैसे कि {{nowrap|1=''eR'' = ''A''}} और {{nowrap|1=(1&thinsp;−&nbsp;''e'')''R'' = ''B''}}. इस प्रकार R का प्रत्येक प्रत्यक्ष सारांश निष्क्रिय द्वारा उत्पन्न होता है।


यदि केंद्रीय निष्क्रिय है, तो कोने की अंगूठी {{nowrap|1=''aRa'' = ''Ra''}} गुणक पहचान के साथ अंगूठी है। जिस प्रकार इडेम्पोटेंट मॉड्यूल के रूप में आर के प्रत्यक्ष अपघटन को निर्धारित करते हैं, उसी प्रकार आर के केंद्रीय इडेम्पोटेंट रिंग के मॉड्यूल के प्रत्यक्ष योग के रूप में आर के अपघटन को निर्धारित करते हैं। यदि R, वलय R का सीधा योग है<sub>1</sub>,...,आर<sub>''n''</sub>, फिर छल्ले के पहचान तत्व आर<sub>''i''</sub> आर में केंद्रीय निष्क्रियता हैं, जोड़ीदार ऑर्थोगोनल, और उनका योग 1 है। इसके विपरीत, केंद्रीय निष्क्रियता दी गई है<sub>1</sub>,...,ए<sub>''n''</sub> आर में जो जोड़ीदार ऑर्थोगोनल हैं और उनका योग 1 है, तो आर रिंग रा का सीधा योग है<sub>1</sub>,…,रवि<sub>''n''</sub>. इसलिए विशेष रूप से, आर में प्रत्येक केंद्रीय निष्क्रिय कोने के छल्ले एआरए के प्रत्यक्ष योग के रूप में आर के अपघटन को जन्म देता है और {{nowrap|1=(1&thinsp;−&nbsp;''a'')''R''(1&thinsp;−&nbsp;''a'')}}. परिणामस्वरूप, वलय R वलय के रूप में सीधे तौर पर अविभाज्य है यदि और केवल यदि पहचान 1 केंद्रीय रूप से आदिम है।
यदि a केंद्रीय निष्क्रिय है, तो कोने की वलय {{nowrap|1=''aRa'' = ''Ra''}} गुणक तत्समक के साथ वलय है। जिस प्रकार निष्क्रिय मॉड्यूल के रूप में R के प्रत्यक्ष अपघटन को निर्धारित करते हैं, उसी प्रकार R के केंद्रीय निष्क्रिय वलय के मॉड्यूल के प्रत्यक्ष योग के रूप में R के अपघटन को निर्धारित करते हैं। यदि R, वलय R का सीधा योग है<sub>1</sub>,...,आर<sub>''n''</sub>, फिर वलय के तत्समक अवयव आर<sub>''i''</sub> R में केंद्रीय निष्क्रियता हैं, युग्मानुसार लाम्बिक, और उनका योग 1 है। इसके विपरीत, केंद्रीय निष्क्रियता दी गई है<sub>1</sub>,...,ए<sub>''n''</sub> R में जो युग्मानुसार लाम्बिक हैं और उनका योग 1 है, तो R वलय रा का सीधा योग है<sub>1</sub>,…,रवि<sub>''n''</sub>. इसलिए विशेष रूप से, R में प्रत्येक केंद्रीय निष्क्रिय a कोने के वलय aRa के प्रत्यक्ष योग के रूप में R के अपघटन को जन्म देता है और {{nowrap|1=(1&thinsp;−&nbsp;''a'')''R''(1&thinsp;−&nbsp;''a'')}}. परिणामस्वरूप, वलय R वलय के रूप में प्रत्यक्षतः अविभाज्य है यदि और मात्र यदि तत्समक 1 केंद्रीय रूप से आदिम है।


आगमनात्मक रूप से कार्य करते हुए, कोई 1 को केंद्रीय रूप से आदिम तत्वों के योग में विघटित करने का प्रयास कर सकता है। यदि 1 केंद्रीय रूप से आदिम है, तो हमारा काम हो गया। यदि नहीं, तो यह केंद्रीय ऑर्थोगोनल इडेम्पोटेंट का योग है, जो बदले में आदिम या अधिक केंद्रीय इडेम्पोटेंट का योग है, इत्यादि। समस्या यह हो सकती है कि यह अंतहीन रूप से जारी रह सकता है, जिससे केंद्रीय ऑर्थोगोनल इडेम्पोटेंट्स का अनंत परिवार तैयार हो सकता है। शर्त आर में केंद्रीय ऑर्थोगोनल इडेम्पोटेंट्स के अनंत सेट शामिल नहीं हैं, यह रिंग पर प्रकार की परिमितता की स्थिति है। इसे कई तरीकों से हासिल किया जा सकता है, जैसे कि रिंग का सही [[नोथेरियन अंगूठी]] होना आवश्यक है। यदि अपघटन {{nowrap|1=''R'' = ''c''<sub>1</sub>''R'' ⊕ ''c''<sub>2</sub>''R'' ⊕ ... ⊕ ''c''<sub>''n''</sub>''R''}} प्रत्येक सी के साथ मौजूद है<sub>''i''</sub> केंद्रीय रूप से आदिम निष्क्रिय, तो आर कोने के छल्ले सी का सीधा योग है<sub>''i''&hairsp;</sub>आर सी<sub>''i''</sub>, जिनमें से प्रत्येक वलय अपरिवर्तनीय है।{{sfn|Lam|2001|loc=p.326}}
आगमनात्मक रूप से कार्य करते हुए, कोई 1 को केंद्रीय रूप से आदिम अवयवों के योग में विघटित करने का प्रयास कर सकता है। यदि 1 केंद्रीय रूप से आदिम है, तो हमारा काम हो गया। यदि नहीं, तो यह केंद्रीय लाम्बिक निष्क्रिय का योग है, जो बदले में आदिम या अधिक केंद्रीय निष्क्रिय का योग है, इत्यादि। समस्या यह हो सकती है कि यह अंतहीन रूप से जारी रह सकता है, जिससे केंद्रीय लाम्बिक निष्क्रिय का अनंत परिवार तैयार हो सकता है। प्रतिबन्ध R में केंद्रीय लाम्बिक निष्क्रिय के अनंत समुच्चय सम्मिलित नहीं हैं, यह वलय पर प्रकार की परिमितता की स्थिति है। इसे कई तरीकों से हासिल किया जा सकता है, जैसे कि वलय का उचित [[नोथेरियन अंगूठी|नोथेरियन वलय]] होना आवश्यक है। यदि अपघटन {{nowrap|1=''R'' = ''c''<sub>1</sub>''R'' ⊕ ''c''<sub>2</sub>''R'' ⊕ ... ⊕ ''c''<sub>''n''</sub>''R''}} प्रत्येक सी के साथ स्थित है<sub>''i''</sub> केंद्रीय रूप से आदिम निष्क्रिय, तो R कोने के वलय सी का सीधा योग है<sub>''i''&hairsp;</sub>R सी<sub>''i''</sub>, जिनमें से प्रत्येक वलय अपरिवर्तनीय है।{{sfn|Lam|2001|loc=p.326}}


एक क्षेत्र पर [[साहचर्य बीजगणित]] या [[जॉर्डन बीजगणित]] के लिए, पीयरस अपघटन बीजगणित का अपघटन है जो निष्क्रिय तत्वों के आइगेनस्पेस के योग के रूप में होता है।
एक क्षेत्र पर [[साहचर्य बीजगणित]] या [[जॉर्डन बीजगणित]] के लिए, पीयरस अपघटन बीजगणित का अपघटन है जो निष्क्रिय अवयवों के आइगेनस्पेस के योग के रूप में होता है।


==आवर्तन के साथ संबंध==
==आवर्तन के साथ संबंध==
यदि ए एंडोमोर्फिज्म रिंग एंड का निष्क्रिय व्यक्ति है<sub>''R''</sub>(एम), फिर एंडोमोर्फिज्म {{nowrap|1=''f'' = 1&thinsp;−&nbsp;2''a''}} एम का आर-मॉड्यूल इनवोल्यूशन (गणित) है। यानी, एफ आर-[[मॉड्यूल समरूपता]] है जैसे कि एफ<sup>2</sup>एम की पहचान एंडोमोर्फिज्म है।
यदि a अंतःरूपता वलय एंड का निष्क्रिय है<sub>''R''</sub>(एम), फिर अंतःरूपता {{nowrap|1=''f'' = 1&thinsp;−&nbsp;2''a''}} M का R-मॉड्यूल इनवोल्यूशन (गणित) है। अर्थात, f R-[[मॉड्यूल समरूपता]] है जैसे कि f<sup>2</sup>एम की तत्समक अंतःरूपता है।


R का निष्क्रिय तत्व a और उससे जुड़ा इनवोल्यूशन f, मॉड्यूल R के दो इनवोल्यूशन को जन्म देता है, जो R को बाएँ या दाएँ मॉड्यूल के रूप में देखने पर निर्भर करता है। यदि r, R के मनमाने तत्व का प्रतिनिधित्व करता है, तो f को सही R-मॉड्यूल समरूपता के रूप में देखा जा सकता है {{nowrap|1= ''r'' ↦ ''fr''}} ताकि {{nowrap|1=''ffr'' = ''r''}}, या एफ को बाएं आर-मॉड्यूल समरूपता के रूप में भी देखा जा सकता है {{nowrap|1=''r'' ↦ ''rf''}}, कहाँ {{nowrap|1=''rff'' = ''r''}}.
R का निष्क्रिय अवयव a और उससे जुड़ा इनवोल्यूशन f, मॉड्यूल R के दो इनवोल्यूशन को जन्म देता है, जो R को बाएँ या दाएँ मॉड्यूल के रूप में देखने पर निर्भर करता है। यदि r, R के मनमाने अवयव का प्रतिनिधित्व करता है, तो f को उचित R-मॉड्यूल समरूपता के रूप में देखा जा सकता है {{nowrap|1= ''r'' ↦ ''fr''}} ताकि {{nowrap|1=''ffr'' = ''r''}}, या f को बाएं R-मॉड्यूल समरूपता के रूप में भी देखा जा सकता है {{nowrap|1=''r'' ↦ ''rf''}}, कहाँ {{nowrap|1=''rff'' = ''r''}}.


यदि 2 R का [[उलटा तत्व]] है तो इस प्रक्रिया को उलटा किया जा सकता है:<ref>Rings in which 2 is not invertible are not hard to find. The element 2 is not invertible in any Boolean algebra, nor in any ring of [[characteristic (algebra)|characteristic]] 2.</ref> यदि b इन्वोल्यूशन है, तो {{nowrap|1=2<sup>−1</sup>(1&thinsp;−&nbsp;''b'')}} और {{nowrap|1=2<sup>−1</sup>(1&thinsp;+&nbsp;''b'')}} ओर्थोगोनल इडेम्पोटेंट हैं, जो और के अनुरूप हैं {{nowrap|1&thinsp;−&nbsp;''a''}}. इस प्रकार रिंग के लिए जिसमें 2 उलटा है, निष्क्रिय तत्व एक-से-एक तरीके से आक्रमणों पर आपत्ति जताते हैं।
यदि 2 R का [[उलटा तत्व|उलटा अवयव]] है तो इस प्रक्रिया को उलटा किया जा सकता है:<ref>Rings in which 2 is not invertible are not hard to find. The element 2 is not invertible in any Boolean algebra, nor in any ring of [[characteristic (algebra)|characteristic]] 2.</ref> यदि b इन्वोल्यूशन है, तो {{nowrap|1=2<sup>−1</sup>(1&thinsp;−&nbsp;''b'')}} और {{nowrap|1=2<sup>−1</sup>(1&thinsp;+&nbsp;''b'')}} ओर्थोगोनल निष्क्रिय हैं, जो a और के अनुरूप हैं {{nowrap|1&thinsp;−&nbsp;''a''}}. इस प्रकार वलय के लिए जिसमें 2 उलटा है, निष्क्रिय अवयव एक-से-एक तरीके से आक्रमणों पर आपत्ति जताते हैं।


==आर-मॉड्यूल की श्रेणी==
==R-मॉड्यूल की श्रेणी==
मॉड्यूल की श्रेणी|आर-मॉड्यूल की श्रेणी के लिए निष्क्रियता को उठाने के भी बड़े परिणाम होते हैं। सभी इडेम्पोटेंट मॉड्यूलो I को तभी उठाते हैं जब R/I के प्रत्येक R प्रत्यक्ष सारांश में R-मॉड्यूल के रूप में [[ प्रक्षेप्य आवरण ]] होता है।{{sfn|Anderson|Fuller|1992|loc=p.302}} Idempotent हमेशा modulo nil आदर्शों और रिंगों को उठाते हैं जिसके लिए R पूर्णता है (रिंग सिद्धांत)#क्रल टोपोलॉजी|I-एडिकली पूर्ण।
मॉड्यूल की श्रेणी|R-मॉड्यूल की श्रेणी के लिए निष्क्रियता को उठाने के भी बड़े परिणाम होते हैं। सभी निष्क्रिय मॉड्यूलो I को तभी उठाते हैं जब R/I के प्रत्येक R प्रत्यक्ष सारांश में R-मॉड्यूल के रूप में [[ प्रक्षेप्य आवरण |प्रक्षेप्य आवरण]] होता है।{{sfn|Anderson|Fuller|1992|loc=p.302}} Idempotent सदैव modulo nil आदर्शों और वलयों को उठाते हैं जिसके लिए R पूर्णता है (वलय सिद्धांत)#क्रल टोपोलॉजी|I-एडिकली पूर्ण।


जब उठाना सबसे महत्वपूर्ण होता है {{nowrap|1=''I'' = J(''R'')}}, आर का जैकबसन रेडिकल। सेमीपरफेक्ट रिंग्स का और लक्षण यह है कि वे [[अर्धस्थानीय वलय]] हैं जिनके निष्क्रिय मॉड्यूल जे (आर) उठाते हैं।{{sfn|Lam|2001|loc=p.336}}
जब उठाना सबसे महत्वपूर्ण होता है {{nowrap|1=''I'' = J(''R'')}}, R का जैकबसन रेडिकल। सेमीपरफेक्ट वलयों का और लक्षण यह है कि वे [[अर्धस्थानीय वलय]] हैं जिनके निष्क्रिय मॉड्यूल जे (आर) उठाते हैं।{{sfn|Lam|2001|loc=p.336}}


==निष्क्रिय लोगों की जाली==
==निष्क्रिय लोगों की जाली==
कोई किसी रिंग के निष्क्रियता पर आंशिक क्रम को इस प्रकार परिभाषित कर सकता है: यदि और बी निष्क्रिय हैं, तो हम लिखते हैं {{nowrap|1=''a'' ≤ ''b''}} अगर और केवल अगर {{nowrap|1=''ab'' = ''ba'' = ''a''}}. इस क्रम के संबंध में, 0 सबसे छोटा और 1 सबसे बड़ा निष्क्रिय है। ऑर्थोगोनल इडेम्पोटेंट्स ए और बी के लिए, {{nowrap|1=''a'' + ''b''}} भी निष्क्रिय है, और हमारे पास है {{nowrap|1=''a'' ≤ ''a'' + ''b''}} और {{nowrap|1=''b'' ≤ ''a'' + ''b''}}. इस आंशिक क्रम के [[परमाणु (आदेश सिद्धांत)]] बिल्कुल आदिम निष्क्रिय हैं। {{harv|Lam|2001|p=323}}
कोई किसी वलय के निष्क्रियता पर आंशिक क्रम को इस प्रकार परिभाषित कर सकता है: यदि a और b निष्क्रिय हैं, तो हम लिखते हैं {{nowrap|1=''a'' ≤ ''b''}} अगर और मात्र अगर {{nowrap|1=''ab'' = ''ba'' = ''a''}}. इस क्रम के संबंध में, 0 सबसे छोटा और 1 सबसे बड़ा निष्क्रिय है। लाम्बिक निष्क्रिय a और b के लिए, {{nowrap|1=''a'' + ''b''}} भी निष्क्रिय है, और हमारे पास है {{nowrap|1=''a'' ≤ ''a'' + ''b''}} और {{nowrap|1=''b'' ≤ ''a'' + ''b''}}. इस आंशिक क्रम के [[परमाणु (आदेश सिद्धांत)]] बिल्कुल आदिम निष्क्रिय हैं। {{harv|Lam|2001|p=323}}


जब उपरोक्त आंशिक क्रम आर के केंद्रीय निष्क्रियता तक सीमित है, तो [[जाली (आदेश)]] संरचना, या यहां तक ​​कि बूलियन बीजगणित संरचना भी दी जा सकती है। बूलियन बीजगणित#ऑपरेशंस के दो केंद्रीय निष्क्रिय और एफ के लिए {{nowrap|1=¬''e'' = 1&thinsp;−&nbsp;''e''}} और ज्वाइन और मीट द्वारा दिया जाता है
जब उपरोक्त आंशिक क्रम R के केंद्रीय निष्क्रियता तक सीमित है, तो [[जाली (आदेश)]] संरचना, या यहां तक ​​कि बूलियन बीजगणित संरचना भी दी जा सकती है। बूलियन बीजगणित#ऑपरेशंस के दो केंद्रीय निष्क्रिय e और f के लिए {{nowrap|1=¬''e'' = 1&thinsp;−&nbsp;''e''}} और ज्वाइन और मीट द्वारा दिया जाता है
:e ∨ f = e + f − ef
:e ∨ f = e + f − ef
और
और
:e ∧ f = ef.
:e ∧ f = ef.
ऑर्डर देना अब सरल हो गया है {{nowrap|1=''e'' ≤ ''f''}} अगर और केवल अगर {{nowrap|1=''eR'' ⊆ ''f&hairsp;R''}}, और जुड़ना और मिलना संतुष्ट करता है {{nowrap|1=(''e'' ∨ ''f''&thinsp;)&hairsp;''R'' = ''eR'' + ''f&hairsp;R''}} और {{nowrap|1=(''e'' ∧ ''f''&thinsp;)&hairsp;''R'' = ''eR'' ∩ ''f&hairsp;R'' = (''eR'')(''f&hairsp;R'')}}. इसमें दिखाया गया है {{harv|Goodearl|1991|p=99}} कि यदि आर [[वॉन न्यूमैन नियमित]] और सही इंजेक्शन मॉड्यूल#स्व-इंजेक्शन रिंग|स्वयं इंजेक्शन है, तो जाली [[पूर्ण जाली]] है।
ऑर्डर देना अब सरल हो गया है {{nowrap|1=''e'' ≤ ''f''}} अगर और मात्र अगर {{nowrap|1=''eR'' ⊆ ''f&hairsp;R''}}, और जुड़ना और मिलना संतुष्ट करता है {{nowrap|1=(''e'' ∨ ''f''&thinsp;)&hairsp;''R'' = ''eR'' + ''f&hairsp;R''}} और {{nowrap|1=(''e'' ∧ ''f''&thinsp;)&hairsp;''R'' = ''eR'' ∩ ''f&hairsp;R'' = (''eR'')(''f&hairsp;R'')}}. इसमें दिखाया गया है {{harv|Goodearl|1991|p=99}} कि यदि R [[वॉन न्यूमैन नियमित]] और उचित इंजेक्शन मॉड्यूल#स्व-इंजेक्शन वलय|स्वयं इंजेक्शन है, तो जाली [[पूर्ण जाली]] है।


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

Revision as of 08:37, 10 July 2023

वलय सिद्धांत में, गणित की शाखा, वलय का निष्क्रिय अवयव या मात्र निष्क्रिय अवयव (गणित) एक ऐसा अवयव है जो a2 = a है।[1] अर्थात्, वलय के गुणन के अंतर्गत अवयव निष्क्रिय है। गणितीय प्रेरण से, कोई यह निष्कर्ष भी निकाल सकता है कि किसी भी धनात्मक पूर्णांक n के लिए a = a2 = a3 = a4 = ... = an । उदाहरण के लिए, आव्यूह वलय का निष्क्रिय अवयव वस्तुतः निष्क्रिय आव्यूह है।

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

उदाहरण

Z के भागफल

कोई पूर्णांक मॉड्यूल n के वलय पर विचार कर सकता है जहां n वर्ग-मुक्त पूर्णांक है। चीनी शेषफल प्रमेय के अनुसार, यह वलय पूर्णांक मॉड्यूलो p के वलय के गुणनफल में कारक होता है जहां p अभाज्य संख्या है। अब इनमें से प्रत्येक कारक क्षेत्र (गणित) है, इसलिए यह स्पष्ट है कि कारकों के एकमात्र निष्क्रिय प्रभाव 0 और 1 होंगे। अर्थात, प्रत्येक कारक के दो निष्क्रिय कारक हैं। इसलिए यदि m कारक हैं, तो 2m निष्क्रिय होंगे।

हम इसे पूर्णांक मॉड 6, R = Z/6Z के लिए जांच सकते हैं। चूँकि 6 के दो अभाज्य गुणनखंड (2 और 3) हैं इसलिए इसमें 22 निष्क्रिय होंगे।

02 ≡ 0 ≡ 0 (mod 6)
12 ≡ 1 ≡ 1 (mod 6)
22 ≡ 4 ≡ 4 (mod 6)
32 ≡ 9 ≡ 3 (mod 6)
42 ≡ 16 ≡ 4 (mod 6)
52 ≡ 25 ≡ 1 (mod 6)

इन गणनाओं से, 0, 1, 3, और 4 इस वलय के निष्क्रिय हैं, जबकि 2 और 5 नहीं हैं। यह निम्न वर्णित अपघटन गुणों को भी प्रदर्शित करता है: क्योंकि 3 + 4 = 1 (mod 6), वलय अपघटन 3Z/6Z ⊕ 4Z/6Z है। 3Z/6Z में तत्समक 3+6Z है और 4Z/6Z में तत्समक 4+6Z है।

बहुपद वलय का भागफल

एक वलय और अवयव इस प्रकार दिया गया है कि , तो भागफल वलय

में निष्क्रिय है। उदाहरण के लिए, इसे या किसी बहुपद पर लागू किया जा सकता है।

विभाजन-चतुर्थक वलयों में निष्क्रिय

विभाजन-चतुर्थक वलय में निष्क्रिय का श्रृंखलाभ होता है।

वलय निष्क्रिय के प्रकार

महत्वपूर्ण प्रकार के निष्क्रियों की आंशिक सूची में सम्मिलित हैं:

  • यदि ab = ba = 0 है तो दो निष्क्रिय a और b को 'लाम्बिक' कहा जाता है। यदि a वलय R (वलय के साथ) में निष्क्रिय है, तो b = 1 − a है; इसके अतिरिक्त, a और b लाम्बिक हैं।
  • R में निष्क्रिय a को 'केंद्रीय निष्क्रिय' कहा जाता है यदि ax = xa R में सभी x के लिए, अर्थात, यदि a, R के केंद्र (वलय सिद्धांत) में है।
  • एक 'तुच्छ निष्क्रिय' अवयव 0 और 1 में से किसी को संदर्भित करता है, जो सदैव निष्क्रिय होते हैं।
  • वलय R का 'आदिम निष्क्रिय' गैर-शून्य निष्क्रिय है, जैसे कि aR उचित R-मॉड्यूल के रूप में अविभाज्य मॉड्यूल है; अर्थात कि aR दो शून्य मॉड्यूल उपमॉड्यूल के मॉड्यूल का प्रत्यक्ष योग नहीं है। समान रूप से, यदि इसे a = e + f के रूप में नहीं लिखा जा सकता है, तो a आदिम निष्क्रिय है, जहां e और f R में गैर-शून्य लाम्बिक निष्क्रिय हैं।
  • एक 'स्थानीय निष्क्रिय' निष्क्रिय है जैसे कि aRa स्थानीय वलय है। इसका तात्पर्य यह है कि aR प्रत्यक्षतः अविभाज्य है, इसलिए स्थानीय निष्क्रियता भी आदिम है।
  • 'दाएँ अखंडनीय निष्क्रिय' निष्क्रिय है जिसके लिए aR सरल मॉड्यूल है। शूर की लेम्मा द्वारा, EndR(aR) = aRa विभाजन वलय है, और इसलिए स्थानीय वलय है, इसलिए दाएँ (और बाएँ) अखंडनीय निष्क्रिय स्थानीय हैं।
  • एक केंद्रीय रूप से आदिम निष्क्रिय केंद्रीय निष्क्रिय भावी a है जिसे दो गैर-शून्य लाम्बिक केंद्रीय निष्क्रियता के योग के रूप में नहीं लिखा जा सकता है।
  • एक निष्क्रिय a + I भागफल वलय में R/I को 'लिफ्ट मोडुलो I' कहा जाता है यदि R में कोई निष्क्रिय b स्थित है जैसे कि b + I = a + I.
  • R के निष्क्रिय को 'पूर्ण निष्क्रिय' कहा जाता है यदि RaR = R.
  • एक पृथक्करण निष्क्रियता; वियोज्य बीजगणित देखें।

कोई भी गैर-तुच्छ निष्क्रिय a शून्य विभाजक है (क्योंकि ab = 0 जिसमें न तो a और न ही b शून्य है, जहां b = 1 − a) इससे पता चलता है कि अभिन्न प्रांत और विभाजन वलयों में ऐसी निष्क्रियता नहीं होती है। स्थानीय वलयों में भी ऐसे निरर्थक लोग नहीं हैं, परन्तु अलग कारण से। वलय के जैकबसन कट्टरपंथी में निहित एकमात्र निष्क्रिय 0 है।

निष्क्रिय की विशेषता वाले वलय

  • एक वलय जिसमें सभी अवयव निष्क्रिय होते हैं, बूलियन वलय कहलाता है। कुछ लेखक इस प्रकार की वलय के लिए निष्क्रिय वलय शब्द का उपयोग करते हैं। ऐसे वलय में, गुणन क्रमविनिमेय वलय है और प्रत्येक अवयव अपना योगात्मक व्युत्क्रम है।
  • एक वलय अर्धसरल वलय है यदि और मात्र तभी यदि प्रत्येक दायां (या प्रत्येक बायां) आदर्श (वलय सिद्धांत) निष्क्रिय द्वारा उत्पन्न किया गया हो।
  • एक वलय वॉन न्यूमैन नियमित वलय है यदि और मात्र यदि प्रत्येक सूक्ष्म रूप से उत्पन्न मॉड्यूल दाएं (या प्रत्येक अंतिम रूप से उत्पन्न बाएं) आदर्श निष्क्रिय द्वारा उत्पन्न होता है।
  • एक वलय जिसके लिए संहारक (वलय सिद्धांत) r.Ann(S) R का प्रत्येक उपसमुच्चय S निष्क्रिय द्वारा उत्पन्न होता है, बेयर वलय कहलाती है। यदि प्रतिबन्ध मात्र R के सभी एकल (गणित) उपसमुच्चय के लिए लागू होती है, तो वलय उचित रिकार्ट वलय है। ये दोनों प्रकार के वलय (बीजगणित) होने पर भी रुचिपूर्ण हैं।
  • एक वलय जिसमें सभी निष्क्रिय केंद्र होते हैं (वलय सिद्धांत) को 'एबेलियन वलय' कहा जाता है। ऐसे वलयों को क्रमविनिमेय होने की आवश्यकता नहीं है।
  • एक वलय अखंडनीय वलय है यदि और मात्र यदि 0 और 1 ही एकमात्र केंद्रीय निष्क्रिय हैं।
  • एक वलय R कोe1Re2R ⊕ ... ⊕ enR के रूप में लिखा जा सकता है, प्रत्येक ei स्थानीय निष्प्रभावी यदि और मात्र यदि R अर्धपरिपूर्ण वलय है।
  • एक वलय को 'एसबीआई वलय' या 'लिफ्ट/रेड' वलय कहा जाता है यदि R के सभी निष्क्रिय मॉड्यूल जैकबसन रेडिकल को लिफ्ट करते हैं।
  • एक वलय दाएं प्रत्यक्ष पद पर आरोही श्रृंखला की स्थिति को संतुष्ट करती है यदि और मात्र तभी यदि वलय बाएं प्रत्यक्ष समन पर अवरोही श्रृंखला की स्थिति को संतुष्ट करती है यदि और मात्र यदि युग्मानुसार लाम्बिक निष्क्रिय का प्रत्येक समुच्चय परिमित है।
  • यदि a वलय R में निष्क्रिय है, तो aRa फिर से गुणक तत्समक a के साथ वलय है। वलय aRa को प्रायः R के 'कोण वलय' के रूप में जाना जाता है। अंतःरूपता वलय EndR(aR) ≅ aRa के वलय के बाद से कोण वलय स्वाभाविक रूप से उत्पन्न होती है।

विघटन में भूमिका

R के निष्क्रिय अवयवों का R-मॉड्यूल (गणित) के अपघटन से महत्वपूर्ण संबंध है। यदि M R-मॉड्यूल है और E = EndR(M) इसकी अंतःरूपता वलय है, तो AB = M यदि और मात्र यदि e में अद्वितीय निष्क्रिय e है जैसे कि A = e(M) और B = (1 − e)(M). स्पष्ट रूप से, M प्रत्यक्षतः अविभाज्य है यदि और मात्र यदि e में 0 और 1 ही एकमात्र निष्क्रिय हैं।[2]

मामले में जब M = R अंतःरूपता वलय EndR(R) = R, जहां प्रत्येक अंतःरूपता निश्चित वलय अवयव द्वारा बाएं गुणन के रूप में उत्पन्न होता है। अंकन के इस संशोधन के साथ, AB = R उचित मॉड्यूल के रूप में यदि और मात्र यदि कोई अद्वितीय निष्क्रिय e स्थित है जैसे कि eR = A और (1 − e)R = B. इस प्रकार R का प्रत्येक प्रत्यक्ष सारांश निष्क्रिय द्वारा उत्पन्न होता है।

यदि a केंद्रीय निष्क्रिय है, तो कोने की वलय aRa = Ra गुणक तत्समक के साथ वलय है। जिस प्रकार निष्क्रिय मॉड्यूल के रूप में R के प्रत्यक्ष अपघटन को निर्धारित करते हैं, उसी प्रकार R के केंद्रीय निष्क्रिय वलय के मॉड्यूल के प्रत्यक्ष योग के रूप में R के अपघटन को निर्धारित करते हैं। यदि R, वलय R का सीधा योग है1,...,आरn, फिर वलय के तत्समक अवयव आरi R में केंद्रीय निष्क्रियता हैं, युग्मानुसार लाम्बिक, और उनका योग 1 है। इसके विपरीत, केंद्रीय निष्क्रियता दी गई है1,...,एn R में जो युग्मानुसार लाम्बिक हैं और उनका योग 1 है, तो R वलय रा का सीधा योग है1,…,रविn. इसलिए विशेष रूप से, R में प्रत्येक केंद्रीय निष्क्रिय a कोने के वलय aRa के प्रत्यक्ष योग के रूप में R के अपघटन को जन्म देता है और (1 − a)R(1 − a). परिणामस्वरूप, वलय R वलय के रूप में प्रत्यक्षतः अविभाज्य है यदि और मात्र यदि तत्समक 1 केंद्रीय रूप से आदिम है।

आगमनात्मक रूप से कार्य करते हुए, कोई 1 को केंद्रीय रूप से आदिम अवयवों के योग में विघटित करने का प्रयास कर सकता है। यदि 1 केंद्रीय रूप से आदिम है, तो हमारा काम हो गया। यदि नहीं, तो यह केंद्रीय लाम्बिक निष्क्रिय का योग है, जो बदले में आदिम या अधिक केंद्रीय निष्क्रिय का योग है, इत्यादि। समस्या यह हो सकती है कि यह अंतहीन रूप से जारी रह सकता है, जिससे केंद्रीय लाम्बिक निष्क्रिय का अनंत परिवार तैयार हो सकता है। प्रतिबन्ध R में केंद्रीय लाम्बिक निष्क्रिय के अनंत समुच्चय सम्मिलित नहीं हैं, यह वलय पर प्रकार की परिमितता की स्थिति है। इसे कई तरीकों से हासिल किया जा सकता है, जैसे कि वलय का उचित नोथेरियन वलय होना आवश्यक है। यदि अपघटन R = c1Rc2R ⊕ ... ⊕ cnR प्रत्येक सी के साथ स्थित हैi केंद्रीय रूप से आदिम निष्क्रिय, तो R कोने के वलय सी का सीधा योग हैiR सीi, जिनमें से प्रत्येक वलय अपरिवर्तनीय है।[3]

एक क्षेत्र पर साहचर्य बीजगणित या जॉर्डन बीजगणित के लिए, पीयरस अपघटन बीजगणित का अपघटन है जो निष्क्रिय अवयवों के आइगेनस्पेस के योग के रूप में होता है।

आवर्तन के साथ संबंध

यदि a अंतःरूपता वलय एंड का निष्क्रिय हैR(एम), फिर अंतःरूपता f = 1 − 2a M का R-मॉड्यूल इनवोल्यूशन (गणित) है। अर्थात, f R-मॉड्यूल समरूपता है जैसे कि f2एम की तत्समक अंतःरूपता है।

R का निष्क्रिय अवयव a और उससे जुड़ा इनवोल्यूशन f, मॉड्यूल R के दो इनवोल्यूशन को जन्म देता है, जो R को बाएँ या दाएँ मॉड्यूल के रूप में देखने पर निर्भर करता है। यदि r, R के मनमाने अवयव का प्रतिनिधित्व करता है, तो f को उचित R-मॉड्यूल समरूपता के रूप में देखा जा सकता है rfr ताकि ffr = r, या f को बाएं R-मॉड्यूल समरूपता के रूप में भी देखा जा सकता है rrf, कहाँ rff = r.

यदि 2 R का उलटा अवयव है तो इस प्रक्रिया को उलटा किया जा सकता है:[4] यदि b इन्वोल्यूशन है, तो 2−1(1 − b) और 2−1(1 + b) ओर्थोगोनल निष्क्रिय हैं, जो a और के अनुरूप हैं 1 − a. इस प्रकार वलय के लिए जिसमें 2 उलटा है, निष्क्रिय अवयव एक-से-एक तरीके से आक्रमणों पर आपत्ति जताते हैं।

R-मॉड्यूल की श्रेणी

मॉड्यूल की श्रेणी|R-मॉड्यूल की श्रेणी के लिए निष्क्रियता को उठाने के भी बड़े परिणाम होते हैं। सभी निष्क्रिय मॉड्यूलो I को तभी उठाते हैं जब R/I के प्रत्येक R प्रत्यक्ष सारांश में R-मॉड्यूल के रूप में प्रक्षेप्य आवरण होता है।[5] Idempotent सदैव modulo nil आदर्शों और वलयों को उठाते हैं जिसके लिए R पूर्णता है (वलय सिद्धांत)#क्रल टोपोलॉजी|I-एडिकली पूर्ण।

जब उठाना सबसे महत्वपूर्ण होता है I = J(R), R का जैकबसन रेडिकल। सेमीपरफेक्ट वलयों का और लक्षण यह है कि वे अर्धस्थानीय वलय हैं जिनके निष्क्रिय मॉड्यूल जे (आर) उठाते हैं।[6]

निष्क्रिय लोगों की जाली

कोई किसी वलय के निष्क्रियता पर आंशिक क्रम को इस प्रकार परिभाषित कर सकता है: यदि a और b निष्क्रिय हैं, तो हम लिखते हैं ab अगर और मात्र अगर ab = ba = a. इस क्रम के संबंध में, 0 सबसे छोटा और 1 सबसे बड़ा निष्क्रिय है। लाम्बिक निष्क्रिय a और b के लिए, a + b भी निष्क्रिय है, और हमारे पास है aa + b और ba + b. इस आंशिक क्रम के परमाणु (आदेश सिद्धांत) बिल्कुल आदिम निष्क्रिय हैं। (Lam 2001, p. 323)

जब उपरोक्त आंशिक क्रम R के केंद्रीय निष्क्रियता तक सीमित है, तो जाली (आदेश) संरचना, या यहां तक ​​कि बूलियन बीजगणित संरचना भी दी जा सकती है। बूलियन बीजगणित#ऑपरेशंस के दो केंद्रीय निष्क्रिय e और f के लिए ¬e = 1 − e और ज्वाइन और मीट द्वारा दिया जाता है

e ∨ f = e + f − ef

और

e ∧ f = ef.

ऑर्डर देना अब सरल हो गया है ef अगर और मात्र अगर eRf R, और जुड़ना और मिलना संतुष्ट करता है (ef ) R = eR + f R और (ef ) R = eRf R = (eR)(f R). इसमें दिखाया गया है (Goodearl 1991, p. 99) कि यदि R वॉन न्यूमैन नियमित और उचित इंजेक्शन मॉड्यूल#स्व-इंजेक्शन वलय|स्वयं इंजेक्शन है, तो जाली पूर्ण जाली है।

टिप्पणियाँ

Idempotent and nilpotent were introduced by Benjamin Peirce in 1870.

  1. See Hazewinkel et al. (2004), p. 2.
  2. Anderson & Fuller 1992, p.69-72.
  3. Lam 2001, p.326.
  4. Rings in which 2 is not invertible are not hard to find. The element 2 is not invertible in any Boolean algebra, nor in any ring of characteristic 2.
  5. Anderson & Fuller 1992, p.302.
  6. Lam 2001, p.336.

संदर्भ

  • idempotent” at FOLDOC
  • Goodearl, K. R. (1991), von Neumann regular rings (2 ed.), Malabar, FL: Robert E. Krieger Publishing Co. Inc., pp. xviii+412, ISBN 0-89464-632-X, MR 1150975
  • Hazewinkel, Michiel; Gubareni, Nadiya; Kirichenko, V. V. (2004), Algebras, rings and modules. Vol. 1, Mathematics and its Applications, vol. 575, Dordrecht: Kluwer Academic Publishers, pp. xii+380, ISBN 1-4020-2690-0, MR 2106764
  • Lam, T. Y. (2001), A first course in noncommutative rings, Graduate Texts in Mathematics, vol. 131 (2 ed.), New York: Springer-Verlag, pp. xx+385, doi:10.1007/978-1-4419-8616-0, ISBN 0-387-95183-0, MR 1838439
  • Lang, Serge (1993), Algebra (Third ed.), Reading, Mass.: Addison-Wesley, ISBN 978-0-201-55540-0, Zbl 0848.13001 p. 443
  • Peirce, Benjamin.. Linear Associative Algebra 1870.
  • Polcino Milies, César; Sehgal, Sudarshan K. (2002), An introduction to group rings, Algebras and Applications, vol. 1, Dordrecht: Kluwer Academic Publishers, pp. xii+371, doi:10.1007/978-94-010-0405-3, ISBN 1-4020-0238-6, MR 1896125