सरल मॉड्यूल: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
गणित में, विशेष रूप से [[अंगूठी सिद्धांत]] में, | गणित में, विशेष रूप से [[अंगूठी सिद्धांत|रिंग सिद्धांत]] में, रिंग (गणित)''आर'' पर सरल मॉड्यूल ''आर'' पर (बाएं या दाएं) [[मॉड्यूल (गणित)]] होते हैं जो गैर-शून्य होते हैं | [[शून्य मॉड्यूल]] और गैर-शून्य उचित [[submodule|सबमॉड्यूल]] नहीं होते है । समान रूप से, एम मॉड्यूल सरल है [[अगर और केवल अगर]] 'एम' के गैर शून्य द्वारा उत्पन्न प्रत्येक [[चक्रीय मॉड्यूल]] एम के बराबर होता है सरल मॉड्यूल एक मॉड्यूल की परिमित लंबाई के मॉड्यूल के लिए बिल्डिंग ब्लॉक्स बनाते हैं, और वे [[समूह सिद्धांत]] में सरल समूहों के अनुरूप होते हैं। | ||
इस लेख में, सभी मॉड्यूलों को रिंग | इस लेख में, सभी मॉड्यूलों को रिंग आर के ऊपर सही [[ एकात्मक मॉड्यूल ]] माना जाएगा। | ||
'''ए द्वारा उत्पन्न होता है {{nowrap|non-zero}} एम का तत्व एम के बराबर है। सरल मॉड्यूल एक मॉड्यूल की परिमित लंबाई के मॉड्यूल के लिए बिल्डिंग ब्लॉक्स बनाते हैं, और वे [[समूह सिद्धांत]] में सरल समूहों के अनुरूप होते हैं।''' | '''ए द्वारा उत्पन्न होता है {{nowrap|non-zero}} एम का तत्व एम के बराबर है। सरल मॉड्यूल एक मॉड्यूल की परिमित लंबाई के मॉड्यूल के लिए बिल्डिंग ब्लॉक्स बनाते हैं, और वे [[समूह सिद्धांत]] में सरल समूहों के अनुरूप होते हैं।''' | ||
| Line 8: | Line 8: | ||
[[पूर्णांक]]-मॉड्यूल [[एबेलियन समूह]] के समान हैं, इसलिए एक साधारण जेड-मॉड्यूल एक एबेलियन समूह है जिसमें गैर-शून्य उचित [[उपसमूह]] नहीं हैं। ये [[अभाज्य संख्या]] क्रम (समूह सिद्धांत) के [[चक्रीय समूह]] हैं। | [[पूर्णांक]]-मॉड्यूल [[एबेलियन समूह]] के समान हैं, इसलिए एक साधारण जेड-मॉड्यूल एक एबेलियन समूह है जिसमें गैर-शून्य उचित [[उपसमूह]] नहीं हैं। ये [[अभाज्य संख्या]] क्रम (समूह सिद्धांत) के [[चक्रीय समूह]] हैं। | ||
अगर | अगर आई आर का एक सही आदर्श (रिंग थ्योरी) है, तो ''आई'' एक सही मॉड्यूल के रूप में सरल है अगर और केवल अगर ''आई'' एक [[न्यूनतम आदर्श]] गैर-शून्य सही आदर्श है : यदि ''एम'' ''आई'' का गैर-शून्य उचित उपमॉड्यूल है, तो यह एक सही आदर्श भी है, इसलिए ''आई'' न्यूनतम नहीं है। विलोम (तर्क), यदि 'आई' न्यूनतम नहीं है, तो एक गैर-शून्य सही आदर्श ''जे है | जो'' 'आई' में उचित रूप से निहित है। जे''आई'' का एक राइट सबमॉड्यूल है, इसलिए ''आई'' सरल नहीं है। | ||
यदि '' | यदि ''आई'' ''आर'' का एक सही आदर्श है, तो [[भागफल मॉड्यूल]] ''आर'' /''आई'' सरल है अगर और केवल अगर ''आई'' एक [[अधिकतम आदर्श]] सही आदर्श है: यदि ''M'' ''आर''/''आई'' का एक गैर-शून्य उचित सबमॉड्यूल है, तो कोटिएंट मॉड्यूल के तहत ''M'' का [[preimage|प्रिएमेज]] {{nowrap|''R'' → ''R''/''I''}} एक सही गुणजावली है जो आर के बराबर नहीं है और जिसमें ठीक से आई शामिल है। इसलिए, आई अधिकतम नहीं है। इसके विपरीत, यदि आई अधिकतम नहीं है, तो एक सही आदर्श जे ठीक से युक्त आई है। भागफल मानचित्र {{nowrap|''R''/''I'' → ''R''/''J''}} में एक गैर-शून्य [[कर्नेल (बीजगणित)]] है जो इसके बराबर नहीं है {{nowrap|''R''/''I''}}, और इसलिए {{nowrap|''R''/''I''}} सरल नहीं है। | ||
प्रत्येक सरल आर-मॉड्यूल एक भागफल | प्रत्येक सरल आर-मॉड्यूल एक भागफल आर/m के लिए मॉड्यूल समरूपता शब्दावली है, जहां m, आर का अधिकतम आदर्श सही आदर्श है। <ref>Herstein, ''Non-commutative Ring Theory'', Lemma 1.1.3</ref><nowiki> उपरोक्त अनुच्छेद द्वारा, कोई भागफल आर/एम एक साधारण मॉड्यूल है। इसके विपरीत, मान लीजिए कि एम एक साधारण आर-मॉड्यूल है। फिर, M के किसी भी गैर-शून्य तत्व x के लिए, चक्रीय सबमॉड्यूल xR को M के बराबर होना चाहिए। ऐसे x को ठीक करें। बयान है कि {{नाउरैप प्रारंभ}एक्सआर = एम </nowiki>[[मॉड्यूल समरूपता]] के [[विशेषण]] के समतुल्य है {{nowrap|''R'' → ''M''}} जो आर को xr भेजता है। इस समरूपता का मूल आर का एक सही आदर्श आई है, और एक मानक प्रमेय कहता है कि M, आर/आई के लिए समरूप है। उपरोक्त पैराग्राफ से, हम पाते हैं कि आई एक अधिकतम सही आदर्श है। इसलिए, M अधिकतम सही आदर्श द्वारा आर के भागफल के लिए समरूप है। | ||
यदि k एक [[क्षेत्र (गणित)]] है और G एक [[समूह (गणित)]] है, तो G का एक [[समूह प्रतिनिधित्व]] समूह रिंग k | यदि k एक [[क्षेत्र (गणित)]] है और G एक [[समूह (गणित)]] है, तो G का एक [[समूह प्रतिनिधित्व]] समूह रिंग k G पर एक बायाँ मॉड्यूल है (विवरण के लिए, परिमित समूहों का प्रतिनिधित्व सिद्धांत देखें अभ्यावेदन.2C मॉड्यूल और दृढ़ बीजगणित)।<ref>{{Cite book|url=https://archive.org/details/linearrepresenta1977serr/page/47|title=परिमित समूहों के रैखिक प्रतिनिधित्व|last=Serre|first=Jean-Pierre|publisher=Springer-Verlag|year=1977|isbn=0387901906|location=New York|pages=[https://archive.org/details/linearrepresenta1977serr/page/47 47]|issn=0072-5285|oclc=2202385}}</ref> साधारण k G-मॉड्यूल्स को 'इरेड्यूसिबल ' प्रस्तुतियों के रूप में भी जाना जाता है। [[प्रतिनिधित्व सिद्धांत]] का एक प्रमुख उद्देश्य समूहों के अलघुकरणीय प्रस्तुतियों को समझना है। | ||
== सरल मॉड्यूल के मूल गुण == | == सरल मॉड्यूल के मूल गुण == | ||
| Line 25: | Line 25: | ||
प्रत्येक मॉड्यूल में एक साधारण सबमॉड्यूल नहीं होता है; उदाहरण के लिए ऊपर दिए गए पहले उदाहरण के आलोक में Z-मॉड्यूल Z पर विचार करें। | प्रत्येक मॉड्यूल में एक साधारण सबमॉड्यूल नहीं होता है; उदाहरण के लिए ऊपर दिए गए पहले उदाहरण के आलोक में Z-मॉड्यूल Z पर विचार करें। | ||
''एम'' और ''एन'' एक ही रिंग पर (बाएं या दाएं) मॉड्यूल होने दे , और {{nowrap|''f'' : ''M'' → ''N''}} मॉड्यूल समरूपता होने दे । यदि M सरल है, तो f या तो शून्य समरूपता या अंतःक्षेपी है क्योंकि f का कर्नेल M का एक सबमॉड्यूल है। यदि N सरल है, तो f या तो शून्य समरूपता या विशेषण है क्योंकि f की [[छवि (गणित)]]<nowiki> एन का एक सबमॉड्यूल है। यदि {{नाउरैप प्रारंभ}एम = एन, तो f, M का एक एंडोमोर्फिज़्म है, और यदि M सरल है, तो पिछले दो कथनों का अर्थ है कि f या तो शून्य समरूपता या एक समरूपता है। नतीजतन, किसी भी साधारण मॉड्यूल की </nowiki>[[एंडोमोर्फिज्म]] रिंग एक [[विभाजन की अंगूठी|विभाजन की रिंग]] है। इस परिणाम को 'शूर की लेम्मा' के रूप में जाना जाता है। | |||
शूर की लेम्मा का विलोम सामान्य रूप से सत्य नहीं है। उदाहरण के लिए, 'जेड'-मॉड्यूल 'क्यू' सरल नहीं है, लेकिन इसकी [[एंडोमोर्फिज्म रिंग]] 'क्यू' क्षेत्र के लिए | शूर की लेम्मा का विलोम सामान्य रूप से सत्य नहीं है। उदाहरण के लिए, 'जेड'-मॉड्यूल 'क्यू' सरल नहीं है, लेकिन इसकी [[एंडोमोर्फिज्म रिंग]] 'क्यू' क्षेत्र के लिए समरूप है। | ||
== सरल मॉड्यूल और रचना श्रृंखला == | == सरल मॉड्यूल और रचना श्रृंखला == | ||
{{main| | {{main|रचना श्रृंखला}} | ||
यदि एम एक मॉड्यूल है जिसमें गैर-शून्य उचित सबमिशन एन है, तो एक छोटा सटीक अनुक्रम होता है | यदि एम एक मॉड्यूल है जिसमें गैर-शून्य उचित सबमिशन एन है, तो एक छोटा सटीक अनुक्रम होता है | ||
:<math>0 \to N \to M \to M/N \to 0.</math> | :<math>0 \to N \to M \to M/N \to 0.</math> | ||
[[गणितीय प्रमाण]] के लिए एक सामान्य दृष्टिकोण | एम के बारे में एक तथ्य [[गणितीय प्रमाण]] के लिए एक सामान्य दृष्टिकोण यह दिखाना है कि तथ्य एक छोटे सटीक अनुक्रम के केंद्र पद के लिए सत्य है जब यह बाएँ और दाएँ शब्दों के लिए सत्य है, फिर एन और एम/एन के लिए तथ्य को साबित करने के लिए। यदि N में एक गैर-शून्य उचित सबमॉड्यूल है, तो इस प्रक्रिया को दोहराया जा सकता है। यह सबमॉड्यूल की एक श्रृंखला का निर्माण करता है | | ||
:<math>\cdots \subset M_2 \subset M_1 \subset M.</math> | :<math>\cdots \subset M_2 \subset M_1 \subset M.</math> | ||
तथ्य को इस तरह साबित करने के लिए, इस क्रम पर और मॉड्यूल एम<sub>''i''</sub>/एम<sub>''i'' + 1</sub> पर शर्तों की आवश्यकता होती है. एक विशेष रूप से उपयोगी स्थिति यह है कि अनुक्रम की लंबाई परिमित है और प्रत्येक भागफल मॉड्यूल एम<sub>''i''</sub>/एम<sub>''i'' + 1</sub> साधारण है। इस मामले में अनुक्रम को ''एम'' के लिए संयोजन श्रृंखला कहा जाता है। रचना श्रृंखला का उपयोग करते हुए किसी कथन को आगमनात्मक रूप से सिद्ध करने के लिए, कथन को पहले सरल मॉड्यूल के लिए सिद्ध किया जाता है, जो प्रेरण का आधार मामला बनाता है, और फिर एक साधारण मॉड्यूल द्वारा मॉड्यूल के विस्तार के तहत कथन को सही साबित किया जाता है। उदाहरण के लिए, [[फिटिंग लेम्मा]] से पता चलता है कि एक [[परिमित लंबाई मॉड्यूल]] की एंडोमोर्फिज्म रिंग अविघटनीय मॉड्यूल एक स्थानीय रिंग है, जिससे कि मजबूत क्रुल-श्मिट प्रमेय धारण करता है और परिमित लंबाई मॉड्यूल की [[श्रेणी (गणित)]] एक [[क्रुल-श्मिट श्रेणी]] है। | |||
जॉर्डन-होल्डर प्रमेय और श्रेयर शोधन प्रमेय एकल मॉड्यूल की सभी रचना श्रृंखलाओं के बीच संबंधों का वर्णन करते हैं। [[ग्रोथेंडिक समूह]] रचना श्रृंखला में क्रम की उपेक्षा करता है और प्रत्येक परिमित लंबाई मॉड्यूल को सरल मॉड्यूल के औपचारिक योग के रूप में देखता है। अर्ध-सरल छल्लों पर, यह कोई नुकसान नहीं है क्योंकि प्रत्येक मॉड्यूल एक [[अर्ध-सरल मॉड्यूल]] है और इसलिए सरल मॉड्यूल के मॉड्यूल का सीधा योग है। [[साधारण चरित्र सिद्धांत]] बेहतर अंकगणितीय नियंत्रण प्रदान करता है, और [[परिमित समूह]] ''जी'' की संरचना को समझने के लिए सरल सी''जी'' मॉड्यूल का उपयोग करता है। [[मॉड्यूलर प्रतिनिधित्व सिद्धांत]] मॉड्यूल को सरल मॉड्यूल के औपचारिक योग के रूप में देखने के लिए ब्राउर वर्णों का उपयोग करता है, लेकिन यह भी रुचि रखता है कि संरचना श्रृंखला के भीतर उन सरल मॉड्यूल को एक साथ कैसे जोड़ा जाता है। यह एक्सट्रीम फ़ैक्टर का अध्ययन करके और क्विवर (गणित) (जिनके नोड सरल मॉड्यूल हैं और जिनके किनारे लंबाई 2 के गैर-अर्ध-सरल मॉड्यूल की रचना श्रृंखला हैं) और ऑस्लैंडर-रीटेन सिद्धांत सहित विभिन्न तरीकों से [[मॉड्यूल श्रेणी]] का वर्णन करके औपचारिक रूप दिया गया है। संबद्ध ग्राफ़ में प्रत्येक अविघटनीय मॉड्यूल के लिए एक शीर्ष होता है। | जॉर्डन-होल्डर प्रमेय और श्रेयर शोधन प्रमेय एकल मॉड्यूल की सभी रचना श्रृंखलाओं के बीच संबंधों का वर्णन करते हैं। [[ग्रोथेंडिक समूह]] रचना श्रृंखला में क्रम की उपेक्षा करता है और प्रत्येक परिमित लंबाई मॉड्यूल को सरल मॉड्यूल के औपचारिक योग के रूप में देखता है। अर्ध-सरल छल्लों पर, यह कोई नुकसान नहीं है क्योंकि प्रत्येक मॉड्यूल एक [[अर्ध-सरल मॉड्यूल]] है और इसलिए सरल मॉड्यूल के मॉड्यूल का सीधा योग है। [[साधारण चरित्र सिद्धांत]] बेहतर अंकगणितीय नियंत्रण प्रदान करता है, और [[परिमित समूह]] ''जी'' की संरचना को समझने के लिए सरल सी''जी'' मॉड्यूल का उपयोग करता है। [[मॉड्यूलर प्रतिनिधित्व सिद्धांत]] मॉड्यूल को सरल मॉड्यूल के औपचारिक योग के रूप में देखने के लिए ब्राउर वर्णों का उपयोग करता है, लेकिन यह भी रुचि रखता है कि संरचना श्रृंखला के भीतर उन सरल मॉड्यूल को एक साथ कैसे जोड़ा जाता है। यह एक्सट्रीम फ़ैक्टर का अध्ययन करके और क्विवर (गणित) (जिनके नोड सरल मॉड्यूल हैं और जिनके किनारे लंबाई 2 के गैर-अर्ध-सरल मॉड्यूल की रचना श्रृंखला हैं) और ऑस्लैंडर-रीटेन सिद्धांत सहित विभिन्न तरीकों से [[मॉड्यूल श्रेणी]] का वर्णन करके औपचारिक रूप दिया गया है। संबद्ध ग्राफ़ में प्रत्येक अविघटनीय मॉड्यूल के लिए एक शीर्ष होता है। | ||
== जैकबसन घनत्व प्रमेय == | == जैकबसन घनत्व प्रमेय == | ||
{{main| | {{main|जैकबसन घनत्व प्रमेय}} | ||
सरल मॉड्यूल के सिद्धांत में एक महत्वपूर्ण प्रगति [[जैकबसन घनत्व प्रमेय]] थी। जैकबसन घनत्व प्रमेय कहता है: | सरल मॉड्यूल के सिद्धांत में एक महत्वपूर्ण प्रगति [[जैकबसन घनत्व प्रमेय]] थी। जैकबसन घनत्व प्रमेय कहता है: | ||
: यू को एक साधारण सही आर-मॉड्यूल होने दें और डी = | : यू को एक साधारण सही आर-मॉड्यूल होने दें और डी = एंड<sub>''R''</sub> यू दे | यू पर ए को कोई डी-रैखिक ऑपरेटर होने दें और एक्स को यू के एक परिमित डी-रैखिक रूप से स्वतंत्र उपसमुच्चय होने दें। फिर आर का एक तत्व आर मौजूद है जैसे एक्स·ए = एक्स·आर एक्स में सभी एक्स के लिए।<ref>Isaacs, Theorem 13.14, p. 185</ref> | ||
विशेष रूप से, किसी भी [[आदिम अंगूठी]] को कुछ डी-स्पेस पर डी-रैखिक ऑपरेटरों की | विशेष रूप से, किसी भी [[आदिम अंगूठी|आदिम रिंग]] को कुछ डी-स्पेस पर डी-रैखिक ऑपरेटरों की रिंग के रूप में देखा जा सकता है (यानी, समरूप)। | ||
जैकबसन घनत्व प्रमेय का एक [[परिणाम]] वेडरबर्न का प्रमेय है; अर्थात् कोई भी सही [[आर्टिनियन रिंग]] [[साधारण अंगूठी]] कुछ एन के लिए एक डिवीजन रिंग के ऊपर एन-बाय-एन मैट्रिसेस के पूर्ण [[मैट्रिक्स रिंग]] के लिए | जैकबसन घनत्व प्रमेय का एक [[परिणाम]] वेडरबर्न का प्रमेय है; अर्थात् कोई भी सही [[आर्टिनियन रिंग]] [[साधारण अंगूठी|साधारण रिंग]] कुछ एन के लिए एक डिवीजन रिंग के ऊपर एन-बाय-एन मैट्रिसेस के पूर्ण [[मैट्रिक्स रिंग]] के लिए समरूप है। इसे आर्टिन-वेडरबर्न प्रमेय के परिणाम के रूप में भी स्थापित किया जा सकता है। | ||
== यह भी देखें == | == यह भी देखें == | ||
* | * अर्धसधारण मॉड्यूल ऐसे मॉड्यूल होते हैं जिन्हें सरल सबमॉड्यूल के योग के रूप में लिखा जा सकता है | ||
* [[अकाट्य आदर्श]] | * [[अकाट्य आदर्श|अपरिवर्तनीय आदर्श]] | ||
* | * अपरिवर्तनीय प्रतिनिधित्व | ||
==संदर्भ== | ==संदर्भ== | ||
Revision as of 14:54, 21 April 2023
गणित में, विशेष रूप से रिंग सिद्धांत में, रिंग (गणित)आर पर सरल मॉड्यूल आर पर (बाएं या दाएं) मॉड्यूल (गणित) होते हैं जो गैर-शून्य होते हैं | शून्य मॉड्यूल और गैर-शून्य उचित सबमॉड्यूल नहीं होते है । समान रूप से, एम मॉड्यूल सरल है अगर और केवल अगर 'एम' के गैर शून्य द्वारा उत्पन्न प्रत्येक चक्रीय मॉड्यूल एम के बराबर होता है सरल मॉड्यूल एक मॉड्यूल की परिमित लंबाई के मॉड्यूल के लिए बिल्डिंग ब्लॉक्स बनाते हैं, और वे समूह सिद्धांत में सरल समूहों के अनुरूप होते हैं।
इस लेख में, सभी मॉड्यूलों को रिंग आर के ऊपर सही एकात्मक मॉड्यूल माना जाएगा।
ए द्वारा उत्पन्न होता है non-zero एम का तत्व एम के बराबर है। सरल मॉड्यूल एक मॉड्यूल की परिमित लंबाई के मॉड्यूल के लिए बिल्डिंग ब्लॉक्स बनाते हैं, और वे समूह सिद्धांत में सरल समूहों के अनुरूप होते हैं।
उदाहरण
पूर्णांक-मॉड्यूल एबेलियन समूह के समान हैं, इसलिए एक साधारण जेड-मॉड्यूल एक एबेलियन समूह है जिसमें गैर-शून्य उचित उपसमूह नहीं हैं। ये अभाज्य संख्या क्रम (समूह सिद्धांत) के चक्रीय समूह हैं।
अगर आई आर का एक सही आदर्श (रिंग थ्योरी) है, तो आई एक सही मॉड्यूल के रूप में सरल है अगर और केवल अगर आई एक न्यूनतम आदर्श गैर-शून्य सही आदर्श है : यदि एम आई का गैर-शून्य उचित उपमॉड्यूल है, तो यह एक सही आदर्श भी है, इसलिए आई न्यूनतम नहीं है। विलोम (तर्क), यदि 'आई' न्यूनतम नहीं है, तो एक गैर-शून्य सही आदर्श जे है | जो 'आई' में उचित रूप से निहित है। जेआई का एक राइट सबमॉड्यूल है, इसलिए आई सरल नहीं है।
यदि आई आर का एक सही आदर्श है, तो भागफल मॉड्यूल आर /आई सरल है अगर और केवल अगर आई एक अधिकतम आदर्श सही आदर्श है: यदि M आर/आई का एक गैर-शून्य उचित सबमॉड्यूल है, तो कोटिएंट मॉड्यूल के तहत M का प्रिएमेज R → R/I एक सही गुणजावली है जो आर के बराबर नहीं है और जिसमें ठीक से आई शामिल है। इसलिए, आई अधिकतम नहीं है। इसके विपरीत, यदि आई अधिकतम नहीं है, तो एक सही आदर्श जे ठीक से युक्त आई है। भागफल मानचित्र R/I → R/J में एक गैर-शून्य कर्नेल (बीजगणित) है जो इसके बराबर नहीं है R/I, और इसलिए R/I सरल नहीं है।
प्रत्येक सरल आर-मॉड्यूल एक भागफल आर/m के लिए मॉड्यूल समरूपता शब्दावली है, जहां m, आर का अधिकतम आदर्श सही आदर्श है। [1] उपरोक्त अनुच्छेद द्वारा, कोई भागफल आर/एम एक साधारण मॉड्यूल है। इसके विपरीत, मान लीजिए कि एम एक साधारण आर-मॉड्यूल है। फिर, M के किसी भी गैर-शून्य तत्व x के लिए, चक्रीय सबमॉड्यूल xR को M के बराबर होना चाहिए। ऐसे x को ठीक करें। बयान है कि {{नाउरैप प्रारंभ}एक्सआर = एम मॉड्यूल समरूपता के विशेषण के समतुल्य है R → M जो आर को xr भेजता है। इस समरूपता का मूल आर का एक सही आदर्श आई है, और एक मानक प्रमेय कहता है कि M, आर/आई के लिए समरूप है। उपरोक्त पैराग्राफ से, हम पाते हैं कि आई एक अधिकतम सही आदर्श है। इसलिए, M अधिकतम सही आदर्श द्वारा आर के भागफल के लिए समरूप है।
यदि k एक क्षेत्र (गणित) है और G एक समूह (गणित) है, तो G का एक समूह प्रतिनिधित्व समूह रिंग k G पर एक बायाँ मॉड्यूल है (विवरण के लिए, परिमित समूहों का प्रतिनिधित्व सिद्धांत देखें अभ्यावेदन.2C मॉड्यूल और दृढ़ बीजगणित)।[2] साधारण k G-मॉड्यूल्स को 'इरेड्यूसिबल ' प्रस्तुतियों के रूप में भी जाना जाता है। प्रतिनिधित्व सिद्धांत का एक प्रमुख उद्देश्य समूहों के अलघुकरणीय प्रस्तुतियों को समझना है।
सरल मॉड्यूल के मूल गुण
सरल मॉड्यूल ठीक मॉड्यूल 1 की लंबाई के मॉड्यूल हैं; यह परिभाषा का एक सुधार है।
प्रत्येक साधारण मॉड्यूल अविघटनीय मॉड्यूल है, लेकिन इसका विलोम सामान्य रूप से सत्य नहीं है।
प्रत्येक सरल मॉड्यूल चक्रीय मॉड्यूल है, अर्थात यह एक तत्व द्वारा उत्पन्न होता है।
प्रत्येक मॉड्यूल में एक साधारण सबमॉड्यूल नहीं होता है; उदाहरण के लिए ऊपर दिए गए पहले उदाहरण के आलोक में Z-मॉड्यूल Z पर विचार करें।
एम और एन एक ही रिंग पर (बाएं या दाएं) मॉड्यूल होने दे , और f : M → N मॉड्यूल समरूपता होने दे । यदि M सरल है, तो f या तो शून्य समरूपता या अंतःक्षेपी है क्योंकि f का कर्नेल M का एक सबमॉड्यूल है। यदि N सरल है, तो f या तो शून्य समरूपता या विशेषण है क्योंकि f की छवि (गणित) एन का एक सबमॉड्यूल है। यदि {{नाउरैप प्रारंभ}एम = एन, तो f, M का एक एंडोमोर्फिज़्म है, और यदि M सरल है, तो पिछले दो कथनों का अर्थ है कि f या तो शून्य समरूपता या एक समरूपता है। नतीजतन, किसी भी साधारण मॉड्यूल की एंडोमोर्फिज्म रिंग एक विभाजन की रिंग है। इस परिणाम को 'शूर की लेम्मा' के रूप में जाना जाता है।
शूर की लेम्मा का विलोम सामान्य रूप से सत्य नहीं है। उदाहरण के लिए, 'जेड'-मॉड्यूल 'क्यू' सरल नहीं है, लेकिन इसकी एंडोमोर्फिज्म रिंग 'क्यू' क्षेत्र के लिए समरूप है।
सरल मॉड्यूल और रचना श्रृंखला
यदि एम एक मॉड्यूल है जिसमें गैर-शून्य उचित सबमिशन एन है, तो एक छोटा सटीक अनुक्रम होता है
एम के बारे में एक तथ्य गणितीय प्रमाण के लिए एक सामान्य दृष्टिकोण यह दिखाना है कि तथ्य एक छोटे सटीक अनुक्रम के केंद्र पद के लिए सत्य है जब यह बाएँ और दाएँ शब्दों के लिए सत्य है, फिर एन और एम/एन के लिए तथ्य को साबित करने के लिए। यदि N में एक गैर-शून्य उचित सबमॉड्यूल है, तो इस प्रक्रिया को दोहराया जा सकता है। यह सबमॉड्यूल की एक श्रृंखला का निर्माण करता है |
तथ्य को इस तरह साबित करने के लिए, इस क्रम पर और मॉड्यूल एमi/एमi + 1 पर शर्तों की आवश्यकता होती है. एक विशेष रूप से उपयोगी स्थिति यह है कि अनुक्रम की लंबाई परिमित है और प्रत्येक भागफल मॉड्यूल एमi/एमi + 1 साधारण है। इस मामले में अनुक्रम को एम के लिए संयोजन श्रृंखला कहा जाता है। रचना श्रृंखला का उपयोग करते हुए किसी कथन को आगमनात्मक रूप से सिद्ध करने के लिए, कथन को पहले सरल मॉड्यूल के लिए सिद्ध किया जाता है, जो प्रेरण का आधार मामला बनाता है, और फिर एक साधारण मॉड्यूल द्वारा मॉड्यूल के विस्तार के तहत कथन को सही साबित किया जाता है। उदाहरण के लिए, फिटिंग लेम्मा से पता चलता है कि एक परिमित लंबाई मॉड्यूल की एंडोमोर्फिज्म रिंग अविघटनीय मॉड्यूल एक स्थानीय रिंग है, जिससे कि मजबूत क्रुल-श्मिट प्रमेय धारण करता है और परिमित लंबाई मॉड्यूल की श्रेणी (गणित) एक क्रुल-श्मिट श्रेणी है।
जॉर्डन-होल्डर प्रमेय और श्रेयर शोधन प्रमेय एकल मॉड्यूल की सभी रचना श्रृंखलाओं के बीच संबंधों का वर्णन करते हैं। ग्रोथेंडिक समूह रचना श्रृंखला में क्रम की उपेक्षा करता है और प्रत्येक परिमित लंबाई मॉड्यूल को सरल मॉड्यूल के औपचारिक योग के रूप में देखता है। अर्ध-सरल छल्लों पर, यह कोई नुकसान नहीं है क्योंकि प्रत्येक मॉड्यूल एक अर्ध-सरल मॉड्यूल है और इसलिए सरल मॉड्यूल के मॉड्यूल का सीधा योग है। साधारण चरित्र सिद्धांत बेहतर अंकगणितीय नियंत्रण प्रदान करता है, और परिमित समूह जी की संरचना को समझने के लिए सरल सीजी मॉड्यूल का उपयोग करता है। मॉड्यूलर प्रतिनिधित्व सिद्धांत मॉड्यूल को सरल मॉड्यूल के औपचारिक योग के रूप में देखने के लिए ब्राउर वर्णों का उपयोग करता है, लेकिन यह भी रुचि रखता है कि संरचना श्रृंखला के भीतर उन सरल मॉड्यूल को एक साथ कैसे जोड़ा जाता है। यह एक्सट्रीम फ़ैक्टर का अध्ययन करके और क्विवर (गणित) (जिनके नोड सरल मॉड्यूल हैं और जिनके किनारे लंबाई 2 के गैर-अर्ध-सरल मॉड्यूल की रचना श्रृंखला हैं) और ऑस्लैंडर-रीटेन सिद्धांत सहित विभिन्न तरीकों से मॉड्यूल श्रेणी का वर्णन करके औपचारिक रूप दिया गया है। संबद्ध ग्राफ़ में प्रत्येक अविघटनीय मॉड्यूल के लिए एक शीर्ष होता है।
जैकबसन घनत्व प्रमेय
सरल मॉड्यूल के सिद्धांत में एक महत्वपूर्ण प्रगति जैकबसन घनत्व प्रमेय थी। जैकबसन घनत्व प्रमेय कहता है:
- यू को एक साधारण सही आर-मॉड्यूल होने दें और डी = एंडR यू दे | यू पर ए को कोई डी-रैखिक ऑपरेटर होने दें और एक्स को यू के एक परिमित डी-रैखिक रूप से स्वतंत्र उपसमुच्चय होने दें। फिर आर का एक तत्व आर मौजूद है जैसे एक्स·ए = एक्स·आर एक्स में सभी एक्स के लिए।[3]
विशेष रूप से, किसी भी आदिम रिंग को कुछ डी-स्पेस पर डी-रैखिक ऑपरेटरों की रिंग के रूप में देखा जा सकता है (यानी, समरूप)।
जैकबसन घनत्व प्रमेय का एक परिणाम वेडरबर्न का प्रमेय है; अर्थात् कोई भी सही आर्टिनियन रिंग साधारण रिंग कुछ एन के लिए एक डिवीजन रिंग के ऊपर एन-बाय-एन मैट्रिसेस के पूर्ण मैट्रिक्स रिंग के लिए समरूप है। इसे आर्टिन-वेडरबर्न प्रमेय के परिणाम के रूप में भी स्थापित किया जा सकता है।
यह भी देखें
- अर्धसधारण मॉड्यूल ऐसे मॉड्यूल होते हैं जिन्हें सरल सबमॉड्यूल के योग के रूप में लिखा जा सकता है
- अपरिवर्तनीय आदर्श
- अपरिवर्तनीय प्रतिनिधित्व
