एकीकृत संवृत प्रभाव क्षेत्र: Difference between revisions

Revision as of 07:17, 16 February 2023

क्रमविनिमेय बीजगणित में, एक अभिन्न रूप से बंद डोमेन A एक अभिन्न डोमेन है जिसका अंशों के क्षेत्र में अभिन्न तत्व बंद होना स्वयं A है। स्पष्ट रूप से, इसका मतलब यह है कि यदि एक्स A के अंशों के क्षेत्र का एक तत्व है जो A में गुणांक वाले एक मोनिक बहुपद की जड़ है, तो एक्स स्वयं 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 विस्तार के लिए होती है।

उदाहरण

निम्नलिखित अभिन्न रूप से बंद डोमेन हैं।

प्रमुख आदर्श डोमेन (विशेष रूप से: पूर्णांक और कोई भी क्षेत्र)।
अद्वितीय गुणनखंडन डोमेन (विशेष रूप से, किसी फ़ील्ड पर, पूर्णांकों पर, या किसी अद्वितीय गुणनखंडन डोमेन पर कोई बहुपद वलय)।
जीसीडी डोमेन (विशेष रूप से, कोई बेज़ाउट डोमेन या मूल्यांकन डोमेन)।
डेडेकिंड डोमेन।
क्षेत्र पर सममित बीजगणित (चूंकि प्रत्येक सममित बीजगणित क्षेत्र में कई चर में बहुपद रिंगवलय के लिए आइसोमोर्फिक है)।
मान लीजिये $k$ विशेषता का क्षेत्र हो न कि 2 और $S=k[x_{1},\dots ,x_{n}]$ इसके ऊपर बहुपद की रिंगवलय। अगर $f$ वर्ग-मुक्त बहुपद है। वर्ग-मुक्त गैर-स्थिर $S$ बहुपद है, तब $S[y]/(y^{2}-f)$ अभिन्न रूप से बंद डोमेन है।^[2] विशेष रूप से, $k[x_{0},\dots ,x_{r}]/(x_{0}^{2}+\dots +x_{r}^{2})$ अभिन्न रूप से बंद डोमेन है अगर $r\geq 2$ .^[3]

गैर-उदाहरण देने के लिए,^[4] मान लीजिए कि k एक क्षेत्र है और $A=k[t^{2},t^{3}]\subset k[t]$ (A t² और t³ द्वारा उत्पन्न उपबीजगणित है।) A अभिन्न रूप से बंद नहीं है: इसमें $k(t)$ अंशों का क्षेत्र है, और मोनिक बहुपद $X^{2}-t^{2}$ चर X में मूल t है जो अंशों के क्षेत्र में है लेकिन A में नहीं है। यह इस तथ्य से संबंधित है कि समतल वक्र $Y^{2}=X^{3}$ मूल में वक्र का विलक्षण बिंदु है।

अन्य डोमेन जो पूर्ण रूप से बंद नहीं है वह है $A=\mathbb {Z} [{\sqrt {5}}]$ ; इसमें तत्व नहीं है ${\frac {{\sqrt {5}}+1}{2}}$ इसके अंशों के क्षेत्र में, जो मोनिक बहुपद को संतुष्ट करता है $X^{2}-X-1=0$ .

नोथेरियन अभिन्न रूप से बंद डोमेन

आयाम के नोथेरियन स्थानीय डोमेन ए के लिए, निम्नलिखित समतुल्य हैं।

ए पूरी तरह से बंद है।
A की उच्चिष्ठ गुणजावली मूलधन है।
A असतत मूल्यांकन रिंगवलय है (समतुल्य ए डेडेकाइंड है।)
A नियमित स्थानीय वलय है।

मान लीजिए A नोथेरियन अभिन्न डोमेन है। तब A अभिन्न रूप से बंद होता है यदि और केवल यदि (i) A सभी स्थानीयकरणों का प्रतिच्छेदन है $A_{\mathfrak {p}}$ प्रमुख आदर्शों पर ${\mathfrak {p}}$ ऊंचाई 1 और (ii) स्थानीयकरण $A_{\mathfrak {p}}$ प्रमुख आदर्श पर ${\mathfrak {p}}$ ऊँचाई 1 असतत मूल्यांकन वलय है।

नोथेरियन रिंगवलय क्रुल डोमेन है अगर और केवल अगर यह अभिन्न रूप से बंद डोमेन है।

गैर-नोईथेरियन सेटिंग में, निम्नलिखित में से है: अभिन्न डोमेन पूरी तरह से बंद है अगर और केवल अगर यह सभी मूल्यांकन की रिंगवलयों का प्रतिच्छेदन है जिसमें यह शामिल है।

सामान्य छल्ले

