अर्धसरल मॉड्यूल

See also: Semisimple algebra

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

समान धारणा के समूह-सिद्धांत एनालॉग के लिए, अर्धसरल प्रतिनिधित्व देखें।

परिभाषा

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

मॉड्यूल एम के लिए, निम्नलिखित समतुल्य हैं:

1. एम अर्धसरल है; यानी, इरेड्यूसेबल मॉड्यूल का प्रत्यक्ष योग।
2. एम इसके अपरिवर्तनीय उपमॉड्यूल का योग है।
3. एम का प्रत्येक सबमॉड्यूल एक सीधा सारांश है: एम के प्रत्येक सबमॉड्यूल एन के लिए, एक पूरक पी है जैसे कि M = N ⊕ P.

समतुल्यता के प्रमाण के लिए देखेंSemisimple representation § Equivalent characterizations. सेमीसिंपल मॉड्यूल का सबसे बुनियादी उदाहरण एक फ़ील्ड पर एक मॉड्यूल है, यानी, एक सदिश स्थल । दूसरी ओर, अंगूठी {{nowrap|Z}पूर्णांकों का } सबमॉड्यूल के बाद से, अपने आप में एक अर्धसरल मॉड्यूल नहीं है 2Z सीधा सारांश नहीं है.

सेमीसिंपल, अविभाज्य मॉड्यूल से अधिक मजबूत है, जो कि अविभाज्य मॉड्यूल के मॉड्यूल का प्रत्यक्ष योग है।

मान लीजिए कि A, फ़ील्ड K के ऊपर एक बीजगणित है। तब A के ऊपर एक बाएँ मॉड्यूल M को 'बिल्कुल अर्धसरल' कहा जाता है, यदि K के किसी फ़ील्ड एक्सटेंशन F के लिए, F ⊗_K M एक अर्धसरल मॉड्यूल है F ⊗_K A.

गुण

• यदि M अर्धसरल है और N एक उपसबमॉड्यूल है, तो N और M/N भी अर्धसरल हैं।
• अर्धसरल मॉड्यूल का एक मनमाना प्रत्यक्ष योग अर्धसरल है।
• एक मॉड्यूल एम अंतिम रूप से उत्पन्न मॉड्यूल और अर्धसरल है यदि और केवल यदि यह आर्टिनियन है और मॉड्यूल का रेडिकल शून्य है।

एंडोमोर्फिज्म रिंग्स

• एक रिंग R के ऊपर एक सेमीसिंपल मॉड्यूल M को R से M के एबेलियन समूह एंडोमोर्फिज्म के रिंग में एक वलय समरूपता के रूप में भी सोचा जा सकता है। इस होमोमोर्फिज्म की छवि एक अर्धआदिम अंगूठी है, और प्रत्येक सेमीप्रिमिटिव रिंग ऐसी छवि के लिए आइसोमोर्फिक है। .
• सेमीसिंपल मॉड्यूल की एंडोमोर्फिज्म रिंग न केवल सेमीप्रिमिटिव है, बल्कि वॉन न्यूमैन नियमित रिंग भी है, (Lam 2001, p. 62).

अर्धसरल वलय

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

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

$0\to A\xrightarrow {f} B\xrightarrow {g} C\to 0$

वहां मौजूद s : C → B ऐसी कि रचना g ∘ s : C → Cपहचान है. मानचित्र को एक अनुभाग के रूप में जाना जाता है। इससे यह निष्कर्ष निकलता है

$B\cong A\oplus C$

या अधिक सटीक शब्दों में

$B\cong f(A)\oplus s(C).$

विशेष रूप से, सेमीसिंपल रिंग के ऊपर कोई भी मॉड्यूल इंजेक्शन मॉड्यूल और प्रोजेक्टिव मॉड्यूल होता है। चूँकि प्रक्षेप्य का तात्पर्य सपाट है, एक अर्धसरल वलय एक वॉन न्यूमैन नियमित वलय है।

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

