यूक्लिडियन प्रभावक्षेत्र

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

यूक्लिडियन डोमेन के वर्ग की तुलना प्रिंसिपल आइडियल डोमेन (पीआईडी) के बड़े वर्ग से करना महत्वपूर्ण है। एक मनमाने ढंग से पीआईडी ​​में यूक्लिडियन डोमेन (या, वास्तव में, यहां तक ​​कि पूर्णांक की अंगूठी) के समान "संरचनात्मक गुण" होते हैं, लेकिन जब यूक्लिडियन डिवीजन के लिए एक स्पष्ट एल्गोरिदम ज्ञात हो, तो यूक्लिडियन एल्गोरिदम और विस्तारित यूक्लिडियन एल्गोरिदम का उपयोग महानतम आम विभाजक और बेज़ाउट की पहचान की गणना करने के लिए किया जा सकता है। विशेष रूप से, एक क्षेत्र पर एक चर में पूर्णांकों और बहुपदों के यूक्लिडियन विभाजन के लिए कुशल एल्गोरिदम का अस्तित्व कंप्यूटर बीजगणित में मूलभूत महत्व का है।

इसलिए, एक अभिन्न डोमेन $R$ दिया गया है, यह जानना अक्सर बहुत उपयोगी होता है कि $R$ में यूक्लिडियन फ़ंक्शन होता है: विशेष रूप से, इसका तात्पर्य है कि $R$ एक पीआईडी है। हालाँकि, यदि कोई "स्पष्ट" यूक्लिडियन फ़ंक्शन नहीं है, तो यह निर्धारित करना कि क्या $R$ एक PID है, आमतौर पर यह निर्धारित करने की तुलना में बहुत आसान समस्या है कि क्या यह एक यूक्लिडियन डोमेन है।

यूक्लिडियन डोमेन वर्ग समावेशन की निम्नलिखित श्रृंखला में दिखाई देते हैं:

परिभाषा
मान लीजिए कि $R$ एक पूर्णांकीय प्रांत है। $R$ पर एक यूक्लिडियन फ़ंक्शन $R&thinsp;\&hairsp;{0 }$ से गैर-नकारात्मक पूर्णांकों के लिए एक फ़ंक्शन $f$ है जो निम्न मौलिक विभाजन-साथ-शेष गुण को संतुष्ट करता है:


 * (EF1) अगर $a$ और $b$ में हैं $R$ और $b$ अशून्य है, तो वहाँ मौजूद हैं $q$ और $r$ में $R$ ऐसा है कि $a = bq + r$ और या तो $r = 0$ या $f&thinsp;(r) < f&thinsp;(b)$.

एक यूक्लिडियन डोमेन एक अभिन्न डोमेन है जिसे कम से कम एक यूक्लिडियन फ़ंक्शन से संपन्न किया जा सकता है। एक विशेष यूक्लिडियन फ़ंक्शन $f$ यूक्लिडियन डोमेन की परिभाषा का हिस्सा नहीं है, क्योंकि, सामान्य तौर पर, एक यूक्लिडियन डोमेन कई अलग-अलग यूक्लिडियन फ़ंक्शंस को स्वीकार कर सकता है।

इस संदर्भ में, $q$ और $r$ को क्रमशः एक भागफल और $a$ द्वारा $b$ के विभाजन (या यूक्लिडियन विभाजन) का शेष कहा जाता है। पूर्णांकों और बहुपदों के मामले के विपरीत, भागफल आमतौर पर विशिष्ट रूप से परिभाषित नहीं होता है, लेकिन जब एक भागफल चुना जाता है, तो शेष को विशिष्ट रूप से परिभाषित किया जाता है।

अधिकांश बीजगणित ग्रंथों को निम्नलिखित अतिरिक्त संपत्ति रखने के लिए एक यूक्लिडियन फ़ंक्शन की आवश्यकता होती है:


 * (EF2) सभी अशून्य के लिए $a$ और $b$ में $R$, $f&thinsp;(a) ≤ f&thinsp;(ab)$.