जीन पियरे सेरे, अलेक्जेंडर ग्रोथेंडिक, और मात्सुमुरा सहित लेखक सामान्य रिंगवलय को रिंगवलय के रूप में परिभाषित करते हैं जिसका स्थानीयकरण (कम्यूटेटिव बीजगणित) प्रमुख आदर्शों पर अभिन्न रूप से बंद डोमेन हैं। ऐसी रिंगवलय अनिवार्य रूप से छोटी रिंगवलय है,^[5] और इसे कभी-कभी परिभाषा में शामिल किया जाता है। सामान्य तौर पर, यदि A नोथेरियन वलय वलय है, जिसके अधिकतम आदर्शों पर स्थानीयकरण सभी डोमेन हैं, तो A डोमेन का परिमित उत्पाद है।^[6] विशेष रूप से यदि A नोथेरियन, सामान्य वलय है, तो उत्पाद में डोमेन अभिन्न रूप से बंद डोमेन हैं।^[7] इसके विपरीत, अभिन्न रूप से बंद डोमेन का कोई परिमित उत्पाद सामान्य है। विशेष रूप से, अगर $\operatorname {Spec} (A)$ नोथेरियन, सामान्य और जुड़ा हुआ है, तो ए पूर्ण रूप से बंद डोमेन है। (cf. चिकनी किस्म)

बता दें कि A नोथेरियन रिंगवलय है। तब (सामान्यता पर सेरे की कसौटी | सेरे की कसौटी) ए सामान्य है अगर और केवल अगर यह निम्नलिखित को संतुष्ट करता है: किसी भी प्रमुख आदर्श के लिए ${\mathfrak {p}}$ , <ओल प्रकार = मैं>

अगर

{\mathfrak {p}}

ऊंचाई है

\leq 1

, तब

A_{\mathfrak {p}}

नियमित स्थानीय रिंगवलय है (यानी,

A_{\mathfrak {p}}

असतत मूल्यांकन रिंगवलय है।)

अगर

{\mathfrak {p}}

ऊंचाई है

\geq 2

, तब

A_{\mathfrak {p}}

गहराई है

\geq 2

.^[8]</ली> </ओल> मद (i) को अक्सर कोडिमेंशन 1 में नियमित रूप से व्यक्त किया जाता है। नोट (i) का तात्पर्य है कि संबंधित प्राइम्स का सेट

Ass(A)

कोई एम्बेडेड अभाज्य संख्या नहीं है, और, जब (i) मामला है, (ii) का अर्थ है

Ass(A/fA)

किसी भी गैर-ज़ीरोडिवाइज़र f के लिए कोई एम्बेडेड प्राइम नहीं है। विशेष रूप से, कोहेन-मैकाले रिंगवलय रिंगवलय (ii) को संतुष्ट करती है। ज्यामितीय रूप से, हमारे पास निम्नलिखित हैं: यदि X गैर-एकवचन विविधता में स्थानीय पूर्ण चौराहा है;^[9] जैसे, X स्वयं निरर्थक है, तो X कोहेन-मैकाले है; यानी, डंठल

{\mathcal {O}}_{p}

संरचना शीफ के सभी प्रमुख आदर्शों के लिए कोहेन-मैकाले हैं पी। तब हम कह सकते हैं: X सामान्य योजना है (अर्थात्, इसकी संरचना के डंठल सभी सामान्य हैं) यदि और केवल यदि यह कोडिमेंशन 1 में नियमित है।

पूरी तरह से अभिन्न रूप से बंद डोमेन

मान लीजिए कि A प्रांत है और K इसके अंशों का क्षेत्र है। K में अवयव x को 'A पर लगभग अभिन्न' कहा जाता है यदि A और x द्वारा उत्पन्न K का अवयव A[x] A का भिन्नात्मक आदर्श है; यानी अगर कोई है $d\neq 0$ ऐसा है कि $dx^{n}\in A$ सभी के लिए $n\geq 0$ . तब A को 'पूरी तरह से बंद' कहा जाता है यदि K का प्रत्येक लगभग अभिन्न तत्व A में समाहित है। पूरी तरह से अभिन्न रूप से बंद डोमेन अभिन्न रूप से बंद है। इसके विपरीत, नोथेरियन अभिन्न रूप से बंद डोमेन पूरी तरह से एकीकृत रूप से बंद है।

मान लें कि ए पूरी तरह से बंद है। फिर औपचारिक शक्ति श्रृंखला की रिंगवलय $A[[X]]$ पूरी तरह से बंद है।^[10] यह महत्वपूर्ण है क्योंकि एनालॉग अभिन्न रूप से बंद डोमेन के लिए झूठा है: R को कम से कम 2 ऊंचाई का वैल्यूएशन डोमेन होने दें (जो एकीकृत रूप से बंद है।) $R[[X]]$ पूरी तरह से बंद नहीं है।^[11] L को K का क्षेत्र विस्तार होने दें। फिर L में A का अभिन्न संवरण पूरी तरह से अभिन्न रूप से बंद है।^[12] अभिन्न डोमेन पूरी तरह से पूरी तरह से बंद है अगर और केवल अगर ए के विभाजकों का समूह है।^[13] इन्हें भी देखें: क्रुल डोमेन।

