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

From Vigyanwiki
(Created page with "क्रमविनिमेय बीजगणित में, एक क्रुल वलय, या क्रुल डोमेन, एक क्रमविनिम...")
 
No edit summary
Line 1: Line 1:
क्रमविनिमेय बीजगणित में, एक क्रुल वलय, या क्रुल डोमेन, एक क्रमविनिमेय वलय है जिसमें प्रधान गुणनखंडन का एक अच्छा व्यवहार सिद्धांत है। उन्हें 1931 में [[वोल्फगैंग क्रुल]] द्वारा पेश किया गया था।<ref>{{harvs|txt|authorlink=Wolfgang Krull|first=Wolfgang |last=Krull|year=1931}}.</ref> वे [[डेडेकिंड डोमेन]] का एक उच्च-आयामी सामान्यीकरण हैं, जो अधिकतम 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 </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_{\mathfrak{p}} </math> सभी <math> \mathfrak{p} \in P </math> के लिए असतत मूल्यांकन वलय है।
एक अभिन्न डोमेन <math>A</math> यदि कोई परिवार मौजूद है तो यह एक क्रुल रिंग है  <math> \{ v _ {i} \} _ {i \in I }  </math>
#<math> A </math> इन असतत मूल्यांकन वलयों का प्रतिच्छेदन है (<math> A </math> के भागफल क्षेत्र के सबरिंग के रूप में माना जाता है)
अंशों के क्षेत्र पर असतत मूल्यांकन <math>K</math> का <math>A</math> ऐसा है कि:
#<math> A </math> का कोई भी गैर-शून्य तत्व ऊंचाई 1 प्रमुख आदर्शों की केवल एक सीमित संख्या में निहित है।
# किसी के लिए  <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>.
केवल मूल्यांकन के माध्यम से क्रुल वलयों को चिह्नित करना भी संभव है:<ref>P. Samuel, ''Lectures on Unique Factorization Domain'', Theorem 3.5.</ref>


दो परिभाषाओं के बीच की कड़ी इस प्रकार है: प्रत्येक के लिए <math>\mathfrak p\in P</math>, कोई अद्वितीय सामान्यीकृत मूल्यांकन संबद्ध कर सकता है <math>v_{\mathfrak p}</math> का <math>K</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>. दूसरे शब्दों में, <math>\mathcal V </math> समतुल्य परिभाषा को संतुष्ट करने वाले सामान्यीकृत मूल्यांकन का न्यूनतम सेट है।
अभिन्न डोमेन <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> के लिए।


क्रुल रिंग्स को पेश करने और परिभाषित करने के अन्य तरीके हैं। क्रुल रिंग्स के सिद्धांत को विभाजनकारी आदर्शों के सिद्धांत के साथ तालमेल में उजागर किया जा सकता है। सर्वश्रेष्ठ में से एक{{according to whom|date=December 2022}} इस विषय पर संदर्भ पी. सैमुअल द्वारा अद्वितीय फैक्टराइजेशन डोमेन पर व्याख्यान है।
मूल्यांकन <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 क्रुल के वलयों के सिद्धांत को विभाजनकारी आदर्शों के सिद्धांत के साथ सहक्रिया में उजागर किया जा सकता है। इस विषय पर सबसे अच्छे पी. सैमुअल का लेक्चर ऑन यूनिक फैक्टराइजेशन डोमेन संदर्भों में से एक है।


== गुण ==
== गुण ==

Revision as of 15:43, 22 May 2023

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

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

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

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

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

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

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

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

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

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

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

