एक मॉड्यूल का समर्थन: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
[[क्रमविनिमेय बीजगणित]] में, एक [[क्रमविनिमेय वलय]] A पर एक मॉड्यूल M का '''समर्थन''', A के सभी अभाज्य आदर्शों <math>\mathfrak{p}</math> का समुच्चय है, जैसे कि <math>M_\mathfrak{p} \ne 0</math> (अर्थात्, <math>M_\mathfrak{p} \ne 0</math> पर '''M''' का स्थानीयकरण <math>\mathfrak{p}</math> शून्य के समान नहीं है)।<ref>EGA 0<sub>I</sub>, 1.7.1.</ref> इस प्रकार इसे <math>\operatorname{Supp}M</math> से दर्शाया जाता है. परिभाषा के अनुसार समर्थन '''A''' के स्पेक्ट्रम का एक उपसमुच्चय है।
[[क्रमविनिमेय बीजगणित]] में, एक [[क्रमविनिमेय वलय]] A पर एक मॉड्यूल M का '''सपोर्ट''', A के सभी अभाज्य आदर्शों <math>\mathfrak{p}</math> का समुच्चय है, जैसे कि <math>M_\mathfrak{p} \ne 0</math> (अर्थात्, <math>M_\mathfrak{p} \ne 0</math> पर '''M''' का स्थानीयकरण <math>\mathfrak{p}</math> शून्य के समान नहीं है)।<ref>EGA 0<sub>I</sub>, 1.7.1.</ref> इस प्रकार इसे <math>\operatorname{Supp}M</math> से दर्शाया जाता है. परिभाषा के अनुसार सपोर्ट '''A''' के स्पेक्ट्रम का एक उपसमुच्चय है।


== गुण ==
== गुण ==
* <math>M = 0</math> यदि और केवल यदि इसका समर्थन [[खाली सेट|रिक्त समुच्चय]] है।
* <math>M = 0</math> यदि और केवल यदि इसका सपोर्ट [[खाली सेट|रिक्त समुच्चय]] है।
* मान लीजिए <math>0 \to M' \to M \to M'' \to 0</math> '''A'''-मॉड्यूल का संक्षिप्त स्पष्ट अनुक्रम बनें। तब
* मान लीजिए <math>0 \to M' \to M \to M'' \to 0</math> '''A'''-मॉड्यूल का संक्षिप्त स्पष्ट अनुक्रम बनें। तब
*:<math>\operatorname{Supp}M = \operatorname{Supp}M' \cup \operatorname{Supp}M''.</math>
*:<math>\operatorname{Supp}M = \operatorname{Supp}M' \cup \operatorname{Supp}M''.</math>
Line 13: Line 13:
*यदि <math>M</math> एक अंतिम रूप से उत्पन्न A-मॉड्यूल है और I, A का एक [[आदर्श (रिंग सिद्धांत)|आदर्श (वलय सिद्धांत)]] है, तो <math>\operatorname{Supp}(M/IM)</math> <math>I + \operatorname{Ann}M.</math> वाले सभी अभाज्य आदर्शों का समुच्चय है, यह <math>V(I) \cap \operatorname{Supp}M</math> है
*यदि <math>M</math> एक अंतिम रूप से उत्पन्न A-मॉड्यूल है और I, A का एक [[आदर्श (रिंग सिद्धांत)|आदर्श (वलय सिद्धांत)]] है, तो <math>\operatorname{Supp}(M/IM)</math> <math>I + \operatorname{Ann}M.</math> वाले सभी अभाज्य आदर्शों का समुच्चय है, यह <math>V(I) \cap \operatorname{Supp}M</math> है


== एक अर्ध सुसंगत शीफ़ का समर्थन ==
== अर्ध सुसंगत शीफ़ का सपोर्ट ==
यदि f [[योजना (गणित)|स्कीम (गणित)]] x पर अर्ध सुसंगत शीफ है, तो f का समर्थन x में सभी बिंदुओं x का समुच्चय है जैसे कि डंठल (शीफ) f<sub>''x''</sub> शून्येतर है इस प्रकार यह परिभाषा स्पेस x पर [[समर्थन (गणित)]] की परिभाषा के समान है, और यह समर्थन शब्द का उपयोग करने के लिए प्रेरणा है। समर्थन के अधिकांश गुण मॉड्यूल से शब्द दर शब्द क्वासिकोहेरेंट शीव्स तक सामान्यीकृत होते हैं। उदाहरण के लिए, [[सुसंगत शीफ|संबंधित शीफ]] (या अधिक सामान्यतः, परिमित प्रकार का शीफ) का समर्थन x का विवृत उपस्थान है।<ref>{{cite book|author=The Stacks Project authors |title=Stacks Project, Tag 01B4|year=2017|url=http://stacks.math.columbia.edu/tag/01B4}}</ref>
यदि f [[योजना (गणित)|स्कीम (गणित)]] x पर अर्ध सुसंगत शीफ है, तो f का सपोर्ट x में सभी बिंदुओं x का समुच्चय है जैसे कि डंठल (शीफ) f<sub>''x''</sub> शून्येतर है इस प्रकार यह परिभाषा स्पेस x पर [[समर्थन (गणित)|सपोर्ट (गणित)]] की परिभाषा के समान है, और यह सपोर्ट शब्द का उपयोग करने के लिए प्रेरणा है। सपोर्ट के अधिकांश गुण मॉड्यूल से शब्द दर शब्द क्वासिकोहेरेंट शीव्स तक सामान्यीकृत होते हैं। उदाहरण के लिए, [[सुसंगत शीफ|संबंधित शीफ]] (या अधिक सामान्यतः, परिमित प्रकार का शीफ) का सपोर्ट x का विवृत उपस्थान है।<ref>{{cite book|author=The Stacks Project authors |title=Stacks Project, Tag 01B4|year=2017|url=http://stacks.math.columbia.edu/tag/01B4}}</ref>


 
यदि M वलय A के ऊपर मॉड्यूल है, तो मॉड्यूल के रूप में M का सपोर्ट मॉड्यूल क्वासिकोहेरेंट शीफ <math>\tilde{M}</math> एफ़िन स्कीम Spec A पर से जुड़े शीफ के सपोर्ट से मेल खाता है । इसके अतिरिक्त, यदि <math>\{ U_\alpha = \operatorname{Spec}(A_\alpha) \}</math> एक स्कीम x का एक एफ़िन आवरण है, तो एक क्वासिकोहेरेंट शीफ़ f का सपोर्ट प्रत्येक A<sub>α</sub> पर संबंधित मॉड्यूल m<sub>α</sub> के सपोर्ट के फेडरेशन के समान है।.<ref>{{cite book|author=The Stacks Project authors |title=स्टैक प्रोजेक्ट, टैग 01एएस|year=2017|url=http://stacks.math.columbia.edu/tag/01AS}}</ref>
यदि M वलय A के ऊपर मॉड्यूल है, तो मॉड्यूल के रूप में M का समर्थन मॉड्यूल क्वासिकोहेरेंट शीफ <math>\tilde{M}</math> एफ़िन स्कीम Spec A पर से जुड़े शीफ के समर्थन से मेल खाता है । इसके अतिरिक्त, यदि <math>\{ U_\alpha = \operatorname{Spec}(A_\alpha) \}</math> एक स्कीम x का एक एफ़िन आवरण है, तो एक क्वासिकोहेरेंट शीफ़ f का समर्थन प्रत्येक A<sub>α</sub> पर संबंधित मॉड्यूल m<sub>α</sub> के समर्थन के फेडरेशन के समान है।.<ref>{{cite book|author=The Stacks Project authors |title=स्टैक प्रोजेक्ट, टैग 01एएस|year=2017|url=http://stacks.math.columbia.edu/tag/01AS}}</ref>


== उदाहरण ==
== उदाहरण ==
जैसा कि ऊपर उल्लेख किया गया है, एक प्रमुख आदर्श <math>\mathfrak{p}</math> तभी समर्थन में है जब इसमें <math>M</math> का एन्निहिलेटर सम्मिलित होता है।<ref>{{cite book|last1=Eisenbud|first1=David|title=बीजगणितीय ज्यामिति की ओर एक दृष्टिकोण के साथ क्रमविनिमेय बीजगणित|location=corollary 2.7|page=67}}</ref> उदाहरण के लिए <math>R = \mathbb{C}[x,y,z,w]</math> से अधिक, मॉड्यूल का एन्निहिलेटर है
जैसा कि ऊपर उल्लेख किया गया है, एक प्रमुख आदर्श <math>\mathfrak{p}</math> तभी सपोर्ट में है जब इसमें <math>M</math> का एन्निहिलेटर सम्मिलित होता है।<ref>{{cite book|last1=Eisenbud|first1=David|title=बीजगणितीय ज्यामिति की ओर एक दृष्टिकोण के साथ क्रमविनिमेय बीजगणित|location=corollary 2.7|page=67}}</ref> उदाहरण के लिए <math>R = \mathbb{C}[x,y,z,w]</math> से अधिक, मॉड्यूल का एन्निहिलेटर है
:<math>M = R/I = \frac{\mathbb{C}[x,y,z,w]}{(x^4 + y^4 + z^4 + w^4)}</math>
:<math>M = R/I = \frac{\mathbb{C}[x,y,z,w]}{(x^4 + y^4 + z^4 + w^4)}</math>
आदर्श <math>I = (f) =  (x^4+ y^4 + z^4 + w^4)</math> है. इसका तात्पर्य यह है कि <math>\operatorname{Supp}M \cong \operatorname{Spec}(R/I)</math>, बहुपद f का लुप्त बिंदु है। संक्षिप्त स्पष्ट अनुक्रम को देखते हुए
आदर्श <math>I = (f) =  (x^4+ y^4 + z^4 + w^4)</math> है. इसका तात्पर्य यह है कि <math>\operatorname{Supp}M \cong \operatorname{Spec}(R/I)</math>, बहुपद f का लुप्त बिंदु है। संक्षिप्त स्पष्ट अनुक्रम को देखते हुए
:<math>0 \to I \to R \to R/I \to 0</math>
:<math>0 \to I \to R \to R/I \to 0</math>
हम गलती से अनुमान लगा सकते हैं कि I = (f) का समर्थन Spec(R<sub>(''f'')</sub>) है, जो बहुपद f के लुप्त बिंदु का पूरक है। वास्तव में, चूँकि R एक [[अभिन्न डोमेन]] है, आदर्श I = (f) = Rf एक मॉड्यूल के रूप में R के समरूपी है, इसलिए इसका समर्थन संपूर्ण स्थान Supp(I) = Spec(R) है।
इस प्रकार हम गलती से अनुमान लगा सकते हैं कि I = (f) का सपोर्ट Spec(R<sub>(''f'')</sub>) है, जो बहुपद f के लुप्त बिंदु का पूरक है। वास्तव में, चूँकि R एक [[अभिन्न डोमेन]] है, आदर्श I = (f) = Rf एक मॉड्यूल के रूप में R के समरूपी है, इसलिए इसका सपोर्ट संपूर्ण स्थान Supp(I) = Spec(R) है।


[[नोथेरियन अंगूठी|नोथेरियन वलय]] पर परिमित मॉड्यूल का समर्थन सदैव विशेषज्ञता के अनुसार विवृत रहता है।
[[नोथेरियन अंगूठी|नोथेरियन वलय]] पर परिमित मॉड्यूल का सपोर्ट सदैव विशेषज्ञता के अनुसार विवृत रहता है।


अब, यदि हम एक अभिन्न डोमेन में दो बहुपद <math>f_1,f_2 \in R</math> लेते हैं जो एक पूर्ण प्रतिच्छेदन आदर्श <math>(f_1,f_2)</math> बनाते हैं तो टेंसर गुण हमें दिखाता है
अब, यदि हम एक अभिन्न डोमेन में दो बहुपद <math>f_1,f_2 \in R</math> लेते हैं जो एक पूर्ण प्रतिच्छेदन आदर्श <math>(f_1,f_2)</math> बनाते हैं तो टेंसर गुण हमें दिखाता है
Line 34: Line 33:
*एन्निहिलेटर (वलय सिद्धांत)
*एन्निहिलेटर (वलय सिद्धांत)
*[[ संबद्ध प्रधान | एसोसिएटेड प्राइम]]
*[[ संबद्ध प्रधान | एसोसिएटेड प्राइम]]
*समर्थन (गणित)
*सपोर्ट (गणित)


== संदर्भ ==
== संदर्भ ==

Revision as of 12:28, 21 July 2023

क्रमविनिमेय बीजगणित में, एक क्रमविनिमेय वलय A पर एक मॉड्यूल M का सपोर्ट, A के सभी अभाज्य आदर्शों का समुच्चय है, जैसे कि (अर्थात्, पर M का स्थानीयकरण शून्य के समान नहीं है)।[1] इस प्रकार इसे से दर्शाया जाता है. परिभाषा के अनुसार सपोर्ट A के स्पेक्ट्रम का एक उपसमुच्चय है।

गुण

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

अर्ध सुसंगत शीफ़ का सपोर्ट

यदि f स्कीम (गणित) x पर अर्ध सुसंगत शीफ है, तो f का सपोर्ट x में सभी बिंदुओं x का समुच्चय है जैसे कि डंठल (शीफ) fx शून्येतर है इस प्रकार यह परिभाषा स्पेस x पर सपोर्ट (गणित) की परिभाषा के समान है, और यह सपोर्ट शब्द का उपयोग करने के लिए प्रेरणा है। सपोर्ट के अधिकांश गुण मॉड्यूल से शब्द दर शब्द क्वासिकोहेरेंट शीव्स तक सामान्यीकृत होते हैं। उदाहरण के लिए, संबंधित शीफ (या अधिक सामान्यतः, परिमित प्रकार का शीफ) का सपोर्ट x का विवृत उपस्थान है।[2]

यदि M वलय A के ऊपर मॉड्यूल है, तो मॉड्यूल के रूप में M का सपोर्ट मॉड्यूल क्वासिकोहेरेंट शीफ एफ़िन स्कीम Spec A पर से जुड़े शीफ के सपोर्ट से मेल खाता है । इसके अतिरिक्त, यदि एक स्कीम x का एक एफ़िन आवरण है, तो एक क्वासिकोहेरेंट शीफ़ f का सपोर्ट प्रत्येक Aα पर संबंधित मॉड्यूल mα के सपोर्ट के फेडरेशन के समान है।.[3]

उदाहरण

जैसा कि ऊपर उल्लेख किया गया है, एक प्रमुख आदर्श तभी सपोर्ट में है जब इसमें का एन्निहिलेटर सम्मिलित होता है।[4] उदाहरण के लिए से अधिक, मॉड्यूल का एन्निहिलेटर है

आदर्श है. इसका तात्पर्य यह है कि , बहुपद f का लुप्त बिंदु है। संक्षिप्त स्पष्ट अनुक्रम को देखते हुए

इस प्रकार हम गलती से अनुमान लगा सकते हैं कि I = (f) का सपोर्ट Spec(R(f)) है, जो बहुपद f के लुप्त बिंदु का पूरक है। वास्तव में, चूँकि R एक अभिन्न डोमेन है, आदर्श I = (f) = Rf एक मॉड्यूल के रूप में R के समरूपी है, इसलिए इसका सपोर्ट संपूर्ण स्थान Supp(I) = Spec(R) है।

नोथेरियन वलय पर परिमित मॉड्यूल का सपोर्ट सदैव विशेषज्ञता के अनुसार विवृत रहता है।

अब, यदि हम एक अभिन्न डोमेन में दो बहुपद लेते हैं जो एक पूर्ण प्रतिच्छेदन आदर्श बनाते हैं तो टेंसर गुण हमें दिखाता है

यह भी देखें

संदर्भ

  1. EGA 0I, 1.7.1.
  2. The Stacks Project authors (2017). Stacks Project, Tag 01B4.
  3. The Stacks Project authors (2017). स्टैक प्रोजेक्ट, टैग 01एएस.
  4. Eisenbud, David. बीजगणितीय ज्यामिति की ओर एक दृष्टिकोण के साथ क्रमविनिमेय बीजगणित. corollary 2.7. p. 67.{{cite book}}: CS1 maint: location (link)