हालाँकि, कोई दिखा सकता है कि (EF1) अकेले यूक्लिडियन डोमेन को परिभाषित करने के लिए पर्याप्त है; यदि एक पूर्णांकीय प्रांत $R$ एक फलन $g$ संतोषजनक (EF1) से संपन्न है, तो $R$ एक ऐसे फलन से भी संपन्न हो सकता है जो दोनों (EF1) और (EF2) को एक साथ संतुष्ट करता है। वास्तव में, $a$ में $R&thinsp;\&hairsp;{0 }$ के लिए, $f&thinsp;(a)$ को निम्नानुसार परिभाषित किया जा सकता है:
 * $$f(a) = \min_{x \in R \setminus \{0\}} g(xa)$$

शब्दों में, कोई $f&thinsp;(a)$ को परिभाषित कर सकता है जो $a$ द्वारा उत्पन्न प्रमुख आदर्श के सभी गैर-शून्य तत्वों के सेट पर $g$ द्वारा प्राप्त न्यूनतम मान है।

एक यूक्लिडियन फ़ंक्शन $f$ गुणात्मक है अगर $f&thinsp;(ab) = f&thinsp;(a)&thinsp;f&thinsp;(b)$ और $f&thinsp;(a)$ कभी भी शून्य नहीं होता है। यह इस प्रकार है कि $f&thinsp;(1) = 1$। अधिक आम तौर पर, $f&thinsp;(a) = 1$ अगर और केवल अगर $a$ एक इकाई है।

परिभाषा पर नोट्स
कई लेखक "यूक्लिडियन फ़ंक्शन" के स्थान पर अन्य शब्दों का उपयोग करते हैं, जैसे "डिग्री फ़ंक्शन", "वैल्यूएशन फ़ंक्शन", "गेज फ़ंक्शन" या "मानक फ़ंक्शन"। कुछ लेखकों को यूक्लिडियन फ़ंक्शन के डोमेन को संपूर्ण रिंग $R$ होने की भी आवश्यकता होती है; हालांकि, यह अनिवार्य रूप से परिभाषा को प्रभावित नहीं करता है, क्योंकि (ईएफ 1) में $f&thinsp;(0)$ का मान शामिल नहीं है। परिभाषा को कभी-कभी यूक्लिडियन फ़ंक्शन को किसी भी सुव्यवस्थित सेट में इसके मान लेने की अनुमति देकर सामान्यीकृत किया जाता है; यह कमजोर पड़ना यूक्लिडियन संपत्ति के सबसे महत्वपूर्ण निहितार्थों को प्रभावित नहीं करता है।

संपत्ति (ईएफ 1) को निम्नानुसार पुन: स्थापित किया जा सकता है: गैर-शून्य जनरेटर $b$ के साथ $R$ के किसी भी प्रमुख आदर्श $I$ के लिए, भागफल रिंग के सभी गैर-शून्य वर्ग $R/I$ पास $f&thinsp;(r) < f&thinsp;(b)$ के साथ एक प्रतिनिधि $r$ है। चूँकि $f$ के संभावित मान सुव्यवस्थित हैं, इस संपत्ति को किसी भी $r ∉ I$ के लिए $f&thinsp;(r) < f&thinsp;(b)$ दिखा कर स्थापित किया जा सकता है, जिसकी कक्षा में $f&thinsp;(r)$ का न्यूनतम मान है। ध्यान दें कि, एक यूक्लिडियन फ़ंक्शन के लिए जो इस प्रकार स्थापित है, वहाँ (EF1) में $q$ और $r$ को निर्धारित करने के लिए एक प्रभावी विधि मौजूद नहीं है।

उदाहरण
यूक्लिडियन डोमेन के उदाहरणों में निम्न शामिल हैं:

ऐसे डोमेन के उदाहरण जो यूक्लिडियन डोमेन नहीं हैं, उनमें शामिल हैं:
 * किसी भी क्षेत्र। सभी अशून्य $x$ के लिए $f&thinsp;(x) = 1$ परिभाषित करें।
 * $Z$, पूर्णांकों का वलय। परिभाषित करें $f&thinsp;(n) = |n|$, $n$ का निरपेक्ष मान।
 * $Z[]$, गाऊसी पूर्णांकों का वलय। परिभाषित करें $f&thinsp;(a + bi) = a2 + b2$, गॉसियन पूर्णांक $a + bi$ का मानक।
 * $Z[ω]$ (जहाँ $ω$ एक आदिम (गैर-वास्तविक) एकता का घनमूल है), आइज़ेंस्ताइन पूर्णांकों का वलय। $f&thinsp;(a + bω) = a2 − ab + b2$ को परिभाषित करें, आइज़ेंस्टीन पूर्णांक $a + bω$ का मानक।
 * $K[X]$, क्षेत्र $K$ पर बहुपदों का वलय। प्रत्येक शून्येतर बहुपद $P$ के लिए, $f&thinsp;(P)$ को $P$ की डिग्री के रूप में परिभाषित करें।
 * $K[X]$, क्षेत्र $K$ पर औपचारिक शक्ति श्रृंखला का वलय। प्रत्येक गैर-शून्य शक्ति श्रृंखला $P$ के लिए, $f&thinsp;(P)$ को $P$ के क्रम के रूप में परिभाषित करें, जो कि $P$ में घटित होने वाली $X$ की सबसे छोटी शक्ति की डिग्री है। विशेष रूप से, दो गैर शून्य शक्ति श्रृंखला $P$ और $Q$ के लिए, $f&thinsp;(P) ≤ f&thinsp;(Q)$ अगर और केवल अगर $P$ $Q$ को विभाजित करता है।
 * कोई असतत वैल्यूएशन रिंग। $f&thinsp;(x)$ को अधिकतम आदर्श $M$ की उच्चतम शक्ति के रूप में परिभाषित करें जिसमें $x$ शामिल है। समतुल्य रूप से, $g$ को $M$ का जनरेटर होने दें, और $v$ अद्वितीय पूर्णांक हो जैसे कि $gv$ $x$ का एक सहयोगी है, फिर $f&thinsp;(x) = v$ को परिभाषित करें। पिछला उदाहरण $K[X]$ इसका एक विशेष उदाहरण है।
 * एक डेडेकिंड डोमेन जिसके पास परिमित रूप से अनेक अशून्य प्रधान गुणजावली $P1, ..., Pn$ है। $$f(x) = \sum_{i=1}^n v_i(x)$$ को परिभाषित करें, जहां $vi$ आदर्श $Pi$ के अनुरूप असतत मूल्यांकन है।
 * प्रत्येक डोमेन जो एक प्रमुख आदर्श डोमेन नहीं है, जैसे कि एक क्षेत्र पर कम से कम दो अनिश्चित बहुपदों की अंगूठी, या पूर्णांक गुणांक वाले यूनिवेरिएट बहुपदों की अंगूठी, या संख्या अंगूठी $Z[]$।
 * $Q$ के पूर्णांकों का वलय, जिसमें $a + b√&minus;19⁄2$ संख्याएँ शामिल हैं, जहाँ $a$ और $b$ पूर्णांक हैं और दोनों सम या दोनों विषम हैं। यह एक प्रमुख आदर्श डोमेन है जो यूक्लिडियन नहीं है।
 * वलय $A = R[X, Y]/(X^{&thinsp;2} + Y^{&thinsp;2} + 1)$ भी एक प्रमुख आदर्श डोमेन है जो यूक्लिडियन नहीं है। यह देखने के लिए कि यह एक यूक्लिडियन डोमेन नहीं है, यह दिखाने के लिए पर्याप्त है कि प्रत्येक गैर-शून्य अभाज्य $$p\in A$$ के लिए, भागफल मानचित्र $$A\to A/p$$ द्वारा प्रेरित मानचित्र $$A^\times\to(A/p)^\times$$ आच्छादक नहीं है।

