डेडेकिंड डोमेन: Difference between revisions

From Vigyanwiki
mNo edit summary
No edit summary
 
(33 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{short description|Ring with unique factorization for ideals (mathematics)}}
{{short description|Ring with unique factorization for ideals (mathematics)}}
[[सार बीजगणित]] में, एक '''डेडेकिंड डोमेन''' या '''डेडेकिंड रिंग''', जिसका नाम [[रिचर्ड डेडेकिंड]] के नाम पर रखा गया है, एक [[अभिन्न डोमेन]] है जिसमें प्रत्येक अशून्य उचित आदर्श गुणनखंड को अभाज्य आदर्शों के गुणन में समिलित करता है। यह दिखाया जा सकता है कि गुणनखंड के क्रम तक इस तरह का एक गुणनखंड आवश्यक रूप से अद्वितीय है। डेडेकिंड डोमेन की कम से कम तीन अन्य विशेषताएँ हैं जिन्हें कभी-कभी परिभाषा के रूप में लिया जाता है:  
[[सार बीजगणित]] में, एक '''डेडेकिंड कार्यक्षेत्र''' या '''डेडेकिंड वलय''', जिसका नाम [[रिचर्ड डेडेकिंड]] के नाम पर रखा गया है, एक [[अभिन्न डोमेन|अभिन्न कार्यक्षेत्र]] है जिसमें प्रत्येक अशून्य उचित आदर्श गुणनखंड को अभाज्य आदर्शों के गुणन में समिलित करता है। यह कहा जा सकता है कि गुणनखंड के क्रम तक इस तरह का एक गुणनखंड आवश्यक रूप से अद्वितीय है। डेडेकिंड कार्यक्षेत्र की कम से कम तीन अन्य विशेषताएँ हैं जिन्हें कभी-कभी परिभाषा के रूप में लिया जाता है:  


[[क्षेत्र (गणित)]] एक क्रमविनिमेय वलय है जिसमें कोई गैर-तुच्छ उचित आदर्श नहीं होते हैं, हालांकि एक विचारहीन तरीके से, इसलिए कोई भी क्षेत्र एक डेडेकाइंड डोमेन है। कुछ लेखक इस आवश्यकता को जोड़ते हैं कि डेडेकाइंड डोमेन एक क्षेत्र नहीं होना चाहिए। कई और लेखकों ने डेडेकाइंड डोमेन के लिए प्रमेयों को निहित प्रावधान के साथ बताया है कि उन्हें क्षेत्रों की स्थिति में तुच्छ संशोधनों की आवश्यकता हो सकती है।
[[क्षेत्र (गणित)]] एक क्रमविनिमेय वलय है जिसमें कोई गैर-तुच्छ उचित आदर्श नहीं होते हैं, इसलिए कोई भी क्षेत्र एक डेडेकाइंड कार्यक्षेत्र हो सकता है। कुछ लेखक इस आवश्यकता को जोड़ते हैं कि डेडेकाइंड कार्यक्षेत्र एक क्षेत्र नहीं होना चाहिए। कई और लेखकों ने डेडेकाइंड कार्यक्षेत्र के लिए प्रमेयों को निहित प्रावधान के साथ बताया है कि उन्हें क्षेत्रों की स्थिति में तुच्छ संशोधनों की आवश्यकता हो सकती है।


परिभाषा का एक तात्कालिक परिणाम यह है कि प्रत्येक [[प्रमुख आदर्श डोमेन|सिद्धांत आदर्श डोमेन]] (PID) एक डेडेकाइंड डोमेन है। वास्तव में एक डेडेकाइंड डोमेन एक अद्वितीय गुणनखंडन डोमेन (UFD) है, यदि यह केवल एक PID है।
परिभाषा का एक तात्कालिक परिणाम यह है कि प्रत्येक [[प्रमुख आदर्श डोमेन|सिद्धांत आदर्श कार्यक्षेत्र]] (PID) एक डेडेकाइंड कार्यक्षेत्र है। वास्तव में एक डेडेकाइंड कार्यक्षेत्र एक अद्वितीय गुणनखंडन कार्यक्षेत्र (UFD) है, यदि यह केवल एक PID है।






== डेडेकाइंड डोमेन का प्रागितिहास ==
== डेडेकाइंड कार्यक्षेत्र का प्रागितिहास ==
19वीं शताब्दी में उच्च कोटि की [[बीजगणितीय संख्या]]ओं के वलयों (गणित) का उपयोग करके [[बहुपद समीकरण|बहुपद]] [[समीकरणों]] के [[डायोफैंटाइन समीकरण]] में अंतर्दृष्टि प्राप्त करना एक सामान्य तकनीक बन गई। उदाहरण के लिए, एक सकारात्मक [[पूर्णांक]]  <math>m</math> को ठीक करें, यह निर्धारित करने के प्रयास में कि किन पूर्णांकों को [[द्विघात रूप]] <math>x^2+my^2</math>द्वारा दर्शाया गया है, द्विघात रूप को  <math>(x+\sqrt{-m}y)(x-\sqrt{-m}y)</math>  में विभाजित करना स्वाभाविक है,  [[द्विघात क्षेत्र]] के पूर्णांकों के वलय में होने वाला गुणनखंड <math>\mathbb{Q}(\sqrt{-m})</math> है। इसी तरह, एक सकारात्मक पूर्णांक  <math>n</math> के लिए [[बहुपद]] <math>z^n-y^n</math> (जो फर्मेट समीकरण को हल करने के लिए उपयुक्त है <math>x^n+y^n = z^n</math>) रिंग पर गुणनखंड किया जा सकता है <math>\mathbb{Z}[\zeta_n]</math>, जहाँ <math>\zeta_n</math> एक अभाज्य n-वा मूल हैं।  
19वीं शताब्दी में उच्च कोटि की [[बीजगणितीय संख्या]]ओं के वलयों (गणित) का उपयोग करके [[बहुपद समीकरण|बहुपद]] [[समीकरणों]] के पूर्णांक समाधानों में अंतर्दृष्टि प्राप्त करना एक सामान्य तकनीक बन गई। उदाहरण के लिए, एक सकारात्मक [[पूर्णांक]]  <math>m</math> को ठीक करें, यह निर्धारित करने के प्रयास में कि किन पूर्णांकों को [[द्विघात रूप]] <math>x^2+my^2</math>द्वारा दर्शाया गया है, द्विघात रूप को  <math>(x+\sqrt{-m}y)(x-\sqrt{-m}y)</math>  में विभाजित करना स्वाभाविक है,  [[द्विघात क्षेत्र]] के पूर्णांकों के वलय में होने वाला गुणनखंड <math>\mathbb{Q}(\sqrt{-m})</math> है। इसी तरह, एक सकारात्मक पूर्णांक  <math>n</math> के लिए [[बहुपद]] <math>z^n-y^n</math> (जो फर्मेट समीकरण को हल करने के लिए उपयुक्त है <math>x^n+y^n = z^n</math>) पर गुणनखंड किया जा सकता है <math>\mathbb{Z}[\zeta_n]</math>, जहाँ <math>\zeta_n</math> एक n-वा अभाज्य मूल हैं।  


