एकीकृत संवृत प्रभाव क्षेत्र: Difference between revisions
No edit summary |
No edit summary |
||
(12 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{Algebraic structures |Ring}} | {{Algebraic structures |Ring}} | ||
[[क्रमविनिमेय बीजगणित]] में, अभिन्न रूप से बंद डोमेन | [[क्रमविनिमेय बीजगणित]] में, एक अभिन्न रूप से बंद डोमेन A एक [[अभिन्न डोमेन]] है जिसका अंशों के क्षेत्र में [[अभिन्न तत्व]] बंद होना स्वयं A है। स्पष्ट रूप से, इसका अर्थ यह है कि यदि X A के अंशों के क्षेत्र का एक तत्व है जो A में गुणांक वाले एक [[मोनिक बहुपद]] की जड़ है, तो X स्वयं A का एक तत्व है। कई अच्छी तरह से अध्ययन किए गए डोमेन अभिन्न रूप से बंद क्षेत्र हैं पूर्णांक Z का वलय, अद्वितीय गुणनखंड डोमेन और नियमित स्थानीय वलय सभी अभिन्न रूप से बंद हैं। | ||
ध्यान दें कि एकीकृत रूप से बंद डोमेन [[उपवर्ग (सेट सिद्धांत)]] की निम्नलिखित श्रृंखला में दिखाई देते हैं:{{Commutative ring classes}} | ध्यान दें कि एकीकृत रूप से बंद डोमेन [[उपवर्ग (सेट सिद्धांत)]] की निम्नलिखित श्रृंखला में दिखाई देते हैं:{{Commutative ring classes}} | ||
Line 6: | Line 6: | ||
== मूल गुण == | == मूल गुण == | ||
मान लीजिए कि A अंश K के क्षेत्र के साथ एक अभिन्न रूप से बंद डोमेन है और L को K का एक क्षेत्र विस्तार होने दें। फिर x∈L A पर अभिन्न तत्व है यदि और केवल यदि यह के पर [[बीजगणितीय तत्व]] है और K पर इसका [[न्यूनतम बहुपद (क्षेत्र सिद्धांत)]] A में गुणांक हैं।<ref>Matsumura, Theorem 9.2</ref> विशेष रूप से, इसका अर्थ यह है कि A पर L अभिन्न का कोई भी तत्व A [X] में मोनिक बहुपद का मूल है जो कि K [X] में अपरिवर्तनीय बहुपद है। | |||
यदि A क्षेत्र K में समाहित डोमेन है, तो हम K में A के अभिन्न समापन पर विचार कर सकते हैं (अर्थात K के सभी तत्वों का सेट जो A पर अभिन्न हैं)। यह [[अभिन्न बंद]] | यदि A क्षेत्र K में समाहित डोमेन है, तो हम K में A के अभिन्न समापन पर विचार कर सकते हैं (अर्थात K के सभी तत्वों का सेट जो A पर अभिन्न हैं)। यह [[अभिन्न बंद]] अभिन्न रूप से बंद डोमेन है। | ||
एकीकृत रूप से बंद डोमेन [[गोइंग-डाउन प्रमेय]] की परिकल्पना में भी भूमिका निभाते हैं। प्रमेय कहता है कि यदि A⊆B डोमेन का [[अभिन्न विस्तार]] है और A अभिन्न रूप से बंद डोमेन है, तो ऊपर और नीचे जाने वाली | एकीकृत रूप से बंद डोमेन [[गोइंग-डाउन प्रमेय]] की परिकल्पना में भी भूमिका निभाते हैं। प्रमेय कहता है कि यदि A⊆B डोमेन का [[अभिन्न विस्तार]] है और A अभिन्न रूप से बंद डोमेन है, तो ऊपर और नीचे जाने वाली गुण A⊆B विस्तार के लिए होती है। | ||
== उदाहरण == | == उदाहरण == | ||
Line 18: | Line 18: | ||
*[[जीसीडी डोमेन]] (विशेष रूप से, कोई बेज़ाउट डोमेन या [[मूल्यांकन डोमेन]])। | *[[जीसीडी डोमेन]] (विशेष रूप से, कोई बेज़ाउट डोमेन या [[मूल्यांकन डोमेन]])। | ||
*[[डेडेकिंड डोमेन]]। | *[[डेडेकिंड डोमेन]]। | ||
* क्षेत्र पर [[सममित बीजगणित]] (चूंकि प्रत्येक सममित बीजगणित क्षेत्र में कई चर में बहुपद | * क्षेत्र पर [[सममित बीजगणित]] (चूंकि प्रत्येक सममित बीजगणित क्षेत्र में कई चर में बहुपद वलय के लिए आइसोमोर्फिक है)। | ||
* | *मान लीजिये <math>k</math> विशेषता का क्षेत्र हो न कि 2 और <math>S = k[x_1, \dots, x_n]</math> इसके ऊपर बहुपद की वलय। यदि <math>f</math> वर्ग-मुक्त बहुपद है। वर्ग-मुक्त गैर-स्थिर <math>S</math>बहुपद है, तब <math>S[y]/(y^2 - f)</math> अभिन्न रूप से बंद डोमेन है।<ref>{{harvnb|Hartshorne|1977|loc=Ch. II, Exercise 6.4.}}</ref> विशेष रूप से, <math>k[x_0, \dots, x_r]/(x_0^2 + \dots + x_r^2)</math> अभिन्न रूप से बंद डोमेन है यदि <math>r \ge 2</math>.<ref>{{harvnb|Hartshorne|1977|loc=Ch. II, Exercise 6.5. (a)}}</ref> | ||
गैर-उदाहरण देने के लिए,<ref>Taken from Matsumura</ref> | गैर-उदाहरण देने के लिए,<ref>Taken from Matsumura</ref> मान लीजिए कि k एक क्षेत्र है और <math>A = k[t^2, t^3] \subset k[t]</math> (A t<sup>2</sup> और t<sup>3</sup> द्वारा उत्पन्न उपबीजगणित है।) A अभिन्न रूप से बंद नहीं है: इसमें <math>k(t)</math> अंशों का क्षेत्र है, और मोनिक बहुपद <math>X^2 - t^2</math> चर X में मूल t है जो अंशों के क्षेत्र में है किन्तु A में नहीं है। यह इस तथ्य से संबंधित है कि समतल वक्र <math>Y^2 = X^3</math> मूल में वक्र का विलक्षण बिंदु है। | ||
अन्य डोमेन जो पूर्ण रूप से बंद नहीं है वह है <math>A = \mathbb{Z}[\sqrt{5}]</math>; इसमें | अन्य डोमेन जो पूर्ण रूप से बंद नहीं है वह है <math>A = \mathbb{Z}[\sqrt{5}]</math>; इसमें <math>\frac{\sqrt{5}+1}{2}</math> तत्व नहीं है, इसके अंशों के क्षेत्र में, जो मोनिक बहुपद को संतुष्ट करता है <math>X^2-X-1 = 0</math>. | ||
== नोथेरियन अभिन्न रूप से बंद डोमेन == | == नोथेरियन अभिन्न रूप से बंद डोमेन == | ||
आयाम के नोथेरियन स्थानीय डोमेन | आयाम के नोथेरियन स्थानीय डोमेन A के लिए, निम्नलिखित समतुल्य हैं। | ||
* | *A पूरी तरह से बंद है। | ||
*A की उच्चिष्ठ गुणजावली मूलधन है। | *A की उच्चिष्ठ गुणजावली मूलधन है। | ||
*A [[असतत मूल्यांकन अंगूठी]] है (समतुल्य A | *A [[असतत मूल्यांकन अंगूठी|असतत मूल्यांकन वलय]] है (समतुल्य A डेडेकाइंड है।) | ||
* A नियमित स्थानीय वलय है। | * A नियमित स्थानीय वलय है। | ||
मान लीजिए A नोथेरियन | मान लीजिए A नोथेरियन अभिन्न डोमेन है। तब A अभिन्न रूप से बंद होता है यदि और केवल यदि (i) A सभी स्थानीयकरणों का प्रतिच्छेदन है, <math>A_\mathfrak{p}</math> प्रमुख आदर्शों पर <math>\mathfrak{p}</math> ऊंचाई 1 और (ii) स्थानीयकरण <math>A_\mathfrak{p}</math> प्रमुख आदर्श पर <math>\mathfrak{p}</math> ऊँचाई 1 असतत मूल्यांकन वलय है। | ||
नोथेरियन | नोथेरियन वलय [[क्रुल डोमेन]] है यदि और केवल यदि यह अभिन्न रूप से बंद डोमेन है। | ||
गैर-नोईथेरियन सेटिंग में, निम्नलिखित में से है: अभिन्न डोमेन पूरी तरह से बंद है | गैर-नोईथेरियन सेटिंग में, निम्नलिखित में से है: अभिन्न डोमेन पूरी तरह से बंद है यदि और केवल यदि यह सभी [[मूल्यांकन की अंगूठी|मूल्यांकन की वलयों]] का प्रतिच्छेदन है जिसमें यह सम्मिलित है। | ||
== सामान्य | == सामान्य वलय == | ||
{{See also| | {{See also|सामान्य प्रकार}} | ||
[[जीन पियरे सेरे]], [[अलेक्जेंडर ग्रोथेंडिक]], और मात्सुमुरा सहित लेखक सामान्य | [[जीन पियरे सेरे]], [[अलेक्जेंडर ग्रोथेंडिक]], और मात्सुमुरा सहित लेखक सामान्य वलय को वलय के रूप में परिभाषित करते हैं जिसका [[स्थानीयकरण (कम्यूटेटिव बीजगणित)]] प्रमुख आदर्शों पर अभिन्न रूप से बंद डोमेन हैं। ऐसी वलय अनिवार्य रूप से छोटी वलय है,<ref>If all localizations at maximal ideals of a commutative ring ''R'' are reduced rings (e.g. domains), then ''R'' is reduced. ''Proof'': Suppose ''x'' is nonzero in ''R'' and ''x''<sup>2</sup>=0. The [[annihilator (ring theory)|annihilator]] ann(''x'') is contained in some maximal ideal <math>\mathfrak{m}</math>. Now, the image of ''x'' is nonzero in the localization of ''R'' at <math>\mathfrak{m}</math> since <math>x = 0</math> at <math>\mathfrak{m}</math> means <math>xs = 0</math> for some <math>s \not\in \mathfrak{m}</math> but then <math>s</math> is in the annihilator of ''x'', contradiction. This shows that ''R'' localized at <math>\mathfrak{m}</math> is not reduced.</ref> और इसे कभी-कभी परिभाषा में सम्मिलित किया जाता है। सामान्य तौर पर, यदि A नोथेरियन वलय वलय है, जिसके अधिकतम आदर्शों पर स्थानीयकरण सभी डोमेन हैं, तो A डोमेन का परिमित उत्पाद है।<ref>Kaplansky, Theorem 168, pg 119.</ref> विशेष रूप से यदि A नोथेरियन, सामान्य वलय है, तो उत्पाद में डोमेन अभिन्न रूप से बंद डोमेन हैं।<ref>Matsumura 1989, p. 64</ref> इसके विपरीत, अभिन्न रूप से बंद डोमेन का कोई परिमित उत्पाद सामान्य है। विशेष रूप से, यदि <math>\operatorname{Spec}(A)</math> नोथेरियन, सामान्य और जुड़ा हुआ है, तो A पूर्ण रूप से बंद डोमेन है। (cf. [[चिकनी किस्म|चिकनी प्रकार]]) | ||
बता दें कि A नोथेरियन | बता दें कि A नोथेरियन वलय है। तब (सामान्यता पर सेरे की कसौटी) A सामान्य है यदि और केवल यदि यह निम्नलिखित को संतुष्ट करता है: किसी भी प्रमुख आदर्श <math>\mathfrak{p}</math> के लिए, | ||
<li>यदि <math>\mathfrak{p}</math> की ऊंचाई <math>\le 1</math> हैं, तब <math>A_\mathfrak{p}</math> नियमित स्थानीय वलय है (अर्थात्, <math>A_\mathfrak{p}</math> असतत मूल्यांकन वलय है।)</li> | |||
<li> | <li>यदि <math>\mathfrak{p}</math> की ऊंचाई <math>\ge 2</math> है, तब <math>A_\mathfrak{p}</math> गहराई है <math>\ge 2</math>.<ref>Matsumura, Commutative algebra, pg. 125. For a domain, the theorem is due to Krull (1931). The general case is due to Serre.</ref> मंद (i) को अधिकांश सहआयाम 1 में नियमित रूप से व्यक्त किया जाता है। नोट (i) का तात्पर्य है कि संबंधित अभाज्य्स का सेट <math>Ass(A)</math> कोई अंत:स्थापित अभाज्य संख्या नहीं है, और, जब (i) स्थिति है, (ii) का अर्थ है <math>Ass(A/fA)</math> किसी भी गैर-ज़ीरोडिवाइज़र f के लिए कोई अंत:स्थापित अभाज्य नहीं है। विशेष रूप से, [[कोहेन-मैकाले रिंग|कोहेन-मैकाले वलय]] वलय (ii) को संतुष्ट करती है। ज्यामितीय रूप से, हमारे पास निम्नलिखित हैं: यदि X गैर-एकवचन विविधता में [[स्थानीय पूर्ण चौराहा]] है;<ref>over an algebraically closed field</ref> जैसे, X स्वयं निरर्थक है, तो X कोहेन-मैकाले है; अर्थात्, डंठल <math>\mathcal{O}_p</math> संरचना शीफ के सभी प्रमुख आदर्शों के लिए P कोहेन-मैकाले हैं। तब हम कह सकते हैं: X [[सामान्य योजना]] है (अर्थात्, इसकी संरचना के डंठल सभी सामान्य हैं) यदि और केवल यदि यह सहआयाम 1 में नियमित है। | ||
<li> | |||
</ | |||
== पूरी तरह से अभिन्न रूप से बंद डोमेन == | |||
मान लें कि | <li>मान लीजिए कि A एक प्रांत है और K इसके अंशों का क्षेत्र है। K में एक तत्व x को A पर लगभग अभिन्न कहा जाता है यदि A और x द्वारा उत्पन्न K का सबरिंग A [x] A का एक भिन्नात्मक आदर्श है; अर्थात्, यदि कोई <math>d \ne 0</math> जैसे कि <math>d x^n \in A</math> सभी <math>n \ge 0</math> के लिए. तब A को 'पूरी तरह से बंद' कहा जाता है कि A को पूरी तरह से बंद कर दिया गया है यदि K का लगभग हर अभिन्न तत्व A में समाहित है। एक पूरी तरह से बंद डोमेन पूरी तरह से बंद है। इसके विपरीत, एक नोथेरियन अभिन्न रूप से बंद डोमेन पूरी तरह से एकीकृत रूप से बंद है। | ||
अभिन्न डोमेन पूरी तरह से पूरी तरह से बंद है | * मान लें कि A पूरी तरह से बंद है। फिर औपचारिक शक्ति श्रृंखला की वलय <math>A[[X]]</math> पूरी तरह से बंद है।<ref>An exercise in Matsumura.</ref> यह महत्वपूर्ण है क्योंकि एनालॉग अभिन्न रूप से बंद डोमेन के लिए झूठा है: R को कम से कम 2 ऊंचाई का वैल्यूएशन डोमेन होने दें (जो एकीकृत रूप से बंद है।) <math>R[[X]]</math> पूरी तरह से बंद नहीं है।<ref>Matsumura, Exercise 10.4</ref> L को K का क्षेत्र विस्तार होने दें। फिर L में A का अभिन्न संवरण पूरी तरह से अभिन्न रूप से बंद है।<ref>An exercise in Bourbaki.</ref> | ||
इन्हें भी देखें: क्रुल डोमेन। | * अभिन्न डोमेन पूरी तरह से पूरी तरह से बंद है यदि और केवल यदि A के विभाजकों का समूह है।<ref>{{harvnb|Bourbaki|1972|loc=Ch. VII, § 1, n. 2, Theorem 1}}</ref> इन्हें भी देखें: क्रुल डोमेन। | ||
== निर्माण के | == निर्माण के अनुसार एकीकृत रूप से बंद == | ||
निम्नलिखित शर्तें अभिन्न डोमेन | निम्नलिखित शर्तें अभिन्न डोमेन A के बराबर हैं: | ||
# | # A पूरी तरह से बंद है; | ||
# | # A<sub>''p''</sub> (P के संबंध में A का स्थानीयकरण) प्रत्येक प्रमुख आदर्श P के लिए अभिन्न रूप से बंद है; | ||
# | # A<sub>''m''</sub> प्रत्येक [[अधिकतम आदर्श]] m के लिए अभिन्न रूप से बंद है। | ||
स्थानीयकरण के | स्थानीयकरण के अनुसार अभिन्न बंद के संरक्षण से तुरंत 1 → 2 परिणाम; 2 → 3 तुच्छ है; स्थानीयकरण के अनुसार अभिन्न बंद के संरक्षण से 3 → 1 परिणाम, स्थानीयकरण की शुद्धता, और A-मॉड्यूल M की गुण शून्य है यदि और केवल तभी जब प्रत्येक अधिकतम आदर्श के संबंध में इसका स्थानीयकरण शून्य है। | ||
इसके विपरीत, 'Z'[t]/(t<sup>2</sup>+4) पूरी तरह से बंद नहीं है। | इसके विपरीत, 'Z'[t]/(t<sup>2</sup>+4) पूरी तरह से बंद नहीं है। | ||
पूरी तरह से अभिन्न रूप से बंद डोमेन के स्थानीयकरण को पूरी तरह से बंद करने की आवश्यकता नहीं है।<ref>An exercise in Bourbaki.</ref> | पूरी तरह से अभिन्न रूप से बंद डोमेन के स्थानीयकरण को पूरी तरह से बंद करने की आवश्यकता नहीं है।<ref>An exercise in Bourbaki.</ref> अभिन्न रूप से बंद डोमेन की सीधी सीमा अभिन्न रूप से बंद डोमेन है। | ||
अभिन्न रूप से बंद डोमेन की सीधी सीमा अभिन्न रूप से बंद डोमेन है। | |||
'''अभिन्न रूप से बंद डोमेन पर मॉड्यूल''' | |||
मान लीजिए A नोथेरियन अभिन्न रूप से बंद डोमेन है। | मान लीजिए A नोथेरियन अभिन्न रूप से बंद डोमेन है। | ||
A का आदर्श | A का आदर्श [[विभाजक अंश आदर्श]] है यदि और केवल यदि A/I के प्रत्येक संबद्ध प्रधान की ऊंचाई है।<ref>{{harvnb|Bourbaki|1972|loc=Ch. VII, § 1, n. 6. Proposition 10.}}</ref> बता दें कि P ऊंचाई के A में सभी प्रमुख आदर्शों के सेट को निरूपित करता है। यदि T अंतिम रूप से उत्पन्न मरोड़ वाला मॉड्यूल है, तो डालता है: | ||
बता दें कि | |||
:<math>\chi(T) = \sum_{p \in P} \operatorname{length}_p(T) p</math>, | :<math>\chi(T) = \sum_{p \in P} \operatorname{length}_p(T) p</math>, | ||
जो औपचारिक योग के रूप में समझ में आता है; | जो औपचारिक योग के रूप में समझ में आता है; अर्थात्, भाजक। हम d के भाजक वर्ग के लिए <math>c(d)</math> लिखते है। यदि <math>F, F'</math> M के अधिकतम सबमॉड्यूल हैं, फिर <math>c(\chi(M/F)) = c(\chi(M/F'))</math><ref>{{harvnb|Bourbaki|1972|loc=Ch. VII, § 4, n. 7}}</ref> और <math>c(\chi(M/F))</math> द्वारा (बोरबाकी में) निरूपित किया जाता है <math>c(M)</math>. | ||
== यह भी देखें == | == यह भी देखें == | ||
* [[यूनिब्रांच लोकल रिंग]] | * [[यूनिब्रांच लोकल रिंग|यूनिब्रांच लोकल वलय]] | ||
== उद्धरण == | == उद्धरण == | ||
Line 94: | Line 88: | ||
* {{cite book |last=Matsumura |first=Hideyuki |year=1970 |title=Commutative Algebra |isbn=0-8053-7026-9 }} | * {{cite book |last=Matsumura |first=Hideyuki |year=1970 |title=Commutative Algebra |isbn=0-8053-7026-9 }} | ||
{{refend}} | {{refend}} | ||
[[Category: | [[Category:Articles with hatnote templates targeting a nonexistent page]] | ||
[[Category:Created On 13/02/2023]] | [[Category:Created On 13/02/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Translated in Hindi]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:क्रमविनिमेय बीजगणित]] |
Latest revision as of 10:54, 21 February 2023
Algebraic structures |
---|
क्रमविनिमेय बीजगणित में, एक अभिन्न रूप से बंद डोमेन A एक अभिन्न डोमेन है जिसका अंशों के क्षेत्र में अभिन्न तत्व बंद होना स्वयं A है। स्पष्ट रूप से, इसका अर्थ यह है कि यदि X A के अंशों के क्षेत्र का एक तत्व है जो A में गुणांक वाले एक मोनिक बहुपद की जड़ है, तो X स्वयं A का एक तत्व है। कई अच्छी तरह से अध्ययन किए गए डोमेन अभिन्न रूप से बंद क्षेत्र हैं पूर्णांक Z का वलय, अद्वितीय गुणनखंड डोमेन और नियमित स्थानीय वलय सभी अभिन्न रूप से बंद हैं।
ध्यान दें कि एकीकृत रूप से बंद डोमेन उपवर्ग (सेट सिद्धांत) की निम्नलिखित श्रृंखला में दिखाई देते हैं:
- rngs ⊃ rings ⊃ commutative rings ⊃ integral domains ⊃ integrally closed domains ⊃ GCD domains ⊃ unique factorization domains ⊃ principal ideal domains ⊃ Euclidean domains ⊃ fields ⊃ algebraically closed fields
मूल गुण
मान लीजिए कि A अंश K के क्षेत्र के साथ एक अभिन्न रूप से बंद डोमेन है और L को K का एक क्षेत्र विस्तार होने दें। फिर x∈L A पर अभिन्न तत्व है यदि और केवल यदि यह के पर बीजगणितीय तत्व है और K पर इसका न्यूनतम बहुपद (क्षेत्र सिद्धांत) A में गुणांक हैं।[1] विशेष रूप से, इसका अर्थ यह है कि A पर L अभिन्न का कोई भी तत्व A [X] में मोनिक बहुपद का मूल है जो कि K [X] में अपरिवर्तनीय बहुपद है।
यदि A क्षेत्र K में समाहित डोमेन है, तो हम K में A के अभिन्न समापन पर विचार कर सकते हैं (अर्थात K के सभी तत्वों का सेट जो A पर अभिन्न हैं)। यह अभिन्न बंद अभिन्न रूप से बंद डोमेन है।
एकीकृत रूप से बंद डोमेन गोइंग-डाउन प्रमेय की परिकल्पना में भी भूमिका निभाते हैं। प्रमेय कहता है कि यदि A⊆B डोमेन का अभिन्न विस्तार है और A अभिन्न रूप से बंद डोमेन है, तो ऊपर और नीचे जाने वाली गुण A⊆B विस्तार के लिए होती है।
उदाहरण
निम्नलिखित अभिन्न रूप से बंद डोमेन हैं।
- प्रमुख आदर्श डोमेन (विशेष रूप से: पूर्णांक और कोई भी क्षेत्र)।
- अद्वितीय गुणनखंडन डोमेन (विशेष रूप से, किसी फ़ील्ड पर, पूर्णांकों पर, या किसी अद्वितीय गुणनखंडन डोमेन पर कोई बहुपद वलय)।
- जीसीडी डोमेन (विशेष रूप से, कोई बेज़ाउट डोमेन या मूल्यांकन डोमेन)।
- डेडेकिंड डोमेन।
- क्षेत्र पर सममित बीजगणित (चूंकि प्रत्येक सममित बीजगणित क्षेत्र में कई चर में बहुपद वलय के लिए आइसोमोर्फिक है)।
- मान लीजिये विशेषता का क्षेत्र हो न कि 2 और इसके ऊपर बहुपद की वलय। यदि वर्ग-मुक्त बहुपद है। वर्ग-मुक्त गैर-स्थिर बहुपद है, तब अभिन्न रूप से बंद डोमेन है।[2] विशेष रूप से, अभिन्न रूप से बंद डोमेन है यदि .[3]
गैर-उदाहरण देने के लिए,[4] मान लीजिए कि k एक क्षेत्र है और (A t2 और t3 द्वारा उत्पन्न उपबीजगणित है।) A अभिन्न रूप से बंद नहीं है: इसमें अंशों का क्षेत्र है, और मोनिक बहुपद चर X में मूल t है जो अंशों के क्षेत्र में है किन्तु A में नहीं है। यह इस तथ्य से संबंधित है कि समतल वक्र मूल में वक्र का विलक्षण बिंदु है।
अन्य डोमेन जो पूर्ण रूप से बंद नहीं है वह है ; इसमें तत्व नहीं है, इसके अंशों के क्षेत्र में, जो मोनिक बहुपद को संतुष्ट करता है .
नोथेरियन अभिन्न रूप से बंद डोमेन
आयाम के नोथेरियन स्थानीय डोमेन A के लिए, निम्नलिखित समतुल्य हैं।
- A पूरी तरह से बंद है।
- A की उच्चिष्ठ गुणजावली मूलधन है।
- A असतत मूल्यांकन वलय है (समतुल्य A डेडेकाइंड है।)
- A नियमित स्थानीय वलय है।
मान लीजिए A नोथेरियन अभिन्न डोमेन है। तब A अभिन्न रूप से बंद होता है यदि और केवल यदि (i) A सभी स्थानीयकरणों का प्रतिच्छेदन है, प्रमुख आदर्शों पर ऊंचाई 1 और (ii) स्थानीयकरण प्रमुख आदर्श पर ऊँचाई 1 असतत मूल्यांकन वलय है।
नोथेरियन वलय क्रुल डोमेन है यदि और केवल यदि यह अभिन्न रूप से बंद डोमेन है।
गैर-नोईथेरियन सेटिंग में, निम्नलिखित में से है: अभिन्न डोमेन पूरी तरह से बंद है यदि और केवल यदि यह सभी मूल्यांकन की वलयों का प्रतिच्छेदन है जिसमें यह सम्मिलित है।
सामान्य वलय
जीन पियरे सेरे, अलेक्जेंडर ग्रोथेंडिक, और मात्सुमुरा सहित लेखक सामान्य वलय को वलय के रूप में परिभाषित करते हैं जिसका स्थानीयकरण (कम्यूटेटिव बीजगणित) प्रमुख आदर्शों पर अभिन्न रूप से बंद डोमेन हैं। ऐसी वलय अनिवार्य रूप से छोटी वलय है,[5] और इसे कभी-कभी परिभाषा में सम्मिलित किया जाता है। सामान्य तौर पर, यदि A नोथेरियन वलय वलय है, जिसके अधिकतम आदर्शों पर स्थानीयकरण सभी डोमेन हैं, तो A डोमेन का परिमित उत्पाद है।[6] विशेष रूप से यदि A नोथेरियन, सामान्य वलय है, तो उत्पाद में डोमेन अभिन्न रूप से बंद डोमेन हैं।[7] इसके विपरीत, अभिन्न रूप से बंद डोमेन का कोई परिमित उत्पाद सामान्य है। विशेष रूप से, यदि नोथेरियन, सामान्य और जुड़ा हुआ है, तो A पूर्ण रूप से बंद डोमेन है। (cf. चिकनी प्रकार)
बता दें कि A नोथेरियन वलय है। तब (सामान्यता पर सेरे की कसौटी) A सामान्य है यदि और केवल यदि यह निम्नलिखित को संतुष्ट करता है: किसी भी प्रमुख आदर्श के लिए,
पूरी तरह से अभिन्न रूप से बंद डोमेन
- मान लें कि A पूरी तरह से बंद है। फिर औपचारिक शक्ति श्रृंखला की वलय पूरी तरह से बंद है।[10] यह महत्वपूर्ण है क्योंकि एनालॉग अभिन्न रूप से बंद डोमेन के लिए झूठा है: R को कम से कम 2 ऊंचाई का वैल्यूएशन डोमेन होने दें (जो एकीकृत रूप से बंद है।) पूरी तरह से बंद नहीं है।[11] L को K का क्षेत्र विस्तार होने दें। फिर L में A का अभिन्न संवरण पूरी तरह से अभिन्न रूप से बंद है।[12]
- अभिन्न डोमेन पूरी तरह से पूरी तरह से बंद है यदि और केवल यदि A के विभाजकों का समूह है।[13] इन्हें भी देखें: क्रुल डोमेन।
निर्माण के अनुसार एकीकृत रूप से बंद
निम्नलिखित शर्तें अभिन्न डोमेन A के बराबर हैं:
- A पूरी तरह से बंद है;
- Ap (P के संबंध में A का स्थानीयकरण) प्रत्येक प्रमुख आदर्श P के लिए अभिन्न रूप से बंद है;
- Am प्रत्येक अधिकतम आदर्श m के लिए अभिन्न रूप से बंद है।
स्थानीयकरण के अनुसार अभिन्न बंद के संरक्षण से तुरंत 1 → 2 परिणाम; 2 → 3 तुच्छ है; स्थानीयकरण के अनुसार अभिन्न बंद के संरक्षण से 3 → 1 परिणाम, स्थानीयकरण की शुद्धता, और A-मॉड्यूल M की गुण शून्य है यदि और केवल तभी जब प्रत्येक अधिकतम आदर्श के संबंध में इसका स्थानीयकरण शून्य है।
इसके विपरीत, 'Z'[t]/(t2+4) पूरी तरह से बंद नहीं है।
पूरी तरह से अभिन्न रूप से बंद डोमेन के स्थानीयकरण को पूरी तरह से बंद करने की आवश्यकता नहीं है।[14] अभिन्न रूप से बंद डोमेन की सीधी सीमा अभिन्न रूप से बंद डोमेन है।
अभिन्न रूप से बंद डोमेन पर मॉड्यूल
मान लीजिए A नोथेरियन अभिन्न रूप से बंद डोमेन है।
A का आदर्श विभाजक अंश आदर्श है यदि और केवल यदि A/I के प्रत्येक संबद्ध प्रधान की ऊंचाई है।[15] बता दें कि P ऊंचाई के A में सभी प्रमुख आदर्शों के सेट को निरूपित करता है। यदि T अंतिम रूप से उत्पन्न मरोड़ वाला मॉड्यूल है, तो डालता है:
- ,
जो औपचारिक योग के रूप में समझ में आता है; अर्थात्, भाजक। हम d के भाजक वर्ग के लिए लिखते है। यदि M के अधिकतम सबमॉड्यूल हैं, फिर [16] और द्वारा (बोरबाकी में) निरूपित किया जाता है .
यह भी देखें
उद्धरण
- ↑ Matsumura, Theorem 9.2
- ↑ Hartshorne 1977, Ch. II, Exercise 6.4.
- ↑ Hartshorne 1977, Ch. II, Exercise 6.5. (a)
- ↑ Taken from Matsumura
- ↑ If all localizations at maximal ideals of a commutative ring R are reduced rings (e.g. domains), then R is reduced. Proof: Suppose x is nonzero in R and x2=0. The annihilator ann(x) is contained in some maximal ideal . Now, the image of x is nonzero in the localization of R at since at means for some but then is in the annihilator of x, contradiction. This shows that R localized at is not reduced.
- ↑ Kaplansky, Theorem 168, pg 119.
- ↑ Matsumura 1989, p. 64
- ↑ Matsumura, Commutative algebra, pg. 125. For a domain, the theorem is due to Krull (1931). The general case is due to Serre.
- ↑ over an algebraically closed field
- ↑ An exercise in Matsumura.
- ↑ Matsumura, Exercise 10.4
- ↑ An exercise in Bourbaki.
- ↑ Bourbaki 1972, Ch. VII, § 1, n. 2, Theorem 1
- ↑ An exercise in Bourbaki.
- ↑ Bourbaki 1972, Ch. VII, § 1, n. 6. Proposition 10.
- ↑ Bourbaki 1972, Ch. VII, § 4, n. 7
संदर्भ
- Bourbaki, Nicolas (1972). Commutative Algebra. Paris: Hermann.
- Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157
- Kaplansky, Irving (September 1974). Commutative Rings. Lectures in Mathematics. University of Chicago Press. ISBN 0-226-42454-5.
- Matsumura, Hideyuki (1989). Commutative Ring Theory. Cambridge Studies in Advanced Mathematics (2nd ed.). Cambridge University Press. ISBN 0-521-36764-6.
- Matsumura, Hideyuki (1970). Commutative Algebra. ISBN 0-8053-7026-9.