अभिन्न तत्व

क्रमविनिमेय बीजगणित में, क्रमविनिमेय वलय B के तत्व b को 'अभिन्न' A कहा जाता है, B का एक उपवलय, यदि n ≥ 1 और a _j ऐसा है

$b^{n}+a_{n-1}b^{n-1}+\cdots +a_{1}b+a_{0}=0.$

अर्थात्, b, A पर एकात्मक बहुपद का मूल है। B के तत्वों का समूह जो A पर अभिन्न है, B में A का 'इंटीग्रल क्लोजर' कहलाता है। यह B युक्त A का सबरिंग है। यदि B का प्रत्येक अवयव A पर समाकलित है,तो हम कहते हैं की B,A पर समाकलित है,या समतुल्य B,A का समाकलित विस्तार है।

यदि A,B फ़ील्ड (गणित) हैं, तो समाकलित ओवर और समाकलित विस्तार की धारणा बीजगणितीय तत्व ओवर जो क्षेत्र सिद्धांत (गणित) में बीजगणितीय विस्तार हैं (चूंकि किसी भी बहुपद की जड़ एक मोनिक बहुपद की जड़ है) .

संख्या सिद्धांत में सबसे बड़ी घटना 'Z' पर समाकलित जटिल संख्याओं का घटना है (उदाहरण के लिए, ${\sqrt {2}}$ या $1+i$); इस संदर्भ में, अभिन्न तत्वों को सामान्यतः बीजगणितीय पूर्णांक कहा जाता है। परिमेय संख्या 'Q' के परिमित क्षेत्र विस्तार k में बीजगणितीय पूर्णांक k का एक उप-वलय बनाते हैं, जिसे k के पूर्णांकों का वलय कहा जाता है, जो बीजगणितीय संख्या सिद्धांत में अध्ययन का केंद्रीय उद्देश्य है।

इस लेख में, शब्द वलय (गणित) को एक गुणात्मक पहचान के साथ क्रमविनिमेय वलय के समान समझा जाएगा।

उदाहरण

बीजगणितीय संख्या सिद्धांत में समाकलन

समाकलन क्लोजर के कई उदाहरण हैं जो बीजगणितीय संख्या सिद्धांत में पाए जा सकते हैं, क्योंकि यह बीजगणितीय विस्तार के लिए पूर्णांकों की छल्लों को परिभाषित करने के लिए वास्तविक है। $K/\mathbb {Q}$ (या $L/\mathbb {Q} _{p}$).

परिमेय में पूर्णांकों का अभिन्न समापन

पूर्णांक Q एकमात्र तत्व हैं जो Z पर अभिन्न हैं। दूसरे शब्दों में, Z, Q में Z का अभिन्न समापन है।

द्विघात विस्तार

गॉसियन पूर्णांक फॉर्म की जटिल संख्याएँ हैं $a+b{\sqrt {-1}},\,a,b\in \mathbf {Z}$, और Z पर अभिन्न हैं। $\mathbf {Z} [{\sqrt {-1}}]$ तब Z का अभिन्न समापन है $\mathbf {Q} ({\sqrt {-1}})$.सामान्य स्तर पर इस छल्ले को निरूपित किया जाता है ${\mathcal {O}}_{\mathbb {Q} [i]}$.

Z का अभिन्न समापन $\mathbf {Q} ({\sqrt {5}})$ छल्ला है

${\mathcal {O}}_{\mathbb {Q} [{\sqrt {5}}]}=\mathbb {Z} \!\left[{\frac {1+{\sqrt {5}}}{2}}\right]$

यह और पिछला उदाहरण द्विघात पूर्णांकों के उदाहरण हैं। एक द्विघात विस्तार का अभिन्न समापन $\mathbb {Q} ({\sqrt {d}})$ एक मनमाना तत्व के न्यूनतम बहुपद (क्षेत्र सिद्धांत) का निर्माण करके पाया जा सकता है $a+b{\sqrt {d}}$ और पूर्णांक गुणांक वाले बहुपद के लिए संख्या-सैद्धांतिक कसौटी खोजना। यह विश्लेषण द्विघात पूर्णांक # पूर्णांकों की अंगूठी का निर्धारण में पाया जा सकता है।

एकता की जड़ें

ζ एकता की जड़ हो। तब साइक्लोटोमिक क्षेत्र(वृत्तभाजनिक क्षेत्र ) Q(ζ) में Z का अभिन्न समापन Z[ζ] है। यह न्यूनतम बहुपद (क्षेत्र सिद्धांत) का उपयोग करके और ईसेनस्टीन क्राइटिरीअन(मापदंड) का उपयोग करके पाया जा सकता है।

बीजगणितीय पूर्णांकों का वलय

जटिल संख्या C, या बीजगणितीय संवरण के क्षेत्र में Z का अभिन्न संवरण ${\overline {\mathbb {Q} }}$ बीजगणितीय पूर्णांकों का वलय कहा जाता है।

अन्य

किसी भी वलय में एकता, निलपोटेंट तत्वों(शून्यंभावी तत्व) और इडेम्पोटेंट (वलय सिद्धांत) की जड़ें Z पर अभिन्न हैं।

ज्यामिति में इंटीग्रल क्लोजर

ज्यामिति में, इंटीग्रल क्लोजर (अभिन्न समापन) सामान्यीकरण और सामान्य योजनाओं से निकटता से सम्बंधित है। यह विलक्षणताओं के समाधान में पहला कदम है क्योंकि यह कोडिमेंशन 1 की विलक्षणताओं को हल करने की प्रक्रिया है।

• उदाहरण के लिए, का अभिन्न समापन $\mathbb {C} [x,y,z]/(xy)$ छल्ला है $\mathbb {C} [x,z]\times \mathbb {C} [y,z]$ ज्यामितीय रूप से, पहली छल्ले से मेल खाती है $xz$-समतल के साथ yz समतल जुड़ा है | उनके पास कोडिमेंशन 1 विलक्षणता है $z$-अक्ष जहां वे प्रतिच्छेद करते हैं।
• एक परिमित समूह G समूह को एक वलय A पर क्रिया करने दें। फिर A, A पर अभिन्न है^G, G द्वारा तय किए गए तत्वों का समूह ; फिक्स्ड-पॉइंट सबरिंग देखें।
• मान लें कि R एक वलय है और u एक इकाई (रिंग थ्योरी) है जिसमें R है। तब

1. u^-1 R का अभिन्न अंग है यदि और केवल यदि u⁻¹ ∈ R[u]।
2. $R[u]\cap R[u^{-1}]$ R पर अभिन्न है।
3. एक सामान्य प्रक्षेपी किस्म X के सजातीय समन्वय वलय का अभिन्न समापन वर्गों का वलय है

$\bigoplus _{n\geq 0}\operatorname {H} ^{0}(X,{\mathcal {O}}_{X}(n)).$

बीजगणित में अखंडता

• अगर ${\overline {k}}$ एक फ़ील्ड k का बीजगणितीय समापन है, तब ${\overline {k}}[x_{1},\dots ,x_{n}]$ अभिन्न है $k[x_{1},\dots ,x_{n}].$
• C((x)) के परिमित विस्तार में Cx का इंटीग्रल क्लोजर(अभिन्न समापन ) फॉर्म का है $\mathbf {C} [[x^{1/n}]]$ (cf. प्यूसेक्स श्रृंखला)

समतुल्य परिभाषाएँ

B को वलय होने दें, और A को B का उप-वलय होने दें। B में एक तत्व b दिया गया है, निम्नलिखित स्थितियाँ समतुल्य हैं:

(i) b A से अधिक अभिन्न है;

(ii) A और b द्वारा उत्पन्न B का सबरिंग A[b]अंतिम रूप से उत्पन्न मॉड्यूल है। अंतिम रूप से उत्पन्न A-मॉड्यूल;

(iii) A [b] युक्त B का सबरिंग C मौजूद है और जो अंतिम रूप से उत्पन्न A-मॉड्यूल है;

(iv) एक वफादार मॉड्यूल A [b] -मॉड्यूल M उपस्थित है जैसे कि M, A-मॉड्यूल के रूप में अंततः उत्पन्न होता है।

इसका सामान्य गणितीय प्रमाण निर्धारकों पर केली-हैमिल्टन प्रमेय के निम्नलिखित संस्करण का उपयोग करता है:

'प्रमेय' मान लीजिए कि आप एन तत्वों द्वारा उत्पन्न A-मॉड्यूल M का एंडोमोर्फिज्म हैं और A का आदर्श (छल्ला सिद्धांत) ऐसा है कि $u(M)\subset IM$. फिर एक संबंध है:

$u^{n}+a_{1}u^{n-1}+\cdots +a_{n-1}u+a_{n}=0,\,a_{i}\in I^{i}.$

यह प्रमेय (I = A और u गुणा b द्वारा) देता है (iv) ⇒ (i) और बाकी आसान है। संयोग से, नाकायमा की लेम्मा भी इस प्रमेय का एक तात्कालिक परिणाम है।

प्राथमिक गुण

=== इंटीग्रल क्लोजर एक रिंग === बनाता है उपरोक्त चार समकक्ष कथनों से यह पता चलता है कि तत्वों का समुच्चय $B$ जो अभिन्न हैं $A$ का उपसमूह बनाता है$B$युक्त $A$. (उपपत्ति: यदि x, y के अवयव हैं$B$जो अभिन्न हैं $A$, तब $x+y,xy,-x$ अभिन्न हैं $A$ चूंकि वे स्थिर हैं $A[x]A[y]$, जो एक अंतिम रूप से उत्पन्न मॉड्यूल है $A$ और शून्य से ही नष्ट हो जाता है।) इस रिंग को इंटीग्रल क्लोजर कहा जाता है $A$ में $B$.

