मूल्यांकन (बीजगणित): Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(16 intermediate revisions by 4 users not shown)
Line 1: Line 1:
[[बीजगणित]] में (विशेष रूप से [[बीजगणितीय ज्यामिति]] या [[बीजगणितीय संख्या क्षेत्र]] में), मूल्यांकन [[क्षेत्र (गणित)]] पर फ़ंक्शन (गणित) है जो क्षेत्र के तत्वों के आकार या बहुलता का माप प्रदान करता है। जटिल विश्लेषण में ध्रुव की डिग्री या [[शून्य (जटिल विश्लेषण)|शून्य]] की [[बहुलता (गणित)]] के विचार में अंतर्निहित आकार की धारणा, संख्या सिद्धांत में अभाज्य संख्या द्वारा संख्या की विभाज्यता की डिग्री और बीजगणितीय ज्यामिति में दो बीजगणितीय विविधता या काम्प्लेक्स ऐनालिटिक फंक्शन के मध्य [[संपर्क (ज्यामिति)]] की ज्यामितीय अवधारणा को यह [[क्रमविनिमेय बीजगणित]] के लिए सामान्यीकरण करता है। जिस क्षेत्र पर मूल्यांकन होता है, उसे वैल्यूड क्षेत्र कहा जाता है।
[[बीजगणित]] में (विशेष रूप से [[बीजगणितीय ज्यामिति]] या [[बीजगणितीय संख्या क्षेत्र]] में), '''मूल्यांकन''' [[क्षेत्र (गणित)]] पर फ़ंक्शन (गणित) है जो क्षेत्र के तत्वों के आकार या बहुलता का माप प्रदान करता है। जटिल विश्लेषण में ध्रुव की डिग्री या [[शून्य (जटिल विश्लेषण)|शून्य]] की [[बहुलता (गणित)]] के विचार में अंतर्निहित आकार की धारणा, संख्या सिद्धांत में अभाज्य संख्या द्वारा संख्या की विभाज्यता की डिग्री और बीजगणितीय ज्यामिति में दो बीजगणितीय विविधता या काम्प्लेक्स ऐनालिटिक फंक्शन के मध्य [[संपर्क (ज्यामिति)]] की ज्यामितीय अवधारणा को यह [[क्रमविनिमेय बीजगणित]] के लिए सामान्यीकरण करता है। जिस क्षेत्र पर मूल्यांकन होता है, उसे वैल्यूड क्षेत्र कहा जाता है।


