मूल्यांकन (बीजगणित): Difference between revisions
No edit summary |
No edit summary |
||
(18 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
[[बीजगणित]] में (विशेष रूप से [[बीजगणितीय ज्यामिति]] या [[बीजगणितीय संख्या क्षेत्र]] में), मूल्यांकन [[क्षेत्र (गणित)]] पर फ़ंक्शन (गणित) है जो क्षेत्र के तत्वों के आकार या बहुलता का माप प्रदान करता है। जटिल विश्लेषण में ध्रुव की डिग्री या [[शून्य (जटिल विश्लेषण)|शून्य]] की [[बहुलता (गणित)]] के विचार में अंतर्निहित आकार की धारणा, संख्या सिद्धांत में अभाज्य संख्या द्वारा संख्या की विभाज्यता की डिग्री और बीजगणितीय ज्यामिति में दो बीजगणितीय विविधता या काम्प्लेक्स ऐनालिटिक फंक्शन के मध्य [[संपर्क (ज्यामिति)]] की ज्यामितीय अवधारणा को यह [[क्रमविनिमेय बीजगणित]] के लिए सामान्यीकरण करता है। जिस क्षेत्र पर मूल्यांकन होता है, उसे वैल्यूड क्षेत्र कहा जाता है। | [[बीजगणित]] में (विशेष रूप से [[बीजगणितीय ज्यामिति]] या [[बीजगणितीय संख्या क्षेत्र]] में), '''मूल्यांकन''' [[क्षेत्र (गणित)]] पर फ़ंक्शन (गणित) है जो क्षेत्र के तत्वों के आकार या बहुलता का माप प्रदान करता है। जटिल विश्लेषण में ध्रुव की डिग्री या [[शून्य (जटिल विश्लेषण)|शून्य]] की [[बहुलता (गणित)]] के विचार में अंतर्निहित आकार की धारणा, संख्या सिद्धांत में अभाज्य संख्या द्वारा संख्या की विभाज्यता की डिग्री और बीजगणितीय ज्यामिति में दो बीजगणितीय विविधता या काम्प्लेक्स ऐनालिटिक फंक्शन के मध्य [[संपर्क (ज्यामिति)]] की ज्यामितीय अवधारणा को यह [[क्रमविनिमेय बीजगणित]] के लिए सामान्यीकरण करता है। जिस क्षेत्र पर मूल्यांकन होता है, उसे वैल्यूड क्षेत्र कहा जाता है। | ||
== परिभाषा == | == परिभाषा == | ||
निम्नलिखित वस्तुओं से प्रारम्भ होता है: | यह निम्नलिखित वस्तुओं से प्रारम्भ होता है: | ||
* क्षेत्र (गणित) {{mvar|K}} और इसका गुणक समूह K<sup>× | * क्षेत्र (गणित) {{mvar|K}} और इसका गुणक समूह K<sup>× | ||
*[[एबेलियन समूह]] [[पूरी तरह से आदेशित समूह|पूर्ण व्यवस्थित समूह]] {{math|(Γ, +, ≥)}}, | *[[एबेलियन समूह]] [[पूरी तरह से आदेशित समूह|पूर्ण व्यवस्थित समूह]] {{math|(Γ, +, ≥)}}, | ||
{{math|Γ}} पर | {{math|Γ}} पर क्रम और [[समूह कानून|समूह नियम]] सेट {{math|Γ ∪ {∞}}}{{efn|1=The symbol ∞ denotes an element not in {{math|Γ}}, with no other meaning. Its properties are simply defined by the given [[axiom]]s.}} निम्लिखित नियमानुसार विस्तारित किये गए हैं, | ||
*{{mvar|α}} ∈ {{math|Γ}} के लिए {{math|∞ ≥ ''α''}} है, | *{{mvar|α}} ∈ {{math|Γ}} के लिए {{math|∞ ≥ ''α''}} है, | ||
*{{mvar|α}} ∈ {{math|Γ}} के लिए {{math|∞ + ''α'' {{=}} ''α'' + ∞ {{=}} ∞ + ∞ {{=}} ∞}} है | *{{mvar|α}} ∈ {{math|Γ}} के लिए {{math|∞ + ''α'' {{=}} ''α'' + ∞ {{=}} ∞ + ∞ {{=}} ∞}} है | ||
तब {{mvar|K}} का मूल्यांकन | तब {{mvar|K}} का मूल्यांकन मानचित्र है- | ||
{{math|''v'' : ''K'' → Γ ∪ {∞} }} | |||
जो K में a, b के लिए निम्नलिखित गुणों को संतुष्ट करता है- | जो K में a, b के लिए निम्नलिखित गुणों को संतुष्ट करता है- | ||
Line 17: | Line 19: | ||
*यदि v(a) ≠ v(b), तब समानता {{math|''v''(''a'' + ''b'') ≥ min(''v''(''a''), ''v''(''b''))}} है | *यदि v(a) ≠ v(b), तब समानता {{math|''v''(''a'' + ''b'') ≥ min(''v''(''a''), ''v''(''b''))}} है | ||
यदि K<sup>× में a के लिए v(a) = | यदि {{mvar|K}}<sup>× में a के लिए v(a) = 0 है तो मूल्यांकन v 'ट्रिविअल' है, अन्यथा यह नॉन-ट्रिविअल है। | ||
द्वितीय गुण का आशय है कि कोई भी मूल्यांकन [[समूह समरूपता]] है। तृतीय गुण [[मीट्रिक रिक्त स्थान]] पर त्रिभुज असमानता का संस्करण है जो एकपक्षीय Γ के लिए अनुकूलित है (नीचे 'गुणात्मक संकेतन' देखें)। [[विश्लेषणात्मक ज्यामिति]] अनुप्रयोगों में उपयोग किए जाने वाले मूल्यांकन के लिए, प्रथम गुण का अर्थ है कि बिंदु के निकट विश्लेषणात्मक विविधता के किसी भी नॉन-एम्प्टी [[रोगाणु (गणित)|जर्म (गणित)]] में वह बिंदु होता है। | द्वितीय गुण का आशय है कि कोई भी मूल्यांकन [[समूह समरूपता]] है। तृतीय गुण [[मीट्रिक रिक्त स्थान]] पर त्रिभुज असमानता का संस्करण है जो एकपक्षीय Γ के लिए अनुकूलित है (नीचे 'गुणात्मक संकेतन' देखें)। [[विश्लेषणात्मक ज्यामिति]] अनुप्रयोगों में उपयोग किए जाने वाले मूल्यांकन के लिए, प्रथम गुण का अर्थ है कि बिंदु के निकट विश्लेषणात्मक विविधता के किसी भी नॉन-एम्प्टी [[रोगाणु (गणित)|जर्म (गणित)]] में वह बिंदु होता है। | ||
मूल्यांकन की व्याख्या अग्रणी-क्रम अवधि के क्रम के रूप में की जा सकती है।{{efn|With the min convention here, the valuation is rather interpreted as the ''negative'' of the order of the leading order term, but with the max convention it can be interpreted as the order.}} तृतीय गुण | मूल्यांकन की व्याख्या अग्रणी-क्रम अवधि के क्रम के रूप में की जा सकती है।{{efn|With the min convention here, the valuation is rather interpreted as the ''negative'' of the order of the leading order term, but with the max convention it can be interpreted as the order.}} तृतीय गुण लघु पद के क्रम के योग में युग्मित होते हैं,{{efn|Again, swapped since using minimum convention.}} जब तक कि दो शब्दों का एक ही क्रम न हो, उस स्थित में वे समाप्त हो सकते हैं जिस स्थिति में योग का बड़ा क्रम हो सकता है। | ||
कई अनुप्रयोगों के लिए, {{math|Γ}} वास्तविक | कई अनुप्रयोगों के लिए, {{math|Γ}} वास्तविक संख्या <math>\R</math> का योगात्मक उपसमूह है{{efn|Every [[Archimedean group]] is isomorphic to a subgroup of the real numbers under addition, but non-Archimedean ordered groups exist, such as the additive group of a [[non-Archimedean ordered field]].}} जिस स्थिति में ∞ की व्याख्या [[विस्तारित वास्तविक संख्या|विस्तारित वास्तविक संख्याओं]] में +∞ के रूप में की जा सकती है; ध्यान दें कि <math>\min(a, +\infty) = \min(+\infty, a) = a</math> किसी वास्तविक संख्या a के लिए, और इस प्रकार +∞ न्यूनतम की बाइनरी संक्रिया के अंतर्गत इकाई है। न्यूनतम और योग संक्रियाओं के साथ वास्तविक संख्याएं (+ ∞ द्वारा विस्तारित) [[मोटी हो जाओ|सेमीरिंग]] बनाती हैं, जिसे मिन [[उष्णकटिबंधीय सेमिरिंग|ट्रॉपिकल सेमिरिंग]] कहा जाता है,{{efn|In the tropical semiring, minimum and addition of real numbers are considered ''tropical addition'' and ''tropical multiplication''; these are the semiring operations.}} और मूल्यांकन v, K से ट्रॉपिकल सेमिरिंग तक प्रायः सेमीरिंग होमोमोर्फिज्म है, अतिरिक्त इसके कि होमोमोर्फिज्म गुण विफल हो सकता है जब दो समान मान वाले तत्वों को साथ जोड़ा जाता है। | ||
=== [[गुणक अंकन]] और निरपेक्ष मान === | === [[गुणक अंकन]] और निरपेक्ष मान === | ||
अवधारणा को [[एमिल आर्टिन]] ने अपनी पुस्तक ज्यामितीय बीजगणित (पुस्तक) में विकसित किया था, जिसमें समूह को गुणक संकेतन | अवधारणा को [[एमिल आर्टिन]] ने अपनी पुस्तक ज्यामितीय बीजगणित (पुस्तक) में विकसित किया था, जिसमें समूह को गुणक संकेतन {{math|(Γ, ·, ≥)}} के रूप में लिखा गया था।<ref>[[Emil Artin]] [https://archive.org/details/geometricalgebra033556mbp/page/n57/mode/2up?view=theater ''Geometric Algebra''], pages 47 to 49, via [[Internet Archive]]</ref> | ||
∞ के अतिरिक्त, हम नियमों द्वारा विस्तारित क्रम और समूह नियम के साथ औपचारिक प्रतीक O को Γ से जोड़ते हैं | |||
*{{mvar|α}} ∈ {{math|Γ}} के लिए {{math|''O'' ≤ ''α''}} | |||
*{{mvar|α}} ∈ {{math|Γ}} के लिए {{math|''O'' · ''α'' {{=}} ''α'' · ''O'' {{=}} ''O''}} | |||
तब {{math|''K''}} का मूल्यांकन मानचित्र है- | |||
:{{math|''{{pipe}} ⋅ {{pipe}}<sub>v</sub>'' : ''K'' → Γ ∪ {''O''} }} | :{{math|''{{pipe}} ⋅ {{pipe}}<sub>v</sub>'' : ''K'' → Γ ∪ {''O''} }} | ||
a, b ∈ K के लिए निम्नलिखित गुणों को संतुष्ट करता है- | |||
*{{math|''{{pipe}}a{{pipe}}<sub>v</sub>'' {{=}} ''O''}} | *{{math|''{{pipe}}a{{pipe}}<sub>v</sub>'' {{=}} ''O''}} यदि {{math|''a'' {{=}} 0}}, | ||
*{{math|''{{pipe}}ab{{pipe}}<sub>v</sub>'' {{=}} ''{{pipe}}a{{pipe}}<sub>v</sub>'' · ''{{pipe}}b{{pipe}}<sub>v</sub>''}}, | *{{math|''{{pipe}}ab{{pipe}}<sub>v</sub>'' {{=}} ''{{pipe}}a{{pipe}}<sub>v</sub>'' · ''{{pipe}}b{{pipe}}<sub>v</sub>''}}, | ||
*{{math|''{{pipe}}a | *यदि {{math|''{{pipe}}a{{pipe}}<sub>v</sub>'' ≠ ''{{pipe}}b{{pipe}}<sub>v</sub>''}}, तब समानता {{math|''{{pipe}}a+b{{pipe}}<sub>v</sub>'' ≤ max(''{{pipe}}a{{pipe}}<sub>v</sub>'', ''{{pipe}}b{{pipe}}<sub>v</sub>'')}} है। | ||
(ध्यान दें कि असमानताओं की दिशाएँ योज्य संकेतन से | (ध्यान दें कि असमानताओं की दिशाएँ योज्य संकेतन से परिवर्तित हैं।) | ||
यदि {{math|Γ}} गुणन के अंतर्गत [[सकारात्मक वास्तविक संख्या|सकारात्मक वास्तविक संख्याओं]] का उपसमूह है, तो अंतिम स्थिति [[अल्ट्रामेट्रिक स्पेस]] असमानता है, त्रिकोण असमानता का ठोस रूप {{math|''{{pipe}}a+b{{pipe}}<sub>v</sub>'' ≤ ''{{pipe}}a{{pipe}}<sub>v</sub>'' + ''{{pipe}}b{{pipe}}<sub>v</sub>''}}, और {{math|''{{pipe}} ⋅ {{pipe}}<sub>v</sub>''}} निरपेक्ष मान (बीजगणित) है। इस स्थिति में, हम {{math|1=''v''<sub>+</sub>(''a'') = −log ''{{pipe}}a{{pipe}}<sub>v</sub>''}} लेकर मान समूह <math>\Gamma_+ \sub (\R, +)</math> के साथ योज्य संकेतन को पास कर सकते हैं। | |||
प्रत्येक मूल्यांकन | K पर प्रत्येक मूल्यांकन संबंधित रैखिक [[पूर्व आदेश|पूर्व क्रम]] {{math|''a'' ≼ ''b'' ⇔ ''{{pipe}}a{{pipe}}<sub>v</sub>'' ≤ ''{{pipe}}b{{pipe}}<sub>v</sub>''}} को परिभाषित करता है। इसके विपरीत, {{math|≼}} आवश्यक गुणों को संतुष्ट करता है, हम {{math|''K''}} और {{math|≼}} के आधार पर गुणा और क्रम के साथ मूल्यांकन {{math|1=''{{pipe}}a{{pipe}}<sub>v</sub>'' = {''b'': ''b'' ≼ ''a'' ∧ ''a'' ≼ ''b''}}} को परिभाषित कर सकते हैं। | ||
=== शब्दावली === | === शब्दावली === | ||
इस लेख में, हम योगात्मक संकेतन में | इस लेख में, हम योगात्मक संकेतन में परिभाषित शब्दों का उपयोग करते हैं। चूँकि, कुछ लेखक वैकल्पिक शब्दों का उपयोग करते हैं: | ||
* हमारे मूल्यांकन (अल्ट्रामेट्रिक असमानता को संतुष्ट करना) को एक्सपोनेंशियल | * हमारे मूल्यांकन (अल्ट्रामेट्रिक असमानता को संतुष्ट करना) को एक्सपोनेंशियल मूल्यांकन या नॉन-आर्किमिडीयन एब्सोल्यूट वैल्यू या अल्ट्रामेट्रिक एब्सोल्यूट वैल्यू कहा जाता है; | ||
* हमारा निरपेक्ष मूल्य (त्रिभुज असमानता को संतुष्ट करना) | * हमारा निरपेक्ष मूल्य (त्रिभुज असमानता को संतुष्ट करना) मूल्यांकन या आर्किमिडीयन निरपेक्ष मान कहलाता है। | ||
=== संबद्ध वस्तुएं === | === संबद्ध वस्तुएं === | ||
किसी दिए गए मूल्यांकन | किसी दिए गए मूल्यांकन {{math|''v'' : ''K'' → Γ ∪ {∞} }} से परिभाषित कई वस्तुएं हैं- | ||
*मूल्य समूह या मूल्यांकन समूह {{math|Γ<sub>''v''</sub>}} = | *मूल्य समूह या मूल्यांकन समूह {{math|Γ<sub>''v''</sub>}} = ''v''(''K''<sup>×</sup>), {{math|Γ}} का उपसमूह है (चूँकि v सामान्यतः विशेषण है जैसे {{math|Γ<sub>''v''</sub>}} = {{math|Γ}}); | ||
*[[ मूल्यांकन की अंगूठी ]] '' | *[[ मूल्यांकन की अंगूठी | मूल्यांकन वलय]] ''Rv, a ∈ K का समुच्चय है जिसमें v(a) ≥ 0 है,'' | ||
* | * प्राइम आइडियल mv, a ∈ K का समुच्चय है जिसमें v(a) > 0 है (यह वास्तव में Rv का [[अधिकतम आदर्श|मैक्सिमल आइडियल]] है), | ||
* | *अवशेष [[क्षेत्र (बीजगणित)]] kv = Rv/mv, | ||
* | *नीचे दी गई तुल्यता के अंतर्गत v वर्ग से संबंधित K का स्थान है। | ||
== मूल गुण == | == मूल गुण == | ||
==={{anchor|equivalence}} मूल्यांकन की समानता === | ==={{anchor|equivalence}} मूल्यांकन की समानता === | ||
मूल्यांकन समूह Γ1 और Γ2 के साथ K के दो मूल्यांकन v1 और v2 क्रमशः समतुल्य कहे जाते हैं यदि कोई क्रम-संरक्षण [[समूह समरूपता]] {{math|''φ'' : Γ<sub>1</sub> → Γ<sub>2</sub>}} है, जैसे ''K''<sup>×</sup> में a के लिए v2(a) = φ(v1(a)) है। यह [[तुल्यता संबंध]] है। | |||
K के दो | K के दो मूल्यांकन समतुल्य हैं यदि उनके निकट समान मूल्यांकन रिंग है। | ||
किसी क्षेत्र के मूल्यांकन के समतुल्य वर्ग को 'स्थान' कहा जाता है। ओस्ट्रोव्स्की | किसी क्षेत्र के मूल्यांकन के समतुल्य वर्ग को 'स्थान' कहा जाता है। ओस्ट्रोव्स्की की प्रमेय परिमेय संख्याओं <math>\Q:</math> के क्षेत्र के स्थानों का पूर्ण वर्गीकरण देती है, ये <math>\Q.</math> के पी-एडिक पूर्णताओं के लिए मूल्यांकन के त्रुटिहीन समकक्ष वर्ग हैं। | ||
==={{anchor|extensions}} मूल्यांकन का विस्तार === | ==={{anchor|extensions}} मूल्यांकन का विस्तार === | ||
मान लीजिए v का मूल्यांकन | मान लीजिए v का मूल्यांकन {{mvar|K}} है और L का [[फील्ड एक्सटेंशन]] {{mvar|K}} है। ''V'' (''L'') का विस्तार ''L'' का मूल्यांकन ''w'' है, जैसे कि ''w'' से {{mvar|K}} तक का प्रतिबंध v है। सभी विस्तारों के समुच्चयों का अध्ययन मूल्यांकन के रेमीफिकेशन सिद्धांत में किया जाता है। | ||
मान लीजिए L/K सीमित विस्तार हैं और w, v से L तक का विस्तार है। Γ<sub>''w''</sub>, e(''w''/''v'') = [Γ<sub>''w''</sub> : Γ<sub>''v''</sub>] में Γ<sub>''v''</sub> को ''v'' के ऊपर ''w'' का अल्प रेमीफिकेशन इंडेक्स कहा जाता है। यह e(''w''/''v'') ≤ [''L'' : ''K''] को संतुष्ट करता है (विस्तार ''L''/''K' के [[क्षेत्र विस्तार की डिग्री]] ')। '' | |||
= | v पर w की सापेक्ष डिग्री को ''f''(''w''/''v'') = [''R<sub>w</sub>''/''m<sub>w</sub>'' : ''R<sub>v</sub>''/''m<sub>v</sub>''] के रूप में परिभाषित किया गया है। यह L/K की डिग्री से अल्प या उसके समतुल्य है। जब L/K वियोज्य होता है, तो v के ऊपर w का रेमीफिकेशन इंडेक्स e(w/v)pi के रूप में परिभाषित किया जाता है, जहां pi, ''R<sub>v</sub>''/''m<sub>v</sub>'' पर विस्तार ''R<sub>w</sub>''/''m<sub>w</sub>'' की [[अविभाज्य डिग्री]] है। | ||
जब | |||
=== पूर्ण मूल्यवान क्षेत्र ===<!-- Complete valued field redirects here--> | |||
जब व्यवस्थित एबेलियन समूह {{math|Γ}} [[पूर्णांकों]] का योज्य समूह होता है, तो संबंधित मूल्यांकन निरपेक्ष मान के समान होता है, और इसलिए क्षेत्र {{mvar|K}} पर [[मीट्रिक (गणित)]] को प्रेरित करता है। यदि {{mvar|K}} इस मीट्रिक के संबंध में [[पूर्ण मीट्रिक स्थान]] है, तो इसे पूर्ण मान क्षेत्र कहा जाता है। यदि {{mvar|K}} पूर्ण नहीं है, तो इसके [[समापन (बीजगणित)]] के निर्माण के लिए मूल्यांकन का उपयोग किया जा सकता है, जैसा कि नीचे दिए गए उदाहरणों में है, और भिन्न-भिन्न मूल्यांकन भिन्न-भिन्न समापन क्षेत्रों को परिभाषित कर सकते हैं। | |||
सामान्यतः, मूल्यांकन, {{mvar|K}} पर [[एक समान स्थान|यूनिफार्म स्पेस]] को प्रेरित करता है, और {{mvar|K}} को पूर्ण मूल्यवान क्षेत्र कहा जाता है यदि यह यूनिफार्म स्पेस के रूप में पूर्ण होता है। संबंधित गुण, जिसे वृताकार पूर्णता के रूप में जाना जाता है: यह पूर्णता के समान है <math>\Gamma = \Z,</math> किन्तु सामान्य रूप से दृढ़ है। | |||
== उदाहरण == | == उदाहरण == | ||
=== | === {{mvar|p}}-एडिक मूल्यांकन === | ||
सबसे | सबसे मूल उदाहरण है {{mvar|p}}-एडिक मूल्यांकन ν<sub>''p''</sub>, परिमेय संख्या <math>K=\Q,</math> पर मूल्यांकन वलय <math>R=\Z_{(p)}, </math> के साथ अभाज्य पूर्णांक {{mvar|p}} से जुड़ा हुआ है, जहाँ <math>\Z_{(p)} </math> प्राइम आइडियल <math>(p) </math> पर <math>\Z </math> का स्थानीयकरण है। मूल्यांकन समूह योगात्मक पूर्णांक <math>\Gamma = \Z.</math> है। <math>a \in R= \Z,</math> पूर्णांक के लिए मूल्यांकन νp(a), {{mvar|p}} की घात द्वारा a की विभाज्यता को मापता है- | ||
:<math> \nu_p(a) = \max\{e \in \Z \mid p^e \text{ divides } a\};</math> | :<math> \nu_p(a) = \max\{e \in \Z \mid p^e \text{ divides } a\};</math> | ||
और | और भिन्न के लिए, νp(a/b) = νp(a) - νp(b) है। | ||
इसे गुणात्मक रूप से | इसे गुणात्मक रूप से अंकित करने पर {{mvar|p}}-ऐडिक निरपेक्ष मान प्राप्त होता है, जिसका पारंपरिक रूप से आधार <math>1/p = p^{-1}</math> होता है, इसलिए <math>|a|_p := p^{-\nu_p(a)}</math> | ||
ν<sub>''p''</sub> के संबंध में <math>\Q</math> की पूर्णता [[पी-एडिक नंबर|p-एडिक संख्याओं]] का क्षेत्र <math>\Q_p</math> है। | |||
=== | === लुप्त होने का क्रम === | ||
मान लीजिए K = F(x) एफ़िन लाइन X = F1 पर परिमेय फलन और बिंदु a ∈ X है। बहुपद <math>f(x) = a_k (x{-}a)^k + a_{k+1}(x{-}a)^{k+1}+\cdots+ a_n(x{-}a)^n</math> के लिए <math>a_k\neq 0</math> के साथ ''v<sub>a</sub>''(''f'') = k, x = a और ''v<sub>a</sub>''(''f'' /''g'') = ''v<sub>a</sub>''(''f'') − ''v<sub>a</sub>''(''g'') पर लुप्त होने के क्रम को परिभाषित करें। तब मूल्यांकन वलय R में परिमेय फलन होते हैं जिनमें x = a पर कोई ध्रुव नहीं होता है, और पूर्णता [[औपचारिक लॉरेंट श्रृंखला]]<nowiki> वलय 'F'((x−a)) है। इसे प्यूसियक्स श्रृंखला K{{</nowiki>''t''<nowiki>}} (भिन्नात्मक घात), लेवी-सिविता क्षेत्र (इसकी कॉची पूर्णता), और हैन श्रृंखला के क्षेत्र में सामान्यीकृत किया जा सकता है, सभी स्थितियों में मूल्यांकन के साथ श्रृंखला में दिखाई देने वाले </nowiki>''t'' के सबसे छोटे घातांक को लौटाता है। | |||
=== {{mvar|π}}- | === {{mvar|π}}-एडिक मूल्यांकन === | ||
पूर्व उदाहरणों का सामान्यीकरण करते हुए, मान लीजिए {{mvar|R}} [[प्रमुख आदर्श डोमेन]] है, {{mvar|K}} इसके [[अंशों का क्षेत्र|भिन्नों का क्षेत्र]] है, और {{mvar|π}}, {{mvar|R}} का [[अलघुकरणीय तत्व]] है। चूंकि प्रत्येक प्रमुख आदर्श डोमेन [[अद्वितीय गुणनखंड डोमेन]] है, R के प्रत्येक अशून्य तत्व को (अनिवार्य रूप से) विशिष्ट रूप से अंकित किया जा सकता है- | |||
:<math>a=\pi^{e_a}p_1^{e_1}p_2^{e_2}\cdots p_n^{e_n}</math> | :<math>a=\pi^{e_a}p_1^{e_1}p_2^{e_2}\cdots p_n^{e_n}</math> | ||
जहाँ e गैर-ऋणात्मक पूर्णांक हैं और p<sub>i</sub>के अलघुकरणीय तत्व हैं {{mvar| | जहाँ e गैर-ऋणात्मक पूर्णांक हैं और p<sub>i</sub> {{mvar|R}} के अलघुकरणीय तत्व हैं जो {{mvar|π}} के सहयोगी (रिंग थ्योरी) नहीं हैं। पूर्णांक e<sub>a</sub> विशिष्ट रूप से a द्वारा निर्धारित किया जाता है। | ||
K का | K का {{mvar|π}}-एडिक मूल्यांकन निम्नलिखित समीकरणों द्वारा दिया जाता है- | ||
*<math>v_\pi(0)=\infty</math> | *<math>v_\pi(0)=\infty</math> | ||
*<math>v_\pi(a/b)=e_a-e_b,\text{ for }a,b\in R, a, b\neq0.</math> | *<math>v_\pi(a/b)=e_a-e_b,\text{ for }a,b\in R, a, b\neq0.</math> | ||
यदि π' {{mvar|R}} का अलघुकरणीय तत्व है, जैसे कि (π') = (π) (अर्थात, वे R में समान आदर्श उत्पन्न करते हैं), तो π-एडिक मूल्यांकन और π'-एडिक मूल्यांकन समान हैं। इस प्रकार, π-एडिक मूल्यांकन को P-एडिक मूल्यांकन कहा जा सकता है, जहाँ P = (π) है। | |||
==={{anchor|DedekindDomain}} [[डेडेकाइंड डोमेन]] पर पी-एडिक | ==={{anchor|DedekindDomain}} [[डेडेकाइंड डोमेन]] पर पी-एडिक मूल्यांकन=== | ||
पूर्व उदाहरण को डेडेकाइंड डोमेन के लिए सामान्यीकृत किया जा सकता है। मान लीजिए {{mvar|R}} डेडेकाइंड डोमेन है, {{mvar|K}} इसके भिन्नों का क्षेत्र है, और P, {{mvar|R}} का अशून्य प्रमुख आदर्श है। तब P पर {{mvar|R}} का [[अंगूठी का स्थानीयकरण|स्थानीयकरण]], निरूपित R<sub>P</sub> प्रमुख आदर्श डोमेन है जिसका भिन्न क्षेत्र {{mvar|K}} है। R<sub>P</sub> के प्रमुख आदर्श PR<sub>P</sub> पर प्रयुक्त पिछले खंड का निर्माण {{mvar|K}} के P-एडिक मूल्यांकन को प्राप्त करता है। | |||
== | == मूल्यांकन क्षेत्रों पर सदिश समष्टि == | ||
मान लीजिए कि, गुणन के अंतर्गत गैर-ऋणात्मक वास्तविक संख्याओं का समुच्चय {{math|Γ}} ∪ {0} है। तब हम कहते हैं कि मूल्यांकन असतत है यदि इसकी सीमा (मूल्यांकन समूह) अनंत है (और इसलिए 0 पर संचय बिंदु है)। | |||
मान लीजिए कि | मान लीजिए कि X, K के ऊपर सदिश समष्टि है और A और B, X के उपसमुच्चय हैं। तब हम कहते हैं कि ''A,'' ''B'' को अवशोषित करता है यदि ''α'' ∈ ''K'' उपस्थित है जैसे कि ''λ'' ∈ ''K'' और ''|λ| ≥ |α|'' का तात्पर्य ''B ⊆ λ A'' है। ''A'' को रेडियल या अवशोषित कहा जाता है यदि ''A,'' ''X'' के प्रत्येक परिमित उपसमुच्चय को अवशोषित करता है। ''X'' के रेडियल उपसमुच्चय परिमित प्रतिच्छेदन के अंतर्गत अपरिवर्तनीय हैं। साथ ही, A को वृत कहा जाता है यदि λ K और |λ| ≥ |α| का तात्पर्य λ A ⊆ A है। L के परिचालित उपसमुच्चय का समुच्चय आर्बिट्ररी प्रतिच्छेदन के अंतर्गत अपरिवर्तनीय है। A का वृत्ताकार हल, A युक्त X के सभी वृत्ताकार उपसमुच्चयों का प्रतिच्छेदन है। | ||
मान लीजिए कि ''X'' और ''Y'' | मान लीजिए कि ''X'' और ''Y'' गैर-असतत मूल्यांकन क्षेत्र ''K'' पर सदिश समष्टि हैं, मान लीजिए ''A ⊆ X'', ''B ⊆ Y'', और ''f : X → Y'' रैखिक मानचित्र हैं। यदि 'B' वृत्ताकार या रेडियल है तो <math>f^{-1}(B)</math> है। यदि A वृत्ताकार है तब f(A) है किन्तु यदि A रेडियल है तो f(A) अतिरिक्त स्थिति के अंतर्गत रेडियल होगा जो कि f सरजेक्टिव है। | ||
== यह भी देखें == | == यह भी देखें == | ||
Line 141: | Line 146: | ||
*{{PlanetMath|urlname=Valuation|title=Valuation}} | *{{PlanetMath|urlname=Valuation|title=Valuation}} | ||
*{{MathWorld |title=Valuation |urlname=Valuation}} | *{{MathWorld |title=Valuation |urlname=Valuation}} | ||
[[Category:Created On 18/05/2023]] | [[Category:Created On 18/05/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:क्षेत्र (गणित)]] | |||
[[Category:बीजगणितीय ज्यामिति]] |
Latest revision as of 16:25, 30 October 2023
बीजगणित में (विशेष रूप से बीजगणितीय ज्यामिति या बीजगणितीय संख्या क्षेत्र में), मूल्यांकन क्षेत्र (गणित) पर फ़ंक्शन (गणित) है जो क्षेत्र के तत्वों के आकार या बहुलता का माप प्रदान करता है। जटिल विश्लेषण में ध्रुव की डिग्री या शून्य की बहुलता (गणित) के विचार में अंतर्निहित आकार की धारणा, संख्या सिद्धांत में अभाज्य संख्या द्वारा संख्या की विभाज्यता की डिग्री और बीजगणितीय ज्यामिति में दो बीजगणितीय विविधता या काम्प्लेक्स ऐनालिटिक फंक्शन के मध्य संपर्क (ज्यामिति) की ज्यामितीय अवधारणा को यह क्रमविनिमेय बीजगणित के लिए सामान्यीकरण करता है। जिस क्षेत्र पर मूल्यांकन होता है, उसे वैल्यूड क्षेत्र कहा जाता है।
परिभाषा
यह निम्नलिखित वस्तुओं से प्रारम्भ होता है:
- क्षेत्र (गणित) K और इसका गुणक समूह K×
- एबेलियन समूह पूर्ण व्यवस्थित समूह (Γ, +, ≥),
Γ पर क्रम और समूह नियम सेट Γ ∪ {∞}[lower-alpha 1] निम्लिखित नियमानुसार विस्तारित किये गए हैं,
- α ∈ Γ के लिए ∞ ≥ α है,
- α ∈ Γ के लिए ∞ + α = α + ∞ = ∞ + ∞ = ∞ है
तब K का मूल्यांकन मानचित्र है-
v : K → Γ ∪ {∞}
जो K में a, b के लिए निम्नलिखित गुणों को संतुष्ट करता है-
- v(a) = ∞ यदि a = 0,
- v(ab) = v(a) + v(b),
- यदि v(a) ≠ v(b), तब समानता v(a + b) ≥ min(v(a), v(b)) है
यदि K× में a के लिए v(a) = 0 है तो मूल्यांकन v 'ट्रिविअल' है, अन्यथा यह नॉन-ट्रिविअल है।
द्वितीय गुण का आशय है कि कोई भी मूल्यांकन समूह समरूपता है। तृतीय गुण मीट्रिक रिक्त स्थान पर त्रिभुज असमानता का संस्करण है जो एकपक्षीय Γ के लिए अनुकूलित है (नीचे 'गुणात्मक संकेतन' देखें)। विश्लेषणात्मक ज्यामिति अनुप्रयोगों में उपयोग किए जाने वाले मूल्यांकन के लिए, प्रथम गुण का अर्थ है कि बिंदु के निकट विश्लेषणात्मक विविधता के किसी भी नॉन-एम्प्टी जर्म (गणित) में वह बिंदु होता है।
मूल्यांकन की व्याख्या अग्रणी-क्रम अवधि के क्रम के रूप में की जा सकती है।[lower-alpha 2] तृतीय गुण लघु पद के क्रम के योग में युग्मित होते हैं,[lower-alpha 3] जब तक कि दो शब्दों का एक ही क्रम न हो, उस स्थित में वे समाप्त हो सकते हैं जिस स्थिति में योग का बड़ा क्रम हो सकता है।
कई अनुप्रयोगों के लिए, Γ वास्तविक संख्या का योगात्मक उपसमूह है[lower-alpha 4] जिस स्थिति में ∞ की व्याख्या विस्तारित वास्तविक संख्याओं में +∞ के रूप में की जा सकती है; ध्यान दें कि किसी वास्तविक संख्या a के लिए, और इस प्रकार +∞ न्यूनतम की बाइनरी संक्रिया के अंतर्गत इकाई है। न्यूनतम और योग संक्रियाओं के साथ वास्तविक संख्याएं (+ ∞ द्वारा विस्तारित) सेमीरिंग बनाती हैं, जिसे मिन ट्रॉपिकल सेमिरिंग कहा जाता है,[lower-alpha 5] और मूल्यांकन v, K से ट्रॉपिकल सेमिरिंग तक प्रायः सेमीरिंग होमोमोर्फिज्म है, अतिरिक्त इसके कि होमोमोर्फिज्म गुण विफल हो सकता है जब दो समान मान वाले तत्वों को साथ जोड़ा जाता है।
गुणक अंकन और निरपेक्ष मान
अवधारणा को एमिल आर्टिन ने अपनी पुस्तक ज्यामितीय बीजगणित (पुस्तक) में विकसित किया था, जिसमें समूह को गुणक संकेतन (Γ, ·, ≥) के रूप में लिखा गया था।[1]
∞ के अतिरिक्त, हम नियमों द्वारा विस्तारित क्रम और समूह नियम के साथ औपचारिक प्रतीक O को Γ से जोड़ते हैं
- α ∈ Γ के लिए O ≤ α
- α ∈ Γ के लिए O · α = α · O = O
तब K का मूल्यांकन मानचित्र है-
- | ⋅ |v : K → Γ ∪ {O}
a, b ∈ K के लिए निम्नलिखित गुणों को संतुष्ट करता है-
- |a|v = O यदि a = 0,
- |ab|v = |a|v · |b|v,
- यदि |a|v ≠ |b|v, तब समानता |a+b|v ≤ max(|a|v, |b|v) है।
(ध्यान दें कि असमानताओं की दिशाएँ योज्य संकेतन से परिवर्तित हैं।)
यदि Γ गुणन के अंतर्गत सकारात्मक वास्तविक संख्याओं का उपसमूह है, तो अंतिम स्थिति अल्ट्रामेट्रिक स्पेस असमानता है, त्रिकोण असमानता का ठोस रूप |a+b|v ≤ |a|v + |b|v, और | ⋅ |v निरपेक्ष मान (बीजगणित) है। इस स्थिति में, हम v+(a) = −log |a|v लेकर मान समूह के साथ योज्य संकेतन को पास कर सकते हैं।
K पर प्रत्येक मूल्यांकन संबंधित रैखिक पूर्व क्रम a ≼ b ⇔ |a|v ≤ |b|v को परिभाषित करता है। इसके विपरीत, ≼ आवश्यक गुणों को संतुष्ट करता है, हम K और ≼ के आधार पर गुणा और क्रम के साथ मूल्यांकन |a|v = {b: b ≼ a ∧ a ≼ b} को परिभाषित कर सकते हैं।
शब्दावली
इस लेख में, हम योगात्मक संकेतन में परिभाषित शब्दों का उपयोग करते हैं। चूँकि, कुछ लेखक वैकल्पिक शब्दों का उपयोग करते हैं:
- हमारे मूल्यांकन (अल्ट्रामेट्रिक असमानता को संतुष्ट करना) को एक्सपोनेंशियल मूल्यांकन या नॉन-आर्किमिडीयन एब्सोल्यूट वैल्यू या अल्ट्रामेट्रिक एब्सोल्यूट वैल्यू कहा जाता है;
- हमारा निरपेक्ष मूल्य (त्रिभुज असमानता को संतुष्ट करना) मूल्यांकन या आर्किमिडीयन निरपेक्ष मान कहलाता है।
संबद्ध वस्तुएं
किसी दिए गए मूल्यांकन v : K → Γ ∪ {∞} से परिभाषित कई वस्तुएं हैं-
- मूल्य समूह या मूल्यांकन समूह Γv = v(K×), Γ का उपसमूह है (चूँकि v सामान्यतः विशेषण है जैसे Γv = Γ);
- मूल्यांकन वलय Rv, a ∈ K का समुच्चय है जिसमें v(a) ≥ 0 है,
- प्राइम आइडियल mv, a ∈ K का समुच्चय है जिसमें v(a) > 0 है (यह वास्तव में Rv का मैक्सिमल आइडियल है),
- अवशेष क्षेत्र (बीजगणित) kv = Rv/mv,
- नीचे दी गई तुल्यता के अंतर्गत v वर्ग से संबंधित K का स्थान है।
मूल गुण
मूल्यांकन की समानता
मूल्यांकन समूह Γ1 और Γ2 के साथ K के दो मूल्यांकन v1 और v2 क्रमशः समतुल्य कहे जाते हैं यदि कोई क्रम-संरक्षण समूह समरूपता φ : Γ1 → Γ2 है, जैसे K× में a के लिए v2(a) = φ(v1(a)) है। यह तुल्यता संबंध है।
K के दो मूल्यांकन समतुल्य हैं यदि उनके निकट समान मूल्यांकन रिंग है।
किसी क्षेत्र के मूल्यांकन के समतुल्य वर्ग को 'स्थान' कहा जाता है। ओस्ट्रोव्स्की की प्रमेय परिमेय संख्याओं के क्षेत्र के स्थानों का पूर्ण वर्गीकरण देती है, ये के पी-एडिक पूर्णताओं के लिए मूल्यांकन के त्रुटिहीन समकक्ष वर्ग हैं।
मूल्यांकन का विस्तार
मान लीजिए v का मूल्यांकन K है और L का फील्ड एक्सटेंशन K है। V (L) का विस्तार L का मूल्यांकन w है, जैसे कि w से K तक का प्रतिबंध v है। सभी विस्तारों के समुच्चयों का अध्ययन मूल्यांकन के रेमीफिकेशन सिद्धांत में किया जाता है।
मान लीजिए L/K सीमित विस्तार हैं और w, v से L तक का विस्तार है। Γw, e(w/v) = [Γw : Γv] में Γv को v के ऊपर w का अल्प रेमीफिकेशन इंडेक्स कहा जाता है। यह e(w/v) ≤ [L : K] को संतुष्ट करता है (विस्तार L/K' के क्षेत्र विस्तार की डिग्री ')।
v पर w की सापेक्ष डिग्री को f(w/v) = [Rw/mw : Rv/mv] के रूप में परिभाषित किया गया है। यह L/K की डिग्री से अल्प या उसके समतुल्य है। जब L/K वियोज्य होता है, तो v के ऊपर w का रेमीफिकेशन इंडेक्स e(w/v)pi के रूप में परिभाषित किया जाता है, जहां pi, Rv/mv पर विस्तार Rw/mw की अविभाज्य डिग्री है।
पूर्ण मूल्यवान क्षेत्र
जब व्यवस्थित एबेलियन समूह Γ पूर्णांकों का योज्य समूह होता है, तो संबंधित मूल्यांकन निरपेक्ष मान के समान होता है, और इसलिए क्षेत्र K पर मीट्रिक (गणित) को प्रेरित करता है। यदि K इस मीट्रिक के संबंध में पूर्ण मीट्रिक स्थान है, तो इसे पूर्ण मान क्षेत्र कहा जाता है। यदि K पूर्ण नहीं है, तो इसके समापन (बीजगणित) के निर्माण के लिए मूल्यांकन का उपयोग किया जा सकता है, जैसा कि नीचे दिए गए उदाहरणों में है, और भिन्न-भिन्न मूल्यांकन भिन्न-भिन्न समापन क्षेत्रों को परिभाषित कर सकते हैं।
सामान्यतः, मूल्यांकन, K पर यूनिफार्म स्पेस को प्रेरित करता है, और K को पूर्ण मूल्यवान क्षेत्र कहा जाता है यदि यह यूनिफार्म स्पेस के रूप में पूर्ण होता है। संबंधित गुण, जिसे वृताकार पूर्णता के रूप में जाना जाता है: यह पूर्णता के समान है किन्तु सामान्य रूप से दृढ़ है।
उदाहरण
p-एडिक मूल्यांकन
सबसे मूल उदाहरण है p-एडिक मूल्यांकन νp, परिमेय संख्या पर मूल्यांकन वलय के साथ अभाज्य पूर्णांक p से जुड़ा हुआ है, जहाँ प्राइम आइडियल पर का स्थानीयकरण है। मूल्यांकन समूह योगात्मक पूर्णांक है। पूर्णांक के लिए मूल्यांकन νp(a), p की घात द्वारा a की विभाज्यता को मापता है-
और भिन्न के लिए, νp(a/b) = νp(a) - νp(b) है।
इसे गुणात्मक रूप से अंकित करने पर p-ऐडिक निरपेक्ष मान प्राप्त होता है, जिसका पारंपरिक रूप से आधार होता है, इसलिए
νp के संबंध में की पूर्णता p-एडिक संख्याओं का क्षेत्र है।
लुप्त होने का क्रम
मान लीजिए K = F(x) एफ़िन लाइन X = F1 पर परिमेय फलन और बिंदु a ∈ X है। बहुपद के लिए के साथ va(f) = k, x = a और va(f /g) = va(f) − va(g) पर लुप्त होने के क्रम को परिभाषित करें। तब मूल्यांकन वलय R में परिमेय फलन होते हैं जिनमें x = a पर कोई ध्रुव नहीं होता है, और पूर्णता औपचारिक लॉरेंट श्रृंखला वलय 'F'((x−a)) है। इसे प्यूसियक्स श्रृंखला K{{t}} (भिन्नात्मक घात), लेवी-सिविता क्षेत्र (इसकी कॉची पूर्णता), और हैन श्रृंखला के क्षेत्र में सामान्यीकृत किया जा सकता है, सभी स्थितियों में मूल्यांकन के साथ श्रृंखला में दिखाई देने वाले t के सबसे छोटे घातांक को लौटाता है।
π-एडिक मूल्यांकन
पूर्व उदाहरणों का सामान्यीकरण करते हुए, मान लीजिए R प्रमुख आदर्श डोमेन है, K इसके भिन्नों का क्षेत्र है, और π, R का अलघुकरणीय तत्व है। चूंकि प्रत्येक प्रमुख आदर्श डोमेन अद्वितीय गुणनखंड डोमेन है, R के प्रत्येक अशून्य तत्व को (अनिवार्य रूप से) विशिष्ट रूप से अंकित किया जा सकता है-
जहाँ e गैर-ऋणात्मक पूर्णांक हैं और pi R के अलघुकरणीय तत्व हैं जो π के सहयोगी (रिंग थ्योरी) नहीं हैं। पूर्णांक ea विशिष्ट रूप से a द्वारा निर्धारित किया जाता है।
K का π-एडिक मूल्यांकन निम्नलिखित समीकरणों द्वारा दिया जाता है-
यदि π' R का अलघुकरणीय तत्व है, जैसे कि (π') = (π) (अर्थात, वे R में समान आदर्श उत्पन्न करते हैं), तो π-एडिक मूल्यांकन और π'-एडिक मूल्यांकन समान हैं। इस प्रकार, π-एडिक मूल्यांकन को P-एडिक मूल्यांकन कहा जा सकता है, जहाँ P = (π) है।
डेडेकाइंड डोमेन पर पी-एडिक मूल्यांकन
पूर्व उदाहरण को डेडेकाइंड डोमेन के लिए सामान्यीकृत किया जा सकता है। मान लीजिए R डेडेकाइंड डोमेन है, K इसके भिन्नों का क्षेत्र है, और P, R का अशून्य प्रमुख आदर्श है। तब P पर R का स्थानीयकरण, निरूपित RP प्रमुख आदर्श डोमेन है जिसका भिन्न क्षेत्र K है। RP के प्रमुख आदर्श PRP पर प्रयुक्त पिछले खंड का निर्माण K के P-एडिक मूल्यांकन को प्राप्त करता है।
मूल्यांकन क्षेत्रों पर सदिश समष्टि
मान लीजिए कि, गुणन के अंतर्गत गैर-ऋणात्मक वास्तविक संख्याओं का समुच्चय Γ ∪ {0} है। तब हम कहते हैं कि मूल्यांकन असतत है यदि इसकी सीमा (मूल्यांकन समूह) अनंत है (और इसलिए 0 पर संचय बिंदु है)।
मान लीजिए कि X, K के ऊपर सदिश समष्टि है और A और B, X के उपसमुच्चय हैं। तब हम कहते हैं कि A, B को अवशोषित करता है यदि α ∈ K उपस्थित है जैसे कि λ ∈ K और |λ| ≥ |α| का तात्पर्य B ⊆ λ A है। A को रेडियल या अवशोषित कहा जाता है यदि A, X के प्रत्येक परिमित उपसमुच्चय को अवशोषित करता है। X के रेडियल उपसमुच्चय परिमित प्रतिच्छेदन के अंतर्गत अपरिवर्तनीय हैं। साथ ही, A को वृत कहा जाता है यदि λ K और |λ| ≥ |α| का तात्पर्य λ A ⊆ A है। L के परिचालित उपसमुच्चय का समुच्चय आर्बिट्ररी प्रतिच्छेदन के अंतर्गत अपरिवर्तनीय है। A का वृत्ताकार हल, A युक्त X के सभी वृत्ताकार उपसमुच्चयों का प्रतिच्छेदन है।
मान लीजिए कि X और Y गैर-असतत मूल्यांकन क्षेत्र K पर सदिश समष्टि हैं, मान लीजिए A ⊆ X, B ⊆ Y, और f : X → Y रैखिक मानचित्र हैं। यदि 'B' वृत्ताकार या रेडियल है तो है। यदि A वृत्ताकार है तब f(A) है किन्तु यदि A रेडियल है तो f(A) अतिरिक्त स्थिति के अंतर्गत रेडियल होगा जो कि f सरजेक्टिव है।
यह भी देखें
- असतत मूल्यांकन
- यूक्लिडियन मूल्यांकन
- फील्ड मानदंड
- पूर्ण मान (बीजगणित)
टिप्पणियाँ
- ↑ The symbol ∞ denotes an element not in Γ, with no other meaning. Its properties are simply defined by the given axioms.
- ↑ With the min convention here, the valuation is rather interpreted as the negative of the order of the leading order term, but with the max convention it can be interpreted as the order.
- ↑ Again, swapped since using minimum convention.
- ↑ Every Archimedean group is isomorphic to a subgroup of the real numbers under addition, but non-Archimedean ordered groups exist, such as the additive group of a non-Archimedean ordered field.
- ↑ In the tropical semiring, minimum and addition of real numbers are considered tropical addition and tropical multiplication; these are the semiring operations.
संदर्भ
- ↑ Emil Artin Geometric Algebra, pages 47 to 49, via Internet Archive
- Efrat, Ido (2006), Valuations, orderings, and Milnor K-theory, Mathematical Surveys and Monographs, vol. 124, Providence, RI: American Mathematical Society, ISBN 0-8218-4041-X, Zbl 1103.12002
- Jacobson, Nathan (1989) [1980], "Valuations: paragraph 6 of chapter 9", Basic algebra II (2nd ed.), New York: W. H. Freeman and Company, ISBN 0-7167-1933-9, Zbl 0694.16001. A masterpiece on algebra written by one of the leading contributors.
- Chapter VI of Zariski, Oscar; Samuel, Pierre (1976) [1960], Commutative algebra, Volume II, Graduate Texts in Mathematics, vol. 29, New York, Heidelberg: Springer-Verlag, ISBN 978-0-387-90171-8, Zbl 0322.13001
- Schaefer, Helmut H.; Wolff, M.P. (1999). Topological Vector Spaces. GTM. Vol. 3. New York: Springer-Verlag. pp. 10–11. ISBN 9780387987262.
बाहरी संबंध
- Danilov, V.I. (2001) [1994], "Valuation", Encyclopedia of Mathematics, EMS Press
- Discrete valuation at PlanetMath.
- Valuation at PlanetMath.
- Weisstein, Eric W. "Valuation". MathWorld.