<math>m</math> और <math>n</math> के कुछ छोटे मानों के लिए बीजगणितीय पूर्णांकों के ये वलय PID ​​हैं, और इसे [[पियरे डी फर्मेट]]  (<math>m = 1, n = 4</math>) और [[लियोनहार्ड यूलर]] (<math>m = 2,3, n = 3</math>) की प्राचीन सफलताओं की व्याख्या के रूप में देखा जा सकता हैं। इस समय तक किसी दिए गए द्विघात क्षेत्र के सभी  [[द्विघात पूर्णांक|बीजगणितीय पूर्णांकों]]  के विलय  <math>\mathbb{Q}(\sqrt{D})</math> को निर्धारित करने की प्रक्रिया एक PID ​​है, जिसका द्विघात रूप सिद्धांतकारों के लिए अच्छी तरह से जाना जाता था। विशेष रूप से, [[कार्ल फ्रेडरिक गॉस]] ने काल्पनिक द्विघात क्षेत्रों की स्थिति को देखा था: उन्होंने  <math>D < 0</math>  के नौ मूल्यों को पाया। जिसके लिए पूर्णांकों का वलय एक PID है और यह अनुमान लगाया कि आगे अब कोई मान प्राप्त नहीं किया जा सकता। (गॉस का अनुमान एक सौ साल से भी अधिक समय बाद कर्ट हेगनेर, [[एलन बेकर (गणितज्ञ)]] और [[हेरोल्ड स्टार्क]] द्वारा सिद्ध किया गया था।) हालांकि, यह (केवल) द्विघात रूपों के [[तुल्यता वर्ग|तुल्यता]] [[वर्गों]] की भाषा में समझा गया था, ताकि विशेष रूप से द्विघात रूपों और फ़र्मेट समीकरण के बीच समानता को नहीं समझा जा सके। 1847 में गेब्रियल लैम ने सभी के लिए फर्मेट के अंतिम प्रमेय  <math>n > 2</math> के समाधान की घोषणा की, अर्थात् फ़र्मेट समीकरण के गैर-शून्य पूर्णांकों में कोई समाधान नहीं है, लेकिन यह पता चला है कि उसका समाधान इस धारणा पर टिका है कि साइक्लोटोमिक रिंग <math>\mathbb{Z}[\zeta_n]</math> एक UFD है। [[गंभीर दु:ख|अर्नस्ट कुमेर]] ने तीन साल पहले  <math>n = 23</math> दिखाया था (मानों की पूर्ण परिमित सूची) जिसके लिए <math>\mathbb{Z}[\zeta_n]</math> एक UFD है। उसी समय, कुमेर ने फर्मेट के अंतिम प्रमेय को प्रमाणित करने के लिए कम से कम अभाज्य संख्या के घातांक <math>n</math>  के एक बड़े वर्ग के लिए शक्तिशाली नए तरीके विकसित किए, जिसे अब हम इस तथ्य के रूप में पहचानते हैं कि वलय <math>\mathbb{Z}[\zeta_n]</math> एक डेडेकाइंड डोमेन है। वास्तव में कुमेर ने आदर्शों के साथ नहीं बल्कि [[आदर्श संख्या|"आदर्श संख्या]][[ओं]]"  के साथ काम किया, और एक आधुनिक परिभाषा डेडेकिंड द्वारा दी गई।  
<math>m</math> और <math>n</math> के कुछ छोटे मानों के लिए बीजगणितीय पूर्णांकों के ये वलय PID ​​हैं, और इसे [[पियरे डी फर्मेट]]  (<math>m = 1, n = 4</math>) और [[लियोनहार्ड यूलर]] (<math>m = 2,3, n = 3</math>) की प्राचीन सफलताओं की व्याख्या के रूप में देखा जा सकता हैं। इस समय तक किसी दिए गए द्विघात क्षेत्र के सभी  [[द्विघात पूर्णांक|बीजगणितीय पूर्णांकों]]  के विलय  <math>\mathbb{Q}(\sqrt{D})</math> को निर्धारित करने की प्रक्रिया एक PID ​​है, जिसका द्विघात रूप सिद्धांतकारों के लिए अच्छी तरह से जाना जाता था। विशेष रूप से, [[कार्ल फ्रेडरिक गॉस]] ने काल्पनिक द्विघात क्षेत्रों की स्थिति को देखा था: उन्होंने  <math>D < 0</math>  के नौ मूल्यों को पाया। जिसके लिए पूर्णांकों का वलय एक PID है और यह अनुमान लगाया कि आगे अब कोई मान प्राप्त नहीं किया जा सकता। (गॉस का अनुमान एक सौ साल से भी अधिक समय बाद कर्ट हेगनेर, [[एलन बेकर (गणितज्ञ)]] और [[हेरोल्ड स्टार्क]] द्वारा सिद्ध किया गया।) हालांकि, इसे द्विघात रूपों के [[तुल्यता वर्ग|तुल्यता]] [[वर्गों]] की भाषा में समझा गया था, ताकि विशेष रूप से द्विघात रूपों और फ़र्मेट समीकरण के बीच समानता को समझा जा सके। 1847 में गेब्रियल लैम ने सभी के लिए फर्मेट के अंतिम प्रमेय  <math>n > 2</math> के समाधान की घोषणा की, अर्थात् फ़र्मेट समीकरण के गैर-शून्य पूर्णांकों में कोई समाधान नहीं है, लेकिन यह पता चला है कि उसका समाधान इस धारणा पर आधारित है कि साइक्लोटोमिक वलय <math>\mathbb{Z}[\zeta_n]</math> एक UFD है। [[गंभीर दु:ख|अर्नस्ट कुमेर]] ने तीन साल पहले  <math>n = 23</math> दिखाया था (मानों की पूर्ण परिमित सूची) जिसके लिए <math>\mathbb{Z}[\zeta_n]</math> एक UFD है। उसी समय, कुमेर ने फर्मेट के अंतिम प्रमेय को प्रमाणित करने के लिए कम से कम अभाज्य संख्या के घातांक <math>n</math>  के एक बड़े वर्ग के लिए शक्तिशाली नए तरीके विकसित किए, जिसे अब हम इस तथ्य के रूप में पहचानते हैं कि वलय <math>\mathbb{Z}[\zeta_n]</math> एक डेडेकाइंड कार्यक्षेत्र है। वास्तव में कुमेर ने आदर्शों के साथ नहीं बल्कि [[आदर्श संख्या|"आदर्श संख्या]][[ओं]]"  के साथ काम किया, जिस कारण एक आधुनिक परिभाषा डेडेकिंड द्वारा दी गई।  


20वीं शताब्दी तक, बीजगणित और संख्या सिद्धांतकारों को यह अनुभव हो गया था कि PID ​​होने की स्थिति बहुत ही कोमल होती है, जबकि डेडेकाइंड डोमेन होने की स्थिति बहुत ही मजबूत होती है। उदाहरण के लिए साधारण पूर्णांकों का वलय एक PID है, लेकिन जैसा कि वलय के ऊपर देखा गया है <math>\mathcal{O}_K</math> एक [[संख्या क्षेत्र]] में बीजगणितीय पूर्णांकों की <math>K</math> PID ​​होना जरूरी नहीं है। वास्तव में, हालांकि गॉस ने यह भी अनुमान लगाया था कि अपरिमित रूप से अनेक अभाज्य संख्याएँ होती हैं <math>p</math> जैसे कि पूर्णांकों का वलय <math>\mathbb{Q}(\sqrt{p})</math> एक PID ​​है, {{as of|2016|lc=}} तक यह अभी तक ज्ञात नहीं है कि अपरिमित रूप से अनेक संख्या क्षेत्र हैं या नहीं। <math>K</math> (मनमानी डिग्री का) एक ऐसा <math>\mathcal{O}_K</math> PID ​​है। दूसरी ओर, संख्या क्षेत्र में पूर्णांकों का वलय हमेशा डेडेकाइंड डोमेन होता है।
20वीं शताब्दी तक, बीजगणित और संख्या सिद्धांतकारों को यह अनुभव हो गया था कि PID ​​होने की स्थिति बहुत ही व्यवहार कुशल होती है, जबकि डेडेकाइंड कार्यक्षेत्र होने की स्थिति बहुत ही मजबूत होती है। उदाहरण के लिए साधारण पूर्णांकों का वलय एक PID है, लेकिन जैसा कि वलय के ऊपर देखा गया है <math>\mathcal{O}_K</math> एक [[संख्या क्षेत्र]] <math>K</math> में बीजगणितीय पूर्णांकों की PID ​​होना आवश्यक नहीं है। वास्तव में, हालांकि गॉस ने यह भी अनुमान लगाया था कि अपरिमित रूप से अनेक अभाज्य संख्याएँ <math>p</math> होती हैं जैसे कि पूर्णांकों का वलय <math>\mathbb{Q}(\sqrt{p})</math> एक PID ​​है, {{as of|2016|lc=}} तक यह अभी तक ज्ञात नहीं है कि अपरिमित रूप से अनेक संख्या क्षेत्र हैं या नहीं, <math>K</math> (यादृच्छिक डिग्री का) एक ऐसा <math>\mathcal{O}_K</math> PID ​​है। दूसरी ओर, संख्या क्षेत्र में पूर्णांकों का वलय हमेशा डेडेकाइंड कार्यक्षेत्र ही होता है।


कोमल/सुदृढ़ द्विभाजन का एक अन्य उदाहरण यह तथ्य है कि एक डेडेकिंड डोमेन होने के नाते, [[नोथेरियन डोमेन]] के बीच, एक अवस्थिति विशेषता: एक नोथेरियन डोमेन <math>R</math> प्रत्येक अधिकतम आदर्श  <math>M</math> का <math>R</math>  के लिए डेडेकाइंड हैं। अंगूठी का स्थानीयकरण <math>R_M</math>एक  डेडेकाइंड रिंग है। लेकिन एक स्थानीय डोमेन एक डेडेकाइंड रिंग है, अगर यह एक PID ​​​​है, अगर यह एक असतत मूल्यांकन रिंग (DVR) है, इसलिए वही स्थानीय लक्षण वर्णन PID ​​​​के लिए नहीं हो सकता है: बल्कि, यह कह सकते है कि डेडेकाइंड रिंग की अवधारणा एक DVR की अवधारणा का '''वैश्वीकरण''' है।
व्यवहार कुशल/सुदृढ़ द्विभाजन का एक अन्य उदाहरण यह तथ्य है कि एक डेडेकिंड कार्यक्षेत्र होने के संबंध में, [[नोथेरियन डोमेन|नोथेरियन कार्यक्षेत्र]] के बीच, एक अवस्थिति विशेषता: एक नोथेरियन कार्यक्षेत्र <math>R</math> प्रत्येक अधिकतम आदर्श  <math>M</math> के <math>R</math>  के लिए डेडेकाइंड हैं। वलयों का स्थानीयकरण <math>R_M</math> एक  डेडेकाइंड वलय है। लेकिन एक स्थानीय कार्यक्षेत्र एक डेडेकाइंड वलय है, अगर यह एक PID ​​​​है, अगर यह एक असतत मूल्यांकन वलय (DVR) है, इसलिए वही स्थानीय लक्षण वर्णन PID ​​​​के लिए नहीं हो सकता है: बल्कि, यह कह सकते है कि डेडेकाइंड वलय की अवधारणा एक DVR की अवधारणा का '''वैश्वीकरण''' है।


== वैकल्पिक परिभाषाएँ ==
== वैकल्पिक परिभाषाएँ ==
एक अभिन्न डोमेन के लिए <math>R</math>  जो एक क्षेत्र नहीं है, निम्नलिखित सभी शर्तें समतुल्य हैं:<ref>{{harvnb|Milne|2008|loc=Remark 3.25}}</ref>
एक अभिन्न कार्यक्षेत्र के लिए <math>R</math>  जो एक क्षेत्र नहीं है, निम्नलिखित सभी शर्तें समतुल्य हैं:<ref>{{harvnb|Milne|2008|loc=Remark 3.25}}</ref>
:(DD1) प्रत्येक अशून्य उचित आदर्श गुणनखंडन अभाज्य संख्या में होते हैं।
:(DD1) प्रत्येक अशून्य उचित आदर्श गुणनखंडन अभाज्य संख्या में होते हैं।
:(DD2) <math>R</math> नोथेरियन है, और प्रत्येक अधिकतम आदर्श पर स्थानीयकरण एक असतत मूल्यांकन वलय है।
:(DD2) <math>R</math> नोथेरियन है, और प्रत्येक अधिकतम आदर्श पर स्थानीयकरण एक असतत मूल्यांकन वलय है।
:(DD3) <math>R</math>  की प्रत्येक अशून्य भिन्नात्मक गुणनखंडन उलटा होता है।
:(DD3) <math>R</math>  का प्रत्येक अशून्य भिन्नात्मक गुणनखंडन उलटा होता है।
:(DD4) <math>R</math> एक [[अभिन्न रूप से बंद डोमेन|अभिन्न रूप से बंद नोथेरियन डोमेन]] है, जिसमें [[क्रुल आयाम]] एक है (यानी, प्रत्येक गैर-अभाज्य आदर्श अधिकतम है)।
:(DD4) <math>R</math> एक [[अभिन्न रूप से बंद डोमेन|अभिन्न रूप से बंद नोथेरियन कार्यक्षेत्र]] है, जिसमें [[क्रुल आयाम]] एक है (अर्थात, प्रत्येक गैर-अभाज्य आदर्श अधिकतम है)।
:(DD5) किसी भी दो आदर्शों के लिए <math>I</math> और <math>J</math> में <math>R</math>, <math>I</math> में निहित है, यदि और केवल  <math>J</math> को आदर्शों के रूप में विभाजित करता है। यानी एक आदर्श <math>H</math> उपलब्ध है जैसे कि <math>I=JH</math>. इस स्थिति को संतुष्ट करने वाली एकता के साथ एक क्रमविनियम रिंग (आवश्यक रूप से एक डोमेन नहीं) को एक नियंत्रण-विभाजन रिंग (CDR) कहा जाता है।<ref>{{harvnb|Krasula|2022|loc=Theorem 12}}</ref>
:(DD5) किसी भी दो आदर्शों के लिए <math>I</math> और <math>J</math> में <math>R</math>, <math>I</math> में निहित है, यदि और केवल  <math>J</math> को आदर्शों के रूप में विभाजित करता है। अर्थात एक आदर्श <math>H</math> उपलब्ध है जैसे कि <math>I=JH</math>. इस स्थिति को संतुष्ट करने वाली इकाई के साथ एक क्रमविनियम वलय (आवश्यक रूप से एक कार्यक्षेत्र नहीं) को एक नियंत्रण विभाजन वलय (CDR) कहा जाता है।<ref>{{harvnb|Krasula|2022|loc=Theorem 12}}</ref>
इस प्रकार एक डेडेकाइंड डोमेन एक ऐसा डोमेन है जो या तो एक क्षेत्र है, या जो उपरोक्त में से सभी या किसी एक को संतुष्ट करता हो। व्यवहार में, (DD4) को सत्यापित करना प्रायः सबसे आसान होता है।
इस प्रकार एक डेडेकाइंड कार्यक्षेत्र एक ऐसा कार्यक्षेत्र है जो या तो एक क्षेत्र है, या जो उपरोक्त में से सभी या किसी एक को संतुष्ट करता हो। व्यवहार में, (DD4) को सत्यापित करना प्रायः सबसे आसान होता है।


[[क्रुल डोमेन]] डेडेकाइंड डोमेन का एक उच्च-आयामी अनुरूप है: एक डेडेकाइंड डोमेन जो एक क्षेत्र नहीं है, आयाम 1 का क्रुल डोमेन है। इस धारणा का उपयोग डेडेकाइंड डोमेन के विभिन्न लक्षणों का अध्ययन करने के लिए किया जा सकता है। वास्तव में, यह [[निकोलस बोरबाकी]] के "क्रमविनियम बीजगणित" में प्रयुक्त डेडेकिंड डोमेन की परिभाषा है।
[[क्रुल डोमेन|क्रुल कार्यक्षेत्र]] डेडेकाइंड कार्यक्षेत्र का एक उच्च-आयामी अनुरूप है: एक डेडेकाइंड कार्यक्षेत्र जो एक क्षेत्र नहीं है, आयाम 1 का क्रुल कार्यक्षेत्र है। इस धारणा का उपयोग डेडेकाइंड कार्यक्षेत्र के विभिन्न लक्षणों का अध्ययन करने के लिए किया जा सकता है। वास्तव में, यह [[निकोलस बोरबाकी]] के "क्रमविनियम बीजगणित" में प्रयुक्त डेडेकिंड कार्यक्षेत्र की परिभाषा है।


एक डेडेकिंड डोमेन को [[समरूप बीजगणित]] के संदर्भ में भी चित्रित किया जा सकता है: एक अभिन्न डोमेन एक डेडेकिंड डोमेन है यदि और केवल यह एक वंशानुगत रिंग है; यानी, इसके ऊपर एक [[प्रक्षेपी मॉड्यूल]] का हर उपमॉड्यूल प्रक्षेपी है। इसी तरह, एक अभिन्न डोमेन एक डेडेकिंड डोमेन है यदि और केवल इसके ऊपर प्रत्येक [[विभाज्य मॉड्यूल]] [[इंजेक्शन मॉड्यूल]] है।<ref>{{harvnb|Cohn|2003|loc=2.4. Exercise 9}}</ref>
एक डेडेकिंड कार्यक्षेत्र को [[समरूप बीजगणित]] के संदर्भ में भी चित्रित किया जा सकता है: एक अभिन्न कार्यक्षेत्र एक डेडेकिंड कार्यक्षेत्र है यदि और केवल यह एक वंशानुगत वलय है; अर्थात, इसके ऊपर एक [[प्रक्षेपी मॉड्यूल|प्रक्षेपी मापांक]] का उपमापांक प्रक्षेपी है। इसी तरह, एक अभिन्न कार्यक्षेत्र एक डेडेकिंड कार्यक्षेत्र है यदि और केवल इसके ऊपर प्रत्येक [[विभाज्य मॉड्यूल|विभाज्य मापांक]] [[इंजेक्शन मॉड्यूल|इंजेक्शन मापांक]] है।<ref>{{harvnb|Cohn|2003|loc=2.4. Exercise 9}}</ref>




== डेडेकाइंड डोमेन के कुछ उदाहरण ==
== डेडेकाइंड कार्यक्षेत्र के कुछ उदाहरण ==


सभी प्रमुख आदर्श डोमेन और इसलिए सभी असतत मूल्यांकन रिंग डेडेकिंड डोमेन हैं।
सभी सिद्धांत आदर्श कार्यक्षेत्र और सभी असतत मूल्यांकन वलय (DVR) डेडेकिंड कार्यक्षेत्र हैं।


किसी संख्या क्षेत्र K में [[बीजगणितीय पूर्णांकों]] का वलय <math>R = \mathcal{O}_K</math> नोथेरियन है, अभिन्न रूप से बंद है, और एक आयाम है: अंतिम विशेषता को देखने के लिए, निरीक्षण करें कि R के किसी भी अशून्य अभाज्य गुणजावली I के लिए, R/I एक परिमित सेट है, और याद रखें कि एक परिमित अभिन्न डोमेन एक क्षेत्र है; इसलिए (DD4) द्वारा R एक डेडेकिंड डोमेन है। उपरोक्त अनुसार, इसमें कुमेर और डेडेकिंड द्वारा माने गए सभी उदाहरण समिलित हैं और सामान्य परिभाषा के लिए एक प्रेरक स्थिति भी थी और ये सबसे अधिक अध्ययन किए गए उदाहरणों में से हैं।
किसी संख्या क्षेत्र K में [[बीजगणितीय पूर्णांकों]] का वलय <math>R = \mathcal{O}_K</math> नोथेरियन है, जो अभिन्न रूप से बंद है, और एक आयाम है: अंतिम विशेषता को देखने के लिए, निरीक्षण करें कि R के किसी भी अशून्य अभाज्य गुणजावली I के लिए, R/I एक परिमित सेट है, और याद रखें कि एक परिमित अभिन्न कार्यक्षेत्र एक क्षेत्र है; इसलिए (DD4) द्वारा R एक डेडेकिंड कार्यक्षेत्र है। उपरोक्त अनुसार, इसमें कुमेर और डेडेकिंड द्वारा माने गए सभी उदाहरण समिलित हैं और ये सबसे अधिक अध्ययन किए गए उदाहरणों में से हैं।


डेडेकाइंड रिंग्स का अन्य वर्ग जो ज्यामिति से आता है और यह तर्कसंगत रूप से समान महत्व का है : मान लीजिए C को एक क्षेत्र k पर एक गैर-एकवचन ज्यामितीय रूप से अभिन्न [[बीजगणितीय वक्र]] है। फिर C पर नियमित फलनों का समन्वय वलय k[C] एक डेडेकिंड डोमेन है। यह केवल ज्यामितीय शब्दों को बीजगणित में अनुवाद करने से बहुत ही हद तक स्पष्ट है: परिभाषा के अनुसार, किसी भी प्रकार की [[समन्वय की अंगूठी]], एक अंतिम रूप से उत्पन्न k-बीजगणित है, इसलिए नोथेरियन; इसके अतिरिक्त वक्र का अर्थ एक आयाम है और गैर-एकवचन का अर्थ है (और, पहले आयाम में, के बराबर है), जिसका परिभाषा के अनुसार अर्थ है अभिन्न रूप से बंद होना।
डेडेकाइंड वलय के अन्य वर्ग जो ज्यामिति से आता है और यह तर्कसंगत रूप से समान महत्व का है : मान लीजिए C को एक क्षेत्र k पर एक गैर-एकवचन ज्यामितीय रूप से अभिन्न [[बीजगणितीय वक्र]] है। फिर C पर नियमित फलनों का समन्वय वलय k[C] एक डेडेकिंड कार्यक्षेत्र है। यह केवल ज्यामितीय शब्दों को बीजगणित में अनुवाद करने से एक सीमा तक स्पष्ट है: परिभाषा के अनुसार, किसी भी प्रकार के समन्वय वलय, एक अंतिम रूप से उत्पन्न k-बीजगणित है, इसलिए नोथेरियन; इसके अतिरिक्त वक्र का अर्थ एक आयाम है और गैर-एकवचन का अर्थ समान्य है, जिसका परिभाषा के अनुसार अर्थ अभिन्न रूप से बंद होना है।


इन दोनों निर्माणों को निम्नलिखित मूल परिणाम के विशेष स्तिथियों के रूप में देखा जा सकता है:
इन दोनों निर्माणों को निम्नलिखित मूल परिणाम के विशेष स्तिथियों के रूप में देखा जा सकता है:


''''प्रमेय'''<nowiki/>': मान लीजिए कि R एक डेडेकिंड डोमेन है जिसका क्षेत्र K है। मान लीजिए L, K का एक परिमित डिग्री क्षेत्र विस्तार है और S द्वारा L में R के अभिन्न संवरण को निरूपित करता है। तब S स्वयं एक डेडेकिंड डोमेन है।<ref>The theorem follows, for instance, from the [[Krull–Akizuki theorem]].</ref>
''''प्रमेय'''<nowiki/>': मान लीजिए कि R एक डेडेकिंड कार्यक्षेत्र है जिसका क्षेत्र K है। मान लीजिए L, K का एक परिमित डिग्री क्षेत्र विस्तार है और S द्वारा L में R के अभिन्न संवरण को निरूपित करता है। तब S स्वयं एक डेडेकिंड कार्यक्षेत्र है।<ref>The theorem follows, for instance, from the [[Krull–Akizuki theorem]].</ref>


जब R स्वयं एक PID है, तब इस प्रमेय को लागू करने से हमें PIDs से डेडेकिंड डोमेन बनाने का एक तरीका मिल जाता है। R = 'Z' मानते हुए, यह रचना सटीक रूप से कहती है कि संख्या क्षेत्रों के पूर्णांकों के वलय डेडेकिंड डोमेन हैं। R = k [t] लेते हुए, एक उपरोक्त स्थिति को एफ़िन लाइन के शाखित संवरण के रूप में व्युत्क्रमणीय एफ़िन वक्र के रूप में प्राप्त करता है।
जब R स्वयं एक PID है, तब इस प्रमेय को लागू करने से हमें PIDs से डेडेकिंड कार्यक्षेत्र बनाने का एक तरीका मिल जाता है। R = 'Z' मानते हुए, यह रचना सटीक रूप से कहती है कि संख्या क्षेत्रों के पूर्णांकों के वलय डेडेकिंड कार्यक्षेत्र हैं। R = k [t] लेते हुए, एक उपरोक्त स्थिति को एफ़िन लाइन के शाखित संवरण के रूप में व्युत्क्रमणीय एफ़िन वक्र के रूप में प्राप्त करता है।


[[ऑस्कर ज़ारिस्की]] और [[पियरे-सैमुअल]] को इस निर्माण के साथ यह पूछने के लिए पर्याप्त रूप से लिया गया था कि क्या प्रत्येक डेडेकिंड डोमेन इससे उत्पन्न होता है; अर्थात, एक PID ​​​​के साथ शुरूआत करना और बाद में एक परिमित डिग्री क्षेत्र विस्तार में अभिन्न संवरण लेना।<ref>Zariski and Samuel, p. 284</ref> एल. क्लाबोर्न द्वारा आश्चर्यजनक रूप से सरल नकारात्मक उत्तर दिया गया।<ref>Claborn 1965, Example 1-9</ref>
[[ऑस्कर ज़ारिस्की]] और [[पियरे-सैमुअल]] को इस निर्माण के साथ यह पूछने के लिए पर्याप्त रूप से लिया गया था कि क्या प्रत्येक डेडेकिंड कार्यक्षेत्र इससे उत्पन्न होता है।<ref>Zariski and Samuel, p. 284</ref> L. क्लाबोर्न द्वारा आश्चर्यजनक रूप से सरल नकारात्मक उत्तर दिया गया।<ref>Claborn 1965, Example 1-9</ref>


यदि स्थिति ऊपर की तरह है, लेकिन K का विस्तार L अनंत डिग्री का बीजगणितीय है, तो यह अभी भी L में R के पूर्ण समापन S के लिए डेडेकिंड डोमेन होना संभव है, लेकिन इसकी गारंटी नहीं है। उदाहरण के लिए, फिर से R = 'Z', K = 'Q' लें और अब L को सभी बीजगणितीय संख्याओं का क्षेत्र  <math>\overline{\textbf{Q}}</math> मान लें। पूर्ण समापन सभी बीजगणितीय पूर्णांकों के रिंग <math>\overline{\textbf{Z}}</math> के अतिरिक्त और कुछ नहीं है। चूंकि एक बीजगणितीय पूर्णांक का वर्गमूल फिर से एक बीजगणितीय पूर्णांक होता है, इसलिए किसी भी शून्येतर गैर-इकाई बीजगणितीय पूर्णांकों का गुणनफल करना संभव नहीं है, जिसका अर्थ है कि <math>\overline{\textbf{Z}}</math> नोथेरियन अभाज्य नहीं है! सामान्यतः, एक अनंत बीजगणितीय विस्तार में डेडेकिंड डोमेन का अभिन्न समापन एक [[प्रुफर डोमेन]] है; यह पता चला है कि बीजगणितीय पूर्णांकों का वलय इससे थोड़ा अधिक विशेष है: यह एक [[बेज़ाउट डोमेन]] है।
उपरोक्त स्थिति के समान स्थिति मान ले, लेकिन K का विस्तार L अनंत डिग्री का बीजगणितीय है, तो यह अभी भी L में R के पूर्ण समापन S के लिए डेडेकिंड कार्यक्षेत्र होना संभव है, लेकिन इसकी गारंटी नहीं है। उदाहरण के लिए, फिर से R = 'Z', K = 'Q' लें और अब L को सभी बीजगणितीय संख्याओं का क्षेत्र  <math>\overline{\textbf{Q}}</math> मान लें। पूर्ण समापन सभी बीजगणितीय पूर्णांकों के वलय <math>\overline{\textbf{Z}}</math> के अतिरिक्त और कुछ नहीं है। चूंकि एक बीजगणितीय पूर्णांक का वर्गमूल फिर से एक बीजगणितीय पूर्णांक होता है, इसलिए किसी भी शून्येतर गैर-इकाई बीजगणितीय पूर्णांकों का गुणनफल करना संभव नहीं है, जिसका अर्थ है कि <math>\overline{\textbf{Z}}</math> नोथेरियन अभाज्य नहीं है! सामान्यतः, एक अनंत बीजगणितीय विस्तार में डेडेकिंड कार्यक्षेत्र का अभिन्न समापन एक [[प्रुफर डोमेन|प्रुफर कार्यक्षेत्र]] है; यह पता चला है कि बीजगणितीय पूर्णांकों का वलय इससे थोड़ा अधिक विशेष है: यह एक [[बेज़ाउट डोमेन|बेज़ाउट कार्यक्षेत्र]] है।


== आंशिक आदर्श और वर्ग समूह ==
== आंशिक आदर्श और वर्ग समूह ==
R को भांग क्षेत्र K के साथ एक अभिन्न डोमेन मान ले। एक भिन्नात्मक आदर्श K का एक अशून्य R-उपप्रतिरूपक I है जिसके लिए K में एक अशून्य x उपलब्ध है जैसे कि <math>xI \subset R.</math>
R को क्षेत्र K के साथ एक अभिन्न कार्यक्षेत्र मान ले। एक भिन्नात्मक आदर्श K का एक अशून्य R-उपप्रतिरूपक I है जिसके लिए K में एक अशून्य x उपलब्ध है जैसे कि <math>xI \subset R.</math>


दो आंशिक आदर्शों I और J को देखते हुए, उनके गुणनफल IJ को सभी परिमित योगों के समुच्चय के रूप में परिभाषित किया जाता है <math>\sum_n i_n j_n, \, i_n \in I, \, j_n \in J</math>: गुणनफल IJ पुनः एक भिन्नात्मक गुणजावली है। उपरोक्त गुणनफल के साथ संपन्न सभी भिन्नात्मक आदर्शों का सेट Frac(R) एक [[क्रमविनिमेय अर्धसमूह]] है और वास्तव में एक [[मोनोइड]] है जिसमें पहचान तत्व भिन्नात्मक आदर्श R है।
दो आंशिक आदर्शों I और J को देखते हुए, उनके गुणनफल IJ को सभी परिमित योगों के समुच्चय के रूप में परिभाषित किया जाता है <math>\sum_n i_n j_n, \, i_n \in I, \, j_n \in J</math>: गुणनफल IJ पुनः एक भिन्नात्मक गुणजावली है। उपरोक्त गुणनफल के साथ संपन्न सभी भिन्नात्मक आदर्शों का सेट Frac(R) एक [[क्रमविनिमेय अर्धसमूह]] है और वास्तव में एक [[मोनोइड|एकाभ]] है जिसमें पहचान तत्व भिन्नात्मक आदर्श R है।


किसी भिन्नात्मक आदर्श I के लिए, भिन्नात्मक गुणजावली को परिभाषित किया जा सकता है
किसी भिन्नात्मक आदर्श I के लिए, भिन्नात्मक गुणजावली को परिभाषित किया जा सकता है


: <math>I^* = (R:I) = \{x \in K \mid xI \subset R\}.</math>
: <math>I^* = (R:I) = \{x \in K \mid xI \subset R\}.</math>
एक तो पुनरुक्ति में <math>I^*I \subset R</math> होता है। वास्तव में किसी में समानता होती है यदि और केवल, Frac(R) के मोनोइड के तत्व के रूप में उलटा है। दूसरे शब्दों में, यदि I का कोई व्युत्क्रम है, तो प्रतिलोम  <math>I^*</math> अवश्य होना चाहिए।
एक पुनरुक्ति में <math>I^*I \subset R</math> होता है। वास्तव में किसी में समानता होती है यदि और केवल, Frac(R) के एकाभ के तत्व के रूप में उलटा है। दूसरे शब्दों में, यदि I का कोई व्युत्क्रम है, तो प्रतिलोम  <math>I^*</math> अवश्य होना चाहिए।


एक भिन्नात्मक आदर्श सिद्धांत K में कुछ गैर शून्य x के लिए <math>xR</math> के रूप में से एक है। ध्यान दें कि प्रत्येक भिन्नात्मक आदर्श सिद्धांत व्युत्क्रमणीय है। <math>xR</math> का व्युत्क्रम केवल  <math>\frac{1}{x}R</math>. है। हम Prin(R) द्वारा सिद्धांत आंशिक आदर्शों के उपसमूह को निरूपित करते हैं।  
एक भिन्नात्मक आदर्श सिद्धांत K में कुछ गैर शून्य x के लिए <math>xR</math> के रूप में से एक है। ध्यान दें कि प्रत्येक भिन्नात्मक आदर्श सिद्धांत व्युत्क्रमणीय है। <math>xR</math> का व्युत्क्रम केवल  <math>\frac{1}{x}R</math>. है। हम Prin(R) द्वारा सिद्धांत आंशिक आदर्शों के उपसमूह को निरूपित करते हैं।  


एक डोमेन R एक PID ​​​​है अगर और केवल हर आंशिक आदर्श सिद्धांत है। इस स्थिति में, हमारे पास Frac(R) = Prin(R) = है <math>K^{\times}/R^{\times}</math>, दो सिद्धांत आंशिक आदर्शों के बाद से <math>xR</math> और <math>yR</math> बराबर हैं <math>xy^{-1}</math> R में एक इकाई है।
कार्यक्षेत्र R एक PID ​​​​है अगर और केवल हर आंशिक आदर्श सिद्धांत है। इस स्थिति में, हमारे पास Frac(R) = Prin(R) = है <math>K^{\times}/R^{\times}</math>, दो सिद्धांत आंशिक आदर्शों के बाद से <math>xR</math> और <math>yR</math> बराबर हैं <math>xy^{-1}</math> R में एक इकाई है।


एक सामान्य डोमेन R के लिए, मुख्य भिन्नात्मक आदर्शों के सबमोनॉइड Prin (R) द्वारा सभी भिन्नात्मक आदर्शों के मोनोइड Frac(R) के भागफल को लेना अर्थपूर्ण है। हालाँकि यह भागफल समान्यतः केवल एक मोनोइड होता है। वास्तव में यह देखना आसान है कि Frac(R)/Prin(R) में भिन्नात्मक आदर्श I का वर्ग व्युत्क्रमणीय है यदि और केवल यदि I स्वयं व्युत्क्रमणीय है।
एक सामान्य कार्यक्षेत्र R के लिए, मुख्य भिन्नात्मक आदर्शों के उप-एकाभ Prin (R) द्वारा सभी भिन्नात्मक आदर्शों के एकाभ Frac(R) के भागफल को लेना अर्थपूर्ण है। हालाँकि यह भागफल समान्यतः केवल एक एकाभ होता है। वास्तव में यह देखना आसान है कि Frac(R)/Prin(R) में भिन्नात्मक आदर्श I का वर्ग व्युत्क्रमणीय है यदि और केवल यदि I स्वयं व्युत्क्रमणीय है।


अब हम (DD3) की सराहना कर सकते हैं: डेडेकिंड डोमेन में (और केवल डेडेकिंड डोमेन में) प्रत्येक भिन्नात्मक आदर्श व्युत्क्रमणीय होता है। इस प्रकार ये ठीक डोमेन के वर्ग हैं जिसके लिए Frac(R)/Prin(R) एक [[समूह (गणित)]] बनाता है, R का [[आदर्श वर्ग समूह]] Cl(R) है। यह समूह छोटा है अगर और केवल R एक PID है, इसलिए इसे PID ​​​​होने वाले सामान्य डेडेकाइंड डोमेन में बाधा को मापने के रूप में देखा जा सकता है।
अब हम (DD3) की सराहना कर सकते हैं: डेडेकिंड कार्यक्षेत्र में (और केवल डेडेकिंड कार्यक्षेत्र में) प्रत्येक भिन्नात्मक आदर्श व्युत्क्रमणीय होता है। इस प्रकार ये ठीक कार्यक्षेत्र के वर्ग हैं जिसके लिए Frac(R)/Prin(R) एक [[समूह (गणित)]] बनाता है, R का [[आदर्श वर्ग समूह]] Cl(R) है। यह समूह छोटा है अगर और केवल R एक PID है, इसलिए इसे PID ​​​​होने वाले सामान्य डेडेकाइंड कार्यक्षेत्र में बाधा को मापने के रूप में देखा जा सकता है।


हमने ध्यान दिया कि एक मनमाने डोमेन के लिए पिकार्ड समूह Pic(R) को उल्टे भिन्नात्मक आदर्शों के समूह के रूप में परिभाषित किया जा सकता है Inv(R) modulo सिद्धांत भिन्नात्मक आदर्शों का उपसमूह हैं। डेडेकिंड डोमेन के लिए यह निश्चित रूप से आदर्श वर्ग समूह के समान है। हालांकि, डोमेन के एक अधिक सामान्य वर्ग पर, जिसमें नोथेरियन डोमेन और क्रुल डोमेन समिलित हैं, आदर्श वर्ग समूह एक अलग तरीके से बनाया गया है, और एक विहित समरूपता है
हमने ध्यान दिया कि एक यादृच्छिक कार्यक्षेत्र के लिए पिकार्ड समूह Pic(R) को उल्टे भिन्नात्मक आदर्शों के समूह के रूप में परिभाषित किया जा सकता है Inv(R) मापांक सिद्धांत भिन्नात्मक आदर्शों का उपसमूह हैं। डेडेकिंड कार्यक्षेत्र के लिए यह निश्चित रूप से आदर्श वर्ग समूह के समान है। हालांकि, कार्यक्षेत्र के एक अधिक सामान्य वर्ग पर, जिसमें नोथेरियन कार्यक्षेत्र और क्रुल कार्यक्षेत्र समिलित हैं, आदर्श वर्ग समूह एक अलग तरीके से बनाया गया है, और एक विहित समरूपता है


: Pic (R) → CI (R)
: Pic (R) → CI (R)
Line 73: Line 73:
जो कि समान्यतः न तो अंतःक्षेपी है और न ही आच्छादक। यह कार्टियर विभाजक और वील विभाजक के बीच एक विलक्षण बीजगणितीय प्रकार के अंतर का एक एफीन एनालॉग है।
जो कि समान्यतः न तो अंतःक्षेपी है और न ही आच्छादक। यह कार्टियर विभाजक और वील विभाजक के बीच एक विलक्षण बीजगणितीय प्रकार के अंतर का एक एफीन एनालॉग है।


एल. क्लैबॉर्न (क्लाबॉर्न 1966) का एक उल्लेखनीय प्रमेय दावा करता है कि किसी भी [[एबेलियन समूह]] G के लिए, एक डेडेकिंड डोमेन R उपलब्ध है जिसका आदर्श वर्ग समूह G के लिए [[समूह समरूपता]] है। बाद में, C.R. लीधम-ग्रीन ने दिखाया कि इस तरह के R का निर्माण एक द्विघात क्षेत्र विस्तार (लीधम-ग्रीन 1972) में PID ​​​​के अभिन्न समापन के रूप में किया जा सकता है। 1976 में, M. रोसेन ने दिखाया कि किसी डेडेकिंड डोमेन के वर्ग समूह के रूप में किसी भी गणनीय एबेलियन समूह को कैसे सिद्ध किया जाए, जो एक दीर्घवृत्तीय वक्र के तर्कसंगत कार्य क्षेत्र का एक उपसमूह है, और अनुमान लगाया कि एक सामान्य एबेलियन के लिए ऐसा अण्डाकार निर्माण संभव होना चाहिए। रोसेन के अनुमान को 2008 में P.L. क्लार्क (क्लार्क 2009) ने सिद्ध किया।
L. क्लैबॉर्न (क्लाबॉर्न 1966) का एक उल्लेखनीय प्रमेय दावा करता है कि किसी भी [[एबेलियन समूह]] G के लिए, एक डेडेकिंड कार्यक्षेत्र R उपलब्ध है जिसका आदर्श वर्ग समूह G के लिए [[समूह समरूपता]] है। बाद में, C.R. लीधम-ग्रीन ने दिखाया कि इस तरह के R का निर्माण एक द्विघात क्षेत्र विस्तार (लीधम-ग्रीन 1972) में PID ​​​​के अभिन्न समापन के रूप में किया जा सकता है। 1976 में, M. रोसेन ने दिखाया कि किसी डेडेकिंड कार्यक्षेत्र के वर्ग समूह के रूप में किसी भी गणनीय एबेलियन समूह को कैसे सिद्ध किया जाए, जो एक दीर्घवृत्तीय वक्र के तर्कसंगत कार्य क्षेत्र का एक उपसमूह है, और अनुमान लगाया कि एक सामान्य एबेलियन के लिए ऐसा अण्डाकार निर्माण संभव होना चाहिए। रोसेन के अनुमान को 2008 में P.L. (क्लार्क 2009) ने सिद्ध किया।


इसके विपरीत, बीजगणितीय संख्या सिद्धांत में बुनियादी प्रमेयों में से एक यह दावा करता है कि संख्या क्षेत्र के पूर्णांकों के वलय का वर्ग समूह परिमित है; इसकी प्रमुखता को [[वर्ग संख्या (संख्या सिद्धांत)]] कहा जाता है और गॉस से लेकर आज तक कई प्रमुख गणितज्ञों की कड़ी मेहनत के बाद यह एक महत्वपूर्ण और रहस्यमय अपरिवर्तनीय है।
इसके विपरीत, बीजगणितीय संख्या सिद्धांत में बुनियादी प्रमेयों में से एक यह निर्धारित करता है कि संख्या क्षेत्र के पूर्णांकों के वलय का वर्ग समूह परिमित है; इसकी प्रमुखता को [[वर्ग संख्या (संख्या सिद्धांत)]] कहा जाता है और गॉस से लेकर आज तक कई प्रमुख गणितज्ञों की कड़ी मेहनत के बाद यह एक महत्वपूर्ण और रहस्यमय अपरिवर्तनीय है।


== एक डेडेकिंड डोमेन पर सूक्ष्म रूप से उत्पन्न मॉड्यूल ==
== एक डेडेकिंड कार्यक्षेत्र पर सूक्ष्म रूप से उत्पन्न मापांक ==
सिद्धांत आदर्श डोमेन (PID) पर सूक्ष्म रूप से उत्पन्न मॉड्यूल के लिए प्रसिद्ध और अत्यधिक उपयोगी संरचना प्रमेय को ध्यान में रखते हुए, डेडेकाइंड डोमेन पर [[अंतिम रूप से उत्पन्न मॉड्यूल]] के लिए संबंधित सिद्धांत के लिए निवेदन स्वाभाविक है।
सिद्धांत आदर्श कार्यक्षेत्र (PID) पर सूक्ष्म रूप से उत्पन्न मापांक के लिए प्रसिद्ध और अत्यधिक उपयोगी संरचना प्रमेय को ध्यान में रखते हुए, डेडेकाइंड कार्यक्षेत्र पर [[अंतिम रूप से उत्पन्न मॉड्यूल|अंतिम रूप से उत्पन्न मापांक]] के लिए संबंधित सिद्धांत के लिए निवेदन स्वाभाविक है।


आइए संक्षेप में एक PID R पर एक सूक्ष्म रूप से उत्पन्न <math>M</math>  की स्थिति में संरचना सिद्धांत को में याद करें। हम मरोड़ वाले उपप्रतिरूपक  <math>T</math>  को M के <math>m</math> तत्वों के सेट के रूप में परिभाषित करते हैं। जैसे कि  <math>rm = 0</math> कुछ गैर शून्य के लिए <math>r</math> में <math>R</math>. तब (M1) <math>T</math> प्रत्येक रूप में [[चक्रीय मॉड्यूल]]  के प्रत्यक्ष योग में विघटित किया जा सकता है। <math>R/I</math> कुछ अशून्य आदर्श के लिए <math>I</math> का <math>R</math>. चीनी अवशेष प्रमेय द्वारा, प्रत्येक <math>R/I</math> को उपप्रतिरूपक के प्रत्यक्ष योग में विघटित किया जा सकता है <math>R/P^i</math>, जहां <math>P^i</math> एक अभाज्य आदर्श की शक्ति है। यह अपघटन अद्वितीय नहीं है, लेकिन किन्हीं दो अपघटन
आइए संक्षेप में एक PID R पर एक सूक्ष्म रूप से उत्पन्न <math>M</math>  की स्थिति में संरचना सिद्धांत को याद करें। हम मरोड़ वाले उपप्रतिरूपक  <math>T</math>  को M के <math>m</math> तत्वों के सेट के रूप में परिभाषित करते हैं। जैसे कि  <math>rm = 0</math> कुछ गैर शून्य के लिए <math>r</math> में <math>R</math>. तब (M1) <math>T</math> प्रत्येक रूप में [[चक्रीय मॉड्यूल|चक्रीय मापांक]]  के प्रत्यक्ष योग में विघटित किया जा सकता है। <math>R/I</math> कुछ अशून्य आदर्श के लिए <math>I</math> का <math>R</math>. चीनी अवशेष प्रमेय द्वारा, प्रत्येक <math>R/I</math> को उपप्रतिरूपक के प्रत्यक्ष योग में विघटित किया जा सकता है <math>R/P^i</math>, जहां <math>P^i</math> एक अभाज्य आदर्श शक्ति है। यह अपघटन अद्वितीय नहीं है, लेकिन केवल दो अपघटन


: <math>T \cong R/P_1^{a_1} \oplus \cdots \oplus R/P_r^{a_r} \cong R/Q_1^{b_1} \oplus \cdots \oplus R/Q_s^{b_s} </math>
: <math>T \cong R/P_1^{a_1} \oplus \cdots \oplus R/P_r^{a_r} \cong R/Q_1^{b_1} \oplus \cdots \oplus R/Q_s^{b_s} </math>
केवल गुणनखंड के क्रम में भिन्न होते हैं।
केवल गुणनखंड के क्रम में भिन्न होते हैं।


(M2) मरोड़ उपप्रतिरूपक एक सीधा योग है। अर्थात्,  <math>P</math> का <math>M</math> एक पूरक उपप्रतिरूपक उपलब्ध है, ऐसा है,कि <math>M = T \oplus P</math>.
(M2) मरोड़ उपप्रतिरूपक एक सीधा योग है। अर्थात्,  <math>P</math> का <math>M</math> एक पूरक उपप्रतिरूपक उपलब्ध है, ऐसा है, कि <math>M = T \oplus P</math>.


(M3PID) <math>P</math>,<math>R^n</math> के समरूपी से विशिष्ट रूप से निर्धारित गैर-ऋणात्मक पूर्णांक <math>n</math> के लिए विशेष रूप से, <math>P</math> एक अंतिम रूप से उत्पन्न मुक्त मॉड्यूल है।
(M3PID) <math>P</math>,<math>R^n</math> के समरूपी से विशिष्ट रूप से निर्धारित गैर-ऋणात्मक पूर्णांक <math>n</math> के लिए विशेष रूप से, <math>P</math> एक अंतिम रूप से उत्पन्न मुक्त मापांक है।


अब मान ले कि <math>M</math> एक स्वेच्छ डेडेकिंड डोमेन <math>R</math>. पर एक सूक्ष्म रूप से उत्पन्न किया गया मॉड्यूल है  
अब मान ले कि <math>M</math> एक स्वेच्छ डेडेकिंड कार्यक्षेत्र <math>R</math>. पर एक सूक्ष्म रूप से उत्पन्न किया गया मापांक है  


तब (M1) और (M2) शब्दशः धारण करते हैं। हालाँकि, यह (M3PID) से अनुसरण करता है कि एक सूक्ष्म रूप से उत्पन्न मरोड़ रहित मॉड्यूल <math>P</math> एक PID ​​​​पर मुफ़्त है। विशेष रूप से, यह दावा करता है कि सभी भिन्नात्मक आदर्श सिद्धांत हैं, एक कथन जो कभी भी गलत होता है वह यह है कि <math>R</math> PID ​​नहीं है। दूसरे शब्दों में, वर्ग समूह <math>Cl(R)</math> की गैर-तुच्छता के कारण (M3PID) विफल हो जाता है। उल्लेखनीय रूप से, एक मनमाना डेडेकाइंड डोमेन पर मरोड़ रहित बारीक रूप से उत्पन्न मॉड्यूल में अतिरिक्त संरचना को वर्ग समूह द्वारा सटीक रूप से नियंत्रित किया जाता है, जैसा कि अब हम समझाते हैं। एक मनमाने ढंग से डेडेकिंड डोमेन के ऊपर एक
तब (M1) और (M2) शब्दशः धारण करते हैं। हालाँकि, यह (M3PID) से अनुसरण करता है कि एक सूक्ष्म रूप से उत्पन्न मरोड़ रहित मापांक <math>P</math> एक PID ​​​ है। विशेष रूप से, यह दावा करता है कि सभी भिन्नात्मक आदर्श सिद्धांत हैं, एक कथन जो कभी भी गलत हो सकता है वह यह है कि <math>R</math> एक PID ​​नहीं है। दूसरे शब्दों में, वर्ग समूह <math>Cl(R)</math> की गैर-तुच्छता के कारण (M3PID) विफल हो जाता है। उल्लेखनीय रूप से, एक मनमाना डेडेकाइंड कार्यक्षेत्र पर मरोड़ रहित बारीक रूप से उत्पन्न मापांक में अतिरिक्त संरचना को वर्ग समूह द्वारा सटीक रूप से नियंत्रित किया जाता है, जैसा कि अब हम समझाते हैं। एक यादृच्छिक प्रकार से डेडेकिंड कार्यक्षेत्र पर एक


(M3DD) <math>P</math> श्रेणी एक प्रक्षेपीय मॉड्यूल के प्रत्यक्ष योग के लिए समरूपी है: <math>P \cong I_1 \oplus \cdots \oplus I_r</math>. इसके अतिरिक्त, किसी भी श्रेणी के लिए एक प्रक्षेपीय मॉड्यूल <math>I_1,\ldots,I_r,J_1,\ldots,J_s</math>, किसी के पास
(M3DD) <math>P</math> श्रेणी एक प्रक्षेपीय मापांक के प्रत्यक्ष योग के लिए समरूपी है: <math>P \cong I_1 \oplus \cdots \oplus I_r</math>. इसके अतिरिक्त, किसी भी श्रेणी के लिए एक प्रक्षेपीय मापांक <math>I_1,\ldots,I_r,J_1,\ldots,J_s</math>, किसी के पास


: <math> I_1 \oplus \cdots \oplus I_r \cong J_1 \oplus \cdots \oplus J_s</math>
: <math> I_1 \oplus \cdots \oplus I_r \cong J_1 \oplus \cdots \oplus J_s</math>
Line 102: Line 102:


: <math>I_1 \otimes \cdots \otimes I_r \cong J_1 \otimes  \cdots \otimes J_s.\,</math>
: <math>I_1 \otimes \cdots \otimes I_r \cong J_1 \otimes  \cdots \otimes J_s.\,</math>
श्रेणी एक प्रक्षेपीय मॉड्यूल को भिन्नात्मक आदर्शों के साथ पहचाना जा सकता है, और अंतिम स्थिति को फिर से परिभाषित किया जा सकता है
श्रेणी एक प्रक्षेपीय मापांक को भिन्नात्मक आदर्शों के साथ पहचाना जा सकता है, और अंतिम स्थिति को फिर से परिभाषित किया जा सकता है


: <math> [I_1 \cdots I_r] = [J_1 \cdots J_s] \in Cl(R). </math>
: <math> [I_1 \cdots I_r] = [J_1 \cdots J_s] \in Cl(R). </math>
इस प्रकार श्रेणी का एक सूक्ष्म रूप से उत्पन्न मरोड़ रहित मॉड्यूल <math>n > 0</math> के रूप में व्यक्त किया जा सकता है <math>R^{n-1} \oplus I</math>, जहां <math>I</math> श्रेणी एक प्रक्षेपीय मॉड्यूल है।  <math>P</math> ऊपर <math>R</math> के लिए स्टीनिट्ज़ वर्ग <math>[I]</math> का <math>I</math> में <math>Cl(R)</math>: यह विशिष्ट रूप से निर्धारित है।<ref name=FT95>Fröhlich & Taylor (1991) p.95</ref> इसका एक परिणाम है:
इस प्रकार श्रेणी का एक सूक्ष्म रूप से उत्पन्न मरोड़ रहित मापांक <math>n > 0</math> के रूप में व्यक्त किया जा सकता है <math>R^{n-1} \oplus I</math>, जहां <math>I</math> श्रेणी एक प्रक्षेपीय मापांक है।  <math>P</math> पर <math>R</math> के लिए स्टीनिट्ज़ वर्ग <math>[I]</math> का <math>I</math> में <math>Cl(R)</math>: यह विशिष्ट रूप से निर्धारित है।<ref name=FT95>Fröhlich & Taylor (1991) p.95</ref> इसका एक परिणाम है:


प्रमेय: मानो कि <math>R</math> एक डेडेकाइंड डोमेन है। तब <math>K_0(R) \cong \mathbb{Z} \oplus Cl(R)</math>, जहां <math>K_0(R)</math> सूक्ष्म रूप से उत्पन्न प्रक्षेपी <math>R</math> मॉड्यूल के क्रमविनिमेय मोनॉइड का [[ग्रोथेंडिक समूह]] है।  
प्रमेय: मानो कि <math>R</math> एक डेडेकाइंड कार्यक्षेत्र है। तब <math>K_0(R) \cong \mathbb{Z} \oplus Cl(R)</math>, जहां <math>K_0(R)</math> सूक्ष्म रूप से उत्पन्न प्रक्षेपी <math>R</math> मापांक के क्रमविनिमेय मोनॉइड का [[ग्रोथेंडिक समूह]] है।  


ये परिणाम 1912 में [[अर्नेस्ट स्टीनिट्ज़]] द्वारा स्थापित किए गए थे।
ये परिणाम 1912 में [[अर्नेस्ट स्टीनिट्ज़]] द्वारा स्थापित किए गए थे।


इस संरचना का एक अतिरिक्त परिणाम, जो पूर्ववर्ती प्रमेय में निहित नहीं है, यह है कि यदि डेडेकिंड डोमेन पर दो प्रक्षेपी मॉड्यूल ग्रोथेंडिक समूह में समान वर्ग हैं, तो वे वास्तव में समरूपी हैं।
इस संरचना का एक अतिरिक्त परिणाम, जो पूर्ववर्ती प्रमेय में निहित नहीं है, यह है कि यदि डेडेकिंड कार्यक्षेत्र पर दो प्रक्षेपी मापांक ग्रोथेंडिक समूह में समान वर्ग हैं, तो वे वास्तव में समरूपी हैं।


== स्थानीय रूप से डेडेकिंड के छल्ले ==
== स्थानीय रूप से डेडेकिंड के वलय ==


एक अभिन्न डोमेन <math>R</math>  उपलब्ध हैं जो स्थानीय रूप से डेडेकाइंड है लेकिन विश्व स्तर पर डेडेकाइंड नही हैं। <math>R</math>  का स्थानीयकरण प्रत्येक अधिकतम आदर्श पर एक डेडेकाइंड रिंग (समतुल्य रूप से, एक डीवीआर) हैं, लेकिन  <math>R</math> स्वयं डेडेकाइंड नहीं है। जैसा ऊपर बताया गया है, ऐसी रिंग नोथेरियन नहीं हो सकती है। ऐसा लगता है कि इस तरह के छल्लों का पहला उदाहरण 1953 में एन. नाकानो द्वारा बनाया गया था। साहित्य में ऐसे छल्लों को कभी-कभी "उचित लगभग डेडेकिंड विलय" कहा जाता है।
एक अभिन्न कार्यक्षेत्र <math>R</math>  उपलब्ध हैं जो स्थानीय रूप से डेडेकाइंड है लेकिन विश्व स्तर पर डेडेकाइंड नही हैं। <math>R</math>  का स्थानीयकरण प्रत्येक अधिकतम आदर्श पर एक डेडेकाइंड वलय (समतुल्य रूप से, एक DVR हैं), लेकिन  <math>R</math> स्वयं डेडेकाइंड नहीं है। जैसा कि ऊपर बताया गया है, उपरोक्त वलय नोथेरियन नहीं हो सकती है। ऐसा लगता है कि इस तरह के वलयों का पहला उदाहरण 1953 में N. नाकानो द्वारा बनाया गया था। साहित्य में ऐसे वलयों को कभी-कभी "उचित लगभग डेडेकिंड विलय" कहा जाता है।


== यह भी देखें ==
== यह भी देखें ==
Line 150: Line 150:
* {{springer|title=Dedekind ring|id=p/d030550}}
* {{springer|title=Dedekind ring|id=p/d030550}}


{{DEFAULTSORT:Dedekind Domain}}[[Category: क्रमविनिमेय बीजगणित]] [[Category: बीजगणितीय संख्या सिद्धांत]] [[Category: गुणन]]
{{DEFAULTSORT:Dedekind Domain}}


 
[[Category:All articles containing potentially dated statements|Dedekind Domain]]
 
[[Category:Articles containing potentially dated statements from 2016|Dedekind Domain]]
[[Category: Machine Translated Page]]
[[Category:Created On 13/02/2023|Dedekind Domain]]
[[Category:Created On 13/02/2023]]
[[Category:Lua-based templates|Dedekind Domain]]
[[Category:Machine Translated Page|Dedekind Domain]]
[[Category:Pages with script errors|Dedekind Domain]]
[[Category:Short description with empty Wikidata description|Dedekind Domain]]
[[Category:Templates Vigyan Ready|Dedekind Domain]]
[[Category:Templates that add a tracking category|Dedekind Domain]]
[[Category:Templates that generate short descriptions|Dedekind Domain]]
[[Category:Templates using TemplateData|Dedekind Domain]]
[[Category:क्रमविनिमेय बीजगणित|Dedekind Domain]]
[[Category:गुणन|Dedekind Domain]]
[[Category:बीजगणितीय संख्या सिद्धांत|Dedekind Domain]]

Latest revision as of 17:27, 3 March 2023

सार बीजगणित में, एक डेडेकिंड कार्यक्षेत्र या डेडेकिंड वलय, जिसका नाम रिचर्ड डेडेकिंड के नाम पर रखा गया है, एक अभिन्न कार्यक्षेत्र है जिसमें प्रत्येक अशून्य उचित आदर्श गुणनखंड को अभाज्य आदर्शों के गुणन में समिलित करता है। यह कहा जा सकता है कि गुणनखंड के क्रम तक इस तरह का एक गुणनखंड आवश्यक रूप से अद्वितीय है। डेडेकिंड कार्यक्षेत्र की कम से कम तीन अन्य विशेषताएँ हैं जिन्हें कभी-कभी परिभाषा के रूप में लिया जाता है:

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

परिभाषा का एक तात्कालिक परिणाम यह है कि प्रत्येक सिद्धांत आदर्श कार्यक्षेत्र (PID) एक डेडेकाइंड कार्यक्षेत्र है। वास्तव में एक डेडेकाइंड कार्यक्षेत्र एक अद्वितीय गुणनखंडन कार्यक्षेत्र (UFD) है, यदि यह केवल एक PID है।


डेडेकाइंड कार्यक्षेत्र का प्रागितिहास

19वीं शताब्दी में उच्च कोटि की बीजगणितीय संख्याओं के वलयों (गणित) का उपयोग करके बहुपद समीकरणों के पूर्णांक समाधानों में अंतर्दृष्टि प्राप्त करना एक सामान्य तकनीक बन गई। उदाहरण के लिए, एक सकारात्मक पूर्णांक को ठीक करें, यह निर्धारित करने के प्रयास में कि किन पूर्णांकों को द्विघात रूप द्वारा दर्शाया गया है, द्विघात रूप को में विभाजित करना स्वाभाविक है, द्विघात क्षेत्र के पूर्णांकों के वलय में होने वाला गुणनखंड है। इसी तरह, एक सकारात्मक पूर्णांक के लिए बहुपद (जो फर्मेट समीकरण को हल करने के लिए उपयुक्त है ) पर गुणनखंड किया जा सकता है , जहाँ एक n-वा अभाज्य मूल हैं।

और के कुछ छोटे मानों के लिए बीजगणितीय पूर्णांकों के ये वलय PID ​​हैं, और इसे पियरे डी फर्मेट () और लियोनहार्ड यूलर () की प्राचीन सफलताओं की व्याख्या के रूप में देखा जा सकता हैं। इस समय तक किसी दिए गए द्विघात क्षेत्र के सभी बीजगणितीय पूर्णांकों के विलय को निर्धारित करने की प्रक्रिया एक PID ​​है, जिसका द्विघात रूप सिद्धांतकारों के लिए अच्छी तरह से जाना जाता था। विशेष रूप से, कार्ल फ्रेडरिक गॉस ने काल्पनिक द्विघात क्षेत्रों की स्थिति को देखा था: उन्होंने के नौ मूल्यों को पाया। जिसके लिए पूर्णांकों का वलय एक PID है और यह अनुमान लगाया कि आगे अब कोई मान प्राप्त नहीं किया जा सकता। (गॉस का अनुमान एक सौ साल से भी अधिक समय बाद कर्ट हेगनेर, एलन बेकर (गणितज्ञ) और हेरोल्ड स्टार्क द्वारा सिद्ध किया गया।) हालांकि, इसे द्विघात रूपों के तुल्यता वर्गों की भाषा में समझा गया था, ताकि विशेष रूप से द्विघात रूपों और फ़र्मेट समीकरण के बीच समानता को न समझा जा सके। 1847 में गेब्रियल लैम ने सभी के लिए फर्मेट के अंतिम प्रमेय के समाधान की घोषणा की, अर्थात् फ़र्मेट समीकरण के गैर-शून्य पूर्णांकों में कोई समाधान नहीं है, लेकिन यह पता चला है कि उसका समाधान इस धारणा पर आधारित है कि साइक्लोटोमिक वलय एक UFD है। अर्नस्ट कुमेर ने तीन साल पहले दिखाया था (मानों की पूर्ण परिमित सूची) जिसके लिए एक UFD है। उसी समय, कुमेर ने फर्मेट के अंतिम प्रमेय को प्रमाणित करने के लिए कम से कम अभाज्य संख्या के घातांक के एक बड़े वर्ग के लिए शक्तिशाली नए तरीके विकसित किए, जिसे अब हम इस तथ्य के रूप में पहचानते हैं कि वलय एक डेडेकाइंड कार्यक्षेत्र है। वास्तव में कुमेर ने आदर्शों के साथ नहीं बल्कि "आदर्श संख्याओं" के साथ काम किया, जिस कारण एक आधुनिक परिभाषा डेडेकिंड द्वारा दी गई।

20वीं शताब्दी तक, बीजगणित और संख्या सिद्धांतकारों को यह अनुभव हो गया था कि PID ​​होने की स्थिति बहुत ही व्यवहार कुशल होती है, जबकि डेडेकाइंड कार्यक्षेत्र होने की स्थिति बहुत ही मजबूत होती है। उदाहरण के लिए साधारण पूर्णांकों का वलय एक PID है, लेकिन जैसा कि वलय के ऊपर देखा गया है एक संख्या क्षेत्र में बीजगणितीय पूर्णांकों की PID ​​होना आवश्यक नहीं है। वास्तव में, हालांकि गॉस ने यह भी अनुमान लगाया था कि अपरिमित रूप से अनेक अभाज्य संख्याएँ होती हैं जैसे कि पूर्णांकों का वलय एक PID ​​है, As of 2016 तक यह अभी तक ज्ञात नहीं है कि अपरिमित रूप से अनेक संख्या क्षेत्र हैं या नहीं, (यादृच्छिक डिग्री का) एक ऐसा PID ​​है। दूसरी ओर, संख्या क्षेत्र में पूर्णांकों का वलय हमेशा डेडेकाइंड कार्यक्षेत्र ही होता है।

व्यवहार कुशल/सुदृढ़ द्विभाजन का एक अन्य उदाहरण यह तथ्य है कि एक डेडेकिंड कार्यक्षेत्र होने के संबंध में, नोथेरियन कार्यक्षेत्र के बीच, एक अवस्थिति विशेषता: एक नोथेरियन कार्यक्षेत्र प्रत्येक अधिकतम आदर्श के के लिए डेडेकाइंड हैं। वलयों का स्थानीयकरण एक डेडेकाइंड वलय है। लेकिन एक स्थानीय कार्यक्षेत्र एक डेडेकाइंड वलय है, अगर यह एक PID ​​​​है, अगर यह एक असतत मूल्यांकन वलय (DVR) है, इसलिए वही स्थानीय लक्षण वर्णन PID ​​​​के लिए नहीं हो सकता है: बल्कि, यह कह सकते है कि डेडेकाइंड वलय की अवधारणा एक DVR की अवधारणा का वैश्वीकरण है।

वैकल्पिक परिभाषाएँ

एक अभिन्न कार्यक्षेत्र के लिए जो एक क्षेत्र नहीं है, निम्नलिखित सभी शर्तें समतुल्य हैं:[1]

(DD1) प्रत्येक अशून्य उचित आदर्श गुणनखंडन अभाज्य संख्या में होते हैं।
(DD2) नोथेरियन है, और प्रत्येक अधिकतम आदर्श पर स्थानीयकरण एक असतत मूल्यांकन वलय है।
(DD3) का प्रत्येक अशून्य भिन्नात्मक गुणनखंडन उलटा होता है।
(DD4) एक अभिन्न रूप से बंद नोथेरियन कार्यक्षेत्र है, जिसमें क्रुल आयाम एक है (अर्थात, प्रत्येक गैर-अभाज्य आदर्श अधिकतम है)।
(DD5) किसी भी दो आदर्शों के लिए और में , में निहित है, यदि और केवल को आदर्शों के रूप में विभाजित करता है। अर्थात एक आदर्श उपलब्ध है जैसे कि . इस स्थिति को संतुष्ट करने वाली इकाई के साथ एक क्रमविनियम वलय (आवश्यक रूप से एक कार्यक्षेत्र नहीं) को एक नियंत्रण विभाजन वलय (CDR) कहा जाता है।[2]

इस प्रकार एक डेडेकाइंड कार्यक्षेत्र एक ऐसा कार्यक्षेत्र है जो या तो एक क्षेत्र है, या जो उपरोक्त में से सभी या किसी एक को संतुष्ट करता हो। व्यवहार में, (DD4) को सत्यापित करना प्रायः सबसे आसान होता है।

क्रुल कार्यक्षेत्र डेडेकाइंड कार्यक्षेत्र का एक उच्च-आयामी अनुरूप है: एक डेडेकाइंड कार्यक्षेत्र जो एक क्षेत्र नहीं है, आयाम 1 का क्रुल कार्यक्षेत्र है। इस धारणा का उपयोग डेडेकाइंड कार्यक्षेत्र के विभिन्न लक्षणों का अध्ययन करने के लिए किया जा सकता है। वास्तव में, यह निकोलस बोरबाकी के "क्रमविनियम बीजगणित" में प्रयुक्त डेडेकिंड कार्यक्षेत्र की परिभाषा है।

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


डेडेकाइंड कार्यक्षेत्र के कुछ उदाहरण

सभी सिद्धांत आदर्श कार्यक्षेत्र और सभी असतत मूल्यांकन वलय (DVR) डेडेकिंड कार्यक्षेत्र हैं।

किसी संख्या क्षेत्र K में बीजगणितीय पूर्णांकों का वलय नोथेरियन है, जो अभिन्न रूप से बंद है, और एक आयाम है: अंतिम विशेषता को देखने के लिए, निरीक्षण करें कि R के किसी भी अशून्य अभाज्य गुणजावली I के लिए, R/I एक परिमित सेट है, और याद रखें कि एक परिमित अभिन्न कार्यक्षेत्र एक क्षेत्र है; इसलिए (DD4) द्वारा R एक डेडेकिंड कार्यक्षेत्र है। उपरोक्त अनुसार, इसमें कुमेर और डेडेकिंड द्वारा माने गए सभी उदाहरण समिलित हैं और ये सबसे अधिक अध्ययन किए गए उदाहरणों में से हैं।

डेडेकाइंड वलय के अन्य वर्ग जो ज्यामिति से आता है और यह तर्कसंगत रूप से समान महत्व का है : मान लीजिए C को एक क्षेत्र k पर एक गैर-एकवचन ज्यामितीय रूप से अभिन्न बीजगणितीय वक्र है। फिर C पर नियमित फलनों का समन्वय वलय k[C] एक डेडेकिंड कार्यक्षेत्र है। यह केवल ज्यामितीय शब्दों को बीजगणित में अनुवाद करने से एक सीमा तक स्पष्ट है: परिभाषा के अनुसार, किसी भी प्रकार के समन्वय वलय, एक अंतिम रूप से उत्पन्न k-बीजगणित है, इसलिए नोथेरियन; इसके अतिरिक्त वक्र का अर्थ एक आयाम है और गैर-एकवचन का अर्थ समान्य है, जिसका परिभाषा के अनुसार अर्थ अभिन्न रूप से बंद होना है।

इन दोनों निर्माणों को निम्नलिखित मूल परिणाम के विशेष स्तिथियों के रूप में देखा जा सकता है:

'प्रमेय': मान लीजिए कि R एक डेडेकिंड कार्यक्षेत्र है जिसका क्षेत्र K है। मान लीजिए L, K का एक परिमित डिग्री क्षेत्र विस्तार है और S द्वारा L में R के अभिन्न संवरण को निरूपित करता है। तब S स्वयं एक डेडेकिंड कार्यक्षेत्र है।[4]

जब R स्वयं एक PID है, तब इस प्रमेय को लागू करने से हमें PIDs से डेडेकिंड कार्यक्षेत्र बनाने का एक तरीका मिल जाता है। R = 'Z' मानते हुए, यह रचना सटीक रूप से कहती है कि संख्या क्षेत्रों के पूर्णांकों के वलय डेडेकिंड कार्यक्षेत्र हैं। R = k [t] लेते हुए, एक उपरोक्त स्थिति को एफ़िन लाइन के शाखित संवरण के रूप में व्युत्क्रमणीय एफ़िन वक्र के रूप में प्राप्त करता है।

ऑस्कर ज़ारिस्की और पियरे-सैमुअल को इस निर्माण के साथ यह पूछने के लिए पर्याप्त रूप से लिया गया था कि क्या प्रत्येक डेडेकिंड कार्यक्षेत्र इससे उत्पन्न होता है।[5] L. क्लाबोर्न द्वारा आश्चर्यजनक रूप से सरल नकारात्मक उत्तर दिया गया।[6]

उपरोक्त स्थिति के समान स्थिति मान ले, लेकिन K का विस्तार L अनंत डिग्री का बीजगणितीय है, तो यह अभी भी L में R के पूर्ण समापन S के लिए डेडेकिंड कार्यक्षेत्र होना संभव है, लेकिन इसकी गारंटी नहीं है। उदाहरण के लिए, फिर से R = 'Z', K = 'Q' लें और अब L को सभी बीजगणितीय संख्याओं का क्षेत्र मान लें। पूर्ण समापन सभी बीजगणितीय पूर्णांकों के वलय के अतिरिक्त और कुछ नहीं है। चूंकि एक बीजगणितीय पूर्णांक का वर्गमूल फिर से एक बीजगणितीय पूर्णांक होता है, इसलिए किसी भी शून्येतर गैर-इकाई बीजगणितीय पूर्णांकों का गुणनफल करना संभव नहीं है, जिसका अर्थ है कि नोथेरियन अभाज्य नहीं है! सामान्यतः, एक अनंत बीजगणितीय विस्तार में डेडेकिंड कार्यक्षेत्र का अभिन्न समापन एक प्रुफर कार्यक्षेत्र है; यह पता चला है कि बीजगणितीय पूर्णांकों का वलय इससे थोड़ा अधिक विशेष है: यह एक बेज़ाउट कार्यक्षेत्र है।

आंशिक आदर्श और वर्ग समूह

R को क्षेत्र K के साथ एक अभिन्न कार्यक्षेत्र मान ले। एक भिन्नात्मक आदर्श K का एक अशून्य R-उपप्रतिरूपक I है जिसके लिए K में एक अशून्य x उपलब्ध है जैसे कि

दो आंशिक आदर्शों I और J को देखते हुए, उनके गुणनफल IJ को सभी परिमित योगों के समुच्चय के रूप में परिभाषित किया जाता है : गुणनफल IJ पुनः एक भिन्नात्मक गुणजावली है। उपरोक्त गुणनफल के साथ संपन्न सभी भिन्नात्मक आदर्शों का सेट Frac(R) एक क्रमविनिमेय अर्धसमूह है और वास्तव में एक एकाभ है जिसमें पहचान तत्व भिन्नात्मक आदर्श R है।

किसी भिन्नात्मक आदर्श I के लिए, भिन्नात्मक गुणजावली को परिभाषित किया जा सकता है

एक पुनरुक्ति में होता है। वास्तव में किसी में समानता होती है यदि और केवल, Frac(R) के एकाभ के तत्व के रूप में उलटा है। दूसरे शब्दों में, यदि I का कोई व्युत्क्रम है, तो प्रतिलोम अवश्य होना चाहिए।

एक भिन्नात्मक आदर्श सिद्धांत K में कुछ गैर शून्य x के लिए के रूप में से एक है। ध्यान दें कि प्रत्येक भिन्नात्मक आदर्श सिद्धांत व्युत्क्रमणीय है। का व्युत्क्रम केवल . है। हम Prin(R) द्वारा सिद्धांत आंशिक आदर्शों के उपसमूह को निरूपित करते हैं।

कार्यक्षेत्र R एक PID ​​​​है अगर और केवल हर आंशिक आदर्श सिद्धांत है। इस स्थिति में, हमारे पास Frac(R) = Prin(R) = है , दो सिद्धांत आंशिक आदर्शों के बाद से और बराबर हैं R में एक इकाई है।

एक सामान्य कार्यक्षेत्र R के लिए, मुख्य भिन्नात्मक आदर्शों के उप-एकाभ Prin (R) द्वारा सभी भिन्नात्मक आदर्शों के एकाभ Frac(R) के भागफल को लेना अर्थपूर्ण है। हालाँकि यह भागफल समान्यतः केवल एक एकाभ होता है। वास्तव में यह देखना आसान है कि Frac(R)/Prin(R) में भिन्नात्मक आदर्श I का वर्ग व्युत्क्रमणीय है यदि और केवल यदि I स्वयं व्युत्क्रमणीय है।

अब हम (DD3) की सराहना कर सकते हैं: डेडेकिंड कार्यक्षेत्र में (और केवल डेडेकिंड कार्यक्षेत्र में) प्रत्येक भिन्नात्मक आदर्श व्युत्क्रमणीय होता है। इस प्रकार ये ठीक कार्यक्षेत्र के वर्ग हैं जिसके लिए Frac(R)/Prin(R) एक समूह (गणित) बनाता है, R का आदर्श वर्ग समूह Cl(R) है। यह समूह छोटा है अगर और केवल R एक PID है, इसलिए इसे PID ​​​​होने वाले सामान्य डेडेकाइंड कार्यक्षेत्र में बाधा को मापने के रूप में देखा जा सकता है।

हमने ध्यान दिया कि एक यादृच्छिक कार्यक्षेत्र के लिए पिकार्ड समूह Pic(R) को उल्टे भिन्नात्मक आदर्शों के समूह के रूप में परिभाषित किया जा सकता है Inv(R) मापांक सिद्धांत भिन्नात्मक आदर्शों का उपसमूह हैं। डेडेकिंड कार्यक्षेत्र के लिए यह निश्चित रूप से आदर्श वर्ग समूह के समान है। हालांकि, कार्यक्षेत्र के एक अधिक सामान्य वर्ग पर, जिसमें नोथेरियन कार्यक्षेत्र और क्रुल कार्यक्षेत्र समिलित हैं, आदर्श वर्ग समूह एक अलग तरीके से बनाया गया है, और एक विहित समरूपता है

Pic (R) → CI (R)

जो कि समान्यतः न तो अंतःक्षेपी है और न ही आच्छादक। यह कार्टियर विभाजक और वील विभाजक के बीच एक विलक्षण बीजगणितीय प्रकार के अंतर का एक एफीन एनालॉग है।

L. क्लैबॉर्न (क्लाबॉर्न 1966) का एक उल्लेखनीय प्रमेय दावा करता है कि किसी भी एबेलियन समूह G के लिए, एक डेडेकिंड कार्यक्षेत्र R उपलब्ध है जिसका आदर्श वर्ग समूह G के लिए समूह समरूपता है। बाद में, C.R. लीधम-ग्रीन ने दिखाया कि इस तरह के R का निर्माण एक द्विघात क्षेत्र विस्तार (लीधम-ग्रीन 1972) में PID ​​​​के अभिन्न समापन के रूप में किया जा सकता है। 1976 में, M. रोसेन ने दिखाया कि किसी डेडेकिंड कार्यक्षेत्र के वर्ग समूह के रूप में किसी भी गणनीय एबेलियन समूह को कैसे सिद्ध किया जाए, जो एक दीर्घवृत्तीय वक्र के तर्कसंगत कार्य क्षेत्र का एक उपसमूह है, और अनुमान लगाया कि एक सामान्य एबेलियन के लिए ऐसा अण्डाकार निर्माण संभव होना चाहिए। रोसेन के अनुमान को 2008 में P.L. (क्लार्क 2009) ने सिद्ध किया।

इसके विपरीत, बीजगणितीय संख्या सिद्धांत में बुनियादी प्रमेयों में से एक यह निर्धारित करता है कि संख्या क्षेत्र के पूर्णांकों के वलय का वर्ग समूह परिमित है; इसकी प्रमुखता को वर्ग संख्या (संख्या सिद्धांत) कहा जाता है और गॉस से लेकर आज तक कई प्रमुख गणितज्ञों की कड़ी मेहनत के बाद यह एक महत्वपूर्ण और रहस्यमय अपरिवर्तनीय है।

एक डेडेकिंड कार्यक्षेत्र पर सूक्ष्म रूप से उत्पन्न मापांक

सिद्धांत आदर्श कार्यक्षेत्र (PID) पर सूक्ष्म रूप से उत्पन्न मापांक के लिए प्रसिद्ध और अत्यधिक उपयोगी संरचना प्रमेय को ध्यान में रखते हुए, डेडेकाइंड कार्यक्षेत्र पर अंतिम रूप से उत्पन्न मापांक के लिए संबंधित सिद्धांत के लिए निवेदन स्वाभाविक है।

आइए संक्षेप में एक PID R पर एक सूक्ष्म रूप से उत्पन्न की स्थिति में संरचना सिद्धांत को याद करें। हम मरोड़ वाले उपप्रतिरूपक को M के तत्वों के सेट के रूप में परिभाषित करते हैं। जैसे कि कुछ गैर शून्य के लिए में . तब (M1) प्रत्येक रूप में चक्रीय मापांक के प्रत्यक्ष योग में विघटित किया जा सकता है। कुछ अशून्य आदर्श के लिए का . चीनी अवशेष प्रमेय द्वारा, प्रत्येक को उपप्रतिरूपक के प्रत्यक्ष योग में विघटित किया जा सकता है , जहां एक अभाज्य आदर्श शक्ति है। यह अपघटन अद्वितीय नहीं है, लेकिन केवल दो अपघटन

केवल गुणनखंड के क्रम में भिन्न होते हैं।

(M2) मरोड़ उपप्रतिरूपक एक सीधा योग है। अर्थात्, का एक पूरक उपप्रतिरूपक उपलब्ध है, ऐसा है, कि .

(M3PID) , के समरूपी से विशिष्ट रूप से निर्धारित गैर-ऋणात्मक पूर्णांक के लिए विशेष रूप से, एक अंतिम रूप से उत्पन्न मुक्त मापांक है।

अब मान ले कि एक स्वेच्छ डेडेकिंड कार्यक्षेत्र . पर एक सूक्ष्म रूप से उत्पन्न किया गया मापांक है

तब (M1) और (M2) शब्दशः धारण करते हैं। हालाँकि, यह (M3PID) से अनुसरण करता है कि एक सूक्ष्म रूप से उत्पन्न मरोड़ रहित मापांक एक PID ​​​ है। विशेष रूप से, यह दावा करता है कि सभी भिन्नात्मक आदर्श सिद्धांत हैं, एक कथन जो कभी भी गलत हो सकता है वह यह है कि एक PID ​​नहीं है। दूसरे शब्दों में, वर्ग समूह की गैर-तुच्छता के कारण (M3PID) विफल हो जाता है। उल्लेखनीय रूप से, एक मनमाना डेडेकाइंड कार्यक्षेत्र पर मरोड़ रहित बारीक रूप से उत्पन्न मापांक में अतिरिक्त संरचना को वर्ग समूह द्वारा सटीक रूप से नियंत्रित किया जाता है, जैसा कि अब हम समझाते हैं। एक यादृच्छिक प्रकार से डेडेकिंड कार्यक्षेत्र पर एक

(M3DD) श्रेणी एक प्रक्षेपीय मापांक के प्रत्यक्ष योग के लिए समरूपी है: . इसके अतिरिक्त, किसी भी श्रेणी के लिए एक प्रक्षेपीय मापांक , किसी के पास

अगर और केवल अगर

और

श्रेणी एक प्रक्षेपीय मापांक को भिन्नात्मक आदर्शों के साथ पहचाना जा सकता है, और अंतिम स्थिति को फिर से परिभाषित किया जा सकता है

इस प्रकार श्रेणी का एक सूक्ष्म रूप से उत्पन्न मरोड़ रहित मापांक के रूप में व्यक्त किया जा सकता है , जहां श्रेणी एक प्रक्षेपीय मापांक है। पर के लिए स्टीनिट्ज़ वर्ग का में : यह विशिष्ट रूप से निर्धारित है।[7] इसका एक परिणाम है:

प्रमेय: मानो कि एक डेडेकाइंड कार्यक्षेत्र है। तब , जहां सूक्ष्म रूप से उत्पन्न प्रक्षेपी मापांक के क्रमविनिमेय मोनॉइड का ग्रोथेंडिक समूह है।

ये परिणाम 1912 में अर्नेस्ट स्टीनिट्ज़ द्वारा स्थापित किए गए थे।

इस संरचना का एक अतिरिक्त परिणाम, जो पूर्ववर्ती प्रमेय में निहित नहीं है, यह है कि यदि डेडेकिंड कार्यक्षेत्र पर दो प्रक्षेपी मापांक ग्रोथेंडिक समूह में समान वर्ग हैं, तो वे वास्तव में समरूपी हैं।

स्थानीय रूप से डेडेकिंड के वलय

एक अभिन्न कार्यक्षेत्र उपलब्ध हैं जो स्थानीय रूप से डेडेकाइंड है लेकिन विश्व स्तर पर डेडेकाइंड नही हैं। का स्थानीयकरण प्रत्येक अधिकतम आदर्श पर एक डेडेकाइंड वलय (समतुल्य रूप से, एक DVR हैं), लेकिन स्वयं डेडेकाइंड नहीं है। जैसा कि ऊपर बताया गया है, उपरोक्त वलय नोथेरियन नहीं हो सकती है। ऐसा लगता है कि इस तरह के वलयों का पहला उदाहरण 1953 में N. नाकानो द्वारा बनाया गया था। साहित्य में ऐसे वलयों को कभी-कभी "उचित लगभग डेडेकिंड विलय" कहा जाता है।

यह भी देखें

टिप्पणियाँ

  1. Milne 2008, Remark 3.25
  2. Krasula 2022, Theorem 12
  3. Cohn 2003, 2.4. Exercise 9
  4. The theorem follows, for instance, from the Krull–Akizuki theorem.
  5. Zariski and Samuel, p. 284
  6. Claborn 1965, Example 1-9
  7. Fröhlich & Taylor (1991) p.95


संदर्भ

  • Bourbaki, Nicolas (1972), Commutative Algebra, Addison-Wesley
  • Claborn, Luther (1965), "Dedekind domains and rings of quotients", Pacific J. Math., 15: 59–64, doi:10.2140/pjm.1965.15.59
  • Claborn, Luther (1966), "Every abelian group is a class group", Pacific J. Math., 18 (2): 219–222, doi:10.2140/pjm.1966.18.219
  • Clark, Pete L. (2009), "Elliptic Dedekind domains revisited" (PDF), L'Enseignement Mathématique, 55 (3): 213–225, arXiv:math/0612469, doi:10.4171/lem/55-3-1, S2CID 7461271
  • Cohn, Paul M. (2003). Further algebra and applications. Springer. ISBN 1-85233-667-6.
  • Fröhlich, A.; Taylor, M.J. (1991), "II. Dedekind domains", Algebraic number theory, Cambridge studies in advanced mathematics, vol. 27, Cambridge University Press, pp. 35–101, ISBN 0-521-36664-X, Zbl 0744.11001
  • Gomez-Ramirez, Danny (2015), "Conceptual Blending as a Creative meta-generator of mathematical concepts: Prime Ideals and Dedekind Domains as a blend", In: T.R. Besold, K.U. Kühnberger, M. Schorlemmer, A. Smaill (Eds.) Proceedings of the 4th International Workshop on Computational Creativity, Concept Invention, and General Intelligence (C3GI) PICS, 2[1]
  • Krasula, Dominik (2022), "Restricted Minimum Condition in Reduced Commutative Rings", The Mediterranean Journal of Mathematics, 19 (6), arXiv:2201.03921, doi:10.1007/s00009-022-02190-4, S2CID 245853674[2]
  • Leedham-Green, C.R. (1972), "The class group of Dedekind domains", Trans. Amer. Math. Soc., 163: 493–500, doi:10.2307/1995734, JSTOR 1995734
  • Milne, J.S. (2008), Algebraic Number Theory (v3.00)
  • Nakano, Noburu (1953), "Idealtheorie in einem speziellen unendlichen algebraischen Zahlkörper", J. Sci. Hiroshima Univ. Ser. A, 16: 425–439
  • Rosen, Michael (1976), "Elliptic curves and Dedekind domains", Proc. Amer. Math. Soc., 57 (2): 197–201, doi:10.2307/2041187, JSTOR 2041187
  • Steinitz, E. (1912), "Rechteckige Systeme und Moduln in algebraischen Zahlkörpern", Math. Ann., 71 (3): 328–354, doi:10.1007/BF01456849, S2CID 179177736
  • Zariski, Oscar; Samuel, Pierre (1958), Commutative Algebra, Volume I, D. Van Nostrand Company


अग्रिम पठन


बाहरी संबंध