अर्धसरल वलय आर्टिनियन वलय और नोथेरियन वलय दोनों हैं। उपरोक्त गुणों से, एक वलय अर्धसरल है यदि और केवल यदि यह आर्टिनियन है और इसका जैकबसन कट्टरपंथी शून्य है।

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

उदाहरण

• एक क्रमविनिमेय वलय के लिए, निम्नलिखित चार गुण समतुल्य हैं: एक अर्धसरल वलय होना; आर्टिनियन रिंग और कम रिंग होना; क्रुल आयाम 0 की एक छोटी अंगूठी नोथेरियन अंगूठी होने के नाते; और खेतों के एक सीमित प्रत्यक्ष उत्पाद के समरूपी होना।
• यदि K एक क्षेत्र है और G क्रम n का एक परिमित समूह है, तो समूह वलय K[G] अर्धसरल है यदि और केवल यदि K की विशेषता (बीजगणित) n को विभाजित नहीं करती है। यह माश्के का प्रमेय है, जो समूह प्रतिनिधित्व सिद्धांत में एक महत्वपूर्ण परिणाम है।
• वेडरबर्न-आर्टिन प्रमेय के अनुसार, एक यूनिटल रिंग आर अर्धसरल है यदि और केवल यदि यह (आइसोमोर्फिक) है M_n1(D₁) × M_n2(D₂) × ... × M_nr(D_r), जहां प्रत्येक डी_i एक विभाजन वलय है और प्रत्येक n_i एक धनात्मक पूर्णांक है, और एम_n(डी) डी में प्रविष्टियों के साथ एन-बाय-एन मैट्रिक्स की अंगूठी को दर्शाता है।
• अर्धसरल गैर-इकाई वलय का एक उदाहरण M है_∞(K), एक फ़ील्ड K पर पंक्ति-परिमित, स्तंभ-परिमित, अनंत आव्यूह।

सरल छल्ले

Main article: Simple ring

किसी को सावधान रहना चाहिए कि शब्दावली के बावजूद, सभी साधारण वलय अर्धसरल नहीं होते हैं। समस्या यह है कि अंगूठी बहुत बड़ी हो सकती है, यानी (बाएं/दाएं) आर्टिनियन नहीं। वास्तव में, यदि R न्यूनतम बाएँ/दाएँ आदर्श के साथ एक साधारण वलय है, तो R अर्धसरल है।

सरल, लेकिन अर्धसरल नहीं, छल्लों के उत्कृष्ट उदाहरण वेइल बीजगणित हैं, जैसे कि $\mathbb {Q}$-बीजगणित

$A=\mathbb {Q} {\left[x,y\right]}/\langle xy-yx-1\rangle \ ,$

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

जैकबसन सेमीसिंपल

Main article: Semiprimitive ring

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

उदाहरण के लिए, पूर्णांकों का वलय, 'Z', J-अर्धसरल है, लेकिन आर्टिनियन अर्धसरल नहीं है।

यह भी देखें

• सामाजिक (गणित)
• अर्धसरल बीजगणित

संदर्भ

संदर्भ

• Bourbaki, Nicolas (2012), Algèbre Ch. 8 (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-35315-7
• Jacobson, Nathan (1989), Basic algebra II (2nd ed.), W. H. Freeman, ISBN 978-0-7167-1933-5
• Lam, Tsit-Yuen (2001), A First Course in Noncommutative Rings, Graduate Texts in Mathematics, vol. 131 (2nd ed.), Berlin, New York: Springer-Verlag, doi:10.1007/978-1-4419-8616-0, ISBN 978-0-387-95325-0, MR 1838439
• Lang, Serge (2002), Algebra (3rd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0387953854
• Pierce, R.S. (1982), Associative Algebras, Graduate Texts in Mathematics, Springer-Verlag, ISBN 978-1-4757-0165-4
• Sengupta, Ambar (2012). "Induced Representations". Representing finite groups: a semisimple introduction. New York. pp. 235–248. doi:10.1007/978-1-4614-1231-1_8. ISBN 9781461412311. OCLC 769756134.{{cite book}}: CS1 maint: location missing publisher (link)