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

{{short description|Commutative ring with a Euclidean division}}
गणित में, विशेष रूप से [[अंगूठी सिद्धांत|रिंग सिद्धांत]] में, '''यूक्लिडियन प्रांत (डोमेन)''' (जिसे '''यूक्लिडियन रिंग''' भी कहा जाता है) [[अभिन्न डोमेन|पूर्णांकी प्रांत]] है जिसे यूक्लिडियन फलन के साथ संपन्न किया जा सकता है जो [[पूर्णांक|पूर्णांकों]] के [[यूक्लिडियन डिवीजन|यूक्लिडियन विभाजन]] के उपयुक्त सामान्यीकरण की अनुमति देता प्रदान करता है। इस सामान्यीकृत [[यूक्लिडियन एल्गोरिथ्म]] को पूर्णांकों के रिंग में यूक्लिड के मूल एल्गोरिदम के समान कई उपयोगों में रखा जा सकता है: किसी भी यूक्लिडियन प्रांत में, कोई भी दो तत्वों के सबसे बड़े सामान्य विभाजक की गणना करने के लिए यूक्लिडियन एल्गोरिथ्म को लागू कर सकता है। विशेष रूप से, किन्हीं भी दो तत्वों का सबसे बड़ा सामान्य विभाजक विद्यमान होता है और उन्हें उनके एक रैखिक संयोजन के रूप में लिखा जा सकता है (बेज़ाउट की सर्वसमिका)। इसके अतिरिक्त यूक्लिडियन प्रांत में प्रत्येक [[प्रमुख आदर्श|आइडियल]] सिद्धांत है, जो अंकगणित के मूल प्रमेय के उपयुक्त सामान्यीकरण का तात्पर्य है: प्रत्येक यूक्लिडियन प्रांत विशिष्ट गुणनखंडन प्रांत है।

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

अतः पूर्णांक प्रांत {{mvar|R}} दिया गया है, यह ज्ञात होना प्रायः बहुत उपयोगी होता है कि {{mvar|R}} में यूक्लिडियन फलन होता है: विशेष रूप से, इसका तात्पर्य है कि {{mvar|R}} एक पीआईडी है। हालाँकि, यदि कोई "स्पष्ट" यूक्लिडियन फलन नहीं है, तो यह निर्धारित करना कि क्या {{mvar|R}} एक पीआईडी है, सामान्य रूप से यह निर्धारित करने की तुलना में बहुत सरल समस्या है कि क्या यह एक यूक्लिडियन प्रांत है।

यूक्लिडियन प्रांत [[उपवर्ग (सेट सिद्धांत)|वर्ग समावेशन]] की निम्नलिखित श्रृंखला में दिखाई देते हैं:
{{Commutative ring classes}}
{{Algebraic structures |Ring}}

== परिभाषा ==
मान लीजिए कि {{mvar|R}} पूर्णांकीय प्रांत है। {{mvar|R}} पर '''यूक्लिडियन फलन''' {{math|''R''&thinsp;\&hairsp;{0<nowiki>}</nowiki>}} से अऋणात्मक पूर्णांकों के लिए फलन {{mvar|f}} है जो निम्न मूल विभाजन-साथ-शेष गुण को संतुष्ट करता है:

*(EF1) यदि {{mvar|a}} और {{mvar|b}}, {{mvar|R}} में हैं और {{mvar|b}} अशून्य है, अतः {{mvar|q}} और {{mvar|r}}, {{mvar|R}} में विद्यमान होता हैं जैसा यहहै कि {{math|''a'' {{=}} ''bq'' + ''r''}} और या तो {{math|1=''r'' = 0}} या {{math|''f''&thinsp;(''r'') < ''f''&thinsp;(''b'')}}।

'''यूक्लिडियन प्रांत''' एक पूर्णांकीय प्रांत है जिसे कम से कम एक यूक्लिडियन फलन से प्राप्त किया जा सकता है। विशेष यूक्लिडियन फलन {{mvar|f}} यूक्लिडियन प्रांत की परिभाषा का भाग नहीं है, क्योंकि, सामान्य रूप से, यूक्लिडियन प्रांत कई अलग-अलग यूक्लिडियन फलनों को सम्मिलित कर सकता है।

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

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

*(EF2) सभी अशून्य के लिए {{mvar|R}} में {{mvar|a}} और {{mvar|b}}, {{math|''f''&thinsp;(''a'') ≤ ''f''&thinsp;(''ab'')}}।

हालाँकि, यह दिखाया जा सकता है कि (EF1) अकेले यूक्लिडियन प्रांत को परिभाषित करने के लिए पर्याप्त है; यदि पूर्णांकीय प्रांत {{mvar|R}} किसी फलन {{mvar|g}} जो (EF1) को संतुष्ट करता है, से संपन्न होता है, तो {{mvar|R}} एक ऐसे फलन से भी संपन्न हो सकता है जो दोनों (EF1) और (EF2) को एक साथ संतुष्ट करता है। वास्तव में,  {{mvar|a}} में {{math|''R''&thinsp;\&hairsp;{0<nowiki>}</nowiki>}} के लिए, {{math|''f''&thinsp;(''a'')}} को निम्नानुसार परिभाषित किया जा सकता है:<ref>{{Citation | last = Rogers | first = Kenneth | title = The Axioms for Euclidean Domains | journal = [[American Mathematical Monthly]] | volume = 78 | issue = 10 | pages = 1127–8 | year = 1971 | doi = 10.2307/2316324 | jstor = 2316324 | zbl=0227.13007 }}</ref>
:<math>f(a) = \min_{x \in R \setminus \{0\}} g(xa)</math>
शब्दों में, कोई {{math|''f''&thinsp;(''a'')}} को परिभाषित कर सकता है जो {{mvar|a}} द्वारा उत्पन्न प्रमुख आइडियल के सभी अशून्य तत्वों के समुच्चय पर {{mvar|g}} द्वारा प्राप्त न्यूनतम मान है।

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

=== परिभाषा पर टिप्पणियाँ ===

कई लेखक "यूक्लिडियन फलन" के स्थान पर अन्य शब्दों का उपयोग करते हैं, जैसे "कोटि फलन", "मूल्याकंन फलन", "गेज फलन" या "मानक फलन"।<ref name="DummitAlgebra">{{Cite book|title=Abstract Algebra|last1=Dummit|first1=David S.|last2=Foote|first2=Richard M.|publisher=Wiley|year=2004|isbn=9780471433347 |page=270}}</ref> कुछ लेखकों को यूक्लिडियन फलन के प्रांत को संपूर्ण रिंग {{mvar|R}} होने की भी आवश्यकता होती है;<ref name="DummitAlgebra"/> हालांकि, यह अनिवार्य रूप से परिभाषा को प्रभावित नहीं करता है, क्योंकि (EF1) में {{math|''f''&thinsp;(0)}} का मान सम्मिलित नहीं है। परिभाषा को कभी-कभी यूक्लिडियन फलन को किसी भी [[सुव्यवस्थित सेट|सुव्यवस्थित समुच्चय]] में इसके मान लेने की अनुमति प्रदान करके सामान्यीकृत किया जाता है; यह दुर्बलता यूक्लिडियन गुणधर्म के सबसे महत्वपूर्ण निहितार्थों को प्रभावित नहीं करता है।

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

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

