मॉड्यूल (गणित): Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| Line 36: | Line 36: | ||
*यदि K एक क्षेत्र (गणित) है, तो K-सदिश रिक्त स्थान (K पर सदिश रिक्त स्थान) और K-मॉड्यूल समान हैं। | *यदि K एक क्षेत्र (गणित) है, तो K-सदिश रिक्त स्थान (K पर सदिश रिक्त स्थान) और K-मॉड्यूल समान हैं। | ||
*यदि K एक क्षेत्र है, और K[x] एक अविभाजित बहुपद वलय है, तो K[x]-मॉड्यूल M, M पर x की अतिरिक्त क्रिया के साथ एक K-मॉड्यूल है जो M पर K की क्रिया के साथ परिवर्तित होता है। दूसरे में शब्द, एक ''K''[''x'']-मॉड्यूल एक K-सदिश स्पेस M है जो M से M के रैखिक मानचित्र के साथ संयुक्त है। इस उदाहरण के लिए एक प्रमुख आदर्श डोमेन पर सूक्ष्मता से उत्पन्न मॉड्यूल के लिए संरचना प्रमेय को लागू करना तर्कसंगत और [[जॉर्डन सामान्य रूप|जॉर्डन]] के अस्तित्व का विहित रूप दिखाता है। | *यदि K एक क्षेत्र है, और K[x] एक अविभाजित बहुपद वलय है, तो K[x]-मॉड्यूल M, M पर x की अतिरिक्त क्रिया के साथ एक K-मॉड्यूल है जो M पर K की क्रिया के साथ परिवर्तित होता है। दूसरे में शब्द, एक ''K''[''x'']-मॉड्यूल एक K-सदिश स्पेस M है जो M से M के रैखिक मानचित्र के साथ संयुक्त है। इस उदाहरण के लिए एक प्रमुख आदर्श डोमेन पर सूक्ष्मता से उत्पन्न मॉड्यूल के लिए संरचना प्रमेय को लागू करना तर्कसंगत और [[जॉर्डन सामान्य रूप|जॉर्डन]] के अस्तित्व का विहित रूप दिखाता है। | ||
*'जेड'-मॉड्यूल की अवधारणा एक विनिमेय समूह की धारणा से सहमत है। अर्थात्, प्रत्येक विनिमेय समूह एक | *'जेड'-मॉड्यूल की अवधारणा एक विनिमेय समूह की धारणा से सहमत है। अर्थात्, प्रत्येक विनिमेय समूह एक अद्वितीय विधि से पूर्णांक 'Z' के वलय पर एक मॉड्यूल है। {{nowrap|''n'' > 0}} के लिये, मान लीजिए {{nowrap|1=''n'' ⋅ ''x'' = ''x'' + ''x'' + ... + ''x''}} (n योग), {{nowrap|1=0 ⋅ ''x'' = 0}}, तथा {{nowrap|1=(−''n'') ⋅ ''x'' = −(''n'' ⋅ ''x'')}} है. इस तरह के एक मॉड्यूल के लिए एक आधार (रैखिक बीजगणित) की आवश्यकता नहीं है - मरोड़ वाले तत्वों वाले समूह नहीं हैं। (उदाहरण के लिए, पूर्णांक अंकगणितीय 3 के समूह में, एक भी तत्व नहीं मिल सकता है जो एक रैखिक रूप से स्वतंत्र सेट की परिभाषा को संतुष्ट करता है, क्योंकि जब एक पूर्णांक जैसे 3 या 6 एक तत्व को गुणा करता है, तो परिणाम 0 होता है। चूँकि, यदि कोई [[परिमित क्षेत्र]] को वलय के रूप में लिए गए परिमित क्षेत्र पर एक मॉड्यूल के रूप में माना जाता है, यह एक सदिश स्थान है और इसका एक आधार है।) | ||
*दशमलव भिन्न (नकारात्मक सहित) पूर्णांकों पर एक मॉड्यूल बनाते हैं। केवल [[सिंगलटन (गणित)]] रैखिक रूप से स्वतंत्र सेट हैं, लेकिन कोई सिंगलटन नहीं है जो आधार के रूप में काम कर सके, इसलिए मॉड्यूल का कोई आधार नहीं है और कोई रैंक नहीं है। | *दशमलव भिन्न (नकारात्मक सहित) पूर्णांकों पर एक मॉड्यूल बनाते हैं। केवल [[सिंगलटन (गणित)]] रैखिक रूप से स्वतंत्र सेट हैं, लेकिन कोई सिंगलटन नहीं है जो आधार के रूप में काम कर सके, इसलिए मॉड्यूल का कोई आधार नहीं है और कोई रैंक नहीं है। | ||
*यदि R कोई वलय है और n एक प्राकृत संख्या है, तो [[कार्तीय गुणन]] | *यदि R कोई वलय है और n एक प्राकृत संख्या है, तो [[कार्तीय गुणन|कार्तीय गुणनफल]] R<sup>n</sup> यदि हम घटक-वार संचालन का उपयोग करते हैं, तो R के ऊपर बाएँ और दाएँ R-मॉड्यूल दोनों हैं। इसलिए जब {{nowrap|1=''n'' = 1}}, R एक R-मॉड्यूल है, जहां अदिश गुणा सिर्फ वलय गुणन है। स्थिति {{nowrap|1=''n'' = 0}} तुच्छ R-मॉड्यूल {0} उत्पन्न करता है जिसमें केवल इसकी पहचान तत्व होता है। इस प्रकार के मॉड्यूल को मुक्त मॉड्यूल कहा जाता है और यदि R में अपरिवर्तनीय आधार संख्या है (उदाहरण के लिए कोई क्रम विनिमेय वलय या क्षेत्र) संख्या n तो मुक्त मॉड्यूल का रैंक है। | ||
*यदि | *यदि M<sub>''n''</sub>(''R'') वलय R के ऊपर {{nowrap|''n'' × ''n''}} [[मैट्रिक्स (गणित)]] वलय है, तो M एक M<sub>''n''</sub>(''R'')-मॉड्यूल है, और ei (i, i)-प्रवेश (और शून्य) में 1 वाला n × n अन्यत्र मैट्रिक्स है), तो ''e<sub>i</sub>M'' एक R-मॉड्यूल है, क्योंकि {{nowrap|1=''re''<sub>''i''</sub>''m'' = ''e''<sub>''i''</sub>''rm'' ∈ ''e''<sub>''i''</sub>''M''}} है. तो एम R-मॉड्यूल के प्रत्यक्ष योग {{nowrap|1=''M'' = ''e''<sub>1</sub>''M'' ⊕ ... ⊕ ''e''<sub>''n''</sub>''M''}} के रूप में टूट जाता है, इसके विपरीत, एक R-मॉड्यूल ''M''<sub>0</sub> दिया गया, तो ''M''<sub>0</sub><sup>⊕''n''</sup> एक M<sub>''n''</sub>(R) -मॉड्यूल है। वास्तव में, R-मॉड्यूल की श्रेणी और M<sub>''n''</sub>(R)-मॉड्यूल [[श्रेणी (गणित)]] समतुल्य हैं। विशेष स्थिति यह है कि मॉड्यूल Mसिर्फ एक मॉड्यूल के रूप में R है, तो R<sup>n</sup> एक M<sub>''n''</sub>(R) -मॉड्यूल है। | ||
*यदि | *यदि S एक [[खाली सेट]] [[सेट (गणित)]] है, M एक बायाँ R-मॉड्यूल है, और ''M<sup>S</sup>'' सभी कार्यों (गणित) का {{nowrap|''f'' : ''S'' → ''M''}} संग्रह है, फिर M<sup>S</sup> में जोड़ और अदिश गुणन के साथ {{nowrap|1=(''f'' + ''g'')(''s'') = ''f''(''s'') + ''g''(''s'')}} तथा {{nowrap|1=(''rf'')(''s'') = ''rf''(''s'')}} द्वारा बिंदुवार परिभाषित किया गया है, M<sup>S</sup> एक बायां R-मॉड्यूल है। सही R-मॉड्यूल स्थिति के अनुरूप है। विशेष रूप से, यदि R क्रम विनिमेय है तो R- मॉड्यूल समरूपता का संग्रह {{nowrap|''h'' : ''M'' → ''N''}} (नीचे देखें) एक R- मॉड्यूल है (और वास्तव में ''N<sup>M</sup>'' का एक सबमॉड्यूल है | ||
*यदि X एक [[चिकना कई गुना]] है, तो X से [[वास्तविक संख्या]]ओं तक के [[चिकना समारोह]] एक वलय C | *यदि X एक [[चिकना कई गुना|कई गुना चिकना]] है, तो X से [[वास्तविक संख्या]]ओं तक के [[चिकना समारोह|चिकना फलन]] एक वलय C<sup>∞</sup>(X) बनाते हैं. X पर परिभाषित सभी चिकनी [[वेक्टर क्षेत्र|सदिश क्षेत्र]] का सेट C<sup>∞</sup>(X) पर एक मॉड्यूल बनाता है, और इसी प्रकार [[टेंसर क्षेत्र]] और X पर [[विभेदक रूप]] भी करते हैं। सामान्यतः, किसी भी [[वेक्टर बंडल|सदिश समूह]] के अनुभाग C<sup>∞</sup>(X) पर एक [[प्रक्षेपी मॉड्यूल]] बनाते हैं।, और हंस के प्रमेय द्वारा, प्रत्येक प्रक्षेपी मॉड्यूल कुछ बंडल के अनुभागों के मॉड्यूल के लिए समरूप है; C<sup>∞</sup>(X)-मॉड्यूल और X के ऊपर सदिश बंडलों की श्रेणी श्रेणियों की समतुल्यता है। | ||
*यदि R कोई वलय है और मैं R में कोई [[अंगूठी आदर्श|वलय आदर्श]] है, तो मैं एक बाएं | *यदि R कोई वलय है और मैं R में कोई [[अंगूठी आदर्श|वलय आदर्श]] है, तो मैं एक बाएं R- मॉड्यूल है, और R में समान रूप से सही आदर्श दाएं R- मॉड्यूल हैं। | ||
*यदि R एक वलय है, तो हम विपरीत वलय R | *यदि R एक वलय है, तो हम विपरीत वलय R<sup>op</sup> को परिभाषित कर सकते हैं जिसमें समान [[अंतर्निहित सेट]] और समान जोड़ ऑपरेशन है, लेकिन विपरीत गुणन: यदि {{nowrap|1=''ab'' = ''c''}} R में, तो {{nowrap|1=''ba'' = ''c''}} ''R''<sup>op</sup> होगा। किसी भी बाएं R- मॉड्यूल एम को तब R<sup>op</sup> पर एक सही मॉड्यूल के रूप में देखा जा सकता है,और R के ऊपर किसी भी दाएँ मॉड्यूल को R<sup>op</sup> पर एक सही मॉड्यूल के रूप में देखा जा सकता है। | ||
* | * लाइ बीजगणित पर मॉड्यूल (सहयोगी बीजगणित) इसके सार्वभौमिक आवरण बीजगणित पर मॉड्यूल हैं। | ||
*यदि R और S एक वलय समरूपता | *यदि R और S एक वलय समरूपता {{nowrap|''φ'' : ''R'' → ''S''}} वाले वलय हैं, तो प्रत्येक S-मॉड्यूल M परिभाषित करके {{nowrap|1=''rm'' = ''φ''(''r'')''m''}} एक R-मॉड्यूल है. विशेष रूप से, S ही एक ऐसा R-मॉड्यूल है। | ||
== सबमॉड्यूल और समरूपता == | == सबमॉड्यूल और समरूपता == | ||
मान लीजिए एम एक बाएं | मान लीजिए एम एक बाएं R-मॉड्यूल है और एन एम का एक [[उपसमूह]] है। फिर एन एक 'सबमॉड्यूल' (या अधिक स्पष्ट रूप से एक R-सबमॉड्यूल) है यदि एन में किसी भी एन और R में किसी भी R के लिए उत्पाद {{nowrap|''r'' ⋅ ''n''}} (या {{nowrap|''n'' ⋅ ''r''}} एक सही R-मॉड्यूल के लिए) एन में है। | ||
यदि X किसी R-मॉड्यूल का कोई [[सबसेट]] है, तो X द्वारा फैलाए गए सबमॉड्यूल को परिभाषित किया जाता है <math display="inline">\langle X \rangle = \,\bigcap_{N\supseteq X} N</math> जहाँ N, M के सबमॉड्यूल्स पर चलता है जिसमें X, या स्पष्ट रूप से होता है <math display="inline">\left\{\sum_{i=1}^k r_ix_i \mid r_i \in R, x_i \in X\right\}</math>, जो टेंसर उत्पादों की परिभाषा में महत्वपूर्ण है।<ref>{{Cite web|url=http://people.maths.ox.ac.uk/mcgerty/Algebra%20II.pdf|title=बीजगणित II: छल्ले और मॉड्यूल|last=Mcgerty|first=Kevin|date=2016}}</ref> किसी दिए गए मॉड्यूल एम के सबमिड्यूल का सेट, दो बाइनरी ऑपरेशंस + और ∩ के साथ, एक [[जाली (आदेश)]] बनाता है जो '[[मॉड्यूलर जाली]]' को संतुष्ट करता है: | यदि X किसी R-मॉड्यूल का कोई [[सबसेट]] है, तो X द्वारा फैलाए गए सबमॉड्यूल को परिभाषित किया जाता है <math display="inline">\langle X \rangle = \,\bigcap_{N\supseteq X} N</math> जहाँ N, M के सबमॉड्यूल्स पर चलता है जिसमें X, या स्पष्ट रूप से होता है <math display="inline">\left\{\sum_{i=1}^k r_ix_i \mid r_i \in R, x_i \in X\right\}</math>, जो टेंसर उत्पादों की परिभाषा में महत्वपूर्ण है।<ref>{{Cite web|url=http://people.maths.ox.ac.uk/mcgerty/Algebra%20II.pdf|title=बीजगणित II: छल्ले और मॉड्यूल|last=Mcgerty|first=Kevin|date=2016}}</ref> किसी दिए गए मॉड्यूल एम के सबमिड्यूल का सेट, दो बाइनरी ऑपरेशंस + और ∩ के साथ, एक [[जाली (आदेश)]] बनाता है जो '[[मॉड्यूलर जाली]]' को संतुष्ट करता है: | ||
दिए गए सबमॉड्यूल यू, एन<sub>1</sub>, एन<sub>2</sub> एम का ऐसा है {{nowrap|''N''<sub>1</sub> ⊂ ''N''<sub>2</sub>}}, तो निम्नलिखित दो सबमॉड्यूल बराबर हैं: {{nowrap|1=(''N''<sub>1</sub> + ''U'') ∩ ''N''<sub>2</sub> = ''N''<sub>1</sub> + (''U'' ∩ ''N''<sub>2</sub>)}}. | दिए गए सबमॉड्यूल यू, एन<sub>1</sub>, एन<sub>2</sub> एम का ऐसा है {{nowrap|''N''<sub>1</sub> ⊂ ''N''<sub>2</sub>}}, तो निम्नलिखित दो सबमॉड्यूल बराबर हैं: {{nowrap|1=(''N''<sub>1</sub> + ''U'') ∩ ''N''<sub>2</sub> = ''N''<sub>1</sub> + (''U'' ∩ ''N''<sub>2</sub>)}}. | ||
यदि एम और एन शेष | यदि एम और एन शेष R-मॉड्यूल हैं, तो एक [[नक्शा (गणित)]] {{nowrap|''f'' : ''M'' → ''N''}} एक मॉड्यूल होमोमोर्फिज्म है | R का होमोमोर्फिज्म-मॉड्यूल अगर किसी भी ''एम'' के लिए, ''एन'' में ''एम'' और ''आर'', ''एस'' में R '', | ||
:<math>f(r \cdot m + s \cdot n) = r \cdot f(m) + s \cdot f(n)</math>. | :<math>f(r \cdot m + s \cdot n) = r \cdot f(m) + s \cdot f(n)</math>. | ||
यह, गणितीय वस्तुओं के किसी भी [[समरूपता]] की तरह, केवल एक मानचित्रण है जो वस्तुओं की संरचना को संरक्षित करता है। | यह, गणितीय वस्तुओं के किसी भी [[समरूपता]] की तरह, केवल एक मानचित्रण है जो वस्तुओं की संरचना को संरक्षित करता है। R-मॉड्यूल के समरूपता का दूसरा नाम एक R-रैखिक नक्शा है। | ||
एक विशेषण मॉड्यूल समरूपता {{nowrap|''f'' : ''M'' → ''N''}} मॉड्यूल [[समाकृतिकता]] कहा जाता है, और दो मॉड्यूल एम और एन को 'आइसोमोर्फिक' कहा जाता है। दो आइसोमॉर्फिक मॉड्यूल सभी व्यावहारिक उद्देश्यों के लिए समान हैं, केवल उनके तत्वों के संकेतन में भिन्न हैं। | एक विशेषण मॉड्यूल समरूपता {{nowrap|''f'' : ''M'' → ''N''}} मॉड्यूल [[समाकृतिकता]] कहा जाता है, और दो मॉड्यूल एम और एन को 'आइसोमोर्फिक' कहा जाता है। दो आइसोमॉर्फिक मॉड्यूल सभी व्यावहारिक उद्देश्यों के लिए समान हैं, केवल उनके तत्वों के संकेतन में भिन्न हैं। | ||
एक मॉड्यूल समरूपता का कर्नेल (बीजगणित)। {{nowrap|''f'' : ''M'' → ''N''}} एम का सबमॉड्यूल है जिसमें सभी तत्व शामिल हैं जो एफ द्वारा शून्य पर भेजे जाते हैं, और एफ की [[छवि (गणित)]] एम के सभी तत्वों एम के लिए मान एफ (एम) से मिलकर एन का सबमॉड्यूल है।<ref>{{Cite web|url=https://faculty.math.illinois.edu/~r-ash/Algebra/Chapter4.pdf|title=मॉड्यूल मूल बातें|last=Ash|first=Robert|website=Abstract Algebra: The Basic Graduate Year}}</ref> समूहों और सदिश स्थानों से परिचित [[समरूपता प्रमेय]] | एक मॉड्यूल समरूपता का कर्नेल (बीजगणित)। {{nowrap|''f'' : ''M'' → ''N''}} एम का सबमॉड्यूल है जिसमें सभी तत्व शामिल हैं जो एफ द्वारा शून्य पर भेजे जाते हैं, और एफ की [[छवि (गणित)]] एम के सभी तत्वों एम के लिए मान एफ (एम) से मिलकर एन का सबमॉड्यूल है।<ref>{{Cite web|url=https://faculty.math.illinois.edu/~r-ash/Algebra/Chapter4.pdf|title=मॉड्यूल मूल बातें|last=Ash|first=Robert|website=Abstract Algebra: The Basic Graduate Year}}</ref> समूहों और सदिश स्थानों से परिचित [[समरूपता प्रमेय]] R-मॉड्यूल के लिए भी मान्य हैं। | ||
एक वलय R दिया गया है, सभी बाएं | एक वलय R दिया गया है, सभी बाएं R-मॉड्यूल का सेट उनके मॉड्यूल होमोमोर्फिज्म के साथ एक [[एबेलियन श्रेणी|विनिमेय श्रेणी]] बनाता है, जिसे R-'मॉड' द्वारा दर्शाया गया है ([[मॉड्यूल की श्रेणी]] देखें)। | ||
== मॉड्यूल के प्रकार == | == मॉड्यूल के प्रकार == | ||
{{see also|Glossary of module theory}} | {{see also|Glossary of module theory}} | ||
; अंतिम रूप से उत्पन्न: एक | ; अंतिम रूप से उत्पन्न: एक R-मॉड्यूल एम [[अंतिम रूप से उत्पन्न मॉड्यूल]] है यदि बहुत सारे तत्व x मौजूद हैं<sub>1</sub>, ..., X<sub>''n''</sub> M में ऐसा है कि M का प्रत्येक तत्व वलय R से गुणांक वाले उन तत्वों का एक [[रैखिक संयोजन]] है। | ||
; चक्रीय: एक मॉड्यूल को [[चक्रीय मॉड्यूल]] कहा जाता है यदि यह एक तत्व द्वारा उत्पन्न होता है। | ; चक्रीय: एक मॉड्यूल को [[चक्रीय मॉड्यूल]] कहा जाता है यदि यह एक तत्व द्वारा उत्पन्न होता है। | ||
; नि: शुल्क: एक नि: शुल्क मॉड्यूल | मुक्त | ; नि: शुल्क: एक नि: शुल्क मॉड्यूल | मुक्त R-मॉड्यूल एक ऐसा मॉड्यूल है जिसका एक आधार है, या समकक्ष है, जो वलय R की प्रतियों के मॉड्यूल के [[प्रत्यक्ष योग]] के लिए आइसोमोर्फिक है। ये ऐसे मॉड्यूल हैं जो सदिश रिक्त स्थान की तरह व्यवहार करते हैं। | ||
; प्रक्षेपी: प्रक्षेपी मॉड्यूल मुक्त मॉड्यूल के प्रत्यक्ष योग हैं और उनके कई वांछनीय गुणों को साझा करते हैं। | ; प्रक्षेपी: प्रक्षेपी मॉड्यूल मुक्त मॉड्यूल के प्रत्यक्ष योग हैं और उनके कई वांछनीय गुणों को साझा करते हैं। | ||
; इंजेक्शन: [[इंजेक्शन मॉड्यूल]] को प्रोजेक्टिव मॉड्यूल के लिए दो तरह से परिभाषित किया गया है। | ; इंजेक्शन: [[इंजेक्शन मॉड्यूल]] को प्रोजेक्टिव मॉड्यूल के लिए दो तरह से परिभाषित किया गया है। | ||
; फ्लैट: एक मॉड्यूल को [[फ्लैट मॉड्यूल]] कहा जाता है यदि | ; फ्लैट: एक मॉड्यूल को [[फ्लैट मॉड्यूल]] कहा जाता है यदि R-मॉड्यूल के किसी भी सटीक अनुक्रम के साथ इसके [[मॉड्यूल के टेंसर उत्पाद]] लेने से सटीकता बनी रहती है। | ||
; मरोड़ रहित: एक मॉड्यूल को [[मरोड़ रहित मॉड्यूल]] कहा जाता है यदि यह अपने बीजगणितीय दोहरे में एम्बेड होता है। | ; मरोड़ रहित: एक मॉड्यूल को [[मरोड़ रहित मॉड्यूल]] कहा जाता है यदि यह अपने बीजगणितीय दोहरे में एम्बेड होता है। | ||
; सरल: एक साधारण मॉड्यूल S एक ऐसा मॉड्यूल है जो {0} नहीं है और जिसके केवल सबमॉड्यूल {0} और S हैं। [[सरल मॉड्यूल]] को कभी-कभी इरेड्यूसिबल कहा जाता है।<ref>Jacobson (1964), [https://books.google.com/books?id=KlMDjaJxZAkC&pg=PA4 p. 4], Def. 1; {{PlanetMath|urlname=IrreducibleModule|title=Irreducible Module}}</ref> | ; सरल: एक साधारण मॉड्यूल S एक ऐसा मॉड्यूल है जो {0} नहीं है और जिसके केवल सबमॉड्यूल {0} और S हैं। [[सरल मॉड्यूल]] को कभी-कभी इरेड्यूसिबल कहा जाता है।<ref>Jacobson (1964), [https://books.google.com/books?id=KlMDjaJxZAkC&pg=PA4 p. 4], Def. 1; {{PlanetMath|urlname=IrreducibleModule|title=Irreducible Module}}</ref> | ||
; सेमीसिम्पल: एक [[अर्ध-सरल मॉड्यूल]] सरल मॉड्यूल का प्रत्यक्ष योग (परिमित या नहीं) है। ऐतिहासिक रूप से इन मॉड्यूल को पूरी तरह से कम करने योग्य भी कहा जाता है। | ; सेमीसिम्पल: एक [[अर्ध-सरल मॉड्यूल]] सरल मॉड्यूल का प्रत्यक्ष योग (परिमित या नहीं) है। ऐतिहासिक रूप से इन मॉड्यूल को पूरी तरह से कम करने योग्य भी कहा जाता है। | ||
; अविघटनीय: एक गैर-शून्य मॉड्यूल एक गैर-शून्य मॉड्यूल है जिसे दो गैर-शून्य सबमॉड्यूल के मॉड्यूल के प्रत्यक्ष योग के रूप में नहीं लिखा जा सकता है। प्रत्येक सरल मॉड्यूल अविघटनीय है, लेकिन ऐसे अविघटनीय मॉड्यूल हैं जो सरल नहीं हैं (जैसे [[वर्दी मॉड्यूल]])। | ; अविघटनीय: एक गैर-शून्य मॉड्यूल एक गैर-शून्य मॉड्यूल है जिसे दो गैर-शून्य सबमॉड्यूल के मॉड्यूल के प्रत्यक्ष योग के रूप में नहीं लिखा जा सकता है। प्रत्येक सरल मॉड्यूल अविघटनीय है, लेकिन ऐसे अविघटनीय मॉड्यूल हैं जो सरल नहीं हैं (जैसे [[वर्दी मॉड्यूल]])। | ||
; वफादार: एक [[वफादार मॉड्यूल]] एम वह है जहां प्रत्येक की कार्रवाई होती है {{nowrap|''r'' ≠ 0}} R में M पर nontrivial है (अर्थात {{nowrap|''r'' ⋅ ''x'' ≠ 0}} एम में कुछ | ; वफादार: एक [[वफादार मॉड्यूल]] एम वह है जहां प्रत्येक की कार्रवाई होती है {{nowrap|''r'' ≠ 0}} R में M पर nontrivial है (अर्थात {{nowrap|''r'' ⋅ ''x'' ≠ 0}} एम में कुछ X के लिए)। समान रूप से, M का सर्वनाश (वलय थ्योरी) [[शून्य आदर्श]] है। | ||
; मरोड़-मुक्त: एक मरोड़-मुक्त मॉड्यूल एक वलय पर एक मॉड्यूल होता है जैसे कि 0 वलय के एक नियमित तत्व (गैर शून्य-विभाजक) द्वारा विलोपित एकमात्र तत्व है, समकक्ष {{nowrap|1=''rm'' = 0}} तात्पर्य {{nowrap|1=''r'' = 0}} या {{nowrap|1=''m'' = 0}}. | ; मरोड़-मुक्त: एक मरोड़-मुक्त मॉड्यूल एक वलय पर एक मॉड्यूल होता है जैसे कि 0 वलय के एक नियमित तत्व (गैर शून्य-विभाजक) द्वारा विलोपित एकमात्र तत्व है, समकक्ष {{nowrap|1=''rm'' = 0}} तात्पर्य {{nowrap|1=''r'' = 0}} या {{nowrap|1=''m'' = 0}}. | ||
; नोथेरियन: एक [[नोथेरियन मॉड्यूल]] एक मॉड्यूल है जो सबमॉड्यूल पर [[आरोही श्रृंखला की स्थिति]] को संतुष्ट करता है, अर्थात, सबमॉड्यूल की प्रत्येक बढ़ती हुई श्रृंखला बारीक कई चरणों के बाद स्थिर हो जाती है। समान रूप से, प्रत्येक सबमॉड्यूल सूक्ष्म रूप से उत्पन्न होता है। | ; नोथेरियन: एक [[नोथेरियन मॉड्यूल]] एक मॉड्यूल है जो सबमॉड्यूल पर [[आरोही श्रृंखला की स्थिति]] को संतुष्ट करता है, अर्थात, सबमॉड्यूल की प्रत्येक बढ़ती हुई श्रृंखला बारीक कई चरणों के बाद स्थिर हो जाती है। समान रूप से, प्रत्येक सबमॉड्यूल सूक्ष्म रूप से उत्पन्न होता है। | ||
; आर्टिनियन: एक [[आर्टिनियन मॉड्यूल]] एक मॉड्यूल है जो सबमॉड्यूल पर [[अवरोही श्रृंखला की स्थिति]] को संतुष्ट करता है, अर्थात, सबमॉड्यूल की प्रत्येक घटती श्रृंखला बारीक कई चरणों के बाद स्थिर हो जाती है। | ; आर्टिनियन: एक [[आर्टिनियन मॉड्यूल]] एक मॉड्यूल है जो सबमॉड्यूल पर [[अवरोही श्रृंखला की स्थिति]] को संतुष्ट करता है, अर्थात, सबमॉड्यूल की प्रत्येक घटती श्रृंखला बारीक कई चरणों के बाद स्थिर हो जाती है। | ||
; ग्रेडेड: एक [[वर्गीकृत मॉड्यूल]] प्रत्यक्ष योग के रूप में अपघटन के साथ एक मॉड्यूल है {{nowrap|1=''M'' = {{resize|140%|⨁}}<sub>''x''</sub> ''M''<sub>''x''</sub>}} एक [[वर्गीकृत अंगूठी|वर्गीकृत वलय]] पर {{nowrap|1=''R'' = {{resize|140%|⨁}}<sub>''x''</sub> ''R''<sub>''x''</sub>}} ऐसा है कि {{nowrap|''R''<sub>''x''</sub>''M''<sub>''y''</sub> ⊂ ''M''<sub>''x''+''y''</sub>}} सभी | ; ग्रेडेड: एक [[वर्गीकृत मॉड्यूल]] प्रत्यक्ष योग के रूप में अपघटन के साथ एक मॉड्यूल है {{nowrap|1=''M'' = {{resize|140%|⨁}}<sub>''x''</sub> ''M''<sub>''x''</sub>}} एक [[वर्गीकृत अंगूठी|वर्गीकृत वलय]] पर {{nowrap|1=''R'' = {{resize|140%|⨁}}<sub>''x''</sub> ''R''<sub>''x''</sub>}} ऐसा है कि {{nowrap|''R''<sub>''x''</sub>''M''<sub>''y''</sub> ⊂ ''M''<sub>''x''+''y''</sub>}} सभी X और वाई के लिए। | ||
; यूनिफ़ॉर्म: एक यूनिफ़ॉर्म मॉड्यूल एक ऐसा मॉड्यूल होता है जिसमें नॉनज़रो सबमॉड्यूल्स के सभी जोड़े नॉनज़रो इंटरसेक्शन होते हैं। | ; यूनिफ़ॉर्म: एक यूनिफ़ॉर्म मॉड्यूल एक ऐसा मॉड्यूल होता है जिसमें नॉनज़रो सबमॉड्यूल्स के सभी जोड़े नॉनज़रो इंटरसेक्शन होते हैं। | ||
| Line 89: | Line 89: | ||
फ़ील्ड k पर समूह G का प्रतिनिधित्व समूह वलय k [G] पर एक मॉड्यूल है। | फ़ील्ड k पर समूह G का प्रतिनिधित्व समूह वलय k [G] पर एक मॉड्यूल है। | ||
यदि एम एक बाएं | यदि एम एक बाएं R-मॉड्यूल है, तो R में एक तत्व R की क्रिया को मानचित्र के रूप में परिभाषित किया गया है {{nowrap|''M'' → ''M''}} जो प्रत्येक x को rx (या सही मॉड्यूल के मामले में xr) भेजता है, और अनिवार्य रूप से विनिमेय समूह का एक [[समूह समरूपता]] है {{nowrap|(''M'', +)}}. एम के सभी समूह एंडोमोर्फिज्म के सेट को अंत के रूप में दर्शाया गया है<sub>'''Z'''</sub>(एम) और इसके अलावा और कार्य संरचना के तहत एक वलय बनाता है, और R के एक वलय तत्व R को अपनी क्रिया में भेजना वास्तव में R से अंत तक एक वलय समरूपता को परिभाषित करता है<sub>'''Z'''</sub>(एम)। | ||
ऐसा वलय होमोमोर्फिज्म {{nowrap|''R'' → End<sub>'''Z'''</sub>(''M'')}} विनिमेय समूह एम पर R का प्रतिनिधित्व कहा जाता है; बाएं | ऐसा वलय होमोमोर्फिज्म {{nowrap|''R'' → End<sub>'''Z'''</sub>(''M'')}} विनिमेय समूह एम पर R का प्रतिनिधित्व कहा जाता है; बाएं R-मॉड्यूल को परिभाषित करने का एक वैकल्पिक और समतुल्य तरीका यह कहना है कि एक बाएं R-मॉड्यूल एक विनिमेय समूह एम है जो इसके ऊपर R के प्रतिनिधित्व के साथ है। ऐसा प्रतिनिधित्व {{nowrap|''R'' → End<sub>'''Z'''</sub>(''M'')}} M पर R की वलय क्रिया भी कहा जा सकता है। | ||
एक प्रतिनिधित्व को वफादार कहा जाता है अगर और केवल अगर नक्शा {{nowrap|''R'' → End<sub>'''Z'''</sub>(''M'')}} [[इंजेक्शन]] है। मॉड्यूल के संदर्भ में, इसका मतलब यह है कि यदि R R का एक तत्व है जैसे कि {{nowrap|1=''rx'' = 0}} एम में सभी | एक प्रतिनिधित्व को वफादार कहा जाता है अगर और केवल अगर नक्शा {{nowrap|''R'' → End<sub>'''Z'''</sub>(''M'')}} [[इंजेक्शन]] है। मॉड्यूल के संदर्भ में, इसका मतलब यह है कि यदि R R का एक तत्व है जैसे कि {{nowrap|1=''rx'' = 0}} एम में सभी X के लिए, फिर {{nowrap|1=''r'' = 0}}. प्रत्येक विनिमेय समूह पूर्णांक या कुछ मॉड्यूलर अंकगणित, 'जेड'/एन'जेड' पर एक वफादार मॉड्यूल है। | ||
=== सामान्यीकरण === | === सामान्यीकरण === | ||
एक वलय R एक एकल [[वस्तु (श्रेणी सिद्धांत)]] के साथ एक पूर्ववर्ती श्रेणी 'R' से मेल खाता है। इस समझ के साथ, एक बायाँ | एक वलय R एक एकल [[वस्तु (श्रेणी सिद्धांत)]] के साथ एक पूर्ववर्ती श्रेणी 'R' से मेल खाता है। इस समझ के साथ, एक बायाँ R-मॉड्यूल 'आर' से विनिमेय समूहों की श्रेणी के लिए सिर्फ एक सहसंयोजक योगात्मक फ़ंक्टर है। विनिमेय समूहों की श्रेणी 'एबी', और दायाँ R-मॉड्यूल कॉन्ट्रावेरिएंट [[योगात्मक कारक]] हैं। इससे पता चलता है कि, यदि 'सी' कोई पूर्ववर्ती श्रेणी है, तो 'सी' से 'एबी' तक एक सहसंयोजक योज्य फ़ैक्टर को 'सी' पर सामान्यीकृत बाएं मॉड्यूल माना जाना चाहिए। ये फ़ंक्टर एक [[फ़ैक्टर श्रेणी]] 'C'-'मॉड' बनाते हैं जो मॉड्यूल श्रेणी R-'मॉड' का स्वाभाविक सामान्यीकरण है। | ||
कम्यूटेटिव वलय्स पर मॉड्यूल को एक अलग दिशा में सामान्यीकृत किया जा सकता है: एक वलय वाली जगह लें (X, O<sub>''X''</sub>) और O के पूले (गणित) पर विचार करें<sub>''X''</sub>-मॉड्यूल (मॉड्यूल का शीफ देखें)। ये एक श्रेणी O बनाते हैं<sub>''X''</sub>-मॉड, और आधुनिक बीजगणितीय ज्यामिति में एक महत्वपूर्ण भूमिका निभाते हैं। यदि ''X'' में केवल एक बिंदु है, तो यह क्रमविनिमेय वलय O पर पुराने अर्थों में एक मॉड्यूल श्रेणी है<sub>''X''</sub>( | कम्यूटेटिव वलय्स पर मॉड्यूल को एक अलग दिशा में सामान्यीकृत किया जा सकता है: एक वलय वाली जगह लें (X, O<sub>''X''</sub>) और O के पूले (गणित) पर विचार करें<sub>''X''</sub>-मॉड्यूल (मॉड्यूल का शीफ देखें)। ये एक श्रेणी O बनाते हैं<sub>''X''</sub>-मॉड, और आधुनिक बीजगणितीय ज्यामिति में एक महत्वपूर्ण भूमिका निभाते हैं। यदि ''X'' में केवल एक बिंदु है, तो यह क्रमविनिमेय वलय O पर पुराने अर्थों में एक मॉड्यूल श्रेणी है<sub>''X''</sub>(X)। | ||
कोई [[मोटी हो जाओ]] पर मॉड्यूल पर भी विचार कर सकता है। वलय्स के ऊपर मॉड्यूल विनिमेय समूह हैं, लेकिन सेमीवलय्स पर मॉड्यूल केवल [[विनिमेय]] [[मोनोइड]]्स हैं। मॉड्यूल के अधिकांश अनुप्रयोग अभी भी संभव हैं। विशेष रूप से, किसी भी सेमीवलय एस के लिए, एस पर मैट्रिसेस एक सेमीवलय बनाते हैं, जिस पर एस से तत्वों के टुपल्स एक मॉड्यूल होते हैं (केवल इस सामान्यीकृत अर्थ में)। यह सैद्धांतिक कंप्यूटर विज्ञान से सेमीवलय को शामिल करते हुए सदिश स्थान की अवधारणा के एक और सामान्यीकरण की अनुमति देता है। | कोई [[मोटी हो जाओ]] पर मॉड्यूल पर भी विचार कर सकता है। वलय्स के ऊपर मॉड्यूल विनिमेय समूह हैं, लेकिन सेमीवलय्स पर मॉड्यूल केवल [[विनिमेय]] [[मोनोइड]]्स हैं। मॉड्यूल के अधिकांश अनुप्रयोग अभी भी संभव हैं। विशेष रूप से, किसी भी सेमीवलय एस के लिए, एस पर मैट्रिसेस एक सेमीवलय बनाते हैं, जिस पर एस से तत्वों के टुपल्स एक मॉड्यूल होते हैं (केवल इस सामान्यीकृत अर्थ में)। यह सैद्धांतिक कंप्यूटर विज्ञान से सेमीवलय को शामिल करते हुए सदिश स्थान की अवधारणा के एक और सामान्यीकरण की अनुमति देता है। | ||
Revision as of 13:58, 15 December 2022
 | This article includes a list of general references, but it lacks sufficient corresponding inline citations. (May 2015) (Learn how and when to remove this template message) |