एकीकृत संवृत प्रभाव क्षेत्र

क्रमविनिमेय बीजगणित में, एक अभिन्न रूप से बंद डोमेन 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 में गुणांक हैं। विशेष रूप से, इसका मतलब यह है कि 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)$ अभिन्न रूप से बंद डोमेन है। विशेष रूप से, $k[x_{0},\dots ,x_{r}]/(x_{0}^{2}+\dots +x_{r}^{2})$ अभिन्न रूप से बंद डोमेन है अगर $r\geq 2$.

गैर-उदाहरण देने के लिए, मान लीजिए कि 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 Dedekind है।)
• A नियमित स्थानीय वलय है।

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

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

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

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

See also: normal variety

जीन पियरे सेरे, अलेक्जेंडर ग्रोथेंडिक, और मात्सुमुरा सहित लेखक सामान्य अंगूठी को अंगूठी के रूप में परिभाषित करते हैं जिसका स्थानीयकरण (कम्यूटेटिव बीजगणित) प्रमुख आदर्शों पर अभिन्न रूप से बंद डोमेन हैं। ऐसी अंगूठी अनिवार्य रूप से छोटी अंगूठी है, और इसे कभी-कभी परिभाषा में शामिल किया जाता है। सामान्य तौर पर, यदि A नोथेरियन वलय वलय है, जिसके अधिकतम आदर्शों पर स्थानीयकरण सभी डोमेन हैं, तो A डोमेन का परिमित उत्पाद है। विशेष रूप से यदि A नोथेरियन, सामान्य वलय है, तो उत्पाद में डोमेन अभिन्न रूप से बंद डोमेन हैं। इसके विपरीत, अभिन्न रूप से बंद डोमेन का कोई परिमित उत्पाद सामान्य है। विशेष रूप से, अगर $\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$.</ली> </ओल> मद (i) को अक्सर कोडिमेंशन 1 में नियमित रूप से व्यक्त किया जाता है। नोट (i) का तात्पर्य है कि संबंधित प्राइम्स का सेट $Ass(A)$ कोई एम्बेडेड अभाज्य संख्या नहीं है, और, जब (i) मामला है, (ii) का अर्थ है $Ass(A/fA)$ किसी भी गैर-ज़ीरोडिवाइज़र f के लिए कोई एम्बेडेड प्राइम नहीं है। विशेष रूप से, कोहेन-मैकाले रिंग अंगूठी (ii) को संतुष्ट करती है। ज्यामितीय रूप से, हमारे पास निम्नलिखित हैं: यदि X गैर-एकवचन विविधता में स्थानीय पूर्ण चौराहा है; जैसे, 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]]$ पूरी तरह से बंद है। यह महत्वपूर्ण है क्योंकि एनालॉग अभिन्न रूप से बंद डोमेन के लिए झूठा है: R को कम से कम 2 ऊंचाई का वैल्यूएशन डोमेन होने दें (जो एकीकृत रूप से बंद है।) $R[[X]]$ पूरी तरह से बंद नहीं है। L को K का क्षेत्र विस्तार होने दें। फिर L में A का अभिन्न संवरण पूरी तरह से अभिन्न रूप से बंद है। अभिन्न डोमेन पूरी तरह से पूरी तरह से बंद है अगर और केवल अगर ए के विभाजकों का समूह है। इन्हें भी देखें: क्रुल डोमेन।

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

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

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

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

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

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

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

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

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

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

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

यह भी देखें

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

उद्धरण

संदर्भ

• 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.