View source for मुक्त मापांक

{{short description|In mathematics, a module that has a basis}}
गणित में, एक मुक्त मॉड्यूल एक [[मॉड्यूल (गणित)]] होता है जिसका एक [[आधार (रैखिक बीजगणित)]] होता है - अर्थात, [[रैखिक रूप से स्वतंत्र]] तत्वों से युक्त मॉड्यूल का एक जनरेटिंग सेट। प्रत्येक सदिश स्थान एक निःशुल्क मॉड्यूल है,<ref>{{cite book|author=Keown |title=समूह प्रतिनिधित्व सिद्धांत का परिचय|year=1975|url={{Google books|plainurl=y|id=hC9iTw8DO7gC|page=24|text=Every vector space is free}}|page=24}}</ref> लेकिन, यदि गुणकों का वलय (गणित) एक विभाजन वलय नहीं है ([[क्रमविनिमेय अंगूठी]] मामले में कोई [[क्षेत्र (गणित)]] नहीं है), तो गैर-मुक्त मॉड्यूल मौजूद हैं।

किसी भी [[सेट (गणित)]] को देखते हुए {{math|''S''}} और रिंग {{math|''R''}}, एक मुफ़्त है {{math|''R''}}-आधार के साथ मॉड्यूल {{math|''S''}}, जिसे फ्री मॉड्यूल ऑन कहा जाता है {{math|''S''}} या औपचारिक का मॉड्यूल {{math|''R''}}-के तत्वों का रैखिक संयोजन {{math|''S''}}.

एक [[मुक्त एबेलियन समूह]] वास्तव में रिंग के ऊपर एक मुफ्त मॉड्यूल है {{math|'''Z'''}} [[पूर्णांक]]ों का।

== परिभाषा ==

एक अंगूठी के लिए (गणित) <math>R</math> और एक <math>R</math>-मॉड्यूल (गणित) <math>M</math>, सेट <math>E\subseteq M</math> का आधार है <math>M</math> अगर:
* <math>E</math> के लिए एक मॉड्यूल का जनरेटिंग सेट है <math>M</math>; अर्थात्, का प्रत्येक तत्व <math>M</math> के तत्वों का परिमित योग है <math>E</math> में गुणांक से गुणा <math>R</math>; और
* <math>E</math> यदि प्रत्येक के लिए रैखिक रूप से स्वतंत्र है <math>\{e_1,\dots,e_n\}\subset E</math> विशिष्ट तत्वों की, <math>r_1 e_1 + r_2 e_2 + \cdots + r_n e_n = 0_M</math> इसका आशय है <math>r_1 = r_2 = \cdots = r_n = 0_R</math> (कहाँ <math>0_M</math> का शून्य तत्व है <math>M</math> और <math>0_R</math> का शून्य तत्व है <math>R</math>).

एक मुफ्त मॉड्यूल एक आधार वाला मॉड्यूल है।<ref>{{cite book|author=Hazewinkel |title=Encyclopaedia of Mathematics, Volume 4|year=1989|url={{Google books|plainurl=y|id=s9F71NJxwzoC|page=110|text=A free module is a module with a basis}}|page=110}}</ref>
परिभाषा की दूसरी छमाही का एक तात्कालिक परिणाम यह है कि पहली छमाही में गुणांक एम के प्रत्येक तत्व के लिए अद्वितीय हैं।

अगर <math>R</math> [[अपरिवर्तनीय आधार संख्या]] है, तो परिभाषा के अनुसार किसी भी दो आधारों में समान कार्डिनैलिटी होती है। उदाहरण के लिए, शून्येतर क्रमविनिमेय वलयों में परिवर्तनीय आधार संख्या होती है। किसी भी (और इसलिए हर) आधार की कार्डिनैलिटी को फ्री मॉड्यूल की रैंक कहा जाता है <math>M</math>. यदि यह कार्डिनैलिटी परिमित है, तो मुक्त मॉड्यूल को परिमित रैंक से मुक्त या रैंक से मुक्त कहा जाता है {{mvar|n}} यदि रैंक ज्ञात है {{mvar|n}}.

== उदाहरण ==
माना R एक वलय है।
*आर अपने ऊपर रैंक का एक मुफ्त मॉड्यूल है (या तो बाएं या दाएं मॉड्यूल के रूप में); कोई भी इकाई तत्व एक आधार है।
*अधिक आम तौर पर, यदि आर क्रमविनिमेय है, तो आर का एक गैर-शून्य आदर्श I मुक्त है और केवल अगर यह एक गैर-शून्यकारक द्वारा उत्पन्न एक प्रमुख आदर्श है, जिसमें जनरेटर एक आधार है।<ref>Proof: Suppose <math>I</math> is free with a basis <math>\{ x_j | j\}</math>. For <math>j \ne k</math>, <math>x_j x_k</math> must have the unique linear combination in terms of <math>x_j</math> and <math>x_k</math>, which is not true. Thus, since <math>I \ne 0</math>, there is only one basis element which must be a nonzerodivisor. The converse is clear.<math>\square</math></ref><!-- How about the non-commutative case? we at least need a reference for the non-commutative case. -->
*एक [[प्रमुख आदर्श डोमेन]] पर (उदाहरण के लिए, <math>\mathbb{Z}</math>), एक मुफ्त मॉड्यूल का एक सबमॉड्यूल मुफ्त है।
*यदि R क्रमविनिमेय है, तो बहुपद वलय <math>R[X]</math> अनिश्चित एक्स में संभावित आधार 1, एक्स, एक्स के साथ एक मुफ्त मॉड्यूल है<sup>2</सुप>, ....
*होने देना <math>A[t]</math> क्रमविनिमेय वलय A के ऊपर एक बहुपद वलय हो, वहाँ डिग्री d का एक अमोनिक बहुपद हो, <math>B = A[t]/(f)</math> और <math>\xi</math> बी में टी की छवि। फिर बी में ए सबरिंग के रूप में होता है और आधार के साथ ए-मॉड्यूल के रूप में मुक्त होता है <math>1, \xi, \dots, \xi^{d-1}</math>.
*किसी भी गैर-ऋणात्मक पूर्णांक n के लिए, <math>R^n = R \times \cdots \times R</math>, बाएँ R-मॉड्यूल के रूप में R की n प्रतियों का Direct_product#Direct_product_of_modules निःशुल्क है। यदि आर में अपरिवर्तनीय आधार संख्या है, तो मॉड्यूल का रैंक एन है।
* मुक्त मॉड्यूल के मॉड्यूल का एक सीधा योग मुफ्त है, जबकि मुफ्त मॉड्यूल का एक अनंत कार्तीय उत्पाद आम तौर पर मुफ्त नहीं है (सीएफ। बेयर-स्पीकर समूह)।
* एक कम्यूटेटिव [[ स्थानीय अंगूठी ]] पर एक सूक्ष्म रूप से उत्पन्न मॉड्यूल मुफ्त है अगर और केवल अगर यह ईमानदारी से सपाट है।<ref>{{harvnb|Matsumura|1986|loc=Theorem 7.10.}}</ref> इसके अलावा, प्रोजेक्टिव मॉड्यूल पर कप्लान्स्की के प्रमेय | कप्लानस्की के प्रमेय में एक (संभवतः गैर-कम्यूटेटिव) स्थानीय अंगूठी पर एक प्रोजेक्टिव मॉड्यूल बताया गया है।
* कभी-कभी, एक मॉड्यूल मुक्त है या नहीं, सेट-सैद्धांतिक अर्थ में Undecidable_problem#Examples_of_undecidable_statement है। एक प्रसिद्ध उदाहरण व्हाइटहेड समस्या है, जो पूछती है कि व्हाइटहेड समूह मुक्त है या नहीं। जैसा कि यह निकला, समस्या ZFC से स्वतंत्र है।

== औपचारिक रैखिक संयोजन ==

{{anchor|Free module over a set}} एक सेट दिया {{math|''E''}} और रिंग {{math|''R''}}, एक मुफ़्त है {{math|''R''}}-मॉड्यूल जिसमें है {{math|''E''}} एक आधार के रूप में: अर्थात्, ई द्वारा अनुक्रमित आर की प्रतियों के मॉड्यूल का प्रत्यक्ष योग
:<math>R^{(E)} = \bigoplus_{e \in E} R</math>.
स्पष्ट रूप से, यह Direct_product#Direct_product_of_modules का सबमॉड्यूल है <math display="inline">\prod_E R</math> (आर को बाएं मॉड्यूल के रूप में देखा जाता है) जिसमें ऐसे तत्व होते हैं जिनमें केवल बहुत से गैर-अक्षीय घटक होते हैं। कोई ई को [[एम्बेडिंग]] कर सकता है {{math|''R''<sup>(''E'')</sup>}} के साथ एक तत्व ई की पहचान करके एक उपसमुच्चय के रूप में {{math|''R''<sup>(''E'')</sup>}} जिसका ई-वाँ घटक 1 (आर की एकता) है और अन्य सभी घटक शून्य हैं। फिर प्रत्येक तत्व {{math|''R''<sup>(''E'')</sup>}} के रूप में विशिष्ट रूप से लिखा जा सकता है
:<math>\sum_{e \in E} c_e e ,</math>
जहाँ केवल बहुत सारे <math>c_e</math> अशून्य हैं। इसे तत्वों का [[औपचारिक रैखिक संयोजन]] कहा जाता है {{math|''E''}}.

इसी तरह के एक तर्क से पता चलता है कि हर फ्री लेफ्ट (रेस्प। राइट) आर-मॉड्यूल आइसोमोर्फिक है जो कि आर की प्रतियों के प्रत्यक्ष योग के रूप में लेफ्ट (रेस्प। राइट) मॉड्यूल है।

=== एक और निर्माण ===

मुफ्त मॉड्यूल {{math|''R''<sup>(''E'')</sup>}} निम्नलिखित समतुल्य तरीके से भी बनाया जा सकता है।

एक वलय R और एक समुच्चय E दिया है, पहले एक समुच्चय के रूप में हम देते हैं
:<math>R^{(E)} = \{ f: E \to R \mid f(x) = 0 \text { for all but finitely many } x \in E \}.</math>
हम इसे बाएं मॉड्यूल की संरचना से लैस करते हैं जैसे कि इसके अतिरिक्त परिभाषित किया गया है: एक्स में ई के लिए,
:<math>(f+g)(x) = f(x) + g(x)</math>
और स्केलर गुणा द्वारा: आर में आर और एक्स में ई के लिए,
:<math>(r f)(x) = r (f(x))</math>
अब, ई पर एक आर-मूल्यवान फ़ंक्शन (गणित) के रूप में, प्रत्येक एफ में <math>R^{(E)}</math> के रूप में विशिष्ट रूप से लिखा जा सकता है
:<math>f = \sum_{e \in E} c_e \delta_e</math>
कहाँ <math>c_e</math> आर में हैं और केवल उनमें से बहुत से गैर-शून्य और हैं <math>\delta_e</math> के रूप में दिया जाता है
:<math> \delta_e(x) = \begin{cases} 1_R \quad\mbox{if } x=e \\ 0_R \quad\mbox{if } x\neq e \end{cases} </math>
(यह [[क्रोनकर डेल्टा]] का एक प्रकार है)। उपरोक्त का अर्थ है कि उपसमुच्चय <math>\{ \delta_e \mid e \in E \}</math> का <math>R^{(E)}</math> का एक आधार है <math>R^{(E)}</math>. मानचित्रण <math>e \mapsto \delta_e</math> के बीच आपत्ति है {{math|''E''}} और यह आधार। इस आक्षेप के माध्यम से, <math>R^{(E)}</math> आधार ई के साथ एक मुफ्त मॉड्यूल है।

== सार्वभौमिक संपत्ति ==

