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

Latest revision as of 17:27, 3 March 2023

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

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

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

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

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

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

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

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

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

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

(DD1) प्रत्येक अशून्य उचित आदर्श गुणनखंडन अभाज्य संख्या में होते हैं।

(DD2)

R

नोथेरियन है, और प्रत्येक अधिकतम आदर्श पर स्थानीयकरण एक असतत मूल्यांकन वलय है।

(DD3)

R

का प्रत्येक अशून्य भिन्नात्मक गुणनखंडन उलटा होता है।

(DD4)

R

एक अभिन्न रूप से बंद नोथेरियन कार्यक्षेत्र है, जिसमें क्रुल आयाम एक है (अर्थात, प्रत्येक गैर-अभाज्य आदर्श अधिकतम है)।

(DD5) किसी भी दो आदर्शों के लिए

I

और

J

में

R

,

I

में निहित है, यदि और केवल

J

को आदर्शों के रूप में विभाजित करता है। अर्थात एक आदर्श

H

उपलब्ध है जैसे कि

I=JH

. इस स्थिति को संतुष्ट करने वाली इकाई के साथ एक क्रमविनियम वलय (आवश्यक रूप से एक कार्यक्षेत्र नहीं) को एक नियंत्रण विभाजन वलय (CDR) कहा जाता है।^[2]

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

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

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

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

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

किसी संख्या क्षेत्र K में बीजगणितीय पूर्णांकों का वलय $R={\mathcal {O}}_{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 को सभी बीजगणितीय संख्याओं का क्षेत्र ${\overline {\textbf {Q}}}$ मान लें। पूर्ण समापन सभी बीजगणितीय पूर्णांकों के वलय ${\overline {\textbf {Z}}}$ के अतिरिक्त और कुछ नहीं है। चूंकि एक बीजगणितीय पूर्णांक का वर्गमूल फिर से एक बीजगणितीय पूर्णांक होता है, इसलिए किसी भी शून्येतर गैर-इकाई बीजगणितीय पूर्णांकों का गुणनफल करना संभव नहीं है, जिसका अर्थ है कि ${\overline {\textbf {Z}}}$ नोथेरियन अभाज्य नहीं है! सामान्यतः, एक अनंत बीजगणितीय विस्तार में डेडेकिंड कार्यक्षेत्र का अभिन्न समापन एक प्रुफर कार्यक्षेत्र है; यह पता चला है कि बीजगणितीय पूर्णांकों का वलय इससे थोड़ा अधिक विशेष है: यह एक बेज़ाउट कार्यक्षेत्र है।

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

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

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

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

I^{*}=(R:I)=\{x\in K\mid xI\subset R\}.

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

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

कार्यक्षेत्र R एक PID है अगर और केवल हर आंशिक आदर्श सिद्धांत है। इस स्थिति में, हमारे पास Frac(R) = Prin(R) = है $K^{\times }/R^{\times }$ , दो सिद्धांत आंशिक आदर्शों के बाद से $xR$ और $yR$ बराबर हैं $xy^{-1}$ 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$ की स्थिति में संरचना सिद्धांत को याद करें। हम मरोड़ वाले उपप्रतिरूपक $T$ को M के $m$ तत्वों के सेट के रूप में परिभाषित करते हैं। जैसे कि $rm=0$ कुछ गैर शून्य के लिए $r$ में $R$ . तब (M1) $T$ प्रत्येक रूप में चक्रीय मापांक के प्रत्यक्ष योग में विघटित किया जा सकता है। $R/I$ कुछ अशून्य आदर्श के लिए $I$ का $R$ . चीनी अवशेष प्रमेय द्वारा, प्रत्येक $R/I$ को उपप्रतिरूपक के प्रत्यक्ष योग में विघटित किया जा सकता है $R/P^{i}$ , जहां $P^{i}$ एक अभाज्य आदर्श शक्ति है। यह अपघटन अद्वितीय नहीं है, लेकिन केवल दो अपघटन

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}}

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

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

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

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

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

(M3DD) $P$ श्रेणी एक प्रक्षेपीय मापांक के प्रत्यक्ष योग के लिए समरूपी है: $P\cong I_{1}\oplus \cdots \oplus I_{r}$ . इसके अतिरिक्त, किसी भी श्रेणी के लिए एक प्रक्षेपीय मापांक $I_{1},\ldots ,I_{r},J_{1},\ldots ,J_{s}$ , किसी के पास

I_{1}\oplus \cdots \oplus I_{r}\cong J_{1}\oplus \cdots \oplus J_{s}

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

r=s

और

I_{1}\otimes \cdots \otimes I_{r}\cong J_{1}\otimes \cdots \otimes J_{s}.\,

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

[I_{1}\cdots I_{r}]=[J_{1}\cdots J_{s}]\in Cl(R).

इस प्रकार श्रेणी का एक सूक्ष्म रूप से उत्पन्न मरोड़ रहित मापांक $n>0$ के रूप में व्यक्त किया जा सकता है $R^{n-1}\oplus I$ , जहां $I$ श्रेणी एक प्रक्षेपीय मापांक है। $P$ पर $R$ के लिए स्टीनिट्ज़ वर्ग $[I]$ का $I$ में $Cl(R)$ : यह विशिष्ट रूप से निर्धारित है।^[7] इसका एक परिणाम है:

प्रमेय: मानो कि $R$ एक डेडेकाइंड कार्यक्षेत्र है। तब $K_{0}(R)\cong \mathbb {Z} \oplus Cl(R)$ , जहां $K_{0}(R)$ सूक्ष्म रूप से उत्पन्न प्रक्षेपी $R$ मापांक के क्रमविनिमेय मोनॉइड का ग्रोथेंडिक समूह है।

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

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

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

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

यह भी देखें

डेवनपोर्ट स्थिरांक

संदर्भ

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

अग्रिम पठन