गुण
मान लीजिए कि R एक प्रांत है और f एक यूक्लिडियन फलन है। तब:

हालांकि, छोटे वर्ग समूह के साथ क्यू के कई परिमित विस्तार में, पूर्णांकों की अंगूठी यूक्लिडियन है (जरूरी नहीं कि क्षेत्र के मानक के पूर्ण मूल्य के संबंध में; नीचे देखें)। विस्तारित रीमैन परिकल्पना को मानते हुए, यदि K, Q का एक परिमित विस्तार है और K का पूर्णांकों का वलय अनंत इकाइयों की संख्या वाला एक PID है, तो पूर्णांकों का वलय यूक्लिडियन है। विशेष रूप से यह तुच्छ वर्ग समूह के साथ पूरी तरह से वास्तविक द्विघात संख्या क्षेत्रों के मामले में लागू होता है। इसके अलावा (और ईआरएच को ग्रहण किए बिना), यदि क्षेत्र के क्यू का गैलोइस विस्तार है, तुच्छ वर्ग समूह और इकाई रैंक सख्ती से तीन से अधिक है, तो पूर्णांक की अंगूठी यूक्लिडियन है। इसका एक तात्कालिक परिणाम यह है कि यदि संख्या क्षेत्र Q के ऊपर Galois है, इसका वर्ग समूह तुच्छ है और विस्तार की डिग्री 8 से अधिक है तो पूर्णांकों की अंगूठी आवश्यक रूप से यूक्लिडियन है।
 * आर एक प्रमुख आदर्श डोमेन (पीआईडी) है। वास्तव में, यदि I, R का शून्येतर आदर्श नहीं है, तो I \ {0} का कोई भी अवयव f(a) के न्यूनतम मान (उस सेट पर) के साथ I का एक जनरेटर है। एक परिणाम के रूप में आर भी एक अद्वितीय गुणनखंड डोमेन और एक नोथेरियन रिंग है। सामान्य प्रमुख आदर्श डोमेन के संबंध में, यूक्लिडियन डोमेन में गुणनखंडों का अस्तित्व (अर्थात, कि R एक परमाणु डोमेन है) विशेष रूप से आसान है: एक यूक्लिडियन फ़ंक्शन f संतोषजनक (EF2) का चयन करते हुए, x का f(x) गैर-इकाई कारकों से अधिक में कोई अपघटन नहीं हो सकता है, इसलिए x से शुरू करना और बार-बार कम करने योग्य कारकों को अपघटित करना इर्रिडिएबल तत्वों में एक कारक बनाने के लिए बाध्य है I
 * R का कोई भी तत्व जिस पर f अपना विश्व स्तर पर न्यूनतम मान लेता है, वह R में व्युत्क्रमणीय होता है। यदि एक f संतोषजनक (EF2) चुना जाता है, तो इसका विलोम भी धारण करता है, और f, R के व्युत्क्रमणीय तत्वों पर अपना न्यूनतम मान लेता है।
 * यदि यूक्लिडियन विभाजन एल्गोरिथम है, अर्थात, यदि भागफल और शेषफल की गणना करने के लिए एक एल्गोरिथ्म है, तो एक विस्तारित यूक्लिडियन एल्गोरिथ्म को पूर्णांकों के मामले में ठीक उसी तरह परिभाषित किया जा सकता है।
 * यदि एक यूक्लिडियन डोमेन एक क्षेत्र नहीं है, तो इसमें निम्नलिखित संपत्ति के साथ एक तत्व है: किसी भी तत्व x को a से विभाजित नहीं किया जा सकता है, जिसे x = ay + u के रूप में कुछ इकाई u और कुछ तत्व y के रूप में लिखा जा सकता है। यह एक गैर-इकाई के रूप में f(a) के साथ जितना संभव हो उतना छोटा होने के बाद होता है। इस विचित्र संपत्ति का उपयोग यह दिखाने के लिए किया जा सकता है कि कुछ प्रमुख आदर्श डोमेन यूक्लिडियन डोमेन नहीं हैं, क्योंकि सभी पीआईडी ​​में यह संपत्ति नहीं है। उदाहरण के लिए, d = -19, -43, -67, -163 के लिए, $$\mathbf{Q}(\sqrt{d}\,)$$ के पूर्णांकों का वलय एक PID है जो यूक्लिडियन नहीं है, लेकिन स्थितियाँ d = −1, −2, −3, −7, −11 यूक्लिडियन हैं।

