एक मॉड्यूल का समर्थन

From Vigyanwiki

क्रमविनिमेय बीजगणित में, एक क्रमविनिमेय वलय 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)