Edwards, Harold M. (1990), Divisor theory, Boston: Birkhäuser Verlag, ISBN 0-8176-3448-7, Zbl 0689.12001

बाहरी संबंध

"Dedekind ring", Encyclopedia of Mathematics, EMS Press, 2001 [1994]

[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

[FT95-7] Fröhlich & Taylor (1991) p.95

[1]

[2]

[3]

[4]

[5]

[6]

[7]

@@ Line 1: / Line 1: @@
 {{short description|Ring with unique factorization for ideals (mathematics)}}
-[[सार बीजगणित]] में, एक डेडेकिंड डोमेन या डेडेकिंड रिंग, जिसका नाम [[रिचर्ड डेडेकिंड]] के नाम पर रखा गया है, एक [[अभिन्न डोमेन]] है जिसमें प्रत्येक आदर्श (रिंग_थ्योरी)#उदाहरण और गुण प्रमुख आदर्शों के उत्पाद में कारक हैं। यह दिखाया जा सकता है कि कारकों के क्रम तक इस तरह का एक गुणनखंड आवश्यक रूप से अद्वितीय है। Dedekind डोमेन की कम से कम तीन अन्य विशेषताएँ हैं जिन्हें कभी-कभी परिभाषा के रूप में लिया जाता है: #Alternative_definitions देखें।
+[[सार बीजगणित]] में, एक '''डेडेकिंड कार्यक्षेत्र''' या '''डेडेकिंड वलय''', जिसका नाम [[रिचर्ड डेडेकिंड]] के नाम पर रखा गया है, एक [[अभिन्न डोमेन|अभिन्न कार्यक्षेत्र]] है जिसमें प्रत्येक अशून्य उचित आदर्श गुणनखंड को अभाज्य आदर्शों के गुणन में समिलित करता है। यह कहा जा सकता है कि गुणनखंड के क्रम तक इस तरह का एक गुणनखंड आवश्यक रूप से अद्वितीय है। डेडेकिंड कार्यक्षेत्र की कम से कम तीन अन्य विशेषताएँ हैं जिन्हें कभी-कभी परिभाषा के रूप में लिया जाता है:
-एक [[क्षेत्र (गणित)]] एक क्रमविनिमेय वलय है जिसमें कोई गैर-तुच्छ उचित आदर्श नहीं होते हैं, इसलिए कोई भी क्षेत्र एक डेडेकाइंड डोमेन है, हालांकि एक खाली सत्य तरीके से। कुछ लेखक इस आवश्यकता को जोड़ते हैं कि Dedekind डोमेन एक फ़ील्ड नहीं होना चाहिए। कई और लेखकों ने डेडेकाइंड डोमेन के लिए प्रमेयों को निहित प्रावधान के साथ बताया है कि उन्हें क्षेत्रों के मामले में तुच्छ संशोधनों की आवश्यकता हो सकती है।
+[[क्षेत्र (गणित)]] एक क्रमविनिमेय वलय है जिसमें कोई गैर-तुच्छ उचित आदर्श नहीं होते हैं, इसलिए कोई भी क्षेत्र एक डेडेकाइंड कार्यक्षेत्र हो सकता है। कुछ लेखक इस आवश्यकता को जोड़ते हैं कि डेडेकाइंड कार्यक्षेत्र एक क्षेत्र नहीं होना चाहिए। कई और लेखकों ने डेडेकाइंड कार्यक्षेत्र के लिए प्रमेयों को निहित प्रावधान के साथ बताया है कि उन्हें क्षेत्रों की स्थिति में तुच्छ संशोधनों की आवश्यकता हो सकती है।
-परिभाषा का एक तात्कालिक परिणाम यह है कि प्रत्येक [[प्रमुख आदर्श डोमेन]] (PID) एक Dedekind डोमेन है। वास्तव में एक Dedekind डोमेन एक अद्वितीय गुणनखंडन डोमेन (UFD) है यदि और केवल यदि यह एक PID है।
+परिभाषा का एक तात्कालिक परिणाम यह है कि प्रत्येक [[प्रमुख आदर्श डोमेन|सिद्धांत आदर्श कार्यक्षेत्र]] (PID) एक डेडेकाइंड कार्यक्षेत्र है। वास्तव में एक डेडेकाइंड कार्यक्षेत्र एक अद्वितीय गुणनखंडन कार्यक्षेत्र (UFD) है, यदि यह केवल एक PID है।
-{{Algebraic structures |Ring}}
-== डेडेकाइंड डोमेन का प्रागितिहास ==
+== डेडेकाइंड कार्यक्षेत्र का प्रागितिहास ==
-वीं शताब्दी में उच्च कोटि की [[बीजगणितीय संख्या]]ओं के वलय (गणित) का उपयोग करके [[बहुपद समीकरण]]ों के [[डायोफैंटाइन समीकरण]]ों में अंतर्दृष्टि प्राप्त करना एक सामान्य तकनीक बन गई। उदाहरण के लिए, एक सकारात्मक [[पूर्णांक]] ठीक करें <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>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> बीजगणितीय पूर्णांकों के ये छल्ले पीआईडी हैं, और इसे [[पियरे डी फर्मेट]] की शास्त्रीय सफलताओं की व्याख्या के रूप में देखा जा सकता है (<math>m = 1, n = 4</math>) और [[लियोनहार्ड यूलर]] (<math>m = 2,3, n = 3</math>). इस समय तक किसी दिए गए द्विघात क्षेत्र के सभी [[द्विघात पूर्णांक]] की अंगूठी निर्धारित करने के लिए एक प्रक्रिया <math>\mathbb{Q}(\sqrt{D})</math> एक पीआईडी है जो द्विघात रूप सिद्धांतकारों के लिए अच्छी तरह से जाना जाता था। विशेष रूप से, [[कार्ल फ्रेडरिक गॉस]] ने काल्पनिक द्विघात क्षेत्रों के मामले को देखा था: उन्होंने बिल्कुल नौ मूल्यों को पाया <math>D < 0</math> जिसके लिए पूर्णांकों का वलय एक PID है और अनुमान लगाया गया है कि आगे कोई मान नहीं था। (गॉस का अनुमान एक सौ साल से भी अधिक समय बाद कर्ट हेगनेर, [[एलन बेकर (गणितज्ञ)]] और [[हेरोल्ड स्टार्क]] द्वारा सिद्ध किया गया था।) हालांकि, यह (केवल) द्विघात रूपों के [[तुल्यता वर्ग]]ों की भाषा में समझा गया था, ताकि विशेष रूप से समानता ऐसा लगता है कि द्विघात रूपों और फ़र्मेट समीकरण के बीच नहीं देखा गया है। 1847 में गेब्रियल लैम ने सभी के लिए फर्मेट के अंतिम प्रमेय के समाधान की घोषणा की <math>n > 2</math>; अर्थात्, फ़र्मेट समीकरण का गैर-शून्य पूर्णांकों में कोई समाधान नहीं है, लेकिन यह पता चला है कि उसका समाधान इस धारणा पर टिका है कि साइक्लोटोमिक रिंग <math>\mathbb{Z}[\zeta_n]</math> एक यूएफडी है। [[गंभीर दु:ख]] ने तीन साल पहले दिखाया था कि यह पहले से ही मामला नहीं था <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> एक डेडेकाइंड कार्यक्षेत्र है। वास्तव में कुमेर ने आदर्शों के साथ नहीं बल्कि [[आदर्श संख्या|"आदर्श संख्या]][[ओं]]"  के साथ काम किया, जिस कारण एक आधुनिक परिभाषा डेडेकिंड द्वारा दी गई।
-वीं शताब्दी तक, बीजगणित और संख्या सिद्धांतकारों को यह एहसास हो गया था कि पीआईडी होने की स्थिति काफी नाजुक होती है, जबकि डेडेकाइंड डोमेन होने की स्थिति काफी मजबूत होती है। उदाहरण के लिए साधारण पूर्णांकों का वलय एक PID है, लेकिन जैसा कि वलय के ऊपर देखा गया है <math>\mathcal{O}_K</math> एक [[संख्या क्षेत्र]] में बीजगणितीय पूर्णांकों की <math>K</math> पीआईडी होना जरूरी नहीं है। वास्तव में, हालांकि गॉस ने यह भी अनुमान लगाया था कि अपरिमित रूप से अनेक अभाज्य संख्याएँ होती हैं <math>p</math> जैसे कि पूर्णांकों का वलय <math>\mathbb{Q}(\sqrt{p})</math> एक पीआईडी है, {{as of|2016|lc=y}} यह अभी तक ज्ञात नहीं है कि अपरिमित रूप से अनेक संख्या क्षेत्र हैं या नहीं <math>K</math> (मनमानी डिग्री का) ऐसा <math>\mathcal{O}_K</math> एक पीआईडी है। दूसरी ओर, संख्या क्षेत्र में पूर्णांकों का वलय हमेशा डेडेकाइंड डोमेन होता है।
+वीं शताब्दी तक, बीजगणित और संख्या सिद्धांतकारों को यह अनुभव हो गया था कि 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> Dedekind iff हर [[अधिकतम आदर्श]] के लिए है <math>M</math> का <math>R</math> [[अंगूठी का स्थानीयकरण]] <math>R_M</math> डेडेकाइंड रिंग है। लेकिन एक स्थानीय रिंग एक डेडेकाइंड रिंग है, अगर यह एक पीआईडी है, अगर यह एक असतत मूल्यांकन रिंग (डीवीआर) है, तो एक ही स्थानीय लक्षण वर्णन पीआईडी के लिए नहीं हो सकता है: बल्कि, कोई कह सकता है कि डेडेकाइंड रिंग की अवधारणा का वैश्वीकरण है एक डीवीआर की।
+व्यवहार कुशल/सुदृढ़ द्विभाजन का एक अन्य उदाहरण यह तथ्य है कि एक डेडेकिंड कार्यक्षेत्र होने के संबंध में, [[नोथेरियन डोमेन|नोथेरियन कार्यक्षेत्र]] के बीच, एक अवस्थिति विशेषता: एक नोथेरियन कार्यक्षेत्र <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) प्रत्येक अशून्य उचित आदर्श कारक primes में।
+:(DD1) प्रत्येक अशून्य उचित आदर्श गुणनखंडन अभाज्य संख्या में होते हैं।
-:(डीडी2) <math>R</math> नोथेरियन है, और प्रत्येक अधिकतम आदर्श पर स्थानीयकरण एक असतत मूल्यांकन वलय है।
+:(DD2) <math>R</math> नोथेरियन है, और प्रत्येक अधिकतम आदर्श पर स्थानीयकरण एक असतत मूल्यांकन वलय है।
-:(DD3) का हर अशून्य भिन्नात्मक आदर्श <math>R</math> उलटा है।
+:(DD3) <math>R</math>  का प्रत्येक अशून्य भिन्नात्मक गुणनखंडन उलटा होता है।
-:(डीडी4) <math>R</math> एक [[अभिन्न रूप से बंद डोमेन]] है, [[क्रुल आयाम]] एक के साथ नोथेरियन डोमेन (यानी, प्रत्येक गैर-अभाज्य प्रधान आदर्श अधिकतम है)।
+:(DD4) <math>R</math> एक [[अभिन्न रूप से बंद डोमेन|अभिन्न रूप से बंद नोथेरियन कार्यक्षेत्र]] है, जिसमें [[क्रुल आयाम]] एक है (अर्थात, प्रत्येक गैर-अभाज्य आदर्श अधिकतम है)।
-:(DD5) किन्हीं दो आदर्शों के लिए <math>I</math> और <math>J</math> में <math>R</math>, <math>I</math> में निहित है <math>J</math> अगर और केवल अगर <math>J</math> विभाजित <math>I</math> आदर्शों के रूप में। यानी एक आदर्श मौजूद है <math>H</math> ऐसा है कि <math>I=JH</math>. इस स्थिति को संतुष्ट करने वाली एकता के साथ एक कम्यूटेटिव रिंग (जरूरी नहीं कि एक डोमेन) को कंटेनमेंट-डिवीजन रिंग (सीडीआर) कहा जाता है।<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>
-इस प्रकार एक डेडेकाइंड डोमेन एक ऐसा डोमेन है जो या तो एक क्षेत्र है, या किसी एक को संतुष्ट करता है, और इसलिए (DD1) से (DD5) के सभी पांच। परिभाषा के रूप में इन शर्तों में से कौन सा लेता है इसलिए केवल स्वाद का मामला है। व्यवहार में, इसे सत्यापित करना अक्सर सबसे आसान होता है (DD4)।
+इस प्रकार एक डेडेकाइंड कार्यक्षेत्र एक ऐसा कार्यक्षेत्र है जो या तो एक क्षेत्र है, या जो उपरोक्त में से सभी या किसी एक को संतुष्ट करता हो। व्यवहार में, (DD4) को सत्यापित करना प्रायः सबसे आसान होता है।
-[[क्रुल डोमेन]] डेडेकाइंड डोमेन का एक उच्च-आयामी एनालॉग है: एक डेडेकाइंड डोमेन जो फ़ील्ड नहीं है, आयाम 1 का क्रुल डोमेन है। इस धारणा का उपयोग डेडेकाइंड डोमेन के विभिन्न लक्षणों का अध्ययन करने के लिए किया जा सकता है। वास्तव में, यह [[निकोलस बोरबाकी]] के कम्यूटेटिव बीजगणित में प्रयुक्त डेडेकिंड डोमेन की परिभाषा है।
+[[क्रुल डोमेन|क्रुल कार्यक्षेत्र]] डेडेकाइंड कार्यक्षेत्र का एक उच्च-आयामी अनुरूप है: एक डेडेकाइंड कार्यक्षेत्र जो एक क्षेत्र नहीं है, आयाम 1 का क्रुल कार्यक्षेत्र है। इस धारणा का उपयोग डेडेकाइंड कार्यक्षेत्र के विभिन्न लक्षणों का अध्ययन करने के लिए किया जा सकता है। वास्तव में, यह [[निकोलस बोरबाकी]] के "क्रमविनियम बीजगणित" में प्रयुक्त डेडेकिंड कार्यक्षेत्र की परिभाषा है।
-एक Dedekind डोमेन को [[समरूप बीजगणित]] के संदर्भ में भी चित्रित किया जा सकता है: एक अभिन्न डोमेन एक Dedekind डोमेन है अगर और केवल अगर यह एक वंशानुगत रिंग है; यानी, इसके ऊपर एक [[प्रक्षेपी मॉड्यूल]] का हर [[submodule]] प्रोजेक्टिव है। इसी तरह, एक अभिन्न डोमेन एक Dedekind डोमेन है अगर और केवल अगर इसके ऊपर प्रत्येक [[विभाज्य मॉड्यूल]] [[इंजेक्शन मॉड्यूल]] है।<ref>{{harvnb|Cohn|2003|loc=2.4. Exercise 9}}</ref>
+एक डेडेकिंड कार्यक्षेत्र को [[समरूप बीजगणित]] के संदर्भ में भी चित्रित किया जा सकता है: एक अभिन्न कार्यक्षेत्र एक डेडेकिंड कार्यक्षेत्र है यदि और केवल यह एक वंशानुगत वलय है; अर्थात, इसके ऊपर एक [[प्रक्षेपी मॉड्यूल|प्रक्षेपी मापांक]] का उपमापांक प्रक्षेपी है। इसी तरह, एक अभिन्न कार्यक्षेत्र एक डेडेकिंड कार्यक्षेत्र है यदि और केवल इसके ऊपर प्रत्येक [[विभाज्य मॉड्यूल|विभाज्य मापांक]] [[इंजेक्शन मॉड्यूल|इंजेक्शन मापांक]] है।<ref>{{harvnb|Cohn|2003|loc=2.4. Exercise 9}}</ref>
-== डेडेकाइंड डोमेन के कुछ उदाहरण ==
+== डेडेकाइंड कार्यक्षेत्र के कुछ उदाहरण ==
-सभी प्रमुख आदर्श डोमेन और इसलिए सभी असतत वैल्यूएशन रिंग डेडेकिंड डोमेन हैं।
+सभी सिद्धांत आदर्श कार्यक्षेत्र और सभी असतत मूल्यांकन वलय (DVR) डेडेकिंड कार्यक्षेत्र हैं।
-अंगूठी <math>R = \mathcal{O}_K</math> किसी संख्या क्षेत्र में [[बीजगणितीय पूर्णांक]]ों का K नोथेरियन है, अभिन्न रूप से बंद है, और आयाम एक है: अंतिम संपत्ति को देखने के लिए, निरीक्षण करें कि R के किसी भी गैर-अभाज्य प्रधान आदर्श I के लिए, R/I एक परिमित सेट है, और याद रखें कि एक परिमित अभिन्न डोमेन एक क्षेत्र है; इसलिए (DD4) द्वारा R एक Dedekind डोमेन है। ऊपर के रूप में, इसमें कुमेर और डेडेकिंड द्वारा माने गए सभी उदाहरण शामिल हैं और सामान्य परिभाषा के लिए प्रेरक मामला था, और ये सबसे अधिक अध्ययन किए गए उदाहरणों में से हैं।
+किसी संख्या क्षेत्र K में [[बीजगणितीय पूर्णांकों]] का वलय <math>R = \mathcal{O}_K</math> नोथेरियन है, जो अभिन्न रूप से बंद है, और एक आयाम है: अंतिम विशेषता को देखने के लिए, निरीक्षण करें कि R के किसी भी अशून्य अभाज्य गुणजावली I के लिए, R/I एक परिमित सेट है, और याद रखें कि एक परिमित अभिन्न कार्यक्षेत्र एक क्षेत्र है; इसलिए (DD4) द्वारा R एक डेडेकिंड कार्यक्षेत्र है। उपरोक्त अनुसार, इसमें कुमेर और डेडेकिंड द्वारा माने गए सभी उदाहरण समिलित हैं और ये सबसे अधिक अध्ययन किए गए उदाहरणों में से हैं।
-डेडेकाइंड रिंग्स का अन्य वर्ग जो तर्कसंगत रूप से समान महत्व का है, ज्यामिति से आता है: मान लीजिए C एक गैर-एकवचन ज्यामितीय रूप से अभिन्न 'एफ़ाइन किस्म #Affine किस्मों' एक फ़ील्ड k पर [[बीजगणितीय वक्र]] है। फिर C पर नियमित कार्यों का समन्वय वलय k[C] एक Dedekind डोमेन है। यह केवल ज्यामितीय शब्दों को बीजगणित में अनुवाद करने से काफी हद तक स्पष्ट है: परिभाषा के अनुसार, किसी भी प्रकार की [[समन्वय की अंगूठी]], एक अंतिम रूप से उत्पन्न k-बीजगणित है, इसलिए नोथेरियन; इसके अलावा वक्र का अर्थ आयाम एक है और गैर-एकवचन का अर्थ है (और, पहले आयाम में, के बराबर है) सामान्य, जिसका परिभाषा के अनुसार अभिन्न रूप से बंद होना है।
+डेडेकाइंड वलय के अन्य वर्ग जो ज्यामिति से आता है और यह तर्कसंगत रूप से समान महत्व का है : मान लीजिए C को एक क्षेत्र k पर एक गैर-एकवचन ज्यामितीय रूप से अभिन्न [[बीजगणितीय वक्र]] है। फिर C पर नियमित फलनों का समन्वय वलय k[C] एक डेडेकिंड कार्यक्षेत्र है। यह केवल ज्यामितीय शब्दों को बीजगणित में अनुवाद करने से एक सीमा तक स्पष्ट है: परिभाषा के अनुसार, किसी भी प्रकार के समन्वय वलय, एक अंतिम रूप से उत्पन्न k-बीजगणित है, इसलिए नोथेरियन; इसके अतिरिक्त वक्र का अर्थ एक आयाम है और गैर-एकवचन का अर्थ समान्य है, जिसका परिभाषा के अनुसार अर्थ अभिन्न रूप से बंद होना है।
-इन दोनों निर्माणों को निम्नलिखित मूल परिणाम के विशेष मामलों के रूप में देखा जा सकता है:
+इन दोनों निर्माणों को निम्नलिखित मूल परिणाम के विशेष स्तिथियों के रूप में देखा जा सकता है:
-'प्रमेय': मान लीजिए कि R एक Dedekind डोमेन है जिसका क्षेत्र K भिन्न है। मान लीजिए L, K का एक परिमित डिग्री क्षेत्र विस्तार है और S द्वारा L में R के अभिन्न संवरण को निरूपित करता है। तब S स्वयं एक Dedekind डोमेन है।<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 से Dedekind डोमेन बनाने का एक तरीका मिल जाता है। R = 'Z' लेते हुए, यह रचना सटीक रूप से कहती है कि संख्या क्षेत्रों के पूर्णांकों के वलय Dedekind डोमेन हैं। आर = के [टी] लेते हुए, एक उपरोक्त मामले को एफ़िन लाइन के शाखित कवरिंग के रूप में नॉनसिंगुलर एफ़िन कर्व्स के रूप में प्राप्त करता है।
-[[ऑस्कर ज़ारिस्की]] और [[पियरे-सैमुअल]] को इस निर्माण के साथ यह पूछने के लिए पर्याप्त रूप से लिया गया था कि क्या प्रत्येक डेडेकिंड डोमेन इससे उत्पन्न होता है; वह है, एक पीआईडी के साथ शुरू करके और एक परिमित डिग्री क्षेत्र विस्तार में अभिन्न संवरण लेना।<ref>Zariski and Samuel, p. 284</ref> एल. क्लाबोर्न द्वारा आश्चर्यजनक रूप से सरल नकारात्मक उत्तर दिया गया।<ref>Claborn 1965, Example 1-9</ref>
+जब R स्वयं एक PID है, तब इस प्रमेय को लागू करने से हमें PIDs से डेडेकिंड कार्यक्षेत्र बनाने का एक तरीका मिल जाता है। R = 'Z' मानते हुए, यह रचना सटीक रूप से कहती है कि संख्या क्षेत्रों के पूर्णांकों के वलय डेडेकिंड कार्यक्षेत्र हैं। R = k [t] लेते हुए, एक उपरोक्त स्थिति को एफ़िन लाइन के शाखित संवरण के रूप में व्युत्क्रमणीय एफ़िन वक्र के रूप में प्राप्त करता है।
-यदि स्थिति ऊपर की तरह है, लेकिन 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> नोथेरियन भी नहीं है! सामान्य तौर पर, एक अनंत बीजगणितीय विस्तार में डेडेकिंड डोमेन का अभिन्न समापन एक प्रुफर डोमेन है; यह पता चला है कि बीजगणितीय पूर्णांकों का वलय इससे थोड़ा अधिक विशेष है: यह एक बेज़ाउट डोमेन है।
+[[ऑस्कर ज़ारिस्की]] और [[पियरे-सैमुअल]] को इस निर्माण के साथ यह पूछने के लिए पर्याप्त रूप से लिया गया था कि क्या प्रत्येक डेडेकिंड कार्यक्षेत्र इससे उत्पन्न होता है।<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> नोथेरियन अभाज्य नहीं है! सामान्यतः, एक अनंत बीजगणितीय विस्तार में डेडेकिंड कार्यक्षेत्र का अभिन्न समापन एक [[प्रुफर डोमेन|प्रुफर कार्यक्षेत्र]] है; यह पता चला है कि बीजगणितीय पूर्णांकों का वलय इससे थोड़ा अधिक विशेष है: यह एक [[बेज़ाउट डोमेन|बेज़ाउट कार्यक्षेत्र]] है।
 == आंशिक आदर्श और वर्ग समूह ==
-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 के लिए, भिन्नात्मक गुणजावली को परिभाषित किया जा सकता है
 : <math>I^* = (R:I) = \{x \in K \mid xI \subset R\}.</math>
-एक तो tautologically है <math>I^*I \subset R</math>. वास्तव में किसी के पास समानता है अगर और केवल अगर मैं, फ्राक (आर) के मोनोइड के तत्व के रूप में उलटा है। दूसरे शब्दों में, यदि मेरे पास कोई व्युत्क्रम है, तो प्रतिलोम अवश्य होना चाहिए <math>I^*</math>.
+एक पुनरुक्ति में <math>I^*I \subset R</math> होता है। वास्तव में किसी में समानता होती है यदि और केवल, Frac(R) के एकाभ के तत्व के रूप में उलटा है। दूसरे शब्दों में, यदि I का कोई व्युत्क्रम है, तो प्रतिलोम  <math>I^*</math> अवश्य होना चाहिए।
-एक प्रमुख भिन्नात्मक आदर्श एक रूप है <math>xR</math> K में कुछ शून्येतर x के लिए। ध्यान दें कि प्रत्येक मुख्य भिन्नात्मक आदर्श व्युत्क्रमणीय है, का व्युत्क्रम है <math>xR</math> बस होना <math>\frac{1}{x}R</math>. हम प्रिंसिपल फ्रैक्शनल आइडियल्स के सेमीग्रुप#स्ट्रक्चर_ऑफ_सेमीग्रुप्स को प्रिंस (आर) द्वारा निरूपित करते हैं।
+एक भिन्नात्मक आदर्श सिद्धांत K में कुछ गैर शून्य x के लिए <math>xR</math> के रूप में से एक है। ध्यान दें कि प्रत्येक भिन्नात्मक आदर्श सिद्धांत व्युत्क्रमणीय है। <math>xR</math> का व्युत्क्रम केवल  <math>\frac{1}{x}R</math>. है। हम Prin(R) द्वारा सिद्धांत आंशिक आदर्शों के उपसमूह को निरूपित करते हैं।
-एक डोमेन आर एक पीआईडी है अगर और केवल अगर हर आंशिक आदर्श प्रमुख है। इस स्थिति में, हमारे पास Frac(R) = Prin(R) = है <math>K^{\times}/R^{\times}</math>, दो प्रमुख आंशिक आदर्शों के बाद से <math>xR</math> और <math>yR</math> बराबर हैं <math>xy^{-1}</math> आर में एक इकाई है।
+कार्यक्षेत्र 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) की सराहना कर सकते हैं: Dedekind डोमेन में (और केवल Dedekind डोमेन में) प्रत्येक भिन्नात्मक आदर्श व्युत्क्रमणीय होता है। इस प्रकार ये ठीक डोमेन के वर्ग हैं जिसके लिए Frac(R)/Prin(R) एक [[समूह (गणित)]] बनाता है, R का [[आदर्श वर्ग समूह]] Cl(R) है। यह समूह छोटा है अगर और केवल अगर R एक PID है, इसलिए इसे पीआईडी होने वाले सामान्य डेडेकाइंड डोमेन में बाधा को मापने के रूप में देखा जा सकता है।
+अब हम (DD3) की सराहना कर सकते हैं: डेडेकिंड कार्यक्षेत्र में (और केवल डेडेकिंड कार्यक्षेत्र में) प्रत्येक भिन्नात्मक आदर्श व्युत्क्रमणीय होता है। इस प्रकार ये ठीक कार्यक्षेत्र के वर्ग हैं जिसके लिए Frac(R)/Prin(R) एक [[समूह (गणित)]] बनाता है, R का [[आदर्श वर्ग समूह]] Cl(R) है। यह समूह छोटा है अगर और केवल R एक PID है, इसलिए इसे PID होने वाले सामान्य डेडेकाइंड कार्यक्षेत्र में बाधा को मापने के रूप में देखा जा सकता है।
-हम ध्यान दें कि एक मनमाना डोमेन के लिए पिकार्ड समूह Pic(R) को उल्टे भिन्नात्मक आदर्शों के समूह के रूप में परिभाषित किया जा सकता है Inv(R) modulo प्रमुख भिन्नात्मक आदर्शों का उपसमूह। Dedekind डोमेन के लिए यह निश्चित रूप से आदर्श वर्ग समूह के समान है। हालांकि, डोमेन के एक अधिक सामान्य वर्ग पर, जिसमें नोथेरियन डोमेन और क्रुल डोमेन शामिल हैं, आदर्श वर्ग समूह एक अलग तरीके से बनाया गया है, और एक विहित समरूपता है
+हमने ध्यान दिया कि एक यादृच्छिक कार्यक्षेत्र के लिए पिकार्ड समूह Pic(R) को उल्टे भिन्नात्मक आदर्शों के समूह के रूप में परिभाषित किया जा सकता है Inv(R) मापांक सिद्धांत भिन्नात्मक आदर्शों का उपसमूह हैं। डेडेकिंड कार्यक्षेत्र के लिए यह निश्चित रूप से आदर्श वर्ग समूह के समान है। हालांकि, कार्यक्षेत्र के एक अधिक सामान्य वर्ग पर, जिसमें नोथेरियन कार्यक्षेत्र और क्रुल कार्यक्षेत्र समिलित हैं, आदर्श वर्ग समूह एक अलग तरीके से बनाया गया है, और एक विहित समरूपता है
-: तस्वीर (आर) → सीएल (आर)
+: Pic (R) → CI (R)
-जो कि आम तौर पर न तो अंतःक्षेपी है और न ही आच्छादक। यह कार्टियर विभाजक और वील विभाजक के बीच एक विलक्षण बीजगणितीय किस्म के अंतर का एक सजातीय एनालॉग है।
+जो कि समान्यतः न तो अंतःक्षेपी है और न ही आच्छादक। यह कार्टियर विभाजक और वील विभाजक के बीच एक विलक्षण बीजगणितीय प्रकार के अंतर का एक एफीन एनालॉग है।
-एल. क्लैबॉर्न (क्लाबॉर्न 1966) का एक उल्लेखनीय प्रमेय दावा करता है कि किसी भी [[एबेलियन समूह]] जी के लिए, एक डेडेकिंड डोमेन आर मौजूद है जिसका आदर्श वर्ग समूह जी के लिए [[समूह समरूपता]] है। बाद में, चार्ल्स लीडहम-ग्रीन|सी.आर. लीधम-ग्रीन ने दिखाया कि इस तरह के आर का निर्माण एक द्विघात क्षेत्र विस्तार (लीधम-ग्रीन 1972) में पीआईडी के अभिन्न समापन के रूप में किया जा सकता है। 1976 में, एम. रोसेन ने दिखाया कि किसी डेडेकिंड डोमेन के वर्ग समूह के रूप में किसी भी गणनीय एबेलियन समूह को कैसे महसूस किया जाए, जो एक दीर्घवृत्तीय वक्र के तर्कसंगत कार्य क्षेत्र का एक सबरिंग है, और अनुमान लगाया कि एक सामान्य एबेलियन के लिए ऐसा अण्डाकार निर्माण संभव होना चाहिए समूह (रोसेन 1976)। रोसेन के अनुमान को 2008 में पी.एल. क्लार्क (क्लार्क 2009)।
+L. क्लैबॉर्न (क्लाबॉर्न 1966) का एक उल्लेखनीय प्रमेय दावा करता है कि किसी भी [[एबेलियन समूह]] G के लिए, एक डेडेकिंड कार्यक्षेत्र R उपलब्ध है जिसका आदर्श वर्ग समूह G के लिए [[समूह समरूपता]] है। बाद में, C.R. लीधम-ग्रीन ने दिखाया कि इस तरह के R का निर्माण एक द्विघात क्षेत्र विस्तार (लीधम-ग्रीन 1972) में PID के अभिन्न समापन के रूप में किया जा सकता है। 1976 में, M. रोसेन ने दिखाया कि किसी डेडेकिंड कार्यक्षेत्र के वर्ग समूह के रूप में किसी भी गणनीय एबेलियन समूह को कैसे सिद्ध किया जाए, जो एक दीर्घवृत्तीय वक्र के तर्कसंगत कार्य क्षेत्र का एक उपसमूह है, और अनुमान लगाया कि एक सामान्य एबेलियन के लिए ऐसा अण्डाकार निर्माण संभव होना चाहिए। रोसेन के अनुमान को 2008 में P.L. (क्लार्क 2009) ने सिद्ध किया।
-इसके विपरीत, बीजगणितीय संख्या सिद्धांत में बुनियादी प्रमेयों में से एक यह दावा करता है कि संख्या क्षेत्र के पूर्णांकों के वलय का वर्ग समूह परिमित है; इसकी प्रमुखता को [[वर्ग संख्या (संख्या सिद्धांत)]] कहा जाता है और गॉस से लेकर आज तक कई प्रमुख गणितज्ञों की कड़ी मेहनत के बावजूद यह एक महत्वपूर्ण और बल्कि रहस्यमय अपरिवर्तनीय है।
+इसके विपरीत, बीजगणितीय संख्या सिद्धांत में बुनियादी प्रमेयों में से एक यह निर्धारित करता है कि संख्या क्षेत्र के पूर्णांकों के वलय का वर्ग समूह परिमित है; इसकी प्रमुखता को [[वर्ग संख्या (संख्या सिद्धांत)]] कहा जाता है और गॉस से लेकर आज तक कई प्रमुख गणितज्ञों की कड़ी मेहनत के बाद यह एक महत्वपूर्ण और रहस्यमय अपरिवर्तनीय है।
-== एक Dedekind डोमेन == पर सूक्ष्म रूप से उत्पन्न मॉड्यूल
+== एक डेडेकिंड कार्यक्षेत्र पर सूक्ष्म रूप से उत्पन्न मापांक ==
+सिद्धांत आदर्श कार्यक्षेत्र (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> एक अभाज्य आदर्श शक्ति है। यह अपघटन अद्वितीय नहीं है, लेकिन केवल दो अपघटन
-आइए हम संक्षिप्त रूप से उत्पन्न मॉड्यूल के मामले में संरचना सिद्धांत को संक्षेप में याद करें <math>M</math> एक पीआईडी के ऊपर <math>R</math>. हम मरोड़ वाले सबमॉड्यूल को परिभाषित करते हैं <math>T</math> तत्वों का सेट होना <math>m</math> का <math>M</math> ऐसा है कि <math>rm = 0</math> कुछ गैर शून्य के लिए <math>r</math> में <math>R</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>
+केवल गुणनखंड के क्रम में भिन्न होते हैं।
-(एम 1) <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>
+(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> एक अंतिम रूप से उत्पन्न मुक्त मापांक है।
-(मंदिर) <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> एक पीआईडी पर मुफ़्त है। विशेष रूप से, यह दावा करता है कि सभी भिन्नात्मक आदर्श प्रधान हैं, एक कथन जो कभी भी गलत होता है <math>R</math> पीआईडी नहीं है। दूसरे शब्दों में, वर्ग समूह की गैर-तुच्छता <math>Cl(R)</math> कारण (M3PID) विफल होने के लिए। उल्लेखनीय रूप से, एक मनमाना डेडेकाइंड डोमेन पर मरोड़ रहित बारीक रूप से उत्पन्न मॉड्यूल में अतिरिक्त संरचना को वर्ग समूह द्वारा सटीक रूप से नियंत्रित किया जाता है, जैसा कि अब हम समझाते हैं। एक मनमाने ढंग से Dedekind डोमेन के ऊपर एक है
+तब (M1) और (M2) शब्दशः धारण करते हैं। हालाँकि, यह (M3PID) से अनुसरण करता है कि एक सूक्ष्म रूप से उत्पन्न मरोड़ रहित मापांक <math>P</math> एक PID  है। विशेष रूप से, यह दावा करता है कि सभी भिन्नात्मक आदर्श सिद्धांत हैं, एक कथन जो कभी भी गलत हो सकता है वह यह है कि <math>R</math> एक PID नहीं है। दूसरे शब्दों में, वर्ग समूह <math>Cl(R)</math> की गैर-तुच्छता के कारण (M3PID) विफल हो जाता है। उल्लेखनीय रूप से, एक मनमाना डेडेकाइंड कार्यक्षेत्र पर मरोड़ रहित बारीक रूप से उत्पन्न मापांक में अतिरिक्त संरचना को वर्ग समूह द्वारा सटीक रूप से नियंत्रित किया जाता है, जैसा कि अब हम समझाते हैं। एक यादृच्छिक प्रकार से डेडेकिंड कार्यक्षेत्र पर एक
-(एम3डीडी) <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>
@@ Line 101: / Line 102: @@
 : <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>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 में [[अर्नेस्ट स्टीनिट्ज़]] द्वारा स्थापित किए गए थे।
-इस संरचना का एक अतिरिक्त परिणाम, जो पूर्ववर्ती प्रमेय में निहित नहीं है, यह है कि यदि डेडेकिंड डोमेन पर दो प्रोजेक्टिव मॉड्यूल ग्रोथेंडिक समूह में समान वर्ग हैं, तो वे वास्तव में अमूर्त आइसोमोर्फिक हैं।
+इस संरचना का एक अतिरिक्त परिणाम, जो पूर्ववर्ती प्रमेय में निहित नहीं है, यह है कि यदि डेडेकिंड कार्यक्षेत्र पर दो प्रक्षेपी मापांक ग्रोथेंडिक समूह में समान वर्ग हैं, तो वे वास्तव में समरूपी हैं।
-== स्थानीय रूप से डेडेकिंड के छल्ले ==
+== स्थानीय रूप से डेडेकिंड के वलय ==
-अभिन्न डोमेन मौजूद हैं <math>R</math> जो स्थानीय रूप से हैं लेकिन विश्व स्तर पर नहीं हैं: डेडेकाइंड: का स्थानीयकरण <math>R</math> प्रत्येक अधिकतम आदर्श पर एक डेडेकाइंड रिंग (समतुल्य रूप से, एक डीवीआर) लेकिन है <math>R</math> खुद डेडेकाइंड नहीं है। जैसा ऊपर बताया गया है, ऐसी अंगूठी नोथेरियन नहीं हो सकती है। ऐसा लगता है कि इस तरह के छल्लों का पहला उदाहरण 1953 में एन. नाकानो द्वारा बनाया गया था। साहित्य में ऐसे छल्लों को कभी-कभी लगभग डेडेकिंड के छल्ले कहा जाता है।
+एक अभिन्न कार्यक्षेत्र  <math>R</math>  उपलब्ध हैं जो स्थानीय रूप से डेडेकाइंड है लेकिन विश्व स्तर पर डेडेकाइंड नही हैं। <math>R</math>  का स्थानीयकरण प्रत्येक अधिकतम आदर्श पर एक डेडेकाइंड वलय (समतुल्य रूप से, एक DVR हैं), लेकिन  <math>R</math> स्वयं डेडेकाइंड नहीं है। जैसा कि ऊपर बताया गया है, उपरोक्त वलय नोथेरियन नहीं हो सकती है। ऐसा लगता है कि इस तरह के वलयों का पहला उदाहरण 1953 में N. नाकानो द्वारा बनाया गया था। साहित्य में ऐसे वलयों को कभी-कभी "उचित लगभग डेडेकिंड विलय" कहा जाता है।
 == यह भी देखें ==
@@ Line 149: / Line 150: @@
 * {{springer|title=Dedekind ring|id=p/d030550}}
-{{DEFAULTSORT:Dedekind Domain}}[[Category: क्रमविनिमेय बीजगणित]] [[Category: बीजगणितीय संख्या सिद्धांत]] [[Category: गुणन]]
+{{DEFAULTSORT:Dedekind Domain}}
-[[Category: Machine Translated Page]]
+[[Category:All articles containing potentially dated statements|Dedekind Domain]]
-[[Category:Created On 13/02/2023]]
+[[Category:Articles containing potentially dated statements from 2016|Dedekind Domain]]
+[[Category:Created On 13/02/2023|Dedekind Domain]]
+[[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]]

Anonymous

Search

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

Namespaces

More

Page actions

Latest revision as of 17:27, 3 March 2023

Contents

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

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

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

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

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

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

यह भी देखें

टिप्पणियाँ

संदर्भ

अग्रिम पठन

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Latest revision as of 17:27, 3 March 2023

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

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

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

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

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

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

यह भी देखें

टिप्पणियाँ

संदर्भ

अग्रिम पठन

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories