क्रुल रिंग

क्रमविनिमेय बीजगणित में, क्रुल रिंग (रिंग, या क्रुल डोमेन), एक क्रमविनिमेय रिंग है, जिसमें प्रमुख गुणनखंडन का एक अच्छा व्यवहार सिद्धांत है। वे 1931 में वोल्फगैंग क्रुल द्वारा पेश किए गए थे। वे डेडेकिंड डोमेन का एक उच्च-आयामी सामान्यीकरण हैं, जो अधिकतम 1 पर आयाम के क्रुल रिंग हैं।

इस लेख में, रिंग क्रमविनिमेय है और इसमें समानता है।

औपचारिक परिभाषा

मान लीजिए कि $A$ एक अभिन्न डोमेन है और $P$ को ऊंचाई के $A$ के सभी प्रमुख आदर्शों का सेट होने दें, यानी सभी प्रमुख आदर्शों का सेट जो उचित रूप से कोई गैर-प्रमुख आदर्श नहीं हैं। तो $A$ क्रूर रिंग है

1. $A_{\mathfrak {p}}$ सभी ${\mathfrak {p}}\in P$ के लिए असतत मूल्यांकन रिंग है।
2. $A$ इन असतत मूल्यांकन रिंगों का प्रतिच्छेदन है ($A$ के भागफल क्षेत्र के सबरिंग के रूप में माना जाता है)।
3. $A$ का कोई भी गैर-शून्य अवयव ऊंचाई 1 प्रमुख आदर्शों की केवल एक सीमित संख्या में निहित है।

केवल मूल्यांकन के माध्यम से क्रुल रिंगों को चिह्नित करना भी संभव है:

अभिन्न डोमेन $A$ क्रुल रिंग है, अगर $A$ के भिन्न के के क्षेत्र पर असतत मूल्यांकन $K$ एक परिवार $\{v_{i}\}_{i\in I}$ उपस्थित हैं जैसे:

1. किसी भी $x\in K\setminus \{0\}$ और सभी $i$ के लिए, संभवतः उनकी एक सीमित संख्या को छोड़कर, $v_{i}(x)=0$;
2. किसी भी $x\in K\setminus \{0\}$ के लिए, $x$, $A$ का है यदि और केवल यदि $v_{i}(x)\geq 0$ सभी $i\in I$ के लिए।

मूल्यांकन $v_{i}$ को $A$ का आवश्यक मूल्यांकन कहा जाता है।

दो परिभाषाओं के बीच की कड़ी इस प्रकार है: प्रत्येक ${\mathfrak {p}}\in P$ के लिए, कोई $K$ के एक अद्वितीय सामान्यीकृत मूल्यांकन $v_{\mathfrak {p}}$ को संबद्ध कर सकता है जिसका मूल्यांकन रिंग $A_{\mathfrak {p}}$ है। तब समुच्चय ${\mathcal {V}}=\{v_{\mathfrak {p}}\}$ समतुल्य परिभाषा की शर्तों को संतुष्ट करता है। इसके विपरीत, यदि समुच्चय ${\mathcal {V}}'=\{v_{i}\}$ ऊपर जैसा है, और $v_{i}$ को सामान्यीकृत किया गया है, तो ${\mathcal {V}}'$ से बड़ा हो सकता है, लेकिन इसमें ${\mathcal {V}}$ सम्मिलित होना चाहिए। दूसरे शब्दों में, ${\mathcal {V}}$ समान परिभाषा को संतुष्ट करने वाले सामान्यीकृत मूल्यांकन का न्यूनतम सेट है।

क्रुल के रिंग को प्रस्तुत करने और परिभाषित करने के अन्य तरीके हैं I क्रुल के रिंगों के सिद्धांत को विभाजनकारी आदर्शों के सिद्धांत के साथ सहक्रिया में उजागर किया जा सकता है। इस विषय पर सबसे अच्छे पी. सैमुअल का लेक्चर ऑन यूनिक फैक्टराइजेशन डोमेन संदर्भों में से एक है।

गुण

ऊपर दिए गए नोटेशन के साथ, $v_{\mathfrak {p}}$ मूल्यांकन रिंग $A_{\mathfrak {p}}$ के अनुरूप सामान्यीकृत मूल्यांकन को दर्शाता है, $U$$A$ की इकाइयों के सेट को दर्शाता है, और $K$ इसके भागफल क्षेत्र।

