क्रुल रिंग: Difference between revisions
From Vigyanwiki
(Created page with "क्रमविनिमेय बीजगणित में, एक क्रुल वलय, या क्रुल डोमेन, एक क्रमविनिम...") |
No edit summary |
||
| (11 intermediate revisions by 5 users not shown) | |||
| Line 1: | Line 1: | ||
क्रमविनिमेय बीजगणित में, | क्रमविनिमेय बीजगणित में, '''क्रुल रिंग''' (रिंग, या क्रुल डोमेन), एक क्रमविनिमेय रिंग है, जिसमें प्रमुख गुणनखंडन का एक अच्छा व्यवहार सिद्धांत है। वे 1931 में [[वोल्फगैंग क्रुल]] द्वारा पेश किए गए थे।<ref>{{harvs|txt|authorlink=Wolfgang Krull|first=Wolfgang |last=Krull|year=1931}}.</ref> वे डेडेकिंड डोमेन का एक उच्च-आयामी सामान्यीकरण हैं, जो अधिकतम 1 पर [[क्रुल आयाम|आयाम]] के क्रुल रिंग हैं। | ||
इस लेख में, | इस लेख में, रिंग क्रमविनिमेय है और इसमें समानता है। | ||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
मान लीजिए कि <math> A </math> एक अभिन्न डोमेन है और <math> P </math> को ऊंचाई के <math> A </math> के सभी प्रमुख आदर्शों का सेट होने दें, यानी सभी प्रमुख आदर्शों का सेट जो उचित रूप से कोई गैर-प्रमुख आदर्श नहीं हैं। तो <math> A </math> क्रूर रिंग है | |||
# <math> A_{\mathfrak{p}} </math> सभी <math> \mathfrak{p} \in P </math> के लिए असतत मूल्यांकन रिंग है। | |||
#<math> A </math> इन असतत मूल्यांकन रिंगों का प्रतिच्छेदन है (<math> A </math> के भागफल क्षेत्र के सबरिंग के रूप में माना जाता है)। | |||
#<math> A </math> का कोई भी गैर-शून्य अवयव ऊंचाई 1 प्रमुख आदर्शों की केवल एक सीमित संख्या में निहित है। | |||
# | |||
मूल्यांकन | केवल मूल्यांकन के माध्यम से क्रुल रिंगों को चिह्नित करना भी संभव है:<ref>P. Samuel, ''Lectures on Unique Factorization Domain'', Theorem 3.5.</ref> | ||
अभिन्न डोमेन <math>A</math> क्रुल रिंग है, अगर <math>A</math> के भिन्न के के क्षेत्र पर असतत मूल्यांकन <math>K</math> एक परिवार <math> \{ v _ {i} \} _ {i \in I } </math> उपस्थित हैं जैसे: | |||
# किसी भी <math> x \in K \setminus \{ 0 \} </math> और सभी <math>i</math> के लिए, संभवतः उनकी एक सीमित संख्या को छोड़कर, <math> v _ {i} ( x) = 0 </math>; | |||
#किसी भी <math> x \in K \setminus \{ 0 \}</math> के लिए, <math> x </math>, <math>A</math> का है यदि और केवल यदि <math> v _ {i} ( x) \geq 0 </math> सभी <math>i \in I </math> के लिए। | |||
मूल्यांकन <math>v_i</math> को <math>A</math> का '''आवश्यक मूल्यांकन''' कहा जाता है। | |||
== | दो परिभाषाओं के बीच की कड़ी इस प्रकार है: प्रत्येक <math>\mathfrak p\in P</math> के लिए, कोई <math>K</math> के एक अद्वितीय सामान्यीकृत मूल्यांकन <math>v_{\mathfrak p}</math> को संबद्ध कर सकता है जिसका मूल्यांकन रिंग <math>A_{\mathfrak p}</math> है।<ref>A discrete valuation <math>v</math> is said to be ''normalized'' if <math>v(O_v) = \mathbb N</math>, where <math>O_v</math> is the valuation ring of <math>v</math>. So, every class of equivalent discrete valuations contains a unique normalized valuation.</ref> तब समुच्चय <math>\mathcal V = \{v_{\mathfrak p}\}</math> समतुल्य परिभाषा की शर्तों को संतुष्ट करता है। इसके विपरीत, यदि समुच्चय <math>\mathcal V' = \{v_i\}</math> ऊपर जैसा है, और <math>v_i</math> को सामान्यीकृत किया गया है, तो <math>\mathcal V'</math> से बड़ा हो सकता है, लेकिन इसमें <math>\mathcal V</math> सम्मिलित होना चाहिए। दूसरे शब्दों में, <math>\mathcal V</math> समान परिभाषा को संतुष्ट करने वाले सामान्यीकृत मूल्यांकन का न्यूनतम सेट है। | ||
क्रुल के रिंग को प्रस्तुत करने और परिभाषित करने के अन्य तरीके हैं I क्रुल के रिंगों के सिद्धांत को विभाजनकारी आदर्शों के सिद्धांत के साथ सहक्रिया में उजागर किया जा सकता है। इस विषय पर सबसे अच्छे पी. सैमुअल का लेक्चर ऑन यूनिक फैक्टराइजेशन डोमेन संदर्भों में से एक है। | |||
== गुण == | |||
ऊपर दिए गए नोटेशन के साथ, <math>v_{\mathfrak p}</math> मूल्यांकन रिंग <math>A_{\mathfrak p}</math> के अनुरूप सामान्यीकृत मूल्यांकन को दर्शाता है, <math>U</math><math>A</math> की इकाइयों के सेट को दर्शाता है, और <math>K</math> इसके भागफल क्षेत्र। | |||
* अवयव <math>x \in K</math>, <math>U</math> से संबंधित है यदि, और केवल यदि, प्रत्येक <math>\mathfrak p \in P</math> के लिए <math>v_{\mathfrak p} (x) = 0</math> है। दरअसल, इस मामले में, <math>x \not\in A_{\mathfrak p}\mathfrak p</math> प्रत्येक <math>\mathfrak p\in P</math> के लिए, इसलिए <math>x^{-1} \in A_{\mathfrak p}</math>; प्रतिच्छेदन गुण द्वारा, <math>x^{-1}\in A</math> इसके विपरीत, यदि <math>x</math> और <math>x^{-1}</math> <math>A</math> में हैं, तो <math>v_{\mathfrak p} (xx^{-1}) = v_{\mathfrak p} (1) = 0 = v_{\mathfrak p} (x) + v_{\mathfrak p} (x^{-1})</math>, इसलिए <math>v_{\mathfrak p} (x) = v_{\mathfrak p} (x^{-1}) = 0</math>, क्योंकि दोनों संख्याएँ <math>\geq 0</math> होनी चाहिए। | |||
* अवयव <math>x \in A</math> विशिष्ट रूप से, <math>A</math> की इकाई तक, मानों <math>v_{\mathfrak p} (x)</math>, <math>\mathfrak p \in P</math> द्वारा निर्धारित किया जाता है। दरअसल, यदि <math>v_{\mathfrak p} (x) = v_{\mathfrak p} (y)</math> प्रत्येक <math>\mathfrak p \in P</math> के लिए, तब <math>v_{\mathfrak p} (xy^{-1}) = 0</math>, इसलिए <math>xy^{-1}\in U</math> उपरोक्त गुण द्वारा। इससे पता चलता है कि अनुप्रयोग <math>x\ {\rm mod}\ U\mapsto \left(v_{\mathfrak p}(x) \right)_{\mathfrak p \in P}</math>अच्छी तरह से परिभाषित है, और चूँकि <math>v_{\mathfrak p}(x)\not = 0</math> केवल बहुत सारे <math>\mathfrak p</math> के लिए है, यह <math>P</math> के अवयवों से उत्पन्न मुक्त एबेलियन समूह में <math>A^{\times}/U</math> का अंतःस्थापन है। इस प्रकार, बाद के समूह के लिए गुणात्मक संकेतन "⋅ \cdot" का उपयोग करते हुए, प्रत्येक <math>x\in A^\times</math>, <math>x = 1\cdot \mathfrak p_1^{\alpha_1}\cdot\mathfrak p_2^{\alpha_2}\cdots \mathfrak p_n^{\alpha_n}\ {\rm mod}\ U</math>, जहां <math>\mathfrak p_i</math> <math>P</math> वाले <math>x</math> के अवयव हैं, और <math>\alpha_i = v_{\mathfrak p_i} (x)</math>। | |||
* | |||
* मूल्यांकन <math>v_{\mathfrak p} </math> युग्म रूप से स्वतंत्र हैं।<ref>If <math>v_{\mathfrak p_1} </math> and <math>v_{\mathfrak p_2} </math>were both finer than a common valuation <math>w</math> of <math>K</math>, the ideals <math>A_{\mathfrak p_1}\mathfrak p_1</math> and <math>A_{\mathfrak p_2}\mathfrak p_2</math> of their corresponding valuation rings would contain properly the prime ideal <math>\mathfrak p_w= \{x\in K:\ w(x) > 0\},</math> hence <math>\mathfrak p_1</math> and <math>\mathfrak p_2</math> would contain the prime ideal <math>\mathfrak p_w\cap A</math> of <math>A</math>, which is forbidden by definition.</ref> फलस्वरूप, तथाकथित कमजोर सन्निकटन प्रमेय है,<ref>See Moshe Jarden, ''Intersections of local algebraic extensions of a Hilbertian field '', in A. Barlotti et al., Generators and Relations in Groups and Geometries, Dordrecht, Kluwer, coll., NATO ASI Series C (no 333), 1991, p. 343-405. Read online: [https://archive.wikiwix.com/cache/?url=http%3A%2F%2Fwww.math.tau.ac.il%2F~jarden%2FArticles%2Fpaper56.pdf archive], p. 17, Prop. 4.4, 4.5 and Rmk 4.6.</ref> चीनी शेष प्रमेय का समरूपता: यदि <math>\mathfrak p_1, \ldots \mathfrak p_n</math> के विशिष्ट अवयव हैं <math>P</math>, <math> x_1,\ldots x_n</math> के संबंधित <math>K</math> (प्रति. <math>A_{\mathfrak p}</math>), और <math>a_1, \ldots a_n</math> हैं <math>n</math> प्राकृतिक संख्याएँ हैं, तो <math>x\in K</math> वहाँ उपस्थित हैं (प्रति. <math>x\in A_{\mathfrak p}</math>) जैसे कि <math>v_{\mathfrak p_i} (x - x_i) = n_i</math> प्रत्येक <math>i</math> के लिए। | |||
* <math>A</math> के दो अवयव <math>x</math> और <math>y</math> सहअभाज्य हैं यदि <math>v_{\mathfrak p} (x) </math> और <math>v_{\mathfrak p} (y)</math> दोनों <math>\mathfrak p\in P</math> के लिए <math>> 0</math> दोनों नहीं हैं। मूल्यांकन के बुनियादी गुणों का अर्थ है कि <math>A</math> में कॉप्रिमैलिटी का एक अच्छा सिद्धांत है। | |||
*<math>A</math> की प्रत्येक अभाज्य गुणजावली में <math>P</math> का अवयव होता है।<ref>P. Samuel, ''Lectures on Unique Factorization Domains'', Lemma 3.3.</ref> | |||
*क्रुल डोमेन का कोई भी परिमित प्रतिच्छेदन जिसमें समान भागफल क्षेत्र होता है, फिर से क्रुल डोमेन होता है।<ref>Idem, Prop 4.1 and Corollary (a).</ref> | |||
* अगर <math>L</math> का उपक्षेत्र है <math>K</math>, तब <math>A\cap L</math> क्रुल डोमेन है।<ref>Idem, Prop 4.1 and Corollary (b).</ref> | |||
* अगर <math>S\subset A</math> गुणनात्मक रूप से बंद समुच्चय है जिसमें 0 नहीं है, भागफल का रिंग <math>S^{-1}A</math> फिर से क्रुल डोमेन है। वास्तव में, के आवश्यक मूल्यांकन <math>S^{-1}A</math> क्या वे मूल्यांकन हैं <math>v_{\mathfrak p}</math> (<math>K</math> का) जिसके लिए <math>\mathfrak p \cap S = \emptyset</math>.<ref>Idem, Prop. 4.2.</ref> | |||
* अगर <math>L</math> का परिमित बीजगणितीय विस्तार है <math>K</math>, और <math>B</math> का अभिन्न समापन है <math>A</math> में <math>L</math>, तब <math>B</math> क्रुल डोमेन है।<ref>Idem, Prop 4.5.</ref> | |||
== उदाहरण == | == उदाहरण == | ||
#कोई भी | #कोई भी विशिष्ट गुणनखण्ड डोमेन क्रुल डोमेन है। इसके विपरीत, क्रुल डोमेन अद्वितीय गुणनखंडन डोमेन है यदि (और केवल तभी) ऊँचाई का प्रत्येक प्रधान आदर्श एक प्रमुख है।<ref>P. Samuel, ''Lectures on Factorial Rings'', Thm. 5.3.</ref><ref>{{SpringerEOM|title = Krull ring |access-date = 2016-04-14}}</ref> | ||
# | #प्रत्येक एकीकृत रूप से बंद [[नोथेरियन रिंग|नोथेरियन]] डोमेन क्रुल डोमेन है।<ref>P. Samuel, ''Lectures on Unique Factorization Domains'', Theorem 3.2.</ref> विशेष रूप से, डेडेकाइंड डोमेन क्रुल डोमेन हैं। इसके विपरीत, क्रुल डोमेन अभिन्न रूप से बंद हैं, इसलिए नोथेरियन डोमेन क्रुल है अगर और केवल अगर यह पूरी तरह से बंद है। | ||
# बहुपद | # यदि <math> A </math> क्रुल डोमेन है तो बहुपद रिंग <math> A[x] </math> और औपचारिक घात श्रृंखला रिंग <math> A[[x]] </math> भी है।<ref>Idem, Proposition 4.3 and 4.4.</ref> | ||
# | #बहुपद रिंग <math>R[x_1, x_2, x_3, \ldots]</math> अद्वितीय गुणनखंडन डोमेन पर असीम रूप से कई चर <math> R </math> क्रुल डोमेन है जो नोथेरियन नहीं है। | ||
# | # मान लेते हैं <math> A </math> [[भागफल क्षेत्र]] के साथ एक नोथेरियन रिंग इंटीग्रल डोमेन बनें <math> K </math>, और <math> L </math> का क्षेत्र विस्तार हो <math> K </math>. फिर का अभिन्न समापन <math> A </math> में <math> L </math> क्रुल डोमेन (मोरी-नागाटा प्रमेय) है।<ref>{{Cite book|url = https://books.google.com/books?id=APPtnn84FMIC|title = आइडियल्स, रिंग्स और मॉड्यूल्स का इंटीग्रल क्लोजर|last = Huneke|first = Craig|last2 = Swanson|first2 = Irena|author2-link= Irena Swanson |date = 2006-10-12|publisher = Cambridge University Press|isbn = 9780521688604|language = en}}</ref> यह ऊपर नंबर 2 से आसानी से अनुसरण करता है। | ||
# | #मान लेते हैं <math>A</math> [[जरिस्की रिंग]] हो (उदाहरण के लिए, एक स्थानीय नोथेरियन रिंग)। अगर पूरा हो रहा है <math>\widehat{A}</math> क्रुल डोमेन है, फिर <math>A</math> क्रुल डोमेन (मोरी) है।<ref>Bourbaki, 7.1, no 10, Proposition 16.</ref><ref>P. Samuel, ''Lectures on Unique Factorization Domains'', Thm. 6.5.</ref> | ||
#मान लेते हैं<math>A</math> क्रुल डोमेन हो, और <math>V</math> एक प्रमुख अवयव की शक्तियों में सम्मिलित गुणात्मक रूप से बंद सेट हो <math>p\in A</math>. तब <math>S^{-1}A</math> क्रुल डोमेन (नागाटा) है।<ref>P. Samuel, ''Lectures on Unique Factorization Domains'', Thm. 6.3.</ref> | |||
== क्रुल रिंग का भाजक वर्ग समूह == | |||
मान लें कि <math>A</math> क्रुल डोमेन है और <math>K</math> उसका विभाग क्षेत्र है। <math>A</math> का अभाज्य भाजक, <math>A</math> की ऊँचाई 1 अभाज्य गुणजावली है। अगली कड़ी में <math>A</math> के अभाज्य भाजकों के समुच्चय को <math>P(A)</math> से दर्शाया जाएगा। <math>A</math> का विभाजक अभाज्य भाजकों का एक औपचारिक समाकल रैखिक संयोजन है। वे एक एबेलियन समूह बनाते हैं, <math>D(A)</math> ने उल्लेख किया है। <math>div(x)=\sum_{p\in P}v_p(x)\cdot p</math>d के रूप का भाजक, <math>K</math> में कुछ गैर-शून्य <math>x</math> के लिए, प्रधान भाजक कहलाता है। <math>A</math> के प्रमुख विभाजक, भाजकों के समूह का एक उपसमूह बनाते हैं (यह ऊपर दिखाया गया है कि यह समूह <math>A^\times /U</math> के लिए समरूप है, जहाँ <math>U</math>, <math>A</math> की एकता का समूह है)। प्रधान भाजकों के उपसमूह द्वारा विभाजकों के समूह के भागफल को <math>A</math> का भाजक वर्ग समूह कहा जाता है; इसे सामान्यतः <math>C(A)</math> द्वारा निरूपित किया जाता है। | |||
मान लें कि <math>B</math> क्रुल डोमेन है जिसमें <math>A</math> है। हमेशा की तरह, हम कहते हैं कि <math>B</math> <math>\mathfrak P</math> का अभाज्य गुणज <math>\mathfrak p</math> <math>A</math> के अभाज्य गुणज p के ऊपर स्थित होता है यदि <math>\mathfrak P\cap A = \mathfrak p</math> इसे <math>\mathfrak P|\mathfrak p</math> में संक्षिप्त किया जाता है पी। | |||
के शाखा सूचकांक को निरूपित करें <math>v_{\mathfrak P}</math> ऊपर <math>v_{\mathfrak p}</math> द्वारा <math>e(\mathfrak P,\mathfrak p)</math>, और तक <math>P(B)</math> के प्रधान विभाजक का सेट <math>B</math>. एप्लिकेशन को परिभाषित करें <math>P(A)\to D(B)</math> द्वारा | के शाखा सूचकांक को निरूपित करें <math>v_{\mathfrak P}</math> ऊपर <math>v_{\mathfrak p}</math> द्वारा <math>e(\mathfrak P,\mathfrak p)</math>, और तक <math>P(B)</math> के प्रधान विभाजक का सेट <math>B</math>. एप्लिकेशन को परिभाषित करें <math>P(A)\to D(B)</math> द्वारा | ||
:<math> j(\mathfrak p) = \sum_{\mathfrak P|\mathfrak p,\ \mathfrak P\in P(B)} e(\mathfrak P, \mathfrak p) \mathfrak P</math> | :<math> j(\mathfrak p) = \sum_{\mathfrak P|\mathfrak p,\ \mathfrak P\in P(B)} e(\mathfrak P, \mathfrak p) \mathfrak P</math> | ||
(उपरोक्त राशि प्रत्येक के बाद से परिमित है <math>x\in \mathfrak p</math> के अधिक से अधिक सूक्ष्म रूप से अनेक | (उपरोक्त राशि प्रत्येक के बाद से परिमित है <math>x\in \mathfrak p</math> के अधिक से अधिक सूक्ष्म रूप से अनेक अवयवों में समाहित है <math>P(B)</math>) | ||
एप्लीकेशन का विस्तार करें <math>j</math> एक रैखिक अनुप्रयोग के लिए रैखिकता द्वारा <math>D(A)\to D(B)</math>अब कोई पूछ सकता है कि किन स्थिति में <math>j</math> रूपवाद उत्पन्न करता है <math>\bar j:C(A)\to C(B)</math>. इससे कई परिणाम निकलते हैं।<ref>P. Samuel, ''Lectures on Unique Factorization Domains'', p. 14-25.</ref> | |||
उदाहरण के लिए, निम्नलिखित गॉस के एक प्रमेय का सामान्यीकरण करता है: एप्लीकेशन <math>\bar j:C(A)\to C(A[X])</math> विशेषण है। विशेष रूप से, अगर <math>A</math> अद्वितीय कारककरण डोमेन है, तो ऐसा है <math>A[X]</math>.<ref>Idem, Thm. 6.4.</ref> | |||
क्रुल रिंग्स के विभाजक वर्ग समूह का उपयोग शक्तिशाली वंश विधियों और विशेष रूप से गैलोज़ियन वंश को स्थापित करने के लिए किया जाता है।<ref>See P. Samuel, ''Lectures on Unique Factorization Domains'', P. 45-64.</ref> | |||
== [[कार्टियर भाजक]] == | == [[कार्टियर भाजक]] == | ||
क्रुल रिंग का कार्टियर भाजक स्थानीय | क्रुल रिंग का कार्टियर भाजक एक स्थानीय प्रधान (वील) भाजक है। कार्टियर विभाजक प्रधान विभाजक वाले विभाजकों के समूह के एक उपसमूह का निर्माण करते हैं। प्रमुख विभाजकों द्वारा कार्टियर विभाजकों का भाग भाजक वर्ग समूह का एक उपसमूह है, जो स्पेक (''A'') पर [[पिकार्ड समूह]] के पिकार्ड समूह के लिए समरूप है। | ||
उदाहरण: रिंग ''k''[''x'',''y'',''z'']/(''xy''–''z''<sup>2</sup>) में भाजक वर्ग समूह का क्रम 2 है, जो भाजक y=z द्वारा उत्पन्न होता है, लेकिन पिकार्ड उपसमूह तुच्छ समूह है।<ref>Hartshorne, GTM52, Example 6.5.2, p.133 and Example 6.11.3, p.142.</ref> | |||
==संदर्भ== | ==संदर्भ== | ||
{{reflist}} | {{reflist}} | ||
| Line 78: | Line 71: | ||
* 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}} | * 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}} | ||
*{{Citation | last1=Samuel | first1=Pierre | author1-link=Pierre Samuel | editor1-last=Murthy | editor1-first=M. Pavman | title=Lectures on unique factorization domains | url=http://www.math.tifr.res.in/~publ/ln/ | publisher=Tata Institute of Fundamental Research | location=Bombay | series=Tata Institute of Fundamental Research Lectures on Mathematics |mr=0214579 | year=1964 | volume=30}} | *{{Citation | last1=Samuel | first1=Pierre | author1-link=Pierre Samuel | editor1-last=Murthy | editor1-first=M. Pavman | title=Lectures on unique factorization domains | url=http://www.math.tifr.res.in/~publ/ln/ | publisher=Tata Institute of Fundamental Research | location=Bombay | series=Tata Institute of Fundamental Research Lectures on Mathematics |mr=0214579 | year=1964 | volume=30}} | ||
[[Category: | [[Category:CS1 English-language sources (en)]] | ||
[[Category:Created On 18/05/2023]] | [[Category:Created On 18/05/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with maths render errors]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:क्रमविनिमेय बीजगणित]] | |||
[[Category:रिंग थ्योरी]] | |||
Latest revision as of 16:51, 5 September 2023
क्रमविनिमेय बीजगणित में, क्रुल रिंग (रिंग, या क्रुल डोमेन), एक क्रमविनिमेय रिंग है, जिसमें प्रमुख गुणनखंडन का एक अच्छा व्यवहार सिद्धांत है। वे 1931 में वोल्फगैंग क्रुल द्वारा पेश किए गए थे।[1] वे डेडेकिंड डोमेन का एक उच्च-आयामी सामान्यीकरण हैं, जो अधिकतम 1 पर आयाम के क्रुल रिंग हैं।
इस लेख में, रिंग क्रमविनिमेय है और इसमें समानता है।
औपचारिक परिभाषा
मान लीजिए कि एक अभिन्न डोमेन है और को ऊंचाई के के सभी प्रमुख आदर्शों का सेट होने दें, यानी सभी प्रमुख आदर्शों का सेट जो उचित रूप से कोई गैर-प्रमुख आदर्श नहीं हैं। तो