== परिभाषा ==
== परिभाषा ==
निम्नलिखित वस्तुओं से प्रारम्भ होता है:
यह निम्नलिखित वस्तुओं से प्रारम्भ होता है:
* क्षेत्र (गणित) {{mvar|K}} और इसका गुणक समूह K<sup>×
* क्षेत्र (गणित) {{mvar|K}} और इसका गुणक समूह K<sup>×
*[[एबेलियन समूह]] [[पूरी तरह से आदेशित समूह|पूर्ण व्यवस्थित समूह]] {{math|(Γ, +, ≥)}},
*[[एबेलियन समूह]] [[पूरी तरह से आदेशित समूह|पूर्ण व्यवस्थित समूह]] {{math|(Γ, +, ≥)}},
Line 19: 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) = 0 है तो मूल्यांकन v 'ट्रिविअल' है, अन्यथा यह नॉन-ट्रिविअल है।
यदि {{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|Again, swapped since using minimum convention.}} जब तक कि दो शब्दों का एक ही क्रम न हो, जिस स्थिति में वे रद्द कर सकते हैं, जिस स्थिति में योग का बड़ा क्रम हो सकता है।
मूल्यांकन की व्याख्या अग्रणी-क्रम अवधि के क्रम के रूप में की जा सकती है।{{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>\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|Γ}} वास्तविक संख्या <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 से ट्रॉपिकल सेमिरिंग तक प्रायः सेमीरिंग होमोमोर्फिज्म है, अतिरिक्त इसके कि होमोमोर्फिज्म गुण विफल हो सकता है जब दो समान मान वाले तत्वों को साथ जोड़ा जाता है।
Line 59: Line 59:
*मूल्य समूह या मूल्यांकन समूह {{math|Γ<sub>''v''</sub>}} = ''v''(''K''<sup>×</sup>), {{math|Γ}} का उपसमूह है (चूँकि v सामान्यतः विशेषण है जैसे {{math|Γ<sub>''v''</sub>}} =  {{math|Γ}});
*मूल्य समूह या मूल्यांकन समूह {{math|Γ<sub>''v''</sub>}} = ''v''(''K''<sup>×</sup>), {{math|Γ}} का उपसमूह है (चूँकि v सामान्यतः विशेषण है जैसे {{math|Γ<sub>''v''</sub>}} =  {{math|Γ}});
*[[ मूल्यांकन की अंगूठी | मूल्यांकन वलय]]  ''Rv, a ∈ K का समुच्चय है जिसमें v(a) ≥ 0 है,''
*[[ मूल्यांकन की अंगूठी | मूल्यांकन वलय]]  ''Rv, a ∈ K का समुच्चय है जिसमें v(a) ≥ 0 है,''
* 'प्रमुख आदर्श' एम<sub>v</sub>v(a) > 0 के साथ ∈ K का समुच्चय है (यह वास्तव में R का [[अधिकतम आदर्श]] है<sub>v</sub>),
* प्राइम आइडियल mv, a ∈ K का समुच्चय है जिसमें v(a) > 0 है (यह वास्तव में Rv का [[अधिकतम आदर्श|मैक्सिमल आइडियल]] है),
*'अवशेष [[क्षेत्र (बीजगणित)]]' k<sub>v</sub>= आर<sub>v</sub>/एम<sub>v</sub>,
*अवशेष [[क्षेत्र (बीजगणित)]] kv = Rv/mv,
*पूर्ण मान (बीजगणित)#Places|'place' का {{mvar|K}} v से संबंधित, v की कक्षा नीचे परिभाषित समतुल्यता के तहत।
*नीचे दी गई तुल्यता के अंतर्गत v वर्ग से संबंधित K का स्थान है।


== मूल गुण ==
== मूल गुण ==


==={{anchor|equivalence}} मूल्यांकन की समानता ===
==={{anchor|equivalence}} मूल्यांकन की समानता ===
दो मूल्यांकन वी<sub>1</sub> और वी<sub>2</sub> का {{mvar|K}} मूल्यांकन समूह Γ के साथ<sub>1</sub> और जी<sub>2</sub>, क्रमशः, समतुल्य कहा जाता है यदि कोई आदेश-संरक्षित [[समूह समरूपता]] है {{math|''φ'' : Γ<sub>1</sub> → Γ<sub>2</sub>}} ऐसा है कि वी<sub>2</sub>() = φ (वी<sub>1</sub>()) सभी के लिए कश्मीर में<sup>×</sup>. यह एक [[तुल्यता संबंध]] है।
मूल्यांकन समूह Γ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>
किसी क्षेत्र के मूल्यांकन के समतुल्य वर्ग को 'स्थान' कहा जाता है। ओस्ट्रोव्स्की की प्रमेय परिमेय संख्याओं <math>\Q:</math> के क्षेत्र के स्थानों का पूर्ण वर्गीकरण देती है, ये <math>\Q.</math> के पी-एडिक पूर्णताओं के लिए मूल्यांकन के त्रुटिहीन समकक्ष वर्ग हैं।