समावेशन मानचित्रण <math>\iota : E\to R^{(E)}</math> ऊपर परिभाषित निम्नलिखित अर्थों में [[सार्वभौमिक संपत्ति]] है। एक मनमाना कार्य दिया <math>f : E\to N</math> एक सेट से {{math|''E''}} बाईं ओर {{math|''R''}}-मापांक {{math|''N''}}, एक अद्वितीय [[मॉड्यूल समरूपता]] मौजूद है <math>\overline{f}: R^{(E)}\to N</math> ऐसा है कि <math>f = \overline{f} \circ\iota</math>; अर्थात्, <math>\overline{f}</math> सूत्र द्वारा परिभाषित किया गया है:
:<math>\overline{f}\left (\sum_{e \in E} r_e e \right) = \sum_{e \in E} r_e f(e)</math>
और <math>\overline{f}</math> बढ़ाने से प्राप्त होना बताया गया है <math>f</math> रैखिकता द्वारा। विशिष्टता का अर्थ है कि प्रत्येक आर-रैखिक मानचित्र <math>R^{(E)} \to N</math> विशिष्ट रूप से इसके [[प्रतिबंध (गणित)]] द्वारा ई को निर्धारित किया जाता है।

हमेशा की तरह सार्वभौमिक गुणों के लिए, यह परिभाषित करता है {{math|''R''<sup>(''E'')</sup>}} एक [[विहित समरूपता]] [[तक]]। का गठन भी <math>\iota : E\to R^{(E)}</math> प्रत्येक सेट के लिए E एक [[ऑपरेटर]] निर्धारित करता है
:<math>R^{(-)}: \textbf{Set} \to R-\mathsf{Mod}, \, E \mapsto R^{(E)}</math>,
[[सेट की श्रेणी]] से बाईं ओर की श्रेणी में {{math|''R''}}-मॉड्यूल। इसे [[मुक्त कारक]] कहा जाता है और प्राकृतिक संबंध को संतुष्ट करता है: प्रत्येक सेट ई और बाएं मॉड्यूल एन के लिए,
:<math>\operatorname{Hom}_{\textbf{Set}}(E, U(N)) \simeq \operatorname{Hom}_R(R^{(E)}, N), \, f \mapsto \overline{f}</math>
कहाँ <math>U: R-\mathsf{Mod} \to \textbf{Set}</math> [[भुलक्कड़ कारक]] है, जिसका अर्थ है <math>R^{(-)}</math> भुलक्कड़ फंक्‍टर का [[बायां जोड़]] है।

== सामान्यीकरण ==

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

:[[File:Module properties in commutative algebra.svg|विनिमेय बीजगणित में मॉड्यूल गुण]]स्थानीय रिंग, [[ सही अंगूठी ]] और [[डेडेकाइंड रिंग]] देखें।

== यह भी देखें ==
* [[मुक्त वस्तु]]
* [[ प्रक्षेप्य वस्तु ]]
*[[मुफ्त प्रस्तुति]]
* [[मुक्त संकल्प]]
* क्विलेन-सुस्लिन प्रमेय
* [[स्थिर रूप से मुक्त मॉड्यूल]]
* [[सामान्य निडरता]]

==टिप्पणियाँ==
<references />


==संदर्भ==
{{PlanetMath attribution|id=4196|title=free vector space over a set}}
* {{cite book | first= Iain T.|last= Adamson | title=Elementary Rings and Modules | series=University Mathematical Texts | publisher=Oliver and Boyd | year=1972 | isbn=0-05-002192-3 | pages=65–66|mr=0345993}}
* {{cite book |last1=Keown |first1=R. |title=An Introduction to Group Representation Theory |series=Mathematics in science and engineering |volume=116 |year=1975 |publisher=Academic Press |isbn=978-0-12-404250-6 |mr=0387387 }}
* {{SpringerEOM | title=Free module | id=Free_module&oldid=13029  | last=Govorov | first=V. E. }}.
*{{cite book
|last1      = Matsumura
|first1     = Hideyuki
|year       = 1986
|title      = Commutative ring theory
|series     = Cambridge Studies in Advanced Mathematics
|volume     = 8
|url        = {{google books|yJwNrABugDEC|Commutative ring theory|plainurl=yes|page=123}}
|publisher  = Cambridge University Press
|isbn       = 0-521-36764-6
|mr         = 0879273
|zbl         = 0603.13001
}}

{{Dimension topics}}
[[Category: मॉड्यूल सिद्धांत]] [[Category: मुक्त बीजगणितीय संरचनाएं]] 



[[Category: Machine Translated Page]]
[[Category:Created On 27/04/2023]]