नॉर्म-यूक्लिडियन क्षेत्र
बीजगणितीय संख्या क्षेत्र K उन पर एक विहित मानदंड समारोह के साथ आते हैं: क्षेत्र मानक N का निरपेक्ष मान जो α के सभी संयुग्मों के उत्पाद के लिए एक बीजगणितीय तत्व α लेता है। यह मानक एक संख्या क्षेत्र K के पूर्णांकों की अंगूठी को मैप करता है, ठीक है, गैर-नकारात्मक तर्कसंगत पूर्णांकों के लिए, इसलिए यह इस अंगूठी पर एक यूक्लिडियन मानदंड होने का उम्मीदवार है। यदि यह मानदंड एक यूक्लिडियन फ़ंक्शन के सिद्धांतों को संतुष्ट करता है तो संख्या फ़ील्ड K को नॉर्म-यूक्लिडियन या केवल यूक्लिडियन कहा जाता है। कड़ाई से बोलना यह पूर्णांकों का वलय है जो कि यूक्लिडियन है क्योंकि फ़ील्ड तुच्छ रूप से यूक्लिडियन डोमेन हैं, लेकिन शब्दावली मानक है।

यदि कोई क्षेत्र मानक-यूक्लिडियन नहीं है, तो इसका मतलब यह नहीं है कि पूर्णांकों का वलय यूक्लिडियन नहीं है, बस यह कि क्षेत्र का मानदंड यूक्लिडियन फ़ंक्शन के स्वयंसिद्धों को संतुष्ट नहीं करता है। वास्तव में, संख्या क्षेत्रों के पूर्णांकों के छल्ले को कई वर्गों में विभाजित किया जा सकता है:


 * वे जो मूलधन नहीं हैं और इसलिए यूक्लिडियन नहीं हैं, जैसे कि $$\mathbf{Q}(\sqrt{-5}\,)$$ के पूर्णांक
 * वे जो प्रिंसिपल हैं और यूक्लिडियन नहीं हैं, जैसे कि $$\mathbf{Q}(\sqrt{-19}\,)$$ के पूर्णांक
 * वे जो यूक्लिडियन हैं और मानक-यूक्लिडियन नहीं हैं, जैसे कि $$\mathbf{Q}(\sqrt{69}\,)$$ के पूर्णांक
 * वे जो नॉर्म-यूक्लिडियन हैं, जैसे गॉसियन पूर्णांक ($$\mathbf{Q}(\sqrt{-1}\,)$$ के पूर्णांक)

नॉर्म-यूक्लिडियन द्विघात क्षेत्रों को पूरी तरह से वर्गीकृत किया गया है; वे $$\mathbf{Q}(\sqrt{d}\,)$$ हैं जहां $$d$$ मान लेता है

-11, -7, -3, -2, -1, 2, 3, 5, 6, 7, 11, 13, 17, 19, 21, 29, 33, 37, 41, 57, 73 ।

प्रत्येक यूक्लिडियन काल्पनिक द्विघात क्षेत्र मानक-यूक्लिडियन है और पिछली सूची में पहले पांच क्षेत्रों में से एक है।

यह भी देखें

 * मूल्यांकन (बीजगणित)