*किसी भी फील्ड। सभी अशून्य {{mvar|x}} के लिए {{math|''f''&thinsp;(''x'') {{=}} 1}} परिभाषित करें।
*{{math|'''Z'''}}, पूर्णांकों की रिंग। परिभाषित करें {{math|''f''&thinsp;(''n'') {{=}} {{!}}''n''{{!}}}}, {{mvar|n}} का निरपेक्ष मान।<ref>{{harvnb|Fraleigh|Katz|1967|p=377, Example 1}}</ref>
*{{math|'''Z'''[{{hairsp|''i''}}]}}, गाऊसी पूर्णांकों की रिंग। परिभाषित करें {{math|''f''&thinsp;(''a'' + ''bi'') {{=}} ''a''{{sup|2}} + ''b''{{sup|2}}}}, गॉसियन पूर्णांक {{math|''a'' + ''bi''}} का मानक।
* {{math|'''Z'''[ω]}} (जहाँ {{math|ω}} प्राथमिक (अ-[[वास्तविक संख्या|वास्तविक]]) [[एकता का घनमूल|एकांक का घनमूल]] है), आइज़ेंस्ताइन पूर्णांकों की रिंग। {{math|''f''&thinsp;(''a'' + ''b''ω) {{=}} ''a''{{sup|2}} − ''ab'' + ''b''{{sup|2}}}} को परिभाषित करें, आइज़ेंस्टीन पूर्णांक {{math|''a'' + ''b''ω}} का मानक।
*{{math|''K''[''X'']}}, फील्ड {{mvar|K}} पर बहुपदों की रिंग। प्रत्येक अशून्य बहुपद {{mvar|P}} के लिए, {{math|''f''&thinsp;(''P'')}} को {{mvar|P}} की कोटि के रूप में परिभाषित करें।<ref>{{harvnb|Fraleigh|Katz|1967|p=377, Example 2}}</ref>
*{{math|''K''{{brackets|''X''}}}}, फील्ड {{mvar|K}} पर [[औपचारिक शक्ति श्रृंखला|आकारिक घात श्रेणी]] की रिंग। प्रत्येक अशून्य घात श्रेणी {{mvar|P}} के लिए, {{math|''f''&thinsp;(''P'')}} को {{mvar|P}} के क्रम के रूप में परिभाषित करें, जो कि {{mvar|P}} में घटित होने वाली {{mvar|X}} की सबसे छोटी घात की कोटि है। विशेष रूप से, दो अशून्य घात श्रेणी {{mvar|P}} और {{mvar|Q}} के लिए, {{math|''f''&thinsp;(''P'') ≤ ''f''&thinsp;(''Q'')}} यदि और केवल यदि {{mvar|P}} {{mvar|Q}} को विभाजित करता है।
* कोई असतत मूल्यांकन रिंग। {{math|''f''&thinsp;(''x'')}} को [[अधिकतम आदर्श|अधिकतम आइडियल]] {{mvar|M}} की उच्चतम घात के रूप में परिभाषित करें जिसमें {{mvar|x}} सम्मिलित है। समतुल्य रूप से, {{mvar|g}} को {{mvar|M}} का जनरेटर होने दें, और {{mvar|v}} विशिष्ट पूर्णांक हो जैसे कि {{mvar|g{{hairsp}}{{sup|v}}}} {{mvar|x}} का एक सहयोगी है, फिर {{math|''f''&thinsp;(''x'') {{=}} ''v''}} को परिभाषित करें। पूर्व उदाहरण {{math|''K''{{brackets|''X''}}}} इसका एक विशेष उदाहरण है।
*[[डेडेकिंड डोमेन|डेडेकिंड प्रांत]] जिसके साथ परिमित रूप से अनेक अशून्य [[अशून्य प्रधान गुणजावली|अभाज्य आइडियल]] {{math|''P''{{sub|1}}, ..., ''P{{sub|n}}''}} है। <math>f(x) = \sum_{i=1}^n v_i(x)</math> को परिभाषित करें, जहां {{mvar|v{{sub|i}}}} आइडियल {{mvar|P{{sub|i}}}} के अनुरूप [[असतत मूल्यांकन]] है।<ref>{{Cite journal|last=Samuel|first=Pierre|date=1 October 1971|title=About Euclidean rings|journal=Journal of Algebra|volume=19|issue=2|pages=282–301 (p. 285)|doi=10.1016/0021-8693(71)90110-4|issn=0021-8693|doi-access=free}}</ref>
ऐसे प्रांत के उदाहरण जो यूक्लिडियन प्रांत नहीं हैं, उनमें सम्मिलित हैं:
* प्रत्येक प्रांत जो प्रमुख आइडियल प्रांत नहीं है, जैसे कि किसी फील्ड पर कम से कम दो अनिश्चित बहुपदों की रिंग, या पूर्णांक गुणांक वाले अविभाज्य बहुपदों की रिंग, या संख्या रिंग {{math|'''Z'''[{{hairsp|{{sqrt|&minus;5}}}}]}}।
* {{math|'''Q'''({{hairsp|{{sqrt|−19}}}})}} के पूर्णांकों की रिंग, जिसमें {{math|{{sfrac|''a'' + ''b''{{sqrt|&minus;19}}|2}}}} संख्याएँ सम्मिलित हैं, जहाँ {{mvar|a}} और {{mvar|b}} पूर्णांक हैं और दोनों सम या दोनों विषम हैं। यह प्रमुख आइडियल प्रांत है जो यूक्लिडियन नहीं है।
* रिंग {{math|1=''A'' = '''R'''[''X'', ''Y'']/(''X''<sup>&thinsp;2</sup> + ''Y''<sup>&thinsp;2</sup> + 1)}} भी एक प्रमुख आइडियल प्रांत<ref>
{{cite book|last=Pierre|first=Samuel|url=http://www.math.tifr.res.in/~publ/ln/tifr30.pdf|title=Lectures on Unique Factorization Domains|date=1964|publisher=Tata Institute of Fundamental Research|isbn= |pages=27–28|author-link=}}
</ref> है जो यूक्लिडियन नहीं है। यह देखने के लिए कि यह एक यूक्लिडियन प्रांत नहीं है, यह दिखाने के लिए पर्याप्त है कि प्रत्येक अशून्य अभाज्य <math>p\in A</math> के लिए, भागफल प्रतिचित्रण <math>A\to A/p</math> द्वारा प्रेरित प्रतिचित्रण <math>A^\times\to(A/p)^\times</math> [[विशेषण|आच्छादक]] नहीं है।<ref>
{{cite web
 |url=https://math.stackexchange.com/a/864627
 |title=Quotient of polynomials, PID but not Euclidean domain?
 |last=
 |first=
 |date=
 |website=
 |publisher=
 |access-date=
 |quote=}}
</ref>
== गुण ==
मान लीजिए कि ''R'' एक प्रांत है और ''f'' ''R'' पर यूक्लिडियन फलन है। तब:

* ''R'' प्रमुख आइडियल प्रांत (पीआईडी) है। वास्तव में, यदि ''I'', ''R'' का अशून्य आइडियल नहीं है, तो ''I'' \ {0} का कोई भी अवयव ''f''(''a'') के न्यूनतम मान (उस समुच्चय पर) के साथ ''I'' का एक जनरेटर है।<ref>{{harvnb|Fraleigh|Katz|1967|p=377, Theorem 7.4}}</ref> परिणाम के रूप में ''R'' भी एक विशिष्ट गुणनखंड प्रांत और [[नोथेरियन रिंग]] है। सामान्य प्रमुख आइडियल प्रांत के संबंध में, यूक्लिडियन प्रांत में गुणनखंडों का अस्तित्व (अर्थात, कि ''R'' [[परमाणु डोमेन|परमाणु प्रांत]] है) विशेष रूप से सरल है: यूक्लिडियन फलन ''f'' जो (EF2) को संतुष्ट करता है, का चयन करते हुए, ''x'' का ''f''(''x'') गैर-इकाई गुणनखण्डों से अधिक में कोई वियोजन नहीं हो सकता है, इसलिए x से आरम्भ करना और बार-बार कम करने योग्य गुणनखण्डों को वियोजित करना [[अलघुकरणीय तत्व|अलघुकरणीय (इर्रिडिएबल) तत्वों]] में गुणनखण्ड उत्पन्न करने के लिए बाध्य है I
* ''R'' का कोई भी तत्व जिस पर ''f'' अपना विश्व स्तर पर न्यूनतम मान लेता है, वह ''R'' में व्युत्क्रमणीय होता है। यदि एक ''f'' जो (EF2) को संतुष्ट करता है, चयनित किया जाता है, अतः इसका व्युत्क्रम भी धारण करता है, और ''f'', ''R'' के व्युत्क्रमणीय तत्वों पर अपना न्यूनतम मान लेता है।
*यदि यूक्लिडियन विभाजन एल्गोरिथम है, अर्थात, यदि भागफल और शेषफल की गणना करने के लिए एक एल्गोरिथ्म है, अतः विस्तारित यूक्लिडियन एल्गोरिथ्म को पूर्णांकों की स्थिति में ठीक उसी तरह परिभाषित किया जा सकता है।<ref>{{harvnb|Fraleigh|Katz|1967|p=380, Theorem 7.7}}</ref>
*यदि यूक्लिडियन प्रांत फील्ड नहीं है, तो इसमें निम्नलिखित प्रगुण के साथ एक तत्व होता है: किसी भी तत्व ''x'' को ''a'' से विभाजित नहीं किया जा सकता है, जिसे ''x'' = ''ay'' + ''u'' के रूप में कुछ इकाई ''u'' और कुछ तत्व ''y'' के रूप में लिखा जा सकता है। यह गैर-इकाई के रूप में ''f''(''a'') के साथ जितना संभव हो उतना छोटा होने के बाद होता है। इस विचित्र गुण का उपयोग यह दिखाने के लिए किया जा सकता है कि कुछ प्रमुख आइडियल प्रांत यूक्लिडियन प्रांत नहीं होते हैं, क्योंकि सभी पीआईडी में यह गुण नहीं होते है। उदाहरण के लिए, ''d'' = −19, −43, −67, −163 के लिए, <math>\mathbf{Q}(\sqrt{d}\,)</math> के पूर्णांकों की रिंग पीआईडी है जो यूक्लिडियन नहीं है, लेकिन स्थितियाँ ''d'' = −1, −2, −3, −7, −11 यूक्लिडियन हैं।<ref>{{Citation
  | last = Motzkin | first = Theodore | author-link = Theodore Motzkin
  | title = The Euclidean algorithm
  | journal = [[Bulletin of the American Mathematical Society]]
  | volume = 55 | issue = 12 | pages = 1142–6 | year = 1949
  | url = http://projecteuclid.org/handle/euclid.bams/1183514381
  | doi = 10.1090/S0002-9904-1949-09344-8 | zbl=0035.30302
| doi-access = free}}</ref>
हालांकि, ट्राईविअल [[तुच्छ समूह|वर्ग समूह]] के साथ '''Q''' के कई [[परिमित विस्तार|परिमित विस्तारण]] में, पूर्णांकों की रिंग यूक्लिडियन है (आवश्यक नहीं कि फील्ड के मानक के पूर्ण मूल्य के संबंध में; नीचे देखें)। [[विस्तारित रीमैन परिकल्पना]] को मानते हुए, यदि ''K'', '''Q''' का परिमित विस्तारण है और ''K'' का पूर्णांकों की रिंग अनंत इकाइयों की संख्या वाला एक पीआईडी है, अतः पूर्णांकों की रिंग यूक्लिडियन है।<ref>{{Citation
  | last = Weinberger | first = Peter J. | author-link = Peter J. Weinberger
  | title = On Euclidean rings of algebraic integers
  | journal = Proceedings of Symposia in Pure Mathematics
  | publisher = AMS
  | volume = 24 | pages = 321–332 | year = 1973
| doi = 10.1090/pspum/024/0337902 | isbn = 9780821814246 }}</ref> विशेष रूप से यह ट्राईविअल वर्ग समूह के साथ [[पूरी तरह से वास्तविक क्षेत्र|पूरी तरह से वास्तविक]] [[द्विघात क्षेत्र|द्विघात संख्या फील्डों]] की स्थिति में लागू होता है। इसके अतिरिक्त (और ERH माने बिना), यदि फील्ड के '''Q''' का गैलोइस विस्तार है, ट्राईविअल वर्ग समूह और इकाई रैंक सख्ती से तीन से अधिक है, तो पूर्णांक की रिंग यूक्लिडियन है।<ref>{{Citation
  | last1 = Harper | first1 = Malcolm
  | last2 = Murty | first2 = M. Ram | author2-link = M. Ram Murty
  | title = Euclidean rings of algebraic integers
  | journal = Canadian Journal of Mathematics
  | volume = 56 | issue = 1 | pages = 71–76 | year = 2004
  | url = http://www.mast.queensu.ca/~murty/harper-murty.pdf
  | doi = 10.4153/CJM-2004-004-5
| citeseerx = 10.1.1.163.7917}}</ref> इसका तात्कालिक [[परिणाम]] यह है कि यदि [[संख्या क्षेत्र|संख्या फील्ड]] '''Q''' पर गैलोइस होता है, इसका वर्ग समूह ट्राईविअल होता है और विस्तारण की [[क्षेत्र विस्तार की डिग्री|कोटि]] 8 से अधिक है अतः पूर्णांकों की रिंग आवश्यक रूप से यूक्लिडियन है।
== नॉर्म-यूक्लिडियन फील्ड ==

बीजगणितीय संख्या फील्ड ''K'' उन पर कैनोनिकल नॉर्म फलन के साथ आते हैं: फील्ड नॉर्म ''N'' का निरपेक्ष मान जो ''α'' के सभी संयुग्मों के उत्पाद के लिए [[बीजगणितीय तत्व]] ''α'' प्राप्त करता है। यह नॉर्म संख्या फील्ड K के पूर्णांकों की रिंग को मैप करता है, माना ''O<sub>K</sub>'', गैर-नकारात्मक तर्कसंगत पूर्णांकों के लिए, इसलिए यह इस रिंग पर यूक्लिडियन नॉर्म होने का अभ्यर्थी है। यदि यह नॉर्म यूक्लिडियन फलन के सिद्धांतों को संतुष्ट करता है तो संख्या फ़ील्ड ''K'' को ''नॉर्म-यूक्लिडियन'' या केवल ''यूक्लिडियन'' कहा जाता है।<ref name="RibAlgNum">{{cite book | title=Algebraic Numbers | publisher=Wiley-Interscience | author=Ribenboim, Paulo | year=1972 | isbn=978-0-471-71804-8}}</ref><ref name="HardyWright">{{cite book |first1=G.H. |last1=Hardy |first2=E.M. |last2=Wright |first3=Joseph |last3=Silverman |first4=Andrew |last4=Wiles |title=An Introduction to the Theory of Numbers |url=https://books.google.com/books?id=P6uTBqOa3T4C&pg=PP1 |date=2008 |publisher=Oxford University Press |edition=6th |isbn=978-0-19-921986-5 }}</ref> वास्तव में यह पूर्णांकों की रिंग है जो कि यूक्लिडियन है क्योंकि फ़ील्ड ट्राईविअल रूप से यूक्लिडियन प्रांत हैं, लेकिन शब्दावली नॉर्म है।

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

* वे जो प्रिंसिपल नहीं हैं और इसलिए यूक्लिडियन नहीं हैं, जैसे कि <math>\mathbf{Q}(\sqrt{-5}\,)</math> के पूर्णांक
* वे जो प्रिंसिपल हैं और यूक्लिडियन नहीं हैं, जैसे कि <math>\mathbf{Q}(\sqrt{-19}\,)</math> के पूर्णांक
* वे जो यूक्लिडियन हैं और नॉर्म-यूक्लिडियन नहीं हैं, जैसे कि <math>\mathbf{Q}(\sqrt{69}\,)</math><ref>{{cite journal | last=Clark | first=David A. | title=A quadratic field which is Euclidean but not norm-Euclidean | journal=[[Manuscripta Mathematica]] | volume=83 | number=3–4 | pages=327–330 | year=1994 | doi = 10.1007/BF02567617 | zbl=0817.11047 | citeseerx=10.1.1.360.6129 }}</ref> के पूर्णांक
* वे जो नॉर्म-यूक्लिडियन हैं, जैसे गॉसियन पूर्णांक (<math>\mathbf{Q}(\sqrt{-1}\,)</math> के पूर्णांक)

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

-11, -7, -3, -2, -1, 2, 3, 5, 6, 7, 11, 13, 17, 19, 21, 29, 33, 37, 41, 57, 73 ({{OEIS|id=A048981}})।<ref>{{cite book | last = LeVeque | first = William J. | author-link = William J. LeVeque | title = Topics in Number Theory|volume=I and II | publisher = Dover | year = 2002 | orig-year = 1956 | isbn = 978-0-486-42539-9 | zbl = 1009.11001 | pages = [https://archive.org/details/topicsinnumberth0000leve/page/ II:57,81] | url = https://archive.org/details/topicsinnumberth0000leve/page/ }}</ref>

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

== यह भी देखें ==
* [[मूल्यांकन (बीजगणित)]]

== टिप्पणियाँ ==
<references/>
== संदर्भ ==
*{{cite book |first1=John B. |last1=Fraleigh |first2=Victor J. |last2=Katz |title=A first course in abstract algebra |publisher=Addison-Wesley |edition=5th |year=1967 |isbn=0-201-53467-3 }}
*{{cite journal |first=Pierre |last=Samuel |title=About Euclidean rings |journal=Journal of Algebra |volume=19 |issue=2 |pages=282–301 |year=1971 |doi=10.1016/0021-8693(71)90110-4 |url=https://core.ac.uk/download/pdf/82126785.pdf|doi-access=free }}
{{DEFAULTSORT:Euclidean Domain}}

[[Category:CS1]]
[[Category:Created On 03/02/2023|Euclidean Domain]]
[[Category:Lua-based templates|Euclidean Domain]]
[[Category:Machine Translated Page|Euclidean Domain]]
[[Category:Pages with script errors|Euclidean Domain]]
[[Category:Short description with empty Wikidata description|Euclidean Domain]]
[[Category:Templates Translated in Hindi|Euclidean Domain]]
[[Category:Templates Vigyan Ready|Euclidean Domain]]
[[Category:Templates that add a tracking category|Euclidean Domain]]
[[Category:Templates that generate short descriptions|Euclidean Domain]]
[[Category:Templates using TemplateData|Euclidean Domain]]
[[Category:क्रमविनिमेय बीजगणित|Euclidean Domain]]
[[Category:यूक्लिड|डोमेन]]
[[Category:रिंग थ्योरी|Euclidean Domain]]