गुण

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

  • तत्व से संबंधित अगर और केवल अगर, हरएक के लिए . दरअसल, इस मामले में, हरएक के लिए , इस तरह ; चौराहा संपत्ति द्वारा, . इसके विपरीत यदि और में हैं , तब , इस तरह , चूंकि दोनों संख्याएं होनी चाहिए .
  • तत्व की एक इकाई तक विशिष्ट रूप से निर्धारित है , मूल्यों द्वारा , . दरअसल, अगर हरएक के लिए , तब , इस तरह उपरोक्त संपत्ति द्वारा (q.e.d)। इससे पता चलता है कि एप्लिकेशन अच्छी तरह से परिभाषित है, और तब से केवल बहुत से लोगों के लिए , यह एक एम्बेडिंग है के तत्वों द्वारा उत्पन्न मुक्त एबेलियन समूह में . इस प्रकार, गुणक संकेतन का उपयोग करनाबाद के समूह के लिए, प्रत्येक के लिए, वहाँ है , , जहां के तत्व हैं युक्त , और .
  • मूल्यांकन जोड़ीदार स्वतंत्र हैं।[4] नतीजतन, तथाकथित कमजोर सन्निकटन प्रमेय है,[5] चीनी शेष प्रमेय का एक समरूपता: यदि के विशिष्ट तत्व हैं , के संबंधित (प्रति. ), और हैं प्राकृतिक संख्याएँ हैं, तो वहाँ मौजूद हैं (प्रति. ) ऐसा है कि हरएक के लिए .
  • दो तत्व और का यदि कोप्राइम हैं और दोनों नहीं हैं हरएक के लिए . मूल्यांकन के मूल गुणों का अर्थ है कि इष्टतमता का एक अच्छा सिद्धांत धारण करता है .
  • प्रत्येक प्रधान आदर्श का तत्व होता है .[6]
  • क्रुल डोमेन का कोई परिमित चौराहा जिसका भागफल क्षेत्र समान है, फिर से एक क्रुल डोमेन है।[7]
  • अगर का उपक्षेत्र है , तब एक क्रुल डोमेन है।[8]
  • अगर गुणनात्मक रूप से बंद समुच्चय है जिसमें 0 नहीं है, भागफल का वलय फिर से एक क्रुल डोमेन है। वास्तव में, के आवश्यक मूल्यांकन क्या वे मूल्यांकन हैं (का ) जिसके लिए .[9]
  • अगर का परिमित बीजगणितीय विस्तार है , और का अभिन्न समापन है में , तब एक क्रुल डोमेन है।[10]


उदाहरण

  1. कोई भी अद्वितीय कारक डोमेन एक क्रुल डोमेन है। इसके विपरीत, एक क्रुल डोमेन एक अद्वितीय गुणनखंडन डोमेन है यदि (और केवल यदि) ऊंचाई का प्रत्येक प्रमुख आदर्श एक प्रमुख है।[11][12] # प्रत्येक एकीकृत रूप से बंद डोमेन नोथेरियन रिंग इंटीग्रल डोमेन एक क्रुल डोमेन है।[13] विशेष रूप से, डेडेकाइंड डोमेन क्रुल डोमेन हैं। इसके विपरीत, क्रुल डोमेन अभिन्न रूप से बंद हैं, इसलिए एक नोथेरियन डोमेन क्रुल है यदि और केवल अगर यह अभिन्न रूप से बंद है।
  2. अगर एक क्रुल डोमेन है तो बहुपद अंगूठी भी है और पावर श्रृंखला की अंगूठी .[14]
  3. बहुपद वलय एक अद्वितीय गुणनखंडन डोमेन पर असीम रूप से कई चर एक क्रुल डोमेन है जो नोथेरियन नहीं है।
  4. होने देना भागफल क्षेत्र के साथ एक नोथेरियन रिंग इंटीग्रल डोमेन बनें , और का क्षेत्र विस्तार हो . फिर का अभिन्न समापन में एक क्रुल डोमेन (मोरी-नागाटा प्रमेय) है।[15] यह ऊपर नंबर 2 से आसानी से अनुसरण करता है।
  5. होने देना एक जरिस्की रिंग हो (उदाहरण के लिए, एक स्थानीय नोथेरियन रिंग)। अगर पूरा हो रहा है एक क्रुल डोमेन है, फिर एक क्रुल डोमेन (मोरी) है।[16][17]
  6. होने देना एक क्रुल डोमेन हो, और एक प्रमुख तत्व की शक्तियों में शामिल गुणात्मक रूप से बंद सेट हो . तब एक क्रुल डोमेन (नागाटा) है।[18]


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