• अवयव $x\in K$, $U$ से संबंधित है यदि, और केवल यदि, प्रत्येक ${\mathfrak {p}}\in P$ के लिए $v_{\mathfrak {p}}(x)=0$ है। दरअसल, इस मामले में, $x\not \in A_{\mathfrak {p}}{\mathfrak {p}}$ प्रत्येक ${\mathfrak {p}}\in P$ के लिए, इसलिए $x^{-1}\in A_{\mathfrak {p}}$; प्रतिच्छेदन गुण द्वारा, $x^{-1}\in A$ इसके विपरीत, यदि $x$ और $x^{-1}$ $A$ में हैं, तो $v_{\mathfrak {p}}(xx^{-1})=v_{\mathfrak {p}}(1)=0=v_{\mathfrak {p}}(x)+v_{\mathfrak {p}}(x^{-1})$, इसलिए $v_{\mathfrak {p}}(x)=v_{\mathfrak {p}}(x^{-1})=0$, क्योंकि दोनों संख्याएँ $\geq 0$ होनी चाहिए।
• अवयव $x\in A$ विशिष्ट रूप से, $A$ की इकाई तक, मानों $v_{\mathfrak {p}}(x)$, ${\mathfrak {p}}\in P$ द्वारा निर्धारित किया जाता है। दरअसल, यदि $v_{\mathfrak {p}}(x)=v_{\mathfrak {p}}(y)$ प्रत्येक ${\mathfrak {p}}\in P$ के लिए, तब $v_{\mathfrak {p}}(xy^{-1})=0$, इसलिए $xy^{-1}\in U$ उपरोक्त गुण द्वारा। इससे पता चलता है कि अनुप्रयोग $x\ {\rm {mod}}\ U\mapsto \left(v_{\mathfrak {p}}(x)\right)_{{\mathfrak {p}}\in P}$अच्छी तरह से परिभाषित है, और चूँकि $v_{\mathfrak {p}}(x)\not =0$ केवल बहुत सारे ${\mathfrak {p}}$ के लिए है, यह $P$ के अवयवों से उत्पन्न मुक्त एबेलियन समूह में $A^{\times }/U$ का अंतःस्थापन है। इस प्रकार, बाद के समूह के लिए गुणात्मक संकेतन "⋅ \cdot" का उपयोग करते हुए, प्रत्येक $x\in A^{\times }$, $x=1\cdot {\mathfrak {p}}_{1}^{\alpha _{1}}\cdot {\mathfrak {p}}_{2}^{\alpha _{2}}\cdots {\mathfrak {p}}_{n}^{\alpha _{n}}\ {\rm {mod}}\ U$, जहां ${\mathfrak {p}}_{i}$ $P$ वाले $x$ के अवयव हैं, और $\alpha _{i}=v_{{\mathfrak {p}}_{i}}(x)$।
• मूल्यांकन $v_{\mathfrak {p}}$ युग्म रूप से स्वतंत्र हैं। फलस्वरूप, तथाकथित कमजोर सन्निकटन प्रमेय है, चीनी शेष प्रमेय का समरूपता: यदि ${\mathfrak {p}}_{1},\ldots {\mathfrak {p}}_{n}$ के विशिष्ट अवयव हैं $P$, $x_{1},\ldots x_{n}$ के संबंधित $K$ (प्रति. $A_{\mathfrak {p}}$), और $a_{1},\ldots a_{n}$ हैं $n$ प्राकृतिक संख्याएँ हैं, तो $x\in K$ वहाँ उपस्थित हैं (प्रति. $x\in A_{\mathfrak {p}}$) जैसे कि $v_{{\mathfrak {p}}_{i}}(x-x_{i})=n_{i}$ प्रत्येक $i$ के लिए।
• $A$ के दो अवयव $x$ और $y$ सहअभाज्य हैं यदि $v_{\mathfrak {p}}(x)$ और $v_{\mathfrak {p}}(y)$ दोनों ${\mathfrak {p}}\in P$ के लिए $>0$ दोनों नहीं हैं। मूल्यांकन के बुनियादी गुणों का अर्थ है कि $A$ में कॉप्रिमैलिटी का एक अच्छा सिद्धांत है।
• $A$ की प्रत्येक अभाज्य गुणजावली में $P$ का अवयव होता है।
• क्रुल डोमेन का कोई भी परिमित प्रतिच्छेदन जिसमें समान भागफल क्षेत्र होता है, फिर से क्रुल डोमेन होता है।
• अगर $L$ का उपक्षेत्र है $K$, तब $A\cap L$ क्रुल डोमेन है।
• अगर $S\subset A$ गुणनात्मक रूप से बंद समुच्चय है जिसमें 0 नहीं है, भागफल का रिंग $S^{-1}A$ फिर से क्रुल डोमेन है। वास्तव में, के आवश्यक मूल्यांकन $S^{-1}A$ क्या वे मूल्यांकन हैं $v_{\mathfrak {p}}$ ($K$ का) जिसके लिए ${\mathfrak {p}}\cap S=\emptyset$.
• अगर $L$ का परिमित बीजगणितीय विस्तार है $K$, और $B$ का अभिन्न समापन है $A$ में $L$, तब $B$ क्रुल डोमेन है।