अखंडता की संक्रामकता

उपरोक्त तुल्यता का एक अन्य परिणाम यह है कि निम्नलिखित अर्थों में समग्रता सकर्मक संबंध है। होने देना $C$ एक अंगूठी युक्त हो $B$ और $c\in C$. अगर $c$ अभिन्न है$B$और$B$अभिन्न $A$, तब $c$ अभिन्न है $A$. विशेष रूप से, अगर $C$ स्वयं अभिन्न है$B$और$B$अभिन्न है $A$, तब $C$ भी अभिन्न है $A$.

अंश क्षेत्र में बंद इंटीग्रल

अगर $A$ का अभिन्न समापन होता है $A$ में$B$, तब A को 'पूर्ण रूप से बंद' कहा जाता है$B$. अगर $B$ के अंशों का कुल वलय है $A$, (उदाहरण के लिए, भिन्नों का क्षेत्र जब $A$ एक अभिन्न डोमेन है), तो कभी-कभी कोई योग्यता छोड़ देता है $B$&हेयरस्प; और बस का अभिन्न समापन कहते हैं $A$और$A$ अभिन्न रूप से बंद डोमेन है। उदाहरण के लिए, पूर्णांकों का वलय ${\mathcal {O}}_{K}$ क्षेत्र में पूरी तरह से बंद है $K$.

अभिन्न रूप से बंद डोमेन के साथ अभिन्न क्लोजर की संक्रामकता

मान लीजिए कि A, अंश K के क्षेत्र के साथ एक अभिन्न डोमेन है और A', K के बीजगणितीय विस्तार L में A का अभिन्न संवरण है। फिर A' के अंशों का क्षेत्र L है। विशेष रूप से, A' एक अभिन्न रूप से बंद डोमेन है।

बीजगणितीय संख्या सिद्धांत में सकर्मकता

यह स्थिति बीजगणितीय संख्या सिद्धांत में लागू होती है जब पूर्णांकों की अंगूठी और एक क्षेत्र विस्तार से संबंधित होता है। विशेष रूप से, एक फ़ील्ड एक्सटेंशन दिया गया $L/K$ का अभिन्न समापन ${\mathcal {O}}_{K}$ में $L$ पूर्णांकों का वलय है ${\mathcal {O}}_{L}$.

टिप्पणियाँ

ध्यान दें कि ऊपर अभिन्नता की संक्रामकता का तात्पर्य है कि यदि $B$ अभिन्न है $A$, तब $B$ सबरिंग्स का एक संघ (समतुल्य रूप से एक आगमनात्मक सीमा) है जो सूक्ष्म रूप से उत्पन्न होते हैं $A$-मॉड्यूल।

अगर $A$ नोथेरियन वलय है, अभिन्नता की परिवर्तनशीलता को कथन से कमजोर किया जा सकता है:

एक निश्चित रूप से उत्पन्न मौजूद है $A$-सबमॉड्यूल $B$ उसमें सम्मिलित है $A[b]$.

परिमितता शर्तों के साथ संबंध

अंत में, धारणा है कि $A$ का उपसमुच्चय हो $B$ थोड़ा संशोधित किया जा सकता है। अगर $f:A\to B$ एक रिंग समरूपता है, तो कोई कहता है $f$ अभिन्न है अगर $B$ अभिन्न है $f(A)$. इसी प्रकार कोई कहता है $f$ परिमित है ($B$ अंतिम रूप से उत्पन्न $A$-मॉड्यूल) या परिमित प्रकार ($B$ अंतिम रूप से उत्पन्न $A$-अंगूठी पर बीजगणित)। इस दृष्टिकोण से, किसी के पास वह है

$f$ परिमित है अगर और केवल अगर $f$ अभिन्न और परिमित प्रकार का है।

या अधिक स्पष्ट रूप से,

$B$ एक निश्चित रूप से उत्पन्न होता है $A$-मॉड्यूल अगर और केवल अगर $B$ रूप में उत्पन्न होता है $A$-बीजगणित तत्वों की एक परिमित संख्या से अभिन्न $A$.

इंटीग्रल एक्सटेंशन

कोहेन-सीडेनबर्ग प्रमेय

एक अभिन्न विस्तार A ⊆ B में गोइंग अप एंड गोइंग प्रॉपर्टी है। स्पष्ट रूप से, प्रमुख आदर्शों की एक श्रृंखला दी गई है ${\mathfrak {p}}_{1}\subset \cdots \subset {\mathfrak {p}}_{n}$ ए में एक मौजूद है ${\mathfrak {p}}'_{1}\subset \cdots \subset {\mathfrak {p}}'_{n}$ बी के साथ ${\mathfrak {p}}_{i}={\mathfrak {p}}'_{i}\cap A$ (ऊपर जा रहा है और झूठ बोल रहा है) और समावेशन संबंध के साथ दो अलग-अलग प्रमुख आदर्श एक ही मूल आदर्श (अतुलनीयता) से अनुबंध नहीं कर सकते हैं। विशेष रूप से, ए और बी के क्रुल आयाम समान हैं। इसके अलावा, यदि ए एक अभिन्न रूप से बंद डोमेन है, तो गोइंग-डाउन होल्ड (नीचे देखें)।

सामान्य तौर पर, गोइंग-अप का तात्पर्य लेटे-ओवर से है। इस प्रकार, नीचे में, हम केवल गोइंग-अप का अर्थ ऊपर जाना और लेटना कहते हैं।

जब ए, बी ऐसे डोमेन हैं कि बी ए पर अभिन्न है, ए एक क्षेत्र है अगर और केवल अगर बी एक क्षेत्र है। एक उपप्रमेय के रूप में, किसी ने: एक प्रमुख आदर्श दिया है ${\mathfrak {q}}$ बी का, ${\mathfrak {q}}$ बी का अधिकतम आदर्श है अगर और केवल अगर ${\mathfrak {q}}\cap A$ ए का एक उच्चिष्ठ गुणज है। एक अन्य उपप्रमेय: यदि एल/के एक बीजीय विस्तार है, तो एल युक्त के कोई उपवलय एक क्षेत्र है।

आवेदन

मान लीजिए कि B एक ऐसा वलय है जो बीजगणितीय रूप से बंद एक उपवलय A और k पर समाकलित है। अगर $f:A\to k$ एक समरूपता है, तो f एक समरूपता B → k तक विस्तारित होता है। यह गोइंग-अप से अनुसरण करता है।

ऊपर जाने की ज्यामितीय व्याख्या

होने देना $f:A\to B$ अंगूठियों का एक अभिन्न विस्तार हो। फिर प्रेरित नक्शा