निर्माण के तहत एकीकृत रूप से बंद

निम्नलिखित शर्तें अभिन्न डोमेन ए के बराबर हैं:

ए पूरी तरह से बंद है;
ए_p (पी के संबंध में ए का स्थानीयकरण) प्रत्येक प्रमुख आदर्श पी के लिए अभिन्न रूप से बंद है;
ए_m प्रत्येक अधिकतम आदर्श m के लिए अभिन्न रूप से बंद है।

स्थानीयकरण के तहत अभिन्न क्लोजर के संरक्षण से तुरंत 1 → 2 परिणाम; 2 → 3 तुच्छ है; 3 → 1 स्थानीयकरण के तहत अभिन्न क्लोजर के संरक्षण से परिणाम, मॉड्यूल # फ्लैटनेस का स्थानीयकरण, और ए-मॉड्यूल एम की संपत्ति शून्य है अगर और केवल अगर इसका स्थानीयकरण प्रत्येक अधिकतम आदर्श के संबंध में शून्य है।

इसके विपरीत, 'Z'[t]/(t²+4) पूरी तरह से बंद नहीं है।

पूरी तरह से अभिन्न रूप से बंद डोमेन के स्थानीयकरण को पूरी तरह से बंद करने की आवश्यकता नहीं है।^[14] अभिन्न रूप से बंद डोमेन की सीधी सीमा अभिन्न रूप से बंद डोमेन है।

== अभिन्न रूप से बंद डोमेन == पर मॉड्यूल

मान लीजिए A नोथेरियन अभिन्न रूप से बंद डोमेन है।

A का आदर्श I विभाजक अंश आदर्श है यदि और केवल यदि A/I के प्रत्येक संबद्ध प्रधान की ऊंचाई है।^[15] बता दें कि पी ऊंचाई के ए में सभी प्रमुख आदर्शों के सेट को निरूपित करता है। यदि T अंतिम रूप से उत्पन्न मरोड़ वाला मॉड्यूल है, तो डालता है:

\chi (T)=\sum _{p\in P}\operatorname {length} _{p}(T)p

,

जो औपचारिक योग के रूप में समझ में आता है; यानी, भाजक। हम लिखते हैं $c(d)$ डी के भाजक वर्ग के लिए। अगर $F,F'$ एम के अधिकतम सबमॉड्यूल हैं, फिर $c(\chi (M/F))=c(\chi (M/F'))$ ^[16] और $c(\chi (M/F))$ द्वारा (बोरबाकी में) निरूपित किया जाता है $c(M)$ .

यह भी देखें

यूनिब्रांच लोकल रिंगवलय

उद्धरण

↑ 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 x²=0. The annihilator ann(x) is contained in some maximal ideal ${\mathfrak {m}}$ . Now, the image of x is nonzero in the localization of R at ${\mathfrak {m}}$ since $x=0$ at ${\mathfrak {m}}$ means $xs=0$ for some $s\not \in {\mathfrak {m}}$ but then $s$ is in the annihilator of x, contradiction. This shows that R localized at ${\mathfrak {m}}$ 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.

[1] Matsumura, Theorem 9.2

[2] Hartshorne 1977, Ch. II, Exercise 6.4.

[3] Hartshorne 1977, Ch. II, Exercise 6.5. (a)

[4] Taken from Matsumura

[5] 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²=0. The annihilator ann(x) is contained in some maximal ideal ${\mathfrak {m}}$ . Now, the image of x is nonzero in the localization of R at ${\mathfrak {m}}$ since $x=0$ at ${\mathfrak {m}}$ means $xs=0$ for some $s\not \in {\mathfrak {m}}$ but then $s$ is in the annihilator of x, contradiction. This shows that R localized at ${\mathfrak {m}}$ is not reduced.

[6] Kaplansky, Theorem 168, pg 119.

[7] Matsumura 1989, p. 64

[8] Matsumura, Commutative algebra, pg. 125. For a domain, the theorem is due to Krull (1931). The general case is due to Serre.

[9] ver an algebraically closed field

[10] An exercise in Matsumura.

[11] Matsumura, Exercise 10.4

[12] An exercise in Bourbaki.

[13] Bourbaki 1972, Ch. VII, § 1, n. 2, Theorem 1

[14] An exercise in Bourbaki.

[15] Bourbaki 1972, Ch. VII, § 1, n. 6. Proposition 10.

[16] Bourbaki 1972, Ch. VII, § 4, n. 7

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