उदाहरण

1. कोई भी विशिष्ट गुणनखण्ड डोमेन क्रुल डोमेन है। इसके विपरीत, क्रुल डोमेन अद्वितीय गुणनखंडन डोमेन है यदि (और केवल तभी) ऊँचाई का प्रत्येक प्रधान आदर्श एक प्रमुख है।
2. प्रत्येक एकीकृत रूप से बंद नोथेरियन डोमेन क्रुल डोमेन है। विशेष रूप से, डेडेकाइंड डोमेन क्रुल डोमेन हैं। इसके विपरीत, क्रुल डोमेन अभिन्न रूप से बंद हैं, इसलिए नोथेरियन डोमेन क्रुल है अगर और केवल अगर यह पूरी तरह से बंद है।
3. यदि $A$ क्रुल डोमेन है तो बहुपद रिंग $A[x]$ और औपचारिक घात श्रृंखला रिंग $A[[x]]$ भी है।
4. बहुपद रिंग $R[x_{1},x_{2},x_{3},\ldots ]$ अद्वितीय गुणनखंडन डोमेन पर असीम रूप से कई चर $R$ क्रुल डोमेन है जो नोथेरियन नहीं है।
5. मान लेते हैं $A$ भागफल क्षेत्र के साथ एक नोथेरियन रिंग इंटीग्रल डोमेन बनें $K$, और $L$ का क्षेत्र विस्तार हो $K$. फिर का अभिन्न समापन $A$ में $L$ क्रुल डोमेन (मोरी-नागाटा प्रमेय) है। यह ऊपर नंबर 2 से आसानी से अनुसरण करता है।
6. मान लेते हैं $A$ जरिस्की रिंग हो (उदाहरण के लिए, एक स्थानीय नोथेरियन रिंग)। अगर पूरा हो रहा है ${\widehat {A}}$ क्रुल डोमेन है, फिर $A$ क्रुल डोमेन (मोरी) है।
7. मान लेते हैं$A$ क्रुल डोमेन हो, और $V$ एक प्रमुख अवयव की शक्तियों में सम्मिलित गुणात्मक रूप से बंद सेट हो $p\in A$. तब $S^{-1}A$ क्रुल डोमेन (नागाटा) है।

क्रुल रिंग का भाजक वर्ग समूह

मान लें कि $A$ क्रुल डोमेन है और $K$ उसका विभाग क्षेत्र है। $A$ का अभाज्य भाजक, $A$ की ऊँचाई 1 अभाज्य गुणजावली है। अगली कड़ी में $A$ के अभाज्य भाजकों के समुच्चय को $P(A)$ से दर्शाया जाएगा। $A$ का विभाजक अभाज्य भाजकों का एक औपचारिक समाकल रैखिक संयोजन है। वे एक एबेलियन समूह बनाते हैं, $D(A)$ ने उल्लेख किया है। $div(x)=\sum _{p\in P}v_{p}(x)\cdot p$d के रूप का भाजक, $K$ में कुछ गैर-शून्य $x$ के लिए, प्रधान भाजक कहलाता है। $A$ के प्रमुख विभाजक, भाजकों के समूह का एक उपसमूह बनाते हैं (यह ऊपर दिखाया गया है कि यह समूह $A^{\times }/U$ के लिए समरूप है, जहाँ $U$, $A$ की एकता का समूह है)। प्रधान भाजकों के उपसमूह द्वारा विभाजकों के समूह के भागफल को $A$ का भाजक वर्ग समूह कहा जाता है; इसे सामान्यतः $C(A)$ द्वारा निरूपित किया जाता है।

मान लें कि $B$ क्रुल डोमेन है जिसमें $A$ है। हमेशा की तरह, हम कहते हैं कि $B$ ${\mathfrak {P}}$ का अभाज्य गुणज ${\mathfrak {p}}$ $A$ के अभाज्य गुणज p के ऊपर स्थित होता है यदि ${\mathfrak {P}}\cap A={\mathfrak {p}}$ इसे ${\mathfrak {P}}|{\mathfrak {p}}$ में संक्षिप्त किया जाता है पी।

के शाखा सूचकांक को निरूपित करें $v_{\mathfrak {P}}$ ऊपर $v_{\mathfrak {p}}$ द्वारा $e({\mathfrak {P}},{\mathfrak {p}})$, और तक $P(B)$ के प्रधान विभाजक का सेट $B$. एप्लिकेशन को परिभाषित करें $P(A)\to D(B)$ द्वारा

$j({\mathfrak {p}})=\sum _{{\mathfrak {P}}|{\mathfrak {p}},\ {\mathfrak {P}}\in P(B)}e({\mathfrak {P}},{\mathfrak {p}}){\mathfrak {P}}$

(उपरोक्त राशि प्रत्येक के बाद से परिमित है $x\in {\mathfrak {p}}$ के अधिक से अधिक सूक्ष्म रूप से अनेक अवयवों में समाहित है $P(B)$)

एप्लीकेशन का विस्तार करें $j$ एक रैखिक अनुप्रयोग के लिए रैखिकता द्वारा $D(A)\to D(B)$अब कोई पूछ सकता है कि किन स्थिति में $j$ रूपवाद उत्पन्न करता है ${\bar {j}}:C(A)\to C(B)$. इससे कई परिणाम निकलते हैं।

उदाहरण के लिए, निम्नलिखित गॉस के एक प्रमेय का सामान्यीकरण करता है: एप्लीकेशन ${\bar {j}}:C(A)\to C(A[X])$ विशेषण है। विशेष रूप से, अगर $A$ अद्वितीय कारककरण डोमेन है, तो ऐसा है $A[X]$.

क्रुल रिंग्स के विभाजक वर्ग समूह का उपयोग शक्तिशाली वंश विधियों और विशेष रूप से गैलोज़ियन वंश को स्थापित करने के लिए किया जाता है।

कार्टियर भाजक

क्रुल रिंग का कार्टियर भाजक एक स्थानीय प्रधान (वील) भाजक है। कार्टियर विभाजक प्रधान विभाजक वाले विभाजकों के समूह के एक उपसमूह का निर्माण करते हैं। प्रमुख विभाजकों द्वारा कार्टियर विभाजकों का भाग भाजक वर्ग समूह का एक उपसमूह है, जो स्पेक (A) पर पिकार्ड समूह के पिकार्ड समूह के लिए समरूप है।

उदाहरण: रिंग k[x,y,z]/(xy–z²) में भाजक वर्ग समूह का क्रम 2 है, जो भाजक y=z द्वारा उत्पन्न होता है, लेकिन पिकार्ड उपसमूह तुच्छ समूह है।

संदर्भ

• N. Bourbaki. Commutative algebra.
• "Krull ring", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Krull, Wolfgang (1931), "Allgemeine Bewertungstheorie", J. Reine Angew. Math., 167: 160–196, archived from the original on January 6, 2013
• Hideyuki Matsumura, Commutative Algebra. Second Edition. Mathematics Lecture Note Series, 56. Benjamin/Cummings Publishing Co., Inc., Reading, Mass., 1980. xv+313 pp. ISBN 0-8053-7026-9
• Hideyuki Matsumura, Commutative Ring Theory. Translated from the Japanese by M. Reid. Cambridge Studies in Advanced Mathematics, 8. Cambridge University Press, Cambridge, 1986. xiv+320 pp. ISBN 0-521-25916-9
• Samuel, Pierre (1964), Murthy, M. Pavman (ed.), Lectures on unique factorization domains, Tata Institute of Fundamental Research Lectures on Mathematics, vol. 30, Bombay: Tata Institute of Fundamental Research, MR 0214579