View source for P-ऐडिक संख्या

{{short description|Number system for a prime p which extends the rationals, defining closeness differently}}
{{DISPLAYTITLE:''p''-adic number}}
गणित में, किसी भी [[अभाज्य संख्या]] {{mvar|p}} के लिए {{mvar|p}}-ऐडिक संख्या प्रणाली, परिमेय [[संख्या प्रणाली]] के [[वास्तविक संख्या|वास्तविक]] और [[जटिल संख्या]] प्रणाली के विस्तार से भिन्न तरीके से परिमेय संख्याओं के सामान्य [[अंकगणित]] का विस्तार करती है। विस्तार "निकटता" या पूर्ण मूल्य के सिद्धांत के वैकल्पिक व्याख्या द्वारा प्राप्त किया जाता है। विशेष रूप से, दो {{mvar|p}}-एडिक संख्याओं को पास माना जाता है जब उनका अंतर {{mvar|p}} की उच्च [[घातांक]] से वि[[भाज्य]] होता है: घात जितनी अधिक होती है, वे उतने ही निकट होते हैं। यह गुण {{mvar|p}}-ऐडिक संख्याओं को [[मॉड्यूलर अंकगणित|सर्वांगसमता]] की जानकारी को इस तरह से सांकेतिक करने में सक्षम बनाता है जो [[संख्या सिद्धांत]] में शक्तिशाली अनुप्रयोगों के रूप में सामने आता है - उदाहरण के लिए, [[एंड्रयू विल्स]] द्वारा फर्मेट के अंतिम प्रमेय के प्रमाण समिलित है।<ref>{{Harv|Gouvêa|1994|pp=203–222}}</ref>

इन संख्याओं को पहली बार 1897 में [[कर्ट हेन्सेल]] द्वारा वर्णित किया गया था,<ref>{{Harv|Hensel|1897}}</ref> तथापि, पूर्व दृष्टि से, अर्न्स्ट कुमेर के पहले के कुछ कार्यों को {{mvar|p}}-एडिक संख्याओं का उपयोग करते हुए स्पष्ट रूप से व्याख्या की जा सकती है।<ref group="note">Translator's introduction, [https://books.google.com/books?id=Qxte2mhlEOYC&pg=PA35 page 35]: "Indeed, with hindsight it becomes apparent that a [[discrete valuation]] is behind Kummer's concept of ideal numbers."{{Harv|Dedekind|Weber|2012|p=35}}</ref>  {{mvar|p}}-ऐडिक संख्याएँ मुख्य रूप से संख्या सिद्धांत में घात श्रेणी विधियों के विचारों और तकनीकों को लाने के प्रयास से अभिप्रेरित थीं। उनका प्रभाव अब इससे कहीं आगे बढ़ गया है। उदाहरण के लिए, {{mvar|p}}-ऐडिक विश्लेषण का क्षेत्र विश्लेषण अनिवार्य रूप से कलन (कैलकुलस) का वैकल्पिक रूप प्रदान करता है।

{{Ring theory sidebar}}
अधिक औपचारिक रूप से, किसी दिए गए अभाज्य {{mvar|p}} के लिए, {{mvar|p}}-ऐडिक संख्याओं का [[क्षेत्र (गणित)]] {{math|'''Q'''<sub>''p''</sub>}} परिमेय संख्याओं का पूरा होना है। क्षेत्र {{math|'''Q'''<sub>''p''</sub>}} को [[ मीट्रिक स्थान |मापीय]] से प्राप्त एक [[टोपोलॉजिकल स्पेस|सांस्थिति]] भी दी गई है, जो स्वयं {{math|''p''}}-ऐडिक क्रम से ली गई है, जो परिमेय संख्याओं पर एक वैकल्पिक [[मूल्यांकन (बीजगणित)]] है। यह मापीय क्षेत्र इस अर्थ में पूर्ण है कि प्रत्येक [[कॉची अनुक्रम]] {{math|'''Q'''<sub>''p''</sub>}} में एक बिंदु पर [[अभिसरण अनुक्रम|अभिसरण]] करते है। यह वह है जो {{math|'''Q'''<sub>''p''</sub>}} पर कलन के विकास की अनुमति देता है, और यह विश्लेषणात्मक और [[बीजगणितीय ज्यामिति]] संरचना की परस्पर क्रिया है जो {{mvar|p}}-ऐडिक संख्या प्रणालियाँ को उनकी शक्ति और उपयोगिता देता है। 

{{mvar|p}}-एडिक में {{mvar|p}} एक परिवर्तनशील (गणित) है और इसे अभाज्य (समर्पण, उदाहरण के लिए, 2-एडिक संख्या) या अभाज्य संख्या का प्रतिनिधित्व करने वाली दूसरी [[अभिव्यक्ति (गणित)|अभिव्यक्ति]] के साथ प्रतिस्थापित किया जा सकता है।  "{{mvar|p}}-ऐडिक" का "एडिक" [[डाइएडिक अंश|डाइएडिक]] या [[ त्रिक संबंध |ट्रायडिक]] जैसे शब्दों के अंत में पाए जाने वाले शब्द से आता है।

== परिमेय संख्याओं का p-ऐडिक विस्तार ==

एक धनात्मक परिमेय संख्या <math>r</math> का दशमलव प्रसार [[श्रृंखला (गणित)]] 

<math>r = \sum_{i=k}^\infty a_i 10^{-i},</math>  

के रूप में इसका निरूपण है जहाँ <math>k</math> एक पूर्णांक है और प्रत्येक <math>a_i</math> भी एक [[पूर्णांक]] है जैसे कि <math>0\le a_i <10</math>। इस विस्तार की गणना भाजक द्वारा अंश के दीर्घ विभाजन द्वारा की जा सकती है, जो स्वयं निम्नलिखित प्रमेय पर आधारित है: यदि  <math>r=\tfrac n d</math> एक परिमेय संख्या है जैसे कि <math>10^k\le r <10^{k+1},</math> <math>a</math> एक पूर्णांक है ऐसा कि <math>0< a <10,</math> और <math>r = a\,10^k +r',</math> साथ <math>r'<10^k</math>। इसे परिणाम को शेषफल <math>'r'</math> पर बार-बार लागू करने से दशमलव प्रसार प्राप्त होता है जो पुनरावृति में मूल परिमेय संख्या <math>r</math> की भूमिका कल्पित करता है। 

परिमेय संख्या का {{mvar|p}}-ऐडिक विस्तार समान रूप से परिभाषित किया गया है, लेकिन भिन्न विभाजन चरण के साथ। अधिक सटीक रूप से, एक निश्चित अभाज्य संख्या <math>p</math> दी गई है, प्रत्येक अशून्य परिमेय संख्या <math>r</math> को विशिष्ट रूप से <math>r=p^k\tfrac n d,</math> के रूप में लिखा जा सकता है जहाँ <math>k</math> एक (संभवतः ऋणात्मक) पूर्णांक है, <math>n</math> और <math>d</math> सह अभाज्य पूर्णांक हैं, दोनों <math>p</math> के साथ सहअभाज्य हैं, और <math>d</math> धनात्मक है। पूर्णांक <math>k</math>, <math>r</math> का {{mvar|p}}-ऐडिक मूल्यांकन है, जिसे <math>v_p(r)</math> निरूपित किया गया है, और  <math>p^{-k}</math> इसका {{mvar|p}}-ऐडिक पूर्ण मान है, जिसे  <math>|r|_p</math> निरूपित किया गया है (मूल्यांकन बड़ा होने पर पूर्ण मूल्य छोटा होता है)। विभाजन चरण में 
:<math>r = a\,p^k + r'</math>
लिखना समिलित है जहाँ <math>a</math> एक पूर्णांक है जैसे कि <math>0\le a <p,</math> और <math>r'</math> या तो शून्य है, या एक परिमेय संख्या है जैसे कि <math>|r'|_p < p^{-k}</math> (अर्थात, <math>v_p(r')>k</math>)।

<math>r</math> का <math>p</math>-ऐडिक विस्तार क्रमिक शेषफलों पर उपरोक्त विभाजन चरण को अनिश्चित काल तक दोहराकर प्राप्त की गई [[औपचारिक शक्ति श्रृंखला|औपचारिक]] [[घातांक]] श्रृंखला

<math>r = \sum_{i=k}^\infty a_i p^i</math> है।

एक {{mvar|p}}-ऐडिक प्रसार में, सभी <math>a_i</math> ऐसे पूर्णांक हैं कि <math>0\le a_i <p</math> ।

यदि <math>n > 0</math> के साथ <math>r=p^k \tfrac n 1</math>, प्रक्रिया अंततः शून्य शेष के साथ रुक जाती है; इस स्थिति में, श्रृंखला एक शून्य गुणांक के साथ अनुगामी शब्दों द्वारा पूरी की जाती है, और आधार में-{{mvar|p}} में <math>r</math> का प्रतिनिधित्व है।

परिमेय संख्या के {{mvar|p}}-ऐडिक विस्तार का अस्तित्व और संगणना निम्नलिखित तरीके से बेज़ाउट की पहचान से उत्पन्न होती है। यदि, ऊपर की तरह, <math>r=p^k \tfrac n d,</math> और <math>d</math> और <math>p</math> सहअभाज्य हैं, तो ऐसे पूर्णांक <math>t</math> और <math>u</math> उपस्थित  हैं कि <math>t d+u p=1</math>। इसलिए
:<math>r=p^k \tfrac n d(t d+u p)=p^k n t + p^{k+1}\frac{u n}d.</math>
फिर, <math>p</math> द्वारा <math>n t</math> का [[यूक्लिडियन विभाजन]] <math>0\le a <p</math> के साथ <math>n t=q p+a</math> देता है। यह विभाजन चरण को <math>\begin{array}{lcl}
r & = & p^k(q p+a) + p^{k+1}\frac {u n}d \\
& = & a p^k +p^{k+1}\,\frac{q d+u n} d, \\
\end{array}</math>

के रूप में देता है ताकि पुनरावृत्ति में <math>r' = p^{k+1}\,\frac{q d+u n} d</math>

नई परिमेय संख्या हो। 

विभाजन चरण और संपूर्ण की विशिष्टता {{mvar|p}}-ऐडिक विस्तार आसान है: अगर <math>p^k a_1 + p^{k+1}s_1=p^k a_2 + p^{k+1}s_2,</math> किसी के पास <math>a_1-a_2=p(s_2-s_1)</math> है। इसका मतलब यह है <math>p</math>,  <math>a_1-a_2</math> को विभाजित करता है। चूंकि <math>0\le a_1 <p</math> और <math>0\le a_2 <p,</math> निम्नलिखित सत्य होना चाहिए: <math>0\le a_1</math> और <math>a_2<p</math>। इस प्रकार, <math>-p < a_1-a_2 < p</math> प्राप्त होता है और चूँकि  <math>p</math>,  <math>a_1-a_2</math> को विभाजित करता है, इसलिए यह <math>a_1=a_2</math> होना चाहिए।

परिमेय संख्या का {{mvar|p}}-ऐडिक विस्तार एक श्रृंखला है जो परिमेय संख्या में परिवर्तित होती है, यदि कोई {{mvar|p}}-ऐडिक पूर्ण मान के साथ [[अभिसरण श्रृंखला]] की परिभाषा को लागू करता है। मानक {{mvar|p}}-ऐडिक संकेतन में, अंकों को उसी क्रम में लिखा जाता है जैसे मानक आधार-{{mvar|p}} प्रणाली में, अर्थात् आधार की घात को बाईं ओर बढ़ाना। इसका मतलब यह है कि अंकों का उत्पादन उल्टा हो जाता है और सीमा बाईं ओर होती है।

परिमेय संख्या का {{mvar|p}}-ऐडिक विस्तार अंततः आवधिक होता है। इसके विपरीत, <math>0\le a_i <p</math> के साथ श्रृंखला <math display="inline">\sum_{i=k}^\infty a_i p^i,</math> एक परिमेय संख्या में ({{mvar|p}}-ऐडिक पूर्ण मान के लिए) अभिसरण करती है यदि और केवल यदि यह अंततः आवधिक है; इस स्थिति में, श्रृंखला उस परिमेय संख्या का {{mvar|p}}-ऐडिक विस्तार है। प्रमाण दोहराए जाने वाले दशमलव के परिणाम के समान है।

=== उदाहरण ===
आइए हम <math>\frac 13</math> के 5-एडिक विस्तार की गणना करें।  विस्तार की गणना करें 5 के लिए बेज़ाउट की पहचान और भाजक 3  <math>2\cdot 3 + (-1)\cdot 5 =1</math> है (बड़े उदाहरणों के लिए, इसकी गणना विस्तारित [[विस्तारित यूक्लिडियन एल्गोरिथ्म]] साथ की जा सकती है)। इस प्रकार
:<math>\frac 13= 2-\frac 53.</math>
अगले चरण के लिए, किसी को "विभाजित" करना होगा <math>-1/3</math> (भिन्न के अंश में गुणनखंड 5 को  {{mvar|p}}-ऐडिक मूल्यांकन के "शिफ्ट" के रूप में देखा जाना चाहिए, और इस प्रकार यह "विभाजन" में समिलित नहीं है)। बेज़ाउट की पहचान को <math>-1</math> से गुणा करने पर 
:<math>-\frac 13=-2+\frac 53</math> प्राप्त होता है। 
"पूर्णांक भाग" <math>-2</math> सही अंतराल में नहीं है। इसलिए, <math>-2= 3-1\cdot 5</math> प्राप्त करने के लिए <math>5</math> से यूक्लिडियन डिवीजन का उपयोग करना होगा जो  
:<math>-\frac 13=3-5+\frac 53 = 3-\frac {10}3,</math>
और
:<math>\frac 13= 2+3\cdot 5 + \frac {-2}3\cdot 5^2</math> देगा।
इसी तरह, एक के पास
:<math>-\frac 23=1-\frac 53,</math>
और
:<math>\frac 13=2+3\cdot 5 + 1\cdot 5^2 +\frac {-1}3\cdot 5^3</math> है।
"शेष" के रूप में <math>-\tfrac 13</math> पहले ही मिल चुका है, गुणांक देते हुए प्रक्रिया को आसानी से जारी रखा जा सकता है, पाँच की विषम घात के लिए गुणांक <math>3</math> और [[समता (गणित)|सम]] घात के लिए <math>1</math> दिया जा सकता है। या मानक 5-एडिक संकेतन <math>\frac 13= \ldots 1313132_5 </math>

में [[अंडाकार|दीर्घवृत्त]] के साथ <math> \ldots </math> बाएं हाथ की ओर।

==p-ऐडिक सीरीज==
इस लेख में, एक अभाज्य संख्या {{mvar|p}} दी गई है,  {{mvar|p}}-ऐडिक श्रृंखला 

<math>\sum_{i=k}^\infty a_i p^i,</math> 

रूप की एक [[औपचारिक श्रृंखला]] है जहां हर अशून्य <math>a_i</math> एक परिमेय संख्या <math>a_i=\tfrac {n_i}{d_i},</math> है जैसे कि <math>n_i</math> और <math>d_i</math> में से कोई भी {{mvar|p}} से विभाज्य नहीं है। 

प्रत्येक परिमेय संख्या को एक शब्द के साथ {{mvar|p}}-ऐडिक श्रृंखला के रूप में देखा जा सकता है, जिसमें <math>p^k\tfrac nd,</math> के साथ {{mvar|n}} और {{mvar|d}} दोनों सहअभाज्य रूप {{mvar|p}} के गुणनखंड हैं।

{{mvar|p}}-ऐडिक श्रृंखला सामान्यीकृत होती है, यदि प्रत्येक <math>a_i</math> अंतराल <math>[0,p-1]</math> में एक पूर्णांक हो। तो, एक परिमेय संख्या का {{mvar|p}}-ऐडिक विस्तार एक सामान्यीकृत {{mvar|p}}-ऐडिक श्रृंखला है।

{{mvar|p}}-ऐडिक मूल्यांकन, या {{mvar|p}}-ऐडिक क्रम एक अशून्य {{mvar|p}}-ऐडिक श्रंखला का निम्नतम पूर्णांक {{mvar|i}} है जैसे कि <math>a_i\ne 0</math>। शून्य श्रृंखला का क्रम अनंत <math>\infty</math> है।

दो {{mvar|p}}-ऐडिक श्रंखलाएँ तुल्य होती हैं यदि उनका क्रम {{mvar|k}} समान हो, और यदि प्रत्येक पूर्णांक {{math|''n'' ≥ ''k''}} के लिए उनकी आंशिक योगों के बीच का अंतर
:<math>\sum_{i=k}^n a_ip^i-\sum_{i=k}^n b_ip^i=\sum_{i=k}^n (a_i-b_i)p^i</math>
का क्रम {{mvar|n}} से अधिक हो (अर्थात, <math>k>n,</math> के साथ <math>p^k\tfrac ab,</math> के रूप की एक परिमेय संख्या है) और {{mvar|a}} और {{mvar|b}} दोनों {{mvar|p}} के साथ सहअभाज्य हैं)।

प्रत्येक {{mvar|p}}-ऐडिक श्रृंखला <math>S</math> के लिए, एक अद्वितीय सामान्यीकृत श्रृंखला <math>N</math> है जैसे कि <math>S</math> और <math>N</math> समकक्ष हैं। <math>N</math>, <math>S</math> का सामान्यीकरण है। प्रमाण परिमेय संख्या के {{mvar|p}}-ऐडिक विस्तार के अस्तित्व प्रमाण के समान है। विशेष रूप से, प्रत्येक परिमेय संख्या को गैर-शून्य शब्द के साथ {{mvar|p}}-ऐडिक श्रृंखला के रूप में माना जा सकता है, और इस श्रृंखला का सामान्यीकरण वास्तव में परिमेय संख्या का तर्कसंगत प्रतिनिधित्व है।

दूसरे शब्दों में, {{mvar|p}}-ऐडिक श्रृंखला की तुल्यता एक [[तुल्यता संबंध]] है, और प्रत्येक [[तुल्यता वर्ग]] में ठीक एक सामान्यीकृत {{mvar|p}}-ऐडिक श्रृंखला होती है।

श्रृंखला के सामान्य संचालन (जोड़, घटाव, गुणा, भाग) {{mvar|p}}-ऐडिक श्रृंखला को {{mvar|p}}-ऐडिक श्रृंखला में मानचित्रण करते हैं, और {{mvar|p}}-ऐडिक श्रृंखला की समानता के साथ संगत होते हैं। अर्थात्, {{math|~}} के साथ तुल्यता को दर्शाते हुए, यदि {{mvar|S}}, {{mvar|T}} और {{mvar|U}}  शून्येतर {{mvar|p}}-ऐडिक श्रृंखला हैं जैसे कि <math>S\sim T,</math> एक में

<math>\begin{align}
S\pm U&\sim T\pm U,\\
SU&\sim TU,\\
1/S&\sim 1/T.
\end{align}</math> है।
:
इसके अतिरिक्त, {{mvar|S}} और {{mvar|T}} का एक ही क्रम है, और वही पहला पद है।

=== [[स्थितीय संकेतन]] ===
[[ मूलांक |मूलांक {{mvar|p}}]] में संख्याओं का प्रतिनिधित्व करने के लिए उपयोग किए जाने वाले समान स्थितीय संकेतन का उपयोग करना संभव है।

मान लीजिए  <math display = inline>\sum_{i=k}^\infty a_i p^i</math> एक सामान्यीकृत  {{mvar|p}}-एडिक श्रृंखला है, यानी प्रत्येक <math>a_i</math> अंतराल <math>[0,p-1]</math> में एक पूर्णांक है, ऐसा मान सकता है <math>k\le 0</math> अगर  <math>0\le i <k</math> के लिए <math>a_i=0</math> निर्धारित करके (यदि k> 0), और परिणामी शून्य शब्दों को श्रृंखला में जोड़ कर। 

यदि <math>k\ge 0,</math> स्थितीय संकेतन में <math>a_i</math> को लगातार लिखना समिलित है, {{mvar|i}} के घटते मूल्यों द्वारा क्रमबद्ध, बार बार {{mvar|p}} के साथ सूचकांक :

<math>\ldots a_n \ldots a_1{a_0}_p</math> के रूप में दाईं ओर दिखाई देता है।

तो, उपरोक्त उदाहरण की गणना से पता चलता है कि
:<math>\frac 13= \ldots 1313132_5,</math>
और
:<math>\frac {25}3= \ldots 131313200_5</math> ।
जब <math>k<0,</math> एक पृथक्कारी बिंदु ऋणात्मक सूचकांक वाले अंकों से पहले जोड़ा जाता है, और, यदि सूचकांक {{mvar|p}} उपस्थित है, तो यह अलग करने वाले बिंदु के ठीक बाद दिखाई देता है। उदाहरण के लिए,
:<math>\frac 1{15}= \ldots 3131313._52,</math>
और
:<math>\frac 1{75}= \ldots 1313131._532.</math>
यदि एक {{mvar|p}}-ऐडिक प्रतिनिधित्व बाईं ओर परिमित है (अर्थात, {{mvar|i}} के बड़े मानों के लिए  <math>a_i=0</math>), तो इसमें <math>n,v</math> पूर्णांकों के साथ <math>n p^v,</math> के रूप की गैर-ऋणात्मक परिमेय संख्या का मान होता है। ये परिमेय संख्याएँ वास्तव में गैर-नकारात्मक परिमेय संख्याएँ हैं जिनका मूलांक {{mvar|p}} में परिमित प्रतिनिधित्व है। इन परिमेय संख्याओं के लिए, दो निरूपण समान हैं।

== परिभाषा ==
{{mvar|p}}-एडिक संख्याओं की कई समतुल्य परिभाषाएँ हैं। जो यहाँ दिया गया है वह अपेक्षाकृत प्रारंभिक है, क्योंकि इसमें पिछले अनुभागों में निवेदित की गई सिद्धांतओं के अतिरिक्त कोई अन्य गणितीय सिद्धांतएँ समिलित नहीं हैं। अन्य समतुल्य परिभाषाएँ असतत मूल्यांकन वलय ({{slink||''p''-ऐडिक पूर्णांक}}, देखें), एक मापीय क्षेत्र की समाप्ति ({{slink||टोपोलॉजिकल गुण}}, देखें), या व्युत्क्रम सीमाएँ ({{slink||प्रमापीय गुण}}, देखें) के पूरा होने का उपयोग करती हैं।

{{mvar|p}}-ऐडिक संख्या को सामान्यीकृत {{mvar|p}}-ऐडिक श्रृंखला के रूप में परिभाषित किया जा सकता है। चूँकि अन्य समान परिभाषाएँ हैं जो आमतौर पर उपयोग की जाती हैं, एक अक्सर कहता है कि एक सामान्यीकृत {{mvar|p}}-ऐडिक श्रृंखला एक {{mvar|p}}-ऐडिक संख्या का प्रतिनिधित्व करती है, यह कहने के बजाय कि यह एक {{mvar|p}}-ऐडिक संख्या है।

कोई यह भी कह सकता है कि कोई {{mvar|p}}-ऐडिक श्रृंखला एक {{mvar|p}}-ऐडिक संख्या का प्रतिनिधित्व करती है, क्योंकि प्रत्येक {{mvar|p}}-ऐडिक श्रृंखला एक अद्वितीय सामान्यीकृत {{mvar|p}}-ऐडिक श्रृंखला के बराबर है। यह {{mvar|p}}-एडिक संख्याओं के संचालन (जोड़, घटाव, गुणा, भाग) को परिभाषित करने के लिए उपयोगी है: इस तरह के संचालन का परिणाम श्रृंखला पर संबंधित संचालन के परिणाम को सामान्य करके प्राप्त किया जाता है। यह {{mvar|p}}-ऐडिक श्रृंखला पर संचालन को अच्छी तरह से परिभाषित करता है, चूँकि श्रृंखला संचालन {{mvar|p}}-ऐडिक श्रृंखला तुल्यता के अनुकूल हैं।

इन संचालनों के साथ, {{mvar|p}}-ऐडिक संख्याएँ एक क्षेत्र (गणित) बनाती हैं जिसे {{math|''p''}}-एडिक संख्याओं का क्षेत्र कहा जाता है और  <math>\Q_p</math> या <math>\mathbf Q_p</math> को निरूपित किया जाता है। परिमेय संख्याओं से {{mvar|p}}-ऐडिक संख्याओं में एक अद्वितीय क्षेत्र समाकारिता है, जो एक परिमेय संख्या को इसके {{mvar|p}}-ऐडिक विस्तार के लिए मानचित्रण करता है। इस समरूपता की [[छवि (गणित)]] को आमतौर पर परिमेय संख्याओं के क्षेत्र से पहचाना जाता है। यह {{math|''p''}}-ऐडिक संख्याएँ को परिमेय संख्याओं के [[विस्तार क्षेत्र]] के रूप में, और परिमेय संख्याएँ परिमेय संख्याओं को {{math|''p''}}-ऐडिक संख्याओं के [[उपक्षेत्र (गणित)]] के रूप में विचार करने की अनुमति देता है।

अशून्य {{mvar|p}}-ऐडिक संख्या {{mvar|x}} का मूल्यांकन, जिसे आमतौर पर <math>v_p(x)</math> के रूप में दर्शाया जाता है, {{mvar|x}} का प्रतिनिधित्व करने वाली प्रत्येक {{mvar|p}}-ऐडिक श्रृंखला के पहले अशून्य पद में {{mvar|p}} का घातांक है। परिपाटी के अनुसार, <math>v_p(0)=\infty;</math> अर्थात् शून्य का मान <math>\infty</math> होता है। यह मूल्यांकन [[असतत मूल्यांकन]] है। परिमेय संख्याओं के लिए इस मूल्यांकन का प्रतिबंध <math>\Q</math> का {{mvar|p}}-ऐडिक मूल्यांकन, अर्थात, {{mvar|p}} के साथ {{mvar|n}} और {{mvar|d}} सहअभाज्य दोनों के साथ <math display="inline≝">\dfrac and p^v,</math> के रूप में एक परिमेय संख्या के गुणनखंड में घातांक {{mvar|v}}। 

== पी-एडिक पूर्णांक ==
{{mvar|p}}-ऐडिक पूर्णांक {{mvar|p}}-ऐडिक संख्याएँ होती हैं जिनका मूल्यांकन अऋणात्मक होता है।

एक {{mvar|p}}-ऐडिक पूर्णांक को प्रत्येक पूर्णांक {{mvar|e}} के लिए अवशेषों {{mvar|x<sub>e</sub>}} mod {{mvar|p<sup>e</sup>}} के अनुक्रम

: <math> x = (x_1 \operatorname{mod} p, ~ x_2 \operatorname{mod} p^2, ~ x_3 \operatorname{mod} p^3, ~ \ldots)</math>
के रूप में दर्शाया जा सकता है, {{mvar| i < j}} के लिए अनुकूलता संबंधों <math>x_i \equiv x_j ~ (\operatorname{mod} p^i)</math> को संतुष्ट करता है। 

प्रत्येक पूर्णांक एक {{mvar|p}}-ऐडिक पूर्णांक होता है (शून्य सहित, चूंकि <math>0<\infty</math>)। {{mvar|p}} और <math>k\ge 0</math> के साथ सह अभाज्य {{mvar|d}} के साथ <math display="inline"> \tfrac nd p^k</math> के रूप की परिमेय संख्याएँ भी {{mvar|p}}-ऐडिक पूर्णांक हैं (इस कारण से कि {{mvar|d}} में प्रत्येक {{mvar|e}} के लिए व्युत्क्रम mod {{mvar|p<sup>e</sup>}} है)।

वह {{mvar|p}}-ऐडिक पूर्णांक एक क्रमविनिमेय वलय बनाते हैं, जिसे <math>\Z_p</math> या <math>\mathbf Z_p</math> से निरूपित किया जाता है , जिसके निम्नलिखित गुण हैं।
* यह एक [[अभिन्न डोमेन]] है, क्योंकि यह एक क्षेत्र का [[सबरिंग|उप वलय]] है, या दो गैर शून्य {{mvar|p}}-एडिक श्रृंखला के उत्पाद की श्रृंखला के उत्पाद की श्रृंखला प्रतिनिधित्व का पहला पद उनके प्रथम पदों का गुणनफल है।
* <math>\Z_p</math> की इकाई (वलय थ्योरी) मूल्यांकन शून्य की {{mvar|p}}-ऐडिक संख्याएं हैं।
* यह एक [[प्रमुख आदर्श डोमेन]] है, जैसे कि प्रत्येक आदर्श {{mvar|p}} (वलय थ्योरी) की घात द्वारा उत्पन्न होता है।
* यह [[क्रुल आयाम]] वन का एक क्षेत्रीय वलय है, क्योंकि इसके एकमात्र प्रमुख आदर्श [[शून्य आदर्श]] हैं और {{mvar|p}} द्वारा उत्पन्न आदर्श, अद्वितीय [[अधिकतम आदर्श]]।
* यह एक असतत मूल्यांकन वलय है, क्योंकि यह पिछले गुणों से उत्पन्न होता है।
* यह क्षेत्रीय वलय <math>\Z_{(p)} = \{\tfrac nd \mid n, d \in \Z,\, d \not\in p\Z \},</math> के वलय का समापन होना है, <math>\Z</math> प्रधान आदर्श पर जो <math>p\Z</math> का [[स्थानीयकरण (कम्यूटेटिव बीजगणित)|क्षेत्रीयकरण (कम्यूटेटिव बीजगणित)]] है।
अंतिम गुण {{mvar|p}}-ऐडिक संख्याएँ की परिभाषा प्रदान करती है जो उपरोक्त के समतुल्य हैं:  {{mvar|p}}-ऐडिक संख्या का क्षेत्र {{mvar|p}} द्वारा उत्पन्न प्रमुख आदर्श पर पूर्णांकों के क्षेत्रीयकरण के पूरा होने के अंशों का क्षेत्र है।

== सामयिक गुण ==
{{mvar|p}}-ऐडिक मूल्यांकन {{mvar|p}}-एडिक संख्या पर पूर्ण मान (बीजगणित) को परिभाषित करने की अनुमति देता है:  {{mvar|p}}-ऐडिक पूर्ण मूल्य एक अशून्य  {{mvar|p}}-एडिक संख्या v का

<math>|x|_p = p^{-v_p(x)},</math> है

जहां <math>v_p(x)</math> {{mvar|x}} का {{mvar|p}}-ऐडिक मूल्यांकन है। <math>0</math> का पूर्ण  {{mvar|p}}-ऐडिक मान  <math>|0|_p = 0</math> है। यह एक पूर्ण मूल्य है जो प्रत्येक के लिए मजबूत त्रिभुज असमानता को संतुष्ट करता है चूँकि प्रत्येक {{mvar|x}} और {{mvar|y}} के लिए 
* <math>|x|_p = 0</math> अगर और केवल अगर <math>x=0;</math>
* <math>|x|_p\cdot |y|_p = |xy|_p</math> *<math>|x+y|_p\le \max(|x|_p,|y|_p) \le |x|_p + |y|_p</math> है।
इसके अतिरिक्त, अगर <math>|x|_p \ne |y|_p,</math> किसी के पास <math>|x+y|_p = \max(|x|_p,|y|_p).</math>

यह {{mvar|p}}-ऐडिक संख्या को एक मापीय क्षेत्र बनाता है, और यहां तक कि एक [[अल्ट्रामेट्रिक स्पेस]], <math>d_p(x,y)=|x-y|_p</math> द्वारा परिभाषित {{mvar|p}}-ऐडिक दूरी के साथ।

एक मापीय क्षेत्र के रूप में, {{mvar|p}}-ऐडिक संख्याएँ p-ऐडिक पूर्ण मान से सुसज्जित परिमेय संख्याओं के समापन का निर्माण करती हैं। यह {{mvar|p}}-एडिक संख्याओं को परिभाषित करने का एक और तरीका प्रदान करता है। तथापि, इस स्थिति  में पूर्णता के सामान्य निर्माण को सरल बनाया जा सकता है, क्योंकि मापीय को असतत मूल्यांकन द्वारा परिभाषित किया गया है (संक्षेप में, कोई भी प्रत्येक कॉची अनुक्रम से एक अनुक्रम निकाल सकता है जैसे कि लगातार दो शब्दों के बीच के अंतरों में सख्ती से पूर्ण मूल्य घट रहे हैं ; इस तरह की अनुवर्तीता p-ऐडिक श्रृंखला के [[आंशिक योग|आंशिक]] योगों का क्रम है, और इस प्रकार अद्वितीय सामान्यीकृत p-ऐडिक श्रृंखला कॉची अनुक्रमों के प्रत्येक तुल्यता वर्ग से जुड़ी हो सकती है; इसलिए, पूर्णता के निर्माण के लिए, यह सामान्यीकृत विचार करने के लिए पर्याप्त है कॉची अनुक्रमों के तुल्यता वर्गों के बजाय {{mvar|p}}-एडिक श्रृंखला)।

जैसा कि मापीय को असतत मूल्यांकन से परिभाषित किया गया है, प्रत्येक [[खुली गेंद]] भी [[बंद गेंद]] है। अधिक सटीक, खुली गेंद <math>B_r(x) =\{y\mid d_p(x,y)<r\}</math> बंद गेंद <math>B_{p^{-v}}[x] =\{y\mid d_p(x,y)\le p^{-v}\},</math>के बराबर है, जहां {{mvar|v}} ऐसा सबसे छोटा पूर्णांक है जैसे कि  <math>p^{-v}< r</math>। इसी प्रकार, <math>B_r[x] = B_{p^{-w}}(x),</math> जहां {{mvar|w}} सबसे बड़ा पूर्णांक है जैसे कि <math>p^{-w}>r.</math>

इसका तात्पर्य यह है कि {{mvar|p}}-ऐडिक संख्या एक क्षेत्रीय रूप [[स्थानीय रूप से कॉम्पैक्ट स्थान|क्षेत्रीय रूप से]] [[ कॉम्पैक्ट जगह |सघन]] क्षेत्र बनाते हैं, और {{mvar|p}}-ऐडिक पूर्णांक—अर्थात् बॉल <math>B_1[0]=B_p(0)</math>- एक [[ कॉम्पैक्ट जगह |सघन जगह]] बनाते हैं।

== मॉड्यूलर गुण ==
[[भागफल की अंगूठी]] <math>\Z_p/p^n\Z_p</math> अंगूठी से पहचाना जा सकता है (गणित) <math>\Z/p^n\Z</math> पूर्णांकों का मॉड्यूलर अंकगणित <math>p^n.</math> यह टिप्पणी करके दिखाया जा सकता है कि हर {{mvar|p}}-ऐडिक पूर्णांक, इसके सामान्यीकृत द्वारा दर्शाया गया है {{mvar|p}}-यानी, श्रृंखला, यह मॉड्यूल से मेल खाती है <math>p^n</math> इसके आंशिक योग के साथ <math display = inline>\sum_{i=0}^{n-1}a_ip^i,</math> जिसका मान अंतराल में एक पूर्णांक है <math>[0,p^n-1].</math> एक सीधा सत्यापन दिखाता है कि यह वलय समरूपता को परिभाषित करता है <math>\Z_p/p^n\Z_p</math> को <math>\Z/p^n\Z.</math>
छल्लों की व्युत्क्रम सीमा <math>\Z_p/p^n\Z_p</math> अनुक्रमों द्वारा गठित वलय के रूप में परिभाषित किया गया है <math>a_0, a_1, \ldots</math> ऐसा है कि <math>a_i \in \Z/p^i \Z</math> और <math display = inline>a_i \equiv a_{i+1} \pmod {p^i}</math> हरएक के लिए {{mvar|i}}.

मानचित्रण जो एक सामान्यीकृत {{mvar|p}}-ऐडिक श्रृंखला को उसके आंशिक योगों के अनुक्रम में मानचित्रित करती है, वह <math>\Z_p</math> से <math>\Z_p/p^n\Z_p</math> की व्युत्क्रम सीमा तक एक वलय समाकृतिकता है। यह {{mvar|p}}-ऐडिक पूर्णांक (एक  समाकृतिकता तक) को परिभाषित करने का एक और तरीका प्रदान करता है। 

{{mvar|p}}-ऐडिक पूर्णांकों की यह परिभाषा विशेष रूप से व्यावहारिक संगणनाओं के लिए उपयोगी है, क्योंकि {{mvar|p}}-ऐडिक पूर्णांकों को क्रमबद्ध सन्निकटन द्वारा बनाने की अनुमति है।

उदाहरण के लिए, पूर्णांक के {{mvar|p}}-ऐडिक (गुणात्मक) व्युत्क्रम की गणना के लिए, न्यूटन की विधि का उपयोग किया जा सकता है, जो व्युत्क्रम मॉड्यूलो {{mvar|p}} से आरंभ होता है; फिर, प्रत्येक न्यूटन कदम व्युत्क्रम मॉड्यूलो <math display="inline">p^n</math> से व्युत्क्रम मॉड्यूलो <math display="inline">p^{n^2}</math>की गणना करता है।

उसी विधि का उपयोग एक पूर्णांक के {{mvar|p}}-ऐडिक [[वर्गमूल]] की गणना के लिए किया जा सकता है जो एक [[द्विघात अवशेष]] मॉड्यूलो {{mvar|p}} है। यह परीक्षण के लिए सबसे तेज़ ज्ञात विधि प्रतीत होती है कि क्या एक बड़ा पूर्णांक एक वर्ग है: यह परीक्षण करने के लिए पर्याप्त है कि क्या दिया गया पूर्णांक <math>\Z_p/p^n\Z_p</math> में पाए जाने वाले मान का वर्ग है या नहीं। वर्गमूल ज्ञात करने के लिए न्यूटन की विधि को लागू करने के लिए  <math display="inline">p^n</math> को दिए गए पूर्णांक के दोगुने से बड़ा होना आवश्यक है, जो जल्दी संतुष्ट हो जाता है।

[[ हेंसल उठाना |हेंसल उठाना]] एक ऐसी ही विधि है जो {{mvar|n}} के बड़े मूल्यों के लिए पूर्णांक गुणांक वाले बहुपद के गुणनखंड मॉड्यूल <math display="inline">p^n</math> को "उठाने" की अनुमति देती है। यह आमतौर पर बहुपद गुणनखंड कलन विधि द्वारा उपयोग किया जाता है।

== संकेतन ==
{{mvar|p}}-ऐडिक विस्तार लिखने के लिए कई अलग-अलग सम्मेलन हैं। अभी तक इस लेख में {{mvar|p}}-ऐडिक विस्तार के लिए एक अंकन का उपयोग किया गया है  जिसमें {{mvar|p}} की घातांक दाएँ से बाएँ बढ़ती हैं। इस दाएं-से-बाएं अंकन के साथ {{frac|1|5}} का 3-एडिक विस्तार , उदाहरण के लिए,

:<math>\dfrac{1}{5}=\dots 121012102_3</math> के रूप में लिखा गया है।
इस संकेतन में अंकगणित करते समय, अंकों को बाईं ओर ले जाया जाता है। {{mvar|p}}-ऐडिक विस्तार लिखना भी संभव है ताकि {{mvar|p}} की शक्तियाँ बाएँ से दाएँ बढ़ता है, और अंकों को दाईं ओर ले जाए जाते हैं। इस बाएँ से दाएँ संकेतन के साथ {{frac|1|5}} का  3-ऐडिक विस्तार है -

:<math>\dfrac{1}{5}=2.01210121\dots_3\mbox{ or }\dfrac{1}{15}=20.1210121\dots_3.</math>

{{mvar|p}}-ऐडिक विस्तार को {0, 1, ..., {{math|''p'' − 1}}} के बजाय हस्ताक्षरित अंकों के प्रतिनिधित्व के साथ लिखा जा सकता है। उदाहरण के लिए, <sup>1</sup>/<sub>5</sub> का  3-एडिक विस्तार को संतुलित त्रिअंकीय अंकों {<u>1</u>,0,1} का उपयोग करके लिखा जा सकता है

:<math>\dfrac{1}{5}=\dots\underline{1}11\underline{11}11\underline{11}11\underline{1}_{\text{3}} .</math>
वास्तव में  {{mvar|p}} पूर्णांक का कोई समुच्चय जो अलग-अलग [[अवशेष वर्ग]] मॉड्यूलो  {{mvar|p}} में हैं, उन्हें  {{mvar|p}}-ऐडिक अंकों के रूप में उपयोग किया जा सकता है। संख्या सिद्धांत में, टीकमुलर प्रतिनिधियों को कभी-कभी अंकों के रूप में उपयोग किया जाता है।<ref>{{Harv|Hazewinkel|2009|p=342}}</ref>

उद्धरण संकेतन परिमेय संख्याओं के {{mvar|p}}-ऐडिक का एक प्रकार है जिसे 1979 में  [[एरिक हेनर]] और [[निगेल हॉर्सपूल]] द्वारा कंप्यूटर पर इन संख्याओं के साथ (सटीक) अंकगणित को लागू करने के लिए प्रस्तावित किया गया था।<ref>{{Harv|Hehner|Horspool|1979|pp=124–134}}</ref>
== गणनांक ==
दोनों <math>\Z_p</math> और <math>\Q_p</math> [[बेशुमार सेट|अगणनीय]] हैं और [[सातत्य की प्रमुखता|सातत्य का गणनांक]] रखते हैं।<ref>{{Harv|Robert|2000|loc=Chapter 1 Section 1.1}}</ref>  <math>\Z_p</math> के लिए यह  {{mvar|p}}-ऐडिक निरूपण का परिणाम है, जो घात समुच्चय <math>\{0,\ldots,p-1\}^\N</math> पर <math>\Z_p</math>के आक्षेप (बायजेस्टियन) को परिभाषित करता है। <math>\Q_p</math> के लिए यह <math>\Z_p</math> की प्रतियों के अनगिनत अनंत [[संघ (सेट सिद्धांत)|संघ (समुच्चय सिद्धांत)]] के रूप में अपनी अभिव्यक्ति से परिणाम देता है :
:<math>\Q_p=\bigcup_{i=0}^\infty \frac 1{p^i}\Z_p.</math>
== बीजगणितीय समापन ==
{{math|'''Q'''<sub>''p''</sub>}} में {{math|'''Q'''}} होता है और यह विशेषता {{math|0}} का क्षेत्र है (बीजगणित)।

क्योंकि {{math|0}} को वर्गों के योग के रूप में लिखा जा सकता है,<ref>According to [[Hensel's lemma#Examples|Hensel's lemma]] {{math|'''Q'''<sub>2</sub>}} contains a square root of {{math|−7}}, so that <math>2^2 +1^2+1^2+1^2+\left(\sqrt{-7}\right)^2 = 0 ,</math> and if {{math|''p'' > 2}} then also by Hensel's lemma {{math|'''Q'''<sub>''p''</sub>}} contains a square root of {{math|1 − ''p''}}, thus 
<math>(p-1)\times 1^2 +\left(\sqrt{1-p}\right)^2 = 0 .</math></ref> {{math|'''Q'''<sub>''p''</sub>}} को क्रमवार क्षेत्र में नहीं बदला जा सकता।

{{math|[[real number|'''R''']]}} में केवल एक उचित [[बीजगणितीय विस्तार]] है: {{math|[[complex number|'''C''']]}}; दूसरे शब्दों में, यह [[द्विघात विस्तार]] पहले से ही बीजगणितीय रूप से बंद क्षेत्र है। इसके विपरीत, का [[बीजगणितीय समापन]] {{math|'''Q'''<sub>''p''</sub>}}, निरूपित <math>\overline{\mathbf{Q}_p},</math> अनंत डिग्री है,<ref>{{Harv|Gouvêa|1997|loc=Corollary 5.3.10}}</ref> वह है, {{math|'''Q'''<sub>''p''</sub>}} के असीम रूप से कई असमान बीजगणितीय विस्तार हैं। वास्तविक संख्याओं के स्थिति के विपरीत भी, तथापि इसका एक अनूठा विस्तार है {{mvar|p}}-ऐडिक मूल्यांकन करने के लिए <math>\overline{\mathbf{Q}_p},</math> उत्तरार्द्ध (मापीय रूप से) पूर्ण नहीं है।<ref>{{Harv|Gouvêa|1997|loc=Theorem 5.7.4}}</ref><ref name=C149>{{Harv|Cassels|1986|p=149}}</ref> इसकी (मापीय) समापन कहलाती है {{math|'''C'''<sub>''p''</sub>}} या {{math|Ω<sub>''p''</sub>}}.<ref name=C149/><ref name=K13>{{Harv|Koblitz|1980|p=13}}</ref> यहाँ एक अंत तक पहुँच गया है, के रूप में {{math|'''C'''<sub>''p''</sub>}} बीजगणितीय रूप से बंद है।<ref name=C149/><ref>{{Harv|Gouvêa|1997|loc=Proposition 5.7.8}}</ref> तथापि इसके विपरीत {{math|'''C'''}} यह क्षेत्र [[स्थानीय रूप से कॉम्पैक्ट|क्षेत्रीय रूप से कॉम्पैक्ट]] नहीं है।<ref name=K13/>

{{math|'''C'''<sub>''p''</sub>}} और {{math|'''C'''}} वलय के रूप में समरूपी हैं, इसलिए हम {{math|'''C'''<sub>''p''</sub>}} को एक विदेशी मापीय के साथ संपन्न {{math|'''C'''}} के रूप में मान सकते हैं। इस तरह के क्षेत्र समरूपता के अस्तित्व का प्रमाण पसंद के स्वयंसिद्ध पर निर्भर करता है, और इस तरह के समरूपता का एक स्पष्ट उदाहरण प्रदान नहीं करता है (अर्थात, यह [[रचनात्मक प्रमाण]] नहीं है)।

अगर {{math|'''K'''}} {{math|'''Q'''<sub>''p''</sub>}} का परिमित [[गाल्वा विस्तार]] है, तो [[गाल्वा समूह]] <math>\operatorname{Gal} \left(\mathbf{K}/ \mathbf{Q}_p \right)</math> [[हल करने योग्य समूह]] है। इस प्रकार, गैलोज़ समूह <math>\operatorname{Gal} \left(\overline{\mathbf{Q}_p}/ \mathbf{Q}_p \right)</math> [[साध्य]] है।

== गुणक समूह ==
{{math|'''Q'''<sub>''p''</sub>}} में {{mvar|n}}-वां चक्रवातीय क्षेत्र ({{math|''n'' > 2}}) होता है यदि और केवल यदि {{math|''n''&thinsp;{{!}} ''p'' − 1}}।<ref>{{Harv|Gouvêa|1997|loc=Proposition 3.4.2}}</ref> उदाहरण के लिए, {{mvar|n}}-वाँ चक्रवातीय क्षेत्र {{math|'''Q'''<sub>13</sub>}} का एक उपक्षेत्र है अगर और केवल अगर {{math|''n'' {{=}} 1, 2, 3, 4, 6}}, या {{math|12}}। विशेष रूप से, {{math|'''Q'''<sub>''p''</sub>}} में कोई {{mvar|p}}-[[मरोड़ (बीजगणित)]] गुणक नहीं है, अगर {{math|''p'' > 2}}। साथ ही, {{math|'''Q'''<sub>2</sub>}} में एकमात्र असतहीय मरोड़ तत्व {{math|−1}} है।

एक [[प्राकृतिक संख्या]] {{mvar|k}} दी गई है, {{math|'''Q'''<sub>''p''</sub>}} में <math>\mathbf{Q}_p^{\times}</math> के अशून्य तत्वों के {{mvar|k}}-वें घात के गुणक समूह का [[सूचकांक (समूह सिद्धांत)]] परिमित है।

क्रमगुणितअ के व्युत्क्रम के योग के रूप में परिभाषित संख्या {{mvar|[[e (mathematical constant)|e]]}}, किसी भी  {{mvar|p}}-ऐडिक क्षेत्र का सदस्य नहीं है; लेकिन {{math|''e''<sup>&thinsp;''p''</sup> ∈ '''Q'''<sub>''p''</sub> (''p'' ≠ 2)}}।  {{math|''p'' {{=}} 2}} के लिए व्यक्ति को कम से कम चौथा घात लेना चाहिए।<ref>{{Harv|Robert|2000|loc=Section 4.1}}</ref> (इस प्रकार {{mvar|e}} के समान गुणों वाली एक संख्या  - अर्थात्  {{math|''e<sup>p</sup>''}} की {{mvar|p}}-वीं जड़ — सभी {{mvar|p}} के लिए <math>\overline{\mathbf{Q}_p}</math> का सदस्य है।)

== क्षेत्रीय-वैश्विक सिद्धांत ==
हेल्मुट हास के क्षेत्रीय-वैश्विक सिद्धांत को एक समीकरण के लिए धारण करने के लिए कहा जाता है यदि इसे परिमेय संख्याओं पर हल किया जा सकता है यदि और केवल वास्तविक संख्याओं पर और प्रत्येक अभाज्य {{mvar|p}} के लिए  {{mvar|p}}-ऐडिक संख्याओं पर इसे हल किया जा सकता है। यह सिद्धांत, उदाहरण के लिए, [[द्विघात रूप|द्विघात रूपों]] द्वारा दिए गए समीकरणों के लिए है, लेकिन कई अनिश्चितताओं में उच्च बहुपदों के लिए विफल रहता है।

== हेन्सेल लिफ्टिंग के साथ परिमेय अंकगणित ==
{{main|Hensel lifting}}

== सामान्यीकरण और संबंधित सिद्धांतएं ==
वास्तविक और {{mvar|p}}-ऐडिक संख्याएँ परिमेय संख्याओं की समापनएँ हैं; यह अन्य क्षेत्रों को समापन करना भी संभव है, उदाहरण के लिए समवृत्तिक से सामान्य बीजगणितीय संख्या क्षेत्र। यह अब वर्णित किया जाएगा।

मान लीजिए कि D एक [[डेडेकिंड डोमेन]] है और E इसके अंशों का क्षेत्र है। D के अशून्य अभाज्य अनुकूल P को चुनें। यदि x E का अशून्य तत्व है, तो xD एक [[आंशिक आदर्श]] है और इसे D के अशून्य अभाज्य आदर्शों की धनात्मक और ऋणात्मक घात के उत्पाद के रूप में विशिष्ट रूप से तथ्यपूर्ण बनाया जा सकता है। हम  इस गुणनखंड में P के घातांक के लिए ordP(x) लिखते हैं, और 1 से बड़ी संख्या c के किसी भी विकल्प के लिए हम 
:<math>|x|_P = c^{-\!\operatorname{ord}_P(x)}</math> निर्धारित कर सकते हैं।
इस पूर्ण मान | . |<sub>''P''</sub>  के संबंध में समापन करने से क्षेत्र E<sub>''P''</sub>  प्राप्त होता है, इस समायोजना के लिए p-ऐडिक संख्याओं के क्षेत्र का उचित सामान्यीकरण। c का चुनाव समापन को नहीं बदलता है (विभिन्न विकल्पों से कॉची अनुक्रम की समान सिद्धांत प्राप्त होती है, इसलिए वही समापन है)। यह सुविधाजनक है, जब [[अवशेष क्षेत्र]] D/P सीमित है, D/P के आकार को c के लिए लेना।

उदाहरण के लिए, जब E एक [[संख्या क्षेत्र]] है, ओस्ट्रोव्स्की के प्रमेय का कहना है कि E पर प्रत्येक असतहीय गैर-आर्किमिडीयन पूर्ण मूल्य कुछ | . |<sub>''P''</sub>. के रूप में उत्पन्न होता है। ई पर शेष असतहीय पूर्ण मान E के विभिन्न अंतःस्थापन से वास्तविक या जटिल संख्याओं में उत्पन्न होते हैं। (वास्तव में, गैर-आर्किमिडीयन पूर्ण मानों को क्षेत्र 'c<sub>''p''</sub>' में E के विभिन्न अंतःस्थापन के रूप में माना जा सकता है, इस प्रकार सामान्य आधार पर किसी संख्या क्षेत्र के सभी असतहीय पूर्ण मूल्यों का विवरण डालते हैं।)

जब E एक संख्या क्षेत्र (या अधिक आम तौर पर एक [[वैश्विक क्षेत्र]]) होता है, जिन्हें "क्षेत्रीय" सूचना के कूटलेखन के रूप में देखा जाता है, तो प्रायः, एक व्यक्ति को उपरोक्त सभी समापन की समकालिकत ध्यान रखने की आवश्यकता है। यह [[एडेल रिंग|एडेल वलय्स]] और आइडल समूहों द्वारा पूरा किया जाता है।

p-ऐडिक पूर्णांकों को p-ऐडिक परिनालिका <math>\mathbb{T}_p</math> तक विस्तारित किया जा सकता है।  <math>\mathbb{T}_p</math> से एक मानचित्र है वृत्त समूह के लिए जिसके तंतु p-ऐडिक पूर्णांक <math>\mathbb{Z}_p</math> हैं, सादृश्य में <math>\mathbb{R}</math> से उस वृत्त तक का मानचित्र कैसे है जिसके तंतु <math>\mathbb{Z}</math> हैं।

== यह भी देखें ==
{{Div col}}
* गैर-अभिलेखागार
* [[पी-एडिक क्वांटम यांत्रिकी]]
* [[पी-एडिक हॉज सिद्धांत]]
* [[पी-एडिक टेचमुलर थ्योरी]]
* [[पी-एडिक विश्लेषण]]
* 1 + 2 + 4 + 8 + ...
* विशेषण संख्या | k-adic संकेतन
* [[सी-न्यूनतम सिद्धांत]]
* हेंसल की लेम्मा
* स्थानीय रूप से कॉम्पैक्ट क्षेत्र
* महलर की प्रमेय
* [[अनंत पूर्णांक]]
* Volkenborn अभिन्न
{{Div col end}}

== फुटनोट्स ==

===टिप्पणियाँ===
{{Reflist|group=note}}


===उद्धरण===
{{Reflist}}


==संदर्भ==
{{refbegin}}
*{{Citation |last=Cassels |first=J. W. S. |author-link=J. W. S. Cassels |title=Local Fields |series=London Mathematical Society Student Texts |volume=3 |publisher=[[Cambridge University Press]] |year=1986 |isbn=0-521-31525-5 |zbl=0595.12006}}
*{{citation|title=Theory of Algebraic Functions of One Variable|volume=39|series=History of mathematics|first1=Richard|last1=Dedekind|author1-link=Richard Dedekind|first2=Heinrich|last2=Weber|author2-link=Heinrich Martin Weber|publisher=American Mathematical Society|year=2012|isbn=978-0-8218-8330-3}}. &mdash; Translation into English by [[John Stillwell]] of ''Theorie der algebraischen Functionen einer Veränderlichen'' (1882).
*{{Citation|last=Gouvêa|first=F. Q.|date=March 1994|title=A Marvelous Proof|journal=[[American Mathematical Monthly]]|pages=203–222|volume=101|issue=3 |jstor=2975598|doi=10.2307/2975598}}
*{{Citation |last=Gouvêa |first=Fernando Q. |year=1997 |title=''p''-adic Numbers: An Introduction |edition=2nd |publisher=Springer |isbn=3-540-62911-4 | zbl=0874.11002}}
*{{citation|title=Handbook of Algebra|volume=6|editor-first=M.|editor-last=Hazewinkel|publisher=North Holland|date=2009|isbn=978-0-444-53257-2|page=342|url={{Google books|yimXZ-7L9ZoC|page=342|plainurl=yes}}}}
*{{Citation|last=Hehner|first=Eric C. R.|author-link=Eric C. R. Hehner|last2=Horspool|first2=R. Nigel|year=1979|title=A new representation of the rational numbers for fast easy arithmetic|journal=[[SIAM Journal on Computing]]|pages=124–134 |volume=8 |issue=2 |doi=10.1137/0208011 |url=https://www.researchgate.net/publication/220617770|citeseerx=10.1.1.64.7714}}
*{{Citation | last = Hensel | first = Kurt | author-link=Kurt Hensel | title = Über eine neue Begründung der Theorie der algebraischen Zahlen | journal = Jahresbericht der Deutschen Mathematiker-Vereinigung | volume = 6 | year = 1897 | issue = 3 | pages = 83–88 | url = http://www.digizeitschriften.de/resolveppn/GDZPPN00211612X&L=2}}
*{{Citation|last1=Kelley|first1=John L.|author-link=John Leroy Kelley|title=General Topology|date=2008|orig-year=1955|publisher=Ishi Press|location=New York|isbn=978-0-923891-55-8}}
*{{Citation |last=Koblitz |first=Neal |author-link=Neal Koblitz |title=''p''-adic analysis: a short course on recent work |series=London Mathematical Society Lecture Note Series |volume=46 |publisher=[[Cambridge University Press]] |year=1980 |isbn=0-521-28060-5 |zbl=0439.12011}}
*{{Citation |last=Robert |first=Alain M. |year=2000 |title=A Course in ''p''-adic Analysis |publisher=Springer |isbn=0-387-98669-3}}
{{refend}}


==अग्रिम पठन==
{{refbegin}}
*{{Citation |last=Bachman |first=George |title=Introduction to ''p''-adic Numbers and Valuation Theory |year=1964 |publisher=Academic Press |isbn=0-12-070268-1}}
*{{Citation|last=Borevich|first=Z. I.|author-link=Zenon Ivanovich Borevich|last2=Shafarevich|first2=I. R.|author2-link=Igor Rostislavovich Shafarevich|year=1986|title=Number Theory|publisher=Academic Press|location=Boston, MA|series=Pure and Applied Mathematics|volume=20|isbn=978-0-12-117851-2|url={{Google books|njgVUjjO-EAC|Number Theory|plainurl=yes}}|mr=0195803}}
*{{Citation |last=Koblitz |first=Neal |author-link=Neal Koblitz |year=1984 | series=[[Graduate Texts in Mathematics]] | volume=58 | title=''p''-adic Numbers, ''p''-adic Analysis, and Zeta-Functions | edition=2nd |publisher=Springer |isbn=0-387-96017-1}}
*{{Citation | last=Mahler | first=Kurt | author-link=Kurt Mahler | title=''p''-adic numbers and their functions | edition=2nd | zbl=0444.12013 | series=Cambridge Tracts in Mathematics | volume=76 | location=Cambridge | publisher=[[Cambridge University Press]] | year=1981 | isbn=0-521-23102-7 | url-access=registration | url=https://archive.org/details/padicnumbersthei0000mahl }}
*{{Citation |last=Steen |first=Lynn Arthur |author-link=Lynn Arthur Steen |year=1978 |title=Counterexamples in Topology |publisher=Dover |isbn=0-486-68735-X|title-link=Counterexamples in Topology }}
{{refend}}


==बाहरी संबंध==
{{Commons category|P-adic numbers}}
*{{MathWorld|urlname=p-adicNumber|title=p-adic Number}}
*[http://www.encyclopediaofmath.org/index.php/P-adic_number p-ऐडिक number] at [[Encyclopaedia of Mathematics|Springer On-line Encyclopaedia of Mathematics]]
*[http://math.stanford.edu/~conrad/248APage/handouts/algclosurecomp.pdf Completion of Algebraic Closure] – on-line lecture notes by Brian Conrad
*[https://web.archive.org/web/20161213093839/http://www.maths.gla.ac.uk/~ajb/dvi-ps/padicnotes.pdf An Introduction to p-ऐडिक Numbers and p-ऐडिक Analysis] - on-line lecture notes by Andrew Baker, 2007
*[http://homes.esat.kuleuven.be/~fvercaut/talks/pAdic.pdf Efficient p-ऐडिक arithmetic] (slides)
*[http://www.madore.org/~david/math/padics.pdf Introduction to p-ऐडिक numbers]
*{{citation|url=https://www.quantamagazine.org/how-the-towering-p-adic-numbers-work-20201019/ |title=An Infinite Universe of Number Systems|first=Kelsey |last=Houston-Edwards|date=October 19, 2020|publisher=Quanta Magazine}}

{{Number systems}}

{{DEFAULTSORT:P-Adic Number}}

[[Category:Articles with hatnote templates targeting a nonexistent page|P-Adic Number]]
[[Category:Collapse templates|P-Adic Number]]
[[Category:Commons category link is locally defined|P-Adic Number]]
[[Category:Created On 26/04/2023|P-Adic Number]]
[[Category:Lua-based templates|P-Adic Number]]
[[Category:Machine Translated Page|P-Adic Number]]
[[Category:Multi-column templates|P-Adic Number]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists|P-Adic Number]]
[[Category:Pages using div col with small parameter|P-Adic Number]]
[[Category:Pages with ignored display titles]]
[[Category:Pages with math errors|P-Adic Number]]
[[Category:Pages with math render errors|P-Adic Number]]
[[Category:Pages with maths render errors|P-Adic Number]]
[[Category:Pages with script errors|P-Adic Number]]
[[Category:Sidebars with styles needing conversion|P-Adic Number]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi|P-Adic Number]]
[[Category:Templates Vigyan Ready|P-Adic Number]]
[[Category:Templates generating microformats|P-Adic Number]]
[[Category:Templates that add a tracking category|P-Adic Number]]
[[Category:Templates that are not mobile friendly|P-Adic Number]]
[[Category:Templates that generate short descriptions|P-Adic Number]]
[[Category:Templates using TemplateData|P-Adic Number]]
[[Category:Templates using under-protected Lua modules|P-Adic Number]]
[[Category:Wikipedia fully protected templates|Div col]]
[[Category:Wikipedia metatemplates|P-Adic Number]]
[[Category:क्षेत्र (गणित)|P-Adic Number]]
[[Category:पी-एडिक नंबर| पी-एडिक नंबर ]]
[[Category:संख्या सिद्धांत|P-Adic Number]]