${\begin{cases}f^{\#}:\operatorname {Spec} B\to \operatorname {Spec} A\\p\mapsto f^{-1}(p)\end{cases}}$

एक बंद नक्शा है; वास्तव में, $f^{\#}(V(I))=V(f^{-1}(I))$ किसी भी आदर्श के लिए मैं और $f^{\#}$ आच्छादन मानचित्र है यदि f अंतःक्षेपी मानचित्र है। यह गोइंग-अप की एक ज्यामितीय व्याख्या है।

अभिन्न विस्तार की ज्यामितीय व्याख्या

मान लीजिए कि B एक वलय है और A एक उपवलय है जो एक नोएथेरियन अभिन्न रूप से बंद डोमेन है (अर्थात, $\operatorname {Spec} A$ एक सामान्य योजना है।) यदि बी ए पर अभिन्न है, तो $\operatorname {Spec} B\to \operatorname {Spec} A$ विसर्जन (बीजगणित) है; यानी, टोपोलॉजिकल स्पेस $\operatorname {Spec} A$ भागफल टोपोलॉजी है। सबूत रचनात्मक सेट (टोपोलॉजी) की धारणा का उपयोग करता है। (यह भी देखें: टोरसर (बीजगणितीय ज्यामिति)।)

अखंडता, आधार-परिवर्तन, सार्वभौमिक रूप से बंद, और ज्यामिति

अगर $B$ अभिन्न है $A$, तब $B\otimes _{A}R$ किसी भी ए-बीजगणित आर के लिए आर पर अभिन्न है। विशेष रूप से, $\operatorname {Spec} (B\otimes _{A}R)\to \operatorname {Spec} R$ बन्द है; यानी, अभिन्न विस्तार एक सार्वभौमिक रूप से बंद मानचित्र को प्रेरित करता है। इससे इंटीग्रल एक्सटेंशन का ज्यामितीय लक्षण वर्णन होता है। अर्थात्, 'बी' को केवल बहुत कम न्यूनतम प्रमुख आदर्शों (जैसे, अभिन्न डोमेन या नोथेरियन रिंग) के साथ एक अंगूठी होने दें। तब बी एक (सबरिंग) ए पर अभिन्न है अगर और केवल अगर $\operatorname {Spec} (B\otimes _{A}R)\to \operatorname {Spec} R$ किसी भी ए-बीजगणित आर के लिए बंद है। विशेष रूप से, प्रत्येक उचित नक्शा सार्वभौमिक रूप से बंद होता है।

अभिन्न रूप से बंद डोमेन के अभिन्न विस्तार पर गाल्वा कार्रवाई

प्रस्ताव। चलो 'ए' अंश के क्षेत्र के साथ एक अभिन्न रूप से बंद डोमेन हो 'के', 'एल' 'के' का एक सामान्य सामान्य विस्तार, बी ए का अभिन्न समापन एल में। फिर समूह (गणित) $G=\operatorname {Gal} (L/K)$ के प्रत्येक फाइबर पर Group_action#Types_of_actions कार्य करता है $\operatorname {Spec} B\to \operatorname {Spec} A$.

सबूत। कल्पना करना ${\mathfrak {p}}_{2}\neq \sigma ({\mathfrak {p}}_{1})$ किसी के लिए $\sigma$ जी में। फिर, प्रधान परिहार द्वारा, एक तत्व x है ${\mathfrak {p}}_{2}$ ऐसा है कि $\sigma (x)\not \in {\mathfrak {p}}_{1}$ किसी के लिए $\sigma$. जी तत्व को ठीक करता है $y=\prod \nolimits _{\sigma }\sigma (x)$ और इस प्रकार y विशुद्ध रूप से K के ऊपर अविभाज्य है। फिर कुछ शक्ति $y^{e}$ के के अंतर्गत आता है; चूंकि ए पूरी तरह से बंद है, हमारे पास है: $y^{e}\in A.$ इस प्रकार, हमने पाया $y^{e}$ में है ${\mathfrak {p}}_{2}\cap A$ लेकिन अंदर नहीं ${\mathfrak {p}}_{1}\cap A$; अर्थात।, ${\mathfrak {p}}_{1}\cap A\neq {\mathfrak {p}}_{2}\cap A$.

बीजगणितीय संख्या सिद्धांत के लिए आवेदन

गैलोज़ समूह $\operatorname {Gal} (L/K)$ फिर सभी प्रमुख आदर्शों पर कार्य करता है ${\mathfrak {q}}_{1},\ldots ,{\mathfrak {q}}_{k}\in {\text{Spec}}({\mathcal {O}}_{L})$ एक निश्चित प्रधान आदर्श पर झूठ बोलना ${\mathfrak {p}}\in {\text{Spec}}({\mathcal {O}}_{K})$. यानी अगर

${\mathfrak {p}}={\mathfrak {q}}_{1}^{e_{1}}\cdots {\mathfrak {q}}_{k}^{e_{k}}\subset {\mathcal {O}}_{L}$

फिर सेट पर गैलोज़ एक्शन होता है $S_{\mathfrak {p}}=\{{\mathfrak {q}}_{1},\ldots ,{\mathfrak {q}}_{k}\}$. इसे गैलोज़ एक्सटेंशन में प्रमुख आदर्शों का विभाजन कहा जाता है।

टिप्पणियाँ

प्रमाण में यही विचार दर्शाता है कि यदि $L/K$ एक विशुद्ध रूप से अविभाज्य विस्तार है (सामान्य होने की आवश्यकता नहीं है), तब $\operatorname {Spec} B\to \operatorname {Spec} A$ विशेषण है।

मान लीजिए A, K, आदि पहले की तरह हैं लेकिन मान लें कि L, K का केवल एक परिमित क्षेत्र विस्तार है। तब

(मैं) $\operatorname {Spec} B\to \operatorname {Spec} A$ परिमित तंतु होते हैं।

(ii) गोइंग-डाउन ए और बी के बीच रहता है: दिया गया ${\mathfrak {p}}_{1}\subset \cdots \subset {\mathfrak {p}}_{n}={\mathfrak {p}}'_{n}\cap A$, वहां मौजूद ${\mathfrak {p}}'_{1}\subset \cdots \subset {\mathfrak {p}}'_{n}$ जो इसे अनुबंधित करता है।

वास्तव में, दोनों कथनों में, L को बड़ा करके, हम मान सकते हैं कि L एक सामान्य विस्तार है। तब (i) तत्काल है। (ii) के लिए, ऊपर जाने से, हम एक श्रृंखला पा सकते हैं ${\mathfrak {p}}''_{i}$ जो अनुबंध करता है ${\mathfrak {p}}'_{i}$. संक्रामकता से, वहाँ है $\sigma \in G$ ऐसा है कि $\sigma ({\mathfrak {p}}''_{n})={\mathfrak {p}}'_{n}$ और तब ${\mathfrak {p}}'_{i}=\sigma ({\mathfrak {p}}''_{i})$ वांछित श्रृंखला हैं।

इंटीग्रल क्लोजर

See also: Integral closure of an ideal

मान लीजिए A ⊂ B वलय हैं और A' B में A का समाकलित संवरण है। (परिभाषा के लिए ऊपर देखें।)

इंटीग्रल क्लोजर विभिन्न निर्माणों के तहत अच्छा व्यवहार करते हैं। विशेष रूप से, ए के गुणात्मक रूप से बंद उपसमुच्चय एस के लिए, रिंग एस का स्थानीयकरण^-1A', S का समाकलित समापन है^-1ए इन एस^-1बी, और $A'[t]$ का अभिन्न समापन है $A[t]$ में $B[t]$. अगर $A_{i}$ अंगूठियों के उप-वलय हैं $B_{i},1\leq i\leq n$, फिर का अभिन्न समापन $\prod A_{i}$ में $\prod B_{i}$ है $\prod {A_{i}}'$ कहाँ ${A_{i}}'$ के अभिन्न समापन हैं $A_{i}$ में $B_{i}$. एक स्थानीय रिंग ए का अभिन्न समापन, कहते हैं, बी, स्थानीय होने की आवश्यकता नहीं है। (यदि यह स्थिति है, तो रिंग को यूनिब्रांच स्थानीय अंगूठी कहा जाता है।) उदाहरण के लिए यह मामला है जब ए हेंसेलियन रिंग है और बी ए के अंशों के क्षेत्र का एक क्षेत्र विस्तार है।

यदि A एक क्षेत्र K का उप-वलय है, तो K में A का अभिन्न समापन K के सभी मूल्यांकन रिंगों का प्रतिच्छेदन है जिसमें A है।

मान लीजिए A एक है $\mathbb {N}$एक का ग्रेडेड सबरिंग $\mathbb {N}$-वर्गीकृत अंगूठी बी। फिर बी में ए का अभिन्न बंद होना एक है $\mathbb {N}$-ग्रेडेड सबरिंग ऑफ बी। एक आदर्श के अभिन्न समापन की अवधारणा भी है। एक आदर्श का अभिन्न समापन $I\subset R$, आमतौर पर द्वारा निरूपित किया जाता है ${\overline {I}}$, सभी तत्वों का समुच्चय है $r\in R$ जैसे कि एक मोनिक बहुपद मौजूद है

$x^{n}+a_{1}x^{n-1}+\cdots +a_{n-1}x^{1}+a_{n}$ साथ $a_{i}\in I^{i}$ साथ $r$ जड़ के रूप में। एक आदर्श का रेडिकल अभिन्न रूप से बंद है।

नोथेरियन रिंग्स के लिए, वैकल्पिक परिभाषाएँ भी हैं।

• $r\in {\overline {I}}$ यदि कोई मौजूद है $c\in R$ किसी भी न्यूनतम अभाज्य में समाहित नहीं है, जैसे कि $cr^{n}\in I^{n}$ सभी के लिए $n\geq 1$.
• $r\in {\overline {I}}$ यदि I के सामान्यीकृत ब्लो-अप में, r का पुल बैक I की व्युत्क्रम छवि में समाहित है। एक आदर्श का ब्लो-अप योजनाओं का एक संचालन है जो दिए गए आदर्श को एक प्रमुख आदर्श के साथ बदल देता है। किसी योजना का सामान्यीकरण केवल उसके सभी छल्लों के अभिन्न समापन के अनुरूप योजना है।

एक आदर्श के अभिन्न समापन की धारणा का उपयोग गोइंग अप एंड गोइंग डाउन |गोइंग-डाउन प्रमेय के कुछ प्रमाणों में किया जाता है।

कंडक्टर

Main article: Conductor (ring theory)

मान लीजिए कि B एक वलय है और A एक उप-वलय है जैसे कि B, A पर अभिन्न है। तब A-मॉड्यूल B/A के विनाशक (रिंग थ्योरी) को B में A का संवाहक कहा जाता है। क्योंकि बीजगणितीय में धारणा का मूल है संख्या सिद्धांत, कंडक्टर द्वारा निरूपित किया जाता है ${\mathfrak {f}}={\mathfrak {f}}(B/A)$. स्पष्ट रूप से, ${\mathfrak {f}}$ ए में ऐसे तत्व होते हैं जैसे कि $aB\subset A$. (cf. अमूर्त बीजगणित में आदर्शवादी।) यह A का सबसे बड़ा आदर्श (रिंग थ्योरी) है जो B का भी एक आदर्श है। यदि S, A का गुणनात्मक रूप से बंद उपसमुच्चय है, तब

$S^{-1}{\mathfrak {f}}(B/A)={\mathfrak {f}}(S^{-1}B/S^{-1}A)$.

यदि B, A के अंशों के कुल वलय का एक उपवलय है, तो हम पहचान सकते हैं

${\mathfrak {f}}(B/A)=\operatorname {Hom} _{A}(B,A)$.

उदाहरण: मान लीजिए k एक क्षेत्र है और मान लीजिए $A=k[t^{2},t^{3}]\subset B=k[t]$ (अर्थात, A, affine वक्र का निर्देशांक वलय है $x^{2}=y^{3}$.) B, A का इंटीग्रल क्लोजर है $k(t)$. B में A का संवाहक आदर्श है $(t^{2},t^{3})A$. अधिक सामान्यतः, के कंडक्टर $A=k[[t^{a},t^{b}]]$, ए, बी अपेक्षाकृत प्रधान, है $(t^{c},t^{c+1},\dots )A$ साथ $c=(a-1)(b-1)$. मान लीजिए बी ए के अंशों के क्षेत्र में एक अभिन्न डोमेन ए का अभिन्न समापन है, जैसे कि ए-मॉड्यूल $B/A$ अन्तिम रूप से उत्पन्न होता है। फिर कंडक्टर ${\mathfrak {f}}$ A का एक मॉड्यूल के समर्थन को परिभाषित करने वाला एक आदर्श है $B/A$; इस प्रकार, ए के पूरक में बी के साथ मेल खाता है $V({\mathfrak {f}})$ में $\operatorname {Spec} A$. विशेष रूप से, सेट $\{{\mathfrak {p}}\in \operatorname {Spec} A\mid A_{\mathfrak {p}}{\text{ is integrally closed}}\}$, का पूरक $V({\mathfrak {f}})$, एक खुला सेट है।

इंटीग्रल क्लोजर की परिमितता

एक महत्वपूर्ण लेकिन कठिन प्रश्न एक अंतिम रूप से उत्पन्न बीजगणित के अभिन्न समापन की परिमितता पर है। कई ज्ञात परिणाम हैं।

भिन्नों के क्षेत्र के परिमित विस्तार में डेडेकिंड डोमेन का अभिन्न संवरण डेडेकाइंड डोमेन है; विशेष रूप से, एक नोथेरियन रिंग। यह क्रुल-अकीज़ुकी प्रमेय का परिणाम है। सामान्य तौर पर, अधिक से अधिक 2 पर आयाम के एक नोथेरियन डोमेन का अभिन्न समापन नोथेरियन है; नागाटा ने डायमेंशन 3 नोथेरियन डोमेन का उदाहरण दिया, जिसका इंटीग्रल क्लोजर नोथेरियन नहीं है। एक अच्छा कथन यह है: एक नोथेरियन डोमेन का अभिन्न समापन एक क्रुल डोमेन (मोरी-नागाटा प्रमेय) है। नागाटा ने डायमेंशन 1 नोथेरियन स्थानीय डोमेन का उदाहरण भी दिया, जैसे कि उस डोमेन पर इंटीग्रल क्लोजर परिमित नहीं है। मान लीजिए कि A भिन्न K के क्षेत्र के साथ एक नोथेरियन अभिन्न रूप से बंद डोमेन है। यदि L/K एक परिमित वियोज्य विस्तार है, तो अभिन्न संवरण $A'$ एल में ए का एक सूक्ष्म रूप से उत्पन्न ए-मॉड्यूल है। यह आसान और मानक है (इस तथ्य का उपयोग करता है कि ट्रेस एक गैर-पतित द्विरेखीय रूप को परिभाषित करता है।)

बता दें कि A एक क्षेत्र k पर एक अंतिम रूप से उत्पन्न बीजगणित है, जो अंश K के क्षेत्र के साथ एक अभिन्न डोमेन है। यदि L, K का एक परिमित विस्तार है, तो अभिन्न बंद $A'$ एल में ए का एक अंतिम रूप से उत्पन्न ए-मॉड्यूल है और यह एक अंतिम रूप से उत्पन्न के-बीजगणित भी है। परिणाम नोथेर के कारण है और निम्नानुसार नोथेर सामान्यीकरण लेम्मा का उपयोग करके दिखाया जा सकता है। यह स्पष्ट है कि एल/के या तो वियोज्य या विशुद्ध रूप से अविभाज्य होने पर अभिकथन दिखाने के लिए पर्याप्त है। वियोज्य मामला ऊपर उल्लेख किया गया है, इसलिए मान लें कि L/K विशुद्ध रूप से अविभाज्य है। सामान्यीकरण लेम्मा द्वारा, A बहुपद वलय पर अभिन्न है $S=k[x_{1},...,x_{d}]$. चूँकि L/K एक परिमित विशुद्ध रूप से अविभाज्य विस्तार है, एक अभाज्य संख्या की एक शक्ति q है जैसे कि L का प्रत्येक तत्व K में एक तत्व का q-वाँ मूल है। मान लीजिए $k'$ k का परिमित विस्तार होना चाहिए जिसमें L उत्पन्न करने वाले बहुत से परिमेय फलनों के गुणांकों के सभी q-वें मूल हों। तब हमारे पास है: $L\subset k'(x_{1}^{1/q},...,x_{d}^{1/q}).$ दाईं ओर का वलय के अंशों का क्षेत्र है $k'[x_{1}^{1/q},...,x_{d}^{1/q}]$, जो एस का अभिन्न समापन है; इस प्रकार, शामिल है $A'$. इस तरह, $A'$ S पर परिमित है; a fortiori, A के ऊपर। यदि हम k को 'Z' से प्रतिस्थापित करते हैं तो परिणाम सही रहता है।

ए के अंशों के क्षेत्र के परिमित विस्तार में एक पूर्ण स्थानीय नोथेरियन डोमेन ए का अभिन्न समापन ए पर परिमित है। अधिक सटीक रूप से, एक स्थानीय नोथेरियन रिंग आर के लिए, हमारे पास निहितार्थों की निम्नलिखित श्रृंखलाएँ हैं:

(i) एक पूर्ण $\Rightarrow$ ए नागाटा अंगूठी है

(ii) A एक नागाटा डोमेन है $\Rightarrow$ एक विश्लेषणात्मक रूप से असम्बद्ध $\Rightarrow$ पूरा होने का अभिन्न समापन ${\widehat {A}}$ परिमित है ${\widehat {A}}$ $\Rightarrow$ ए का अभिन्न समापन ए पर परिमित है।

नोएदर का सामान्यीकरण लेम्मा

Main article: Noether normalization lemma

क्रमविनिमेय बीजगणित में नोएदर का सामान्यीकरण का प्रमेय है| क्षेत्र के अंतिम रूप से उत्पन्न K-बीजगणित A दिया गया है, प्रमेय कहता है कि तत्वों को खोजना संभव है₁, और₂, ..., और_m A में जो K पर बीजगणितीय स्वतंत्रता है जैसे कि A परिमित है (और इसलिए अभिन्न) B = K[y पर₁,..., और_m]। इस प्रकार विस्तार K ⊂ A को समग्र K ⊂ B ⊂ A के रूप में लिखा जा सकता है जहाँ K ⊂ B विशुद्ध रूप से पारलौकिक विस्तार है और B ⊂ A परिमित है।

इंटीग्रल मोर्फिज्म

बीजगणितीय ज्यामिति में, एक रूपवाद $f:X\to Y$ योजना का (गणित) अभिन्न है यदि यह विशेषण है और यदि कुछ (समतुल्य,प्रत्येक) विशेषण खुले आवरण के लिए है U_i Y का,हर नक्शा $U_{i}$ $f^{-1}(U_{i})\to U_{i}$ स्वरूप का है $\operatorname {Spec} (A)\to \operatorname {Spec} (B)$ जहाँ A एक अभिन्न B-बीजगणित है। अभिन्न मोर्फिज़्म का वर्ग परिमित आकारिकी के वर्ग की तुलना में अत्यधिक सामान्य है क्योंकि ऐसे अभिन्न विस्तार हैं जो परिमित नहीं हैं, जैसे कि, कई मामलों में, क्षेत्र के बीजगणितीय समापन।

पूर्ण अभिन्न क्लोजर

ए को एक अभिन्न डोमेन और एल (कुछ) ए के अंशों के क्षेत्र के बीजगणितीय बंद होने दें। फिर अभिन्न बंद $A^{+}$ एल में ए को ए का 'पूर्ण अभिन्न समापन' कहा जाता है। यह एक गैर-विहित समरूपता तक अद्वितीय है। सभी बीजगणितीय पूर्णांकों की अंगूठी एक उदाहरण है (और इस प्रकार $A^{+}$ आमतौर पर नोथेरियन नहीं है)।

यह भी देखें

• सामान्य योजना
• कोई सामान्यीकरण लेम्मा नहीं
• बीजगणितीय पूर्णांक
• गैलोइस एक्सटेंशन में प्रमुख आदर्शों का विभाजन
• मरोड़ (बीजगणितीय ज्यामिति)

संदर्भ

• M. Atiyah, I.G. Macdonald, Introduction to Commutative Algebra, Addison–Wesley, 1994. ISBN 0-201-40751-5
• Nicolas Bourbaki, Algèbre commutative, 2006.
• Eisenbud, David (1995), Commutative Algebra with a View Toward Algebraic Geometry, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, ISBN 0-387-94268-8
• Kaplansky, Irving (September 1974). Commutative Rings. Lectures in Mathematics. University of Chicago Press. ISBN 0-226-42454-5.
• Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157
• Matsumura, H (1970), Commutative algebra
• H. Matsumura Commutative ring theory. Translated from the Japanese by M. Reid. Second edition. Cambridge Studies in Advanced Mathematics, 8.
• J. S. Milne, "Algebraic number theory." available at http://www.jmilne.org/math/
• Huneke, Craig; Swanson, Irena (2006), Integral closure of ideals, rings, and modules, London Mathematical Society Lecture Note Series, vol. 336, Cambridge, UK: Cambridge University Press, ISBN 978-0-521-68860-4, MR 2266432, archived from the original on 2019-11-15, retrieved 2011-03-01
• M. Reid, Undergraduate Commutative Algebra, London Mathematical Society, 29, Cambridge University Press, 1995.

अग्रिम पठन

• Irena Swanson, Integral closures of ideals and rings
• Do DG-algebras have any sensible notion of integral closure?
• Is $k[x_{1},\ldots ,x_{n}$ always an integral extension of $k[f_{1},\ldots ,f_{n}]$ for a regular sequence $(f_{1},\ldots ,f_{n})$?]