@@ 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>
+*मान लीजिये <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> मान लीजिए कि 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> मूल में वक्र का विलक्षण बिंदु है।
@@ Line 29: / Line 29: @@
 *ए पूरी तरह से बंद है।
 *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|normal variety}}
-[[जीन पियरे सेरे]], [[अलेक्जेंडर ग्रोथेंडिक]], और मात्सुमुरा सहित लेखक सामान्य रिंग को रिंग के रूप में परिभाषित करते हैं जिसका [[स्थानीयकरण (कम्यूटेटिव बीजगणित)]] प्रमुख आदर्शों पर अभिन्न रूप से बंद डोमेन हैं। ऐसी रिंग अनिवार्य रूप से छोटी रिंग है,<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> नोथेरियन, सामान्य और जुड़ा हुआ है, तो ए पूर्ण रूप से बंद डोमेन है। (cf. [[चिकनी किस्म]])
+[[जीन पियरे सेरे]], [[अलेक्जेंडर ग्रोथेंडिक]], और मात्सुमुरा सहित लेखक सामान्य रिंगवलय को रिंगवलय के रूप में परिभाषित करते हैं जिसका [[स्थानीयकरण (कम्यूटेटिव बीजगणित)]] प्रमुख आदर्शों पर अभिन्न रूप से बंद डोमेन हैं। ऐसी रिंगवलय अनिवार्य रूप से छोटी रिंगवलय है,<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> नोथेरियन, सामान्य और जुड़ा हुआ है, तो ए पूर्ण रूप से बंद डोमेन है। (cf. [[चिकनी किस्म]])
-बता दें कि A नोथेरियन रिंग है। तब (सामान्यता पर सेरे की कसौटी | सेरे की कसौटी) ए सामान्य है अगर और केवल अगर यह निम्नलिखित को संतुष्ट करता है: किसी भी प्रमुख आदर्श के लिए <math>\mathfrak{p}</math>,
+बता दें कि 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>अगर <math>\mathfrak{p}</math> ऊंचाई है <math>\le 1</math>, तब <math>A_\mathfrak{p}</math> नियमित स्थानीय रिंगवलय है (यानी, <math>A_\mathfrak{p}</math> असतत मूल्यांकन रिंगवलय है।)</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> संरचना शीफ के सभी प्रमुख आदर्शों के लिए कोहेन-मैकाले हैं पी। तब हम कह सकते हैं: X [[सामान्य योजना]] है (अर्थात्, इसकी संरचना के डंठल सभी सामान्य हैं) यदि और केवल यदि यह कोडिमेंशन 1 में नियमित है।
+मद (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> संरचना शीफ के सभी प्रमुख आदर्शों के लिए कोहेन-मैकाले हैं पी। तब हम कह सकते हैं: X [[सामान्य योजना]] है (अर्थात्, इसकी संरचना के डंठल सभी सामान्य हैं) यदि और केवल यदि यह कोडिमेंशन 1 में नियमित है।
 == पूरी तरह से अभिन्न रूप से बंद डोमेन ==
 मान लीजिए कि 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 को 'पूरी तरह से बंद' कहा जाता है यदि K का प्रत्येक लगभग अभिन्न तत्व 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>
+मान लें कि ए पूरी तरह से बंद है। फिर औपचारिक शक्ति श्रृंखला की रिंगवलय <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>
 अभिन्न डोमेन पूरी तरह से पूरी तरह से बंद है अगर और केवल अगर ए के विभाजकों का समूह है।<ref>{{harvnb|Bourbaki|1972|loc=Ch. VII, § 1, n. 2, Theorem 1}}</ref>
 इन्हें भी देखें: क्रुल डोमेन।
@@ Line 80: / Line 80: @@
 == यह भी देखें ==
-* [[यूनिब्रांच लोकल रिंग]]
+* [[यूनिब्रांच लोकल रिंग|यूनिब्रांच लोकल रिंगवलय]]
 == उद्धरण ==

Anonymous

Search

एकीकृत संवृत प्रभाव क्षेत्र: Difference between revisions

Namespaces

More

Page actions

Revision as of 07:17, 16 February 2023

Contents

मूल गुण

उदाहरण

नोथेरियन अभिन्न रूप से बंद डोमेन

सामान्य छल्ले

पूरी तरह से अभिन्न रूप से बंद डोमेन

निर्माण के तहत एकीकृत रूप से बंद

यह भी देखें

उद्धरण

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

एकीकृत संवृत प्रभाव क्षेत्र: Difference between revisions

Revision as of 07:17, 16 February 2023

मूल गुण

उदाहरण

नोथेरियन अभिन्न रूप से बंद डोमेन

सामान्य छल्ले

पूरी तरह से अभिन्न रूप से बंद डोमेन

निर्माण के तहत एकीकृत रूप से बंद

यह भी देखें

उद्धरण

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories