क्रुल रिंग: Difference between revisions

From Vigyanwiki
Line 37: Line 37:
* अगर <math>L</math> का परिमित बीजगणितीय विस्तार है <math>K</math>, और <math>B</math> का अभिन्न समापन है <math>A</math> में <math>L</math>, तब <math>B</math> एक क्रुल डोमेन है।<ref>Idem, Prop 4.5.</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> विशेष रूप से, डेडेकाइंड डोमेन क्रुल डोमेन हैं। इसके विपरीत, क्रुल डोमेन अभिन्न रूप से बंद हैं, इसलिए एक नोथेरियन डोमेन क्रुल है यदि और केवल अगर यह अभिन्न रूप से बंद है।
#कोई भी विशिष्ट गुणनखण्ड डोमेन एक क्रुल डोमेन है। इसके विपरीत, एक क्रुल डोमेन एक अद्वितीय गुणनखंडन डोमेन है यदि (और केवल तभी) ऊँचाई का प्रत्येक प्रधान आदर्श एक प्रमुख है।<ref>P. Samuel, ''Lectures on Factorial Rings'', Thm. 5.3.</ref><ref>{{SpringerEOM|title = Krull ring |access-date = 2016-04-14}}</ref>  
# अगर <math> A </math> एक क्रुल डोमेन है तो बहुपद अंगूठी भी है <math> A[x] </math> और [[ पावर श्रृंखला की अंगूठी ]] <math> A[[x]] </math>.<ref>Idem, Proposition 4.3 and 4.4.</ref>
#प्रत्येक एकीकृत रूप से बंद [[नोथेरियन रिंग|नोथेरियन]] डोमेन एक क्रुल डोमेन है।<ref>P. Samuel, ''Lectures on Unique Factorization Domains'', Theorem 3.2.</ref> विशेष रूप से, डेडेकाइंड डोमेन क्रुल डोमेन हैं। इसके विपरीत, क्रुल डोमेन अभिन्न रूप से बंद हैं, इसलिए नोथेरियन डोमेन क्रुल है अगर और केवल अगर यह पूरी तरह से बंद है।
# बहुपद वलय <math>R[x_1, x_2, x_3, \ldots]</math> एक अद्वितीय गुणनखंडन डोमेन पर असीम रूप से कई चर <math> R </math> एक क्रुल डोमेन है जो नोथेरियन नहीं है।
# यदि <math> A </math> एक क्रुल डोमेन है तो बहुपद वलय <math> A[x] </math> और औपचारिक घात श्रृंखला वलय <math> A[[x]] </math> भी है।<ref>Idem, Proposition 4.3 and 4.4.</ref>
# होने देना <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>R[x_1, x_2, x_3, \ldots]</math> एक अद्वितीय गुणनखंडन डोमेन पर असीम रूप से कई चर <math> R </math> एक क्रुल डोमेन है जो नोथेरियन नहीं है।
#होने देना <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> 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>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>\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>





Revision as of 16:45, 22 May 2023

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

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

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

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

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

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

अभिन्न डोमेन क्रुल रिंग है, अगर के भिन्न के के क्षेत्र पर असतत मूल्यांकन एक परिवार उपस्थित हैं जैसे:

  1. किसी भी और सभी के लिए, संभवतः उनकी एक सीमित संख्या को छोड़कर, ;
  2. किसी भी के लिए, , का है यदि और केवल यदि सभी के लिए।

मूल्यांकन को का आवश्यक मूल्यांकन कहा जाता है।

दो परिभाषाओं के बीच की कड़ी इस प्रकार है: प्रत्येक के लिए, कोई के एक अद्वितीय सामान्यीकृत मूल्यांकन को संबद्ध कर सकता है जिसका मूल्यांकन वलय है।[3] तब समुच्चय समतुल्य परिभाषा की शर्तों को संतुष्ट करता है। इसके विपरीत, यदि समुच्चय ऊपर जैसा है, और को सामान्यीकृत किया गया है, तो से बड़ा हो सकता है, लेकिन इसमें शामिल होना चाहिए। दूसरे शब्दों में, समान परिभाषा को संतुष्ट करने वाले सामान्यीकृत मूल्यांकन का न्यूनतम सेट है।

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

गुण

ऊपर दिए गए नोटेशन के साथ, मूल्यांकन वलय के अनुरूप सामान्यीकृत मूल्यांकन को दर्शाता है, की इकाइयों के सेट को दर्शाता है, और इसके भागफल क्षेत्र।

  • एक अवयव , से संबंधित है यदि, और केवल यदि, प्रत्येक के लिए है। दरअसल, इस मामले में, प्रत्येक के लिए, इसलिए ; प्रतिच्छेदन गुण द्वारा, इसके विपरीत, यदि और में हैं, तो