ये मान लीजिए एक क्रुल डोमेन है और इसका भागफल क्षेत्र है। का एक प्रमुख भाजक की ऊंचाई 1 प्रधान आदर्श है . के प्रमुख भाजक का सेट अंकित किया जाएगा अगली कड़ी में। ए (वील) का भाजक प्रधान विभाजकों का एक औपचारिक अभिन्न रैखिक संयोजन है। वे एक एबेलियन समूह बनाते हैं, विख्यात . रूप का एक भाजक , कुछ शून्य के लिए में , प्रधान भाजक कहलाता है। के प्रमुख विभाजक विभाजकों के समूह का एक उपसमूह बनाते हैं (यह ऊपर दिखाया गया है कि यह समूह आइसोमोर्फिक है , कहाँ की एकता का समूह है ). प्रधान भाजकों के उपसमूह द्वारा भाजकों के समूह के भागफल को भाजक वर्ग समूह कहा जाता है ; यह आमतौर पर निरूपित किया जाता है .

ये मान लीजिए एक क्रुल डोमेन है जिसमें शामिल है . हमेशा की तरह, हम कहते हैं कि एक प्रमुख आदर्श का एक प्रमुख आदर्श से ऊपर है का अगर ; यह संक्षेप में है .

के शाखा सूचकांक को निरूपित करें ऊपर द्वारा , और तक के प्रधान विभाजक का सेट . एप्लिकेशन को परिभाषित करें द्वारा

(उपरोक्त राशि प्रत्येक के बाद से परिमित है के अधिक से अधिक सूक्ष्म रूप से अनेक तत्वों में समाहित है ). आवेदन का विस्तार करें एक रैखिक अनुप्रयोग के लिए रैखिकता द्वारा . अब कोई पूछ सकता है कि किन मामलों में रूपवाद उत्पन्न करता है . इससे कई परिणाम निकलते हैं।[19] उदाहरण के लिए, निम्नलिखित गॉस के एक प्रमेय का सामान्यीकरण करता है:

आवेदन पत्र विशेषण है। विशेष रूप से, अगर एक अद्वितीय कारककरण डोमेन है, तो ऐसा है .[20] क्रुल रिंग्स के विभाजक वर्ग समूह का उपयोग शक्तिशाली वंश विधियों और विशेष रूप से गैलोज़ियन वंश को स्थापित करने के लिए भी किया जाता है।[21]


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

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

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


संदर्भ

  1. Wolfgang Krull (1931).
  2. P. Samuel, Lectures on Unique Factorization Domain, Theorem 3.5.
  3. A discrete valuation is said to be normalized if , where is the valuation ring of . So, every class of equivalent discrete valuations contains a unique normalized valuation.
  4. If and were both finer than a common valuation of , the ideals and of their corresponding valuation rings would contain properly the prime ideal hence and would contain the prime ideal of , which is forbidden by definition.
  5. 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: archive, p. 17, Prop. 4.4, 4.5 and Rmk 4.6.
  6. P. Samuel, Lectures on Unique Factorization Domains, Lemma 3.3.
  7. Idem, Prop 4.1 and Corollary (a).
  8. Idem, Prop 4.1 and Corollary (b).
  9. Idem, Prop. 4.2.
  10. Idem, Prop 4.5.
  11. P. Samuel, Lectures on Factorial Rings, Thm. 5.3.
  12. "Krull ring", Encyclopedia of Mathematics, EMS Press, 2001 [1994], retrieved 2016-04-14
  13. P. Samuel, Lectures on Unique Factorization Domains, Theorem 3.2.
  14. Idem, Proposition 4.3 and 4.4.
  15. Huneke, Craig; Swanson, Irena (2006-10-12). आइडियल्स, रिंग्स और मॉड्यूल्स का इंटीग्रल क्लोजर (in English). Cambridge University Press. ISBN 9780521688604.
  16. Bourbaki, 7.1, no 10, Proposition 16.
  17. P. Samuel, Lectures on Unique Factorization Domains, Thm. 6.5.
  18. P. Samuel, Lectures on Unique Factorization Domains, Thm. 6.3.
  19. P. Samuel, Lectures on Unique Factorization Domains, p. 14-25.
  20. Idem, Thm. 6.4.
  21. See P. Samuel, Lectures on Unique Factorization Domains, P. 45-64.
  22. Hartshorne, GTM52, Example 6.5.2, p.133 and Example 6.11.3, p.142.