==={{anchor|extensions}} मूल्यांकन का विस्तार ===
==={{anchor|extensions}} मूल्यांकन का विस्तार ===
मान लीजिए v का मूल्यांकन है {{mvar|K}} और L का [[फील्ड एक्सटेंशन]] होने दें {{mvar|K}}. ''V'' (''L'') का एक विस्तार ''L'' का मूल्यांकन ''w'' है, जैसे कि ''w'' का फ़ंक्शन प्रतिबंध {{mvar|K}} v है। ऐसे सभी विस्तारों के सेट का अध्ययन वैल्यूएशन के रेमीफिकेशन थ्योरी में किया जाता है।
मान लीजिए v का मूल्यांकन {{mvar|K}} है और L का [[फील्ड एक्सटेंशन]] {{mvar|K}} है। ''V'' (''L'') का विस्तार ''L'' का मूल्यांकन ''w'' है, जैसे कि ''w'' से {{mvar|K}} तक का प्रतिबंध v है। सभी विस्तारों के समुच्चयों का अध्ययन मूल्यांकन के रेमीफिकेशन सिद्धांत में किया जाता है।


एल/के को एक सीमित विस्तार होने दें और डब्ल्यू को वी से एल तक विस्तार दें। Γ के उपसमूह की अनुक्रमणिका<sub>''v''</sub> जी में<sub>''w''</sub>, ई(डब्ल्यू/वी) = [सी<sub>''w''</sub>: सी<sub>''v''</sub>], को ''v'' के ऊपर ''w'' का घटा हुआ रेमीफिकेशन इंडेक्स कहा जाता है। यह संतुष्ट करता है e(''w''/''v'') ≤ [''L'' : ''K''] (विस्तार ''L''/''K' के [[क्षेत्र विस्तार की डिग्री]] ')। ''v'' के ऊपर ''w'' की सापेक्ष डिग्री ''f''(''w''/''v'') = [''R के रूप में परिभाषित की गई है<sub>w</sub>/एम<sub>w</sub>: आर<sub>v</sub>/एम<sub>v</sub>] (अवशेष क्षेत्रों के विस्तार की डिग्री)। यह L/K की डिग्री से कम या उसके बराबर भी है। जब एल/के अलग करने योग्य विस्तार होता है, तो वी ओवर वी के 'प्रसंस्करण सूचकांक' को ई (डब्ल्यू/वी) पी के रूप में परिभाषित किया जाता है<sup>मैं</sup>, जहां p<sup>i</sup> एक्सटेंशन R की [[अविभाज्य डिग्री]] है<sub>w</sub>/एम<sub>w</sub>ओवर आर<sub>v</sub>/एम<sub>v</sub>.
मान लीजिए 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' के [[क्षेत्र विस्तार की डिग्री]] ')। ''


=== पूर्ण मूल्यवान फ़ील्ड ===<!-- Complete valued field redirects here-->
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>'' की [[अविभाज्य डिग्री]] है।
जब आदेश दिया एबेलियन समूह {{math|Γ}} [[पूर्णांकों]] का योगात्मक समूह है, संबंधित मूल्यांकन एक निरपेक्ष मान के बराबर है, और इसलिए क्षेत्र पर एक [[मीट्रिक (गणित)]] को प्रेरित करता है {{mvar|K}}. अगर {{mvar|K}} इस मीट्रिक के संबंध में [[पूर्ण मीट्रिक स्थान]] है, तो इसे पूर्ण मान फ़ील्ड कहा जाता है। यदि ''के'' पूर्ण नहीं है, तो इसके [[समापन (बीजगणित)]] के निर्माण के लिए मूल्यांकन का उपयोग किया जा सकता है, जैसा कि नीचे दिए गए उदाहरणों में है, और अलग-अलग मूल्यांकन अलग-अलग समापन क्षेत्रों को परिभाषित कर सकते हैं।


सामान्य तौर पर, एक मूल्यांकन [[एक समान स्थान]] को प्रेरित करता है {{mvar|K}}, और {{mvar|K}} को एक पूर्ण मूल्यवान क्षेत्र कहा जाता है यदि यह एकसमान स्थान # एकसमान स्थान के रूप में पूर्णता है। एक संबंधित संपत्ति है जिसे गोलाकार रूप से पूर्ण क्षेत्र के रूप में जाना जाता है: यह पूर्णता के बराबर है <math>\Gamma = \Z,</math> लेकिन सामान्य रूप से मजबूत।
=== पूर्ण मूल्यवान क्षेत्र ===<!-- 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> परिमेय संख्याओं पर एक अभाज्य पूर्णांक p से संबद्ध <math>K=\Q,</math> मूल्यांकन की अंगूठी के साथ <math>R=\Z_{(p)}, </math> कहाँ  <math>\Z_{(p)} </math> का स्थानीयकरण है <math>\Z </math> प्रधान आदर्श पर <math>(p) </math>. मूल्यांकन समूह योगात्मक पूर्णांक है <math>\Gamma = \Z.</math> एक पूर्णांक के लिए <math>a \in R= \Z,</math> मूल्यांकन वी<sub>''p''</sub>() पी की शक्तियों द्वारा की विभाज्यता को मापता है:
सबसे मूल उदाहरण है {{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>
और एक अंश के लिए, ν<sub>''p''</sub>(/बी) = एन<sub>''p''</sub>() - एन<sub>''p''</sub>(बी)
और भिन्न के लिए, νp(a/b) = νp(a) - νp(b) है।


इसे गुणात्मक रूप से लिखने से p-adic निरपेक्ष मान प्राप्त होता है{{mvar|p}}-ऐडिक निरपेक्ष मान, जिसका पारंपरिक रूप से आधार होता है <math>1/p = p^{-1}</math>, इसलिए <math>|a|_p := p^{-\nu_p(a)}</math>.
इसे गुणात्मक रूप से अंकित करने पर {{mvar|p}}-ऐडिक निरपेक्ष मान प्राप्त होता है, जिसका पारंपरिक रूप से आधार <math>1/p = p^{-1}</math> होता है, इसलिए <math>|a|_p := p^{-\nu_p(a)}</math>


का समापन (बीजगणित)। <math>\Q</math> ν के संबंध में<sub>''p''</sub> मैदान है <math>\Q_p</math> [[पी-एडिक नंबर]]ों की।
ν<sub>''p''</sub> के संबंध में <math>\Q</math> की पूर्णता [[पी-एडिक नंबर|p-एडिक संख्याओं]] का क्षेत्र <math>\Q_p</math> है।


=== गायब होने का क्रम ===
=== लुप्त होने का क्रम ===
चलो के = एफ (एक्स), एफ़िन लाइन एक्स = एफ पर तर्कसंगत कार्य<sup>1</sup>, और एक बिंदु 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>, वी परिभाषित करें<sub>''a''</sub>(एफ) = के, एक्स = ए पर गायब होने का क्रम; और वी<sub>''a''</sub>(एफ / जी) = वी<sub>''a''</sub>(एफ) - वी<sub>''a''</sub>(जी)तब मूल्यांकन वलय R में परिमेय फलन होते हैं जिनमें x = a पर कोई ध्रुव नहीं होता है, और पूर्णता [[औपचारिक लॉरेंट श्रृंखला]] वलय 'F'((x−a)) है। इसे प्यूसियक्स श्रृंखला K <nowiki> के क्षेत्र में सामान्यीकृत किया जा सकता है{{</nowiki>''t''<nowiki>}}</nowiki> (आंशिक शक्तियाँ), लेवी-सिविता क्षेत्र (इसकी कॉची पूर्णता), और हैन श्रृंखला का क्षेत्र, सभी मामलों में मूल्यांकन के साथ श्रृंखला में दिखाई देने वाले टी के सबसे छोटे घातांक को लौटाता है।
मान लीजिए 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}}. चूंकि प्रत्येक प्रमुख आदर्श डोमेन एक [[अद्वितीय गुणनखंड डोमेन]] है, प्रत्येक गैर-शून्य तत्व का {{mvar|R}} को (अनिवार्य रूप से) विशिष्ट रूप में लिखा जा सकता है
पूर्व उदाहरणों का सामान्यीकरण करते हुए, मान लीजिए {{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|R}} जो सहयोगी (रिंग थ्योरी) नहीं हैं {{mvar|π}}. विशेष रूप से, पूर्णांक <sub>a</sub>एक द्वारा विशिष्ट रूप से निर्धारित किया जाता है।
जहाँ e गैर-ऋणात्मक पूर्णांक हैं और p<sub>i</sub> {{mvar|R}} के अलघुकरणीय तत्व हैं जो {{mvar|π}} के सहयोगी (रिंग थ्योरी) नहीं हैं। पूर्णांक e<sub>a</sub> विशिष्ट रूप से a द्वारा निर्धारित किया जाता है।


K का 'π-adic मूल्यांकन' इसके द्वारा दिया जाता है
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 में समान आदर्श उत्पन्न करते हैं), तो π-adic मूल्यांकन और π'-adic मूल्यांकन बराबर हैं। इस प्रकार, π-adic मूल्यांकन को P-adic मूल्यांकन कहा जा सकता है, जहाँ P = (π)
यदि π' {{mvar|R}} का अलघुकरणीय तत्व है, जैसे कि (π') = (π) (अर्थात, वे R में समान आदर्श उत्पन्न करते हैं), तो π-एडिक मूल्यांकन और π'-एडिक मूल्यांकन समान हैं। इस प्रकार, π-एडिक मूल्यांकन को P-एडिक मूल्यांकन कहा जा सकता है, जहाँ P = (π) है।


==={{anchor|DedekindDomain}} [[डेडेकाइंड डोमेन]] पर पी-एडिक वैल्यूएशन===
==={{anchor|DedekindDomain}} [[डेडेकाइंड डोमेन]] पर पी-एडिक मूल्यांकन===
पिछले उदाहरण को Dedekind डोमेन के लिए सामान्यीकृत किया जा सकता है। होने देना {{mvar|R}} एक Dedekind डोमेन हो, {{mvar|K}} इसके अंशों का क्षेत्र, और P को एक गैर-शून्य प्रधान आदर्श होने दें {{mvar|R}}. फिर, की एक [[अंगूठी का स्थानीयकरण]] {{mvar|R}} पर P, R को निरूपित करता है<sub>P</sub>, एक प्रमुख आदर्श डोमेन है जिसका अंश का क्षेत्र है {{mvar|K}}. पिछले खंड का निर्माण प्रमुख आदर्श पीआर पर लागू होता है<sub>P</sub>आर का<sub>P</sub>उपज देता है '{{mvar|P}}-आदिक मूल्यांकन {{mvar|K}}.
पूर्व उदाहरण को डेडेकाइंड डोमेन के लिए सामान्यीकृत किया जा सकता है। मान लीजिए {{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 पर एक संचय बिंदु है)।
मान लीजिए कि, गुणन के अंतर्गत गैर-ऋणात्मक वास्तविक संख्याओं का समुच्चय {{math|Γ}} ∪ {0} है। तब हम कहते हैं कि मूल्यांकन असतत है यदि इसकी सीमा (मूल्यांकन समूह) अनंत है (और इसलिए 0 पर संचय बिंदु है)।


मान लीजिए कि ''एक्स'' ''के'' के ऊपर एक सदिश स्थान है और ''ए'' और ''बी'' ''एक्स'' के सबसेट हैं। फिर हम कहते हैं कि ''A'' ''B'' को अवशोषित करता है यदि कोई ''α'' ∈ ''K'' मौजूद है जैसे कि ''λ'' ∈ ''K'' और ''|λ| ≥ |α|'' का तात्पर्य है कि ''बी ⊆ λ ''''A'' को रेडियल या अवशोषित कहा जाता है यदि ''A'' ''X'' के प्रत्येक परिमित उपसमुच्चय को अवशोषित करता है। ''X'' के रेडियल उपसमुच्चय परिमित चौराहे के तहत अपरिवर्तनीय हैं। साथ ही, ''K'' और ''|λ|'' में ''λ'' होने पर ''A'' को घेरा हुआ कहा जाता है ≥ |α|'' का अर्थ है ''λ ए''। ''L'' के परिचालित उपसमुच्चय का समुच्चय मनमाना चौराहों के अंतर्गत अपरिवर्तनीय है। ''A'' का घेरा हुआ हल ''A'' युक्त ''X'' के सभी चक्करदार उपसमुच्चय का प्रतिच्छेदन है।
मान लीजिए कि 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'' एक रेखीय मानचित्र हो। यदि 'बी' गोलाकार या रेडियल है तो ऐसा है <math>f^{-1}(B)</math>. यदि A को घेरा गया है तो f(A) भी है लेकिन यदि A रेडियल है तो f(A) अतिरिक्त स्थिति के तहत रेडियल होगा जो कि f आच्छादक है।
मान लीजिए कि ''X'' और ''Y'' गैर-असतत मूल्यांकन क्षेत्र ''K'' पर सदिश समष्टि हैं, मान लीजिए ''A ⊆ X'', ''B ⊆ Y'', और ''f : X → Y'' रैखिक मानचित्र हैं। यदि 'B' वृत्ताकार या रेडियल है तो <math>f^{-1}(B)</math> है। यदि A वृत्ताकार है तब f(A) है किन्तु यदि A रेडियल है तो f(A) अतिरिक्त स्थिति के अंतर्गत रेडियल होगा जो कि f सरजेक्टिव है।


== यह भी देखें ==
== यह भी देखें ==
Line 144: Line 146:
*{{PlanetMath|urlname=Valuation|title=Valuation}}
*{{PlanetMath|urlname=Valuation|title=Valuation}}
*{{MathWorld |title=Valuation |urlname=Valuation}}
*{{MathWorld |title=Valuation |urlname=Valuation}}
[[Category: बीजगणितीय ज्यामिति]] [[Category: क्षेत्र (गणित)]]


[[Category: Machine Translated Page]]
[[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

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

परिभाषा

यह निम्नलिखित वस्तुओं से प्रारम्भ होता है:

Γ पर क्रम और समूह नियम सेट Γ ∪ {∞}[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 पर प्रत्येक मूल्यांकन संबंधित रैखिक पूर्व क्रम ab|a|v|b|v को परिभाषित करता है। इसके विपरीत, आवश्यक गुणों को संतुष्ट करता है, हम K और के आधार पर गुणा और क्रम के साथ मूल्यांकन |a|v = {b: baab} को परिभाषित कर सकते हैं।

शब्दावली

इस लेख में, हम योगात्मक संकेतन में परिभाषित शब्दों का उपयोग करते हैं। चूँकि, कुछ लेखक वैकल्पिक शब्दों का उपयोग करते हैं:

  • हमारे मूल्यांकन (अल्ट्रामेट्रिक असमानता को संतुष्ट करना) को एक्सपोनेंशियल मूल्यांकन या नॉन-आर्किमिडीयन एब्सोल्यूट वैल्यू या अल्ट्रामेट्रिक एब्सोल्यूट वैल्यू कहा जाता है;
  • हमारा निरपेक्ष मूल्य (त्रिभुज असमानता को संतुष्ट करना) मूल्यांकन या आर्किमिडीयन निरपेक्ष मान कहलाता है।

संबद्ध वस्तुएं

किसी दिए गए मूल्यांकन 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 सरजेक्टिव है।

यह भी देखें

टिप्पणियाँ

  1. The symbol ∞ denotes an element not in Γ, with no other meaning. Its properties are simply defined by the given axioms.
  2. 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.
  3. Again, swapped since using minimum convention.
  4. 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.
  5. In the tropical semiring, minimum and addition of real numbers are considered tropical addition and tropical multiplication; these are the semiring operations.


संदर्भ

  • 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.


बाहरी संबंध