P-एडिक संख्या: Difference between revisions

Latest revision as of 21:07, 15 July 2023

3-एडिक पूर्णांक, उनके पोंट्रीगिन दोहरे समूह पर चयनित संगत वर्णों के साथ

गणित में, किसी भी अभाज्य संख्या $p$ के लिए $p$ -एडिक संख्या प्रणाली परिमेय संख्याओं के सामान्य अंकगणित को वास्तविक संख्या और सम्मिश्र संख्या प्रणालियों तक विस्तारित करता है। विस्तार निकटता या पूर्ण मान के अवधारणा की वैकल्पिक व्याख्या द्वारा प्राप्त किया जाता है। विशेष रूप से, दो $p$ -एडिक संख्याओं को तब संवृत माना जाता है जब उनका अंतर $p$ के उच्च घातांक द्वारा विभाज्य होता है: घातांक जितना अधिक होगा, $p$ -एडिक संख्या उतनी ही संवृत्त होगी। यह संपत्ति पी-एडिक संख्याओं के एकरूपता जानकारी को इस तरह से कूटबद्ध करने में सक्षम बनाती है जिससे संख्या सिद्धांत में शक्तिशाली अनुप्रयोग हो सकते है। उदाहरण के लिए, एंड्रयू विल्स द्वारा फ़र्मेट के अंतिम प्रमेय के विल्स के प्रमाण में इसका प्रयोग किया जा सकता है।^[1]

इन संख्याओं का वर्णन, सबसे पहले 1897 में कर्ट हेन्सल द्वारा किया गया था,^[2] यद्यपि, पीछे से देखने पर, अर्न्स्ट कुमेर के पहले के कुछ प्रयोगों की व्याख्या पी-एडिक संख्याओं का उपयोग करके की जा सकती है।^{[note 1]}

पी-एडिक संख्याएँ मुख्य रूप से घातांक श्रृंखला विधियों के विचारों और तकनीकों को संख्या सिद्धांत में लाने के प्रयास से प्रेरित थीं। उनका प्रभाव अब इससे भी कहीं आगे तक प्रसारित हो गया है। उदाहरण के लिए, पी-एडिक विश्लेषण का क्षेत्र अनिवार्य रूप से गणना के लिए एक वैकल्पिक रूप प्रदान करता है।

अधिक औपचारिक रूप से, किसी दिए गए अभाज्य संख्या $p$ के लिए, $p$ -एडिक संख्याओ का क्षेत्र $Q p$ , परिमेय संख्याओं का एक पूर्ण स्थान है। क्षेत्र $Q p$ को मीट्रिक स्थान से प्राप्त एक संस्थानिक समष्टि भी दी जाती है, जो स्वयं $p$ -एडिक क्रम से प्राप्त होता है। यह संस्थानिक समष्टि परिमेय संख्याओं का एक वैकल्पिक मूल्यांकन है। यह मीट्रिक समष्टि इस अर्थ में पूर्ण है कि प्रत्येक कॉची अनुक्रम $Q p$ में एक बिंदु पर अभिसरित होता है। यही वह है जो $Q p$ पर गणना सिद्धांत के विकास की अनुमति देता है, तथा यह इस विश्लेषणात्मक और बीजगणितीय ज्यामिति संरचना की परस्पर क्रिया है जो देता है जो पी-एडिक संख्या प्रणालियों को उनकी शक्ति और उपयोगिता प्रदान करती है। $p$ -एडिक में $p$ एक चर है और इसे अभाज्य (उदाहरण के लिए, 2-एडिक संख्याएँ उत्पन्न करने वाला) या अभाज्य संख्या का प्रतिनिधित्व करने वाले किसी अन्य व्यंजकों से प्रतिस्थापित किया जा सकता है। $p$ -एडिक का एडिक डायडिक या ट्रायडिक जैसे शब्दों में पाए जाने वाले एडिक अंत से प्राप्त होता है।

परिमेय संख्याओं का पी-एडिक विस्तार

किसी धनात्मक परिमेय संख्या $r$ का दशमलव विस्तार को निम्नलिखित श्रृंखला के रूप में प्रदर्शित किया जा सकता है

r=\sum _{i=k}^{\infty }a_{i}10^{-i},

जहाँ $k$ एक पूर्णांक है और प्रत्येक $a_{i}$ भी एक पूर्णांक इस प्रकार है की $0\leq a_{i}<10$ है। इस विस्तार की गणना अंश को हर से लंबे विभाजन द्वारा की जा सकती है, जो स्वयं निम्नलिखित प्रमेय पर आधारित है: यदि $r={\tfrac {n}{d}}$ एक परिमेय संख्या है जहाँ $10^{k}\leq r<10^{k+1},$ एक अन्य पूर्णांक $a$ है ऐसा है कि $0<a<10,$ और $r=a\,10^{k}+r',$ साथ $r'<10^{k}.$ इस परिणाम को शेषफल पर बार-बार लागू करके दशमलव विस्तार प्राप्त किया जाता है जो पुनरावृत्ति में मूल परिमेय संख्या की भूमिका ग्रहण करता है। किसी परिमेय संख्या का एडिक विस्तार समान रूप से परंतु एक अलग विभाजन चरण के साथ परिभाषित किया जाता है। अधिक सटीक रूप से, एक परिमित अभाज्य संख्या $p$ दी गई है , प्रत्येक अशून्य परिमेय संख्या $r$ विशिष्ट रूप $r=p^{k}{\tfrac {n}{d}},$ से लिखा जा सकता है जहाँ $k$ एक (संभवतः नकारात्मक) पूर्णांक है, $n$ और $d$ सहअभाज्य पूर्णांक हैं जिनके साथ दोनों सहअभाज्य $p$ , और $d$ सकारात्मक है। पूर्णांक $k$ , $r$ का $p$ -एडिक मूल्यांकन है, जिसे $v_{p}(r),$ द्वारा निरूपित किया जाता है तथा $p^{-k}$ इसका $p$ -एडिक निरपेक्ष मान है जिसे $|r|_{p}$ द्वारा निरूपित किया जाता है। विभाजन चरण में

r=a\,p^{k}+r'

लिखना सम्मिलित है

जहाँ $a$ एक पूर्णांक है $0\leq a<p,$ और $r'$ या तो शून्य है, या ऐसी कोई परिमेय संख्या $|r'|_{p}<p^{-k}$ $v_{p}(r')>k$ ) है।

$r$ का $p$ -एडिक विस्तार औपचारिक घातांक श्रृंखला है

r=\sum _{i=k}^{\infty }a_{i}p^{i}

क्रमिक शेषफलों पर विभाजन चरण को अनिश्चित काल तक पुनरावर्तित कर प्राप्त किया जाता है। $p$ -एडिक विस्तार में सभी $a_{i}$ ऐसे पूर्णांक हैं जहाँ $0\leq a_{i}<p$ है।

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

पी-एडिक संख्या का अस्तित्व एवं गणना का विशेष विस्तार बेज़ाउट की पहचान से निम्नलिखित तरीके से होता है। यदि, जैसा कि ऊपर बताया गया है, $r=p^{k}{\tfrac {n}{d}},$ और $d$ और $p$ सहअभाज्य हैं, $t$ और $u$ ऐसा है कि $td+up=1.$ इसलिए

r=p^{k}{\tfrac {n}{d}}(td+up)=p^{k}nt+p^{k+1}{\frac {un}{d}}.

पुनः, यूक्लिडियन प्रभाग $nt$ द्वारा $p$ उत्पन्न करता है

nt=qp+a,

साथ ही $0\leq a<p.$ है।

इस विभाजन चरण को इस प्रकार प्रदर्शित किया जाता है

{\begin{array}{lcl}r&=&p^{k}(qp+a)+p^{k+1}{\frac {un}{d}}\\&=&ap^{k}+p^{k+1}\,{\frac {qd+un}{d}},\\\end{array}}

जिससे पुनरावृत्ति में नई परिमेय संख्या $r'=p^{k+1}\,{\frac {qd+un}{d}}$ प्राप्त होती है।

भाग और पूर्ण पदांक निर्धारण के अद्वितीयता को सिद्ध करना सरल है: यदि $p^{k}a_{1}+p^{k+1}s_{1}=p^{k}a_{2}+p^{k+1}s_{2},$ तो $a_{1}-a_{2}=p(s_{2}-s_{1})$ होता है। इसका अर्थ है कि $p$ $a_{1}-a_{2}$ से विभाजित होता है। क्योंकि $0\leq a_{1}<p$ और $0\leq a_{2}<p$ है, इसलिए निम्नलिखित सत्य होगा: $0\leq a_{1}$ और $a_{2}<p$ । इस प्रकार, $-p<a_{1}-a_{2}<p$ मिलता है, और क्योंकि $p$ $a_{1}-a_{2}$ से विभाजित होता है, इसलिए यह निश्चित है कि $a_{1}=a_{2}$ ।

किसी परिमित संख्या का p-ऐडिक विस्तार वह श्रृंखला होती है जो p-ऐडिक अवशेष मान के साथ एक संघात श्रृंखला की परिभाषा को लागू करने पर उस परिमित संख्या से संबंधित होती है।

सामान्य $p$ -ऐडिक टिपण्णी में, अंकों को एक सामान्य आधार- $p$ प्रणाली के समान क्रम अर्थात आधार के घातों को बाएं ओर बढ़ाते हुए लिखा जाता है। इसका तात्पर्य है कि अंकों का उत्पादन उल्टा होता है और सीमा बाएं हाथ की ओर होती है। एक परिमेय संख्या का $p$ -ऐडिक विस्तार अंततः आवृत्ति-समीकरण होता है। प्रतिरोधता रूप में, एक श्रृंखला ${\textstyle \sum _{i=k}^{\infty }a_{i}p^{i},}$ जहां $0\leq a_{i}<p$ है, ( $p$ -ऐडिक वास्तविक मान के लिए) एक परिमेय संख्या पर संपर्क करती है अगर और केवल अगर इसके अंत में आवृत्ति होती है; इस परिप्रेक्ष्य में, श्रृंखला उस परिमेय संख्या का $p$ -ऐडिक विस्तार होती है। इसका सिद्धांत दोहराने दशमलवों के लिए समान परिणाम के लिए विशेष रूप से है।

उदाहरण

हम ${\frac {1}{3}}$ का 5-ऐडिक विस्तार निर्णय करते हैं। 5 और नामकारक 3 के लिए बेजूट विशिष्टता है $2\cdot 3+(-1)\cdot 5=1$ है। (अधिक बड़े उदाहरणों के लिए, इसे विस्तृत यूक्लिडीय अल्गोरिदम के साथ निर्णय किया जा सकता है)। इस प्रकार

{\frac {1}{3}}=2-{\frac {5}{3}}.

अगले चरण में हमे $-1/3$ को "विभाजित" करना है (गुणन ${\frac {5}{3}}$ को भिन्नता के रूप में देखा जाना चाहिए और इसलिए इसे "विभाजन" में सम्मिलित नहीं किया जाता है)। बेज़आउट समीकरण को इससे गुणा करने पर $-1$ प्राप्त होता है

-{\frac {1}{3}}=-2+{\frac {5}{3}}.

पूर्णांक भाग $-2$ सही अंतराल में नहीं है. तो, हमे $5$ प्राप्त करने के लिए यूक्लिडियन विभाजन का उपयोग करना होगा $-2=3-1\cdot 5,$

-{\frac {1}{3}}=3-5+{\frac {5}{3}}=3-{\frac {10}{3}},

और

{\frac {1}{3}}=2+3\cdot 5+{\frac {-2}{3}}\cdot 5^{2}.

इसी प्रकार, हमारे पास है

-{\frac {2}{3}}=1-{\frac {5}{3}},

और

{\frac {1}{3}}=2+3\cdot 5+1\cdot 5^{2}+{\frac {-1}{3}}\cdot 5^{3}.

शेष के रूप में $-{\tfrac {1}{3}}$ पहले ही प्राप्त किया जा चुका है, गुणांक देकर प्रक्रिया $3$ पाँच की समता घातांकों के लिए, और $1$ समता घातांकों के लिए समीकरण को सरलता से जारी रखा जा सकता है।

या मानक 5-एडिक लेखन में

{\frac {1}{3}}=\ldots 1313132_{5}

पदन्यूनता के साथ $\ldots$ बाई ओर प्रदर्शित किया गया है।

पी-एडिक श्रृंखला

इस लेख में एक अभाज्य संख्या $p$ दी गयी है , $p$ -एडिक श्रृंखला रूप की एक औपचारिक श्रृंखला है

\sum _{i=k}^{\infty }a_{i}p^{i},

जहां हर शून्येतर $a_{i}$ एक परिमेय संख्या है $a_{i}={\tfrac {n_{i}}{d_{i}}},$ ऐसा कि कोई भी नहीं $n_{i}$ और $d_{i}$ से विभाज्य है $p$

प्रत्येक परिमेय संख्या को एक के रूप में देखा जा सकता है $p$ -एकल पद के साथ एडिक श्रृंखला, जिसमें इसके रूप का गुणनखंडन सम्मिलित है $p^{k}{\tfrac {n}{d}},$ साथ $n$ और $d$ दोनों सहअभाज्य हैं $p$ .

ए $p$ -एडिक श्रृंखला सामान्यीकृत होती है यदि प्रत्येक $a_{i}$ अंतराल में एक पूर्णांक है $[0,p-1].$ इतना $p$ -किसी परिमेय संख्या का सामान्यीकृत विस्तार सामान्यीकृत होता है $p$ -एडिक श्रृंखला।

पी-एडिक मूल्यांकन| $p$ -एडिक मूल्यांकन, या $p$ -अशून्य का एडिक क्रम $p$ -एडीआईसी श्रृंखला सबसे कम पूर्णांक है $i$ ऐसा है कि $a_{i}\neq 0.$ शून्य श्रेणी का क्रम अनन्त है $\infty .$ दो $p$ -एडिक श्रृंखला समतुल्य होती है यदि उनका क्रम समान हो $k$ , और यदि प्रत्येक पूर्णांक के लिए $n \geq k$ उनके आंशिक योग के बीच का अंतर

\sum _{i=k}^{n}a_{i}p^{i}-\sum _{i=k}^{n}b_{i}p^{i}=\sum _{i=k}^{n}(a_{i}-b_{i})p^{i}

से बड़ा ऑर्डर है $n$ (अर्थात्, रूप की एक परिमेय संख्या है $p^{k}{\tfrac {a}{b}},$ साथ $k>n,$ और $a$ और $b$ दोनों सहअभाज्य हैं $p$

हरएक के लिए $p$ -एडिक श्रृंखला $S$ , एक अद्वितीय सामान्यीकृत श्रृंखला है $N$ ऐसा है कि $S$ और $N$ समतुल्य हैं. $N$ का सामान्यीकरण है $S.$ प्रमाण के अस्तित्व प्रमाण के समान है $p$ -एक परिमेय संख्या का एडिक विस्तार। विशेष रूप से, प्रत्येक परिमेय संख्या को एक माना जा सकता है $p$ -एक एकल गैर-शून्य पद के साथ एडीसी श्रृंखला, और इस श्रृंखला का सामान्यीकरण वास्तव में परिमेय संख्या का परिमेय प्रतिनिधित्व है।

दूसरे शब्दों में, की समतुल्यता $p$ -एडिक श्रृंखला एक तुल्यता संबंध है, और प्रत्येक तुल्यता वर्ग में बिल्कुल एक सामान्यीकृत होता है $p$ -एडिक श्रृंखला।

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

{\begin{aligned}S\pm U&\sim T\pm U,\\SU&\sim TU,\\1/S&\sim 1/T.\end{aligned}}

इसके अतिरिक्त, $S$ और $T$ का क्रम समान है, और प्रथम पद भी समान है।

स्थितीय संकेतन

मूलांक में संख्याओं को दर्शाने के लिए उपयोग किए जाने वाले स्थिति संकेतन के समान उपयोग करना संभव है $p$

होने देना ${\textstyle \sum _{i=k}^{\infty }a_{i}p^{i}}$ एक सामान्यीकृत हो $p$ -एडिक श्रृंखला, यानी प्रत्येक $a_{i}$ अंतराल में एक पूर्णांक है $[0,p-1].$ ऐसा कोई भी मान सकता है $k\leq 0$ व्यवस्थित करके $a_{i}=0$ के लिए $0\leq i<k$ (यदि $k>0$ ), और परिणामी शून्य पदों को श्रृंखला में जोड़ना।

यदि $k\geq 0,$ स्थितीय संकेतन में लिखना सम्मिलित है $a_{i}$ लगातार, के घटते मूल्यों द्वारा क्रमबद्ध $i$ , अक्सर साथ $p$ एक सूचकांक के रूप में दाईं ओर दिखाई दे रहा है:

\ldots a_{n}\ldots a_{1}{a_{0}}_{p}

तो, की गणना यह दर्शाती है

{\frac {1}{3}}=\ldots 1313132_{5},

और

{\frac {25}{3}}=\ldots 131313200_{5}.

कब $k<0,$ नकारात्मक सूचकांक वाले अंकों से पहले एक अलग बिंदु जोड़ा जाता है, और, यदि सूचकांक $p$ मौजूद है, यह अलग करने वाले बिंदु के ठीक बाद दिखाई देता है। उदाहरण के लिए,

{\frac {1}{15}}=\ldots 3131313._{5}2,

और

{\frac {1}{75}}=\ldots 1313131._{5}32.

यदि एक $p$ -एडिक निरूपण बाईं ओर परिमित है (अर्थात्, $a_{i}=0$ के बड़े मूल्यों के लिए $i$ ), तो इसमें प्रपत्र की एक गैर-ऋणात्मक परिमेय संख्या का मान होता है $np^{v},$ साथ $n,v$ पूर्णांक ये परिमेय संख्याएँ बिल्कुल गैर-ऋणात्मक परिमेय संख्याएँ हैं जिनका मूलांक में एक सीमित प्रतिनिधित्व होता है $p$ . इन परिमेय संख्याओं के लिए, दोनों निरूपण समान हैं।

परिभाषा

की कई समतुल्य परिभाषाएँ हैं $p$ -एडिक नंबर. जो यहां दिया गया है वह अपेक्षाकृत प्राथमिक है, क्योंकि इसमें पिछले अनुभागों में प्रस्तुत की गई गणितीय अवधारणाओं के अलावा कोई अन्य गणितीय अवधारणा सम्मिलित नहीं है। अन्य समकक्ष परिभाषाएँ एक अलग मूल्यांकन रिंग की रिंग के पूरा होने का उपयोग करती हैं। एक मीट्रिक स्थान का पूरा होना , या व्युत्क्रम सीमाएँ भी इसकी अभिन्न अंग हैं।

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

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

इन ऑपरेशनों के साथ, $p$ -एडिक संख्याएँ एक क्षेत्र बनाती हैं जिसे क्षेत्र कहा जाता है $p$ -एडिक संख्याएँ और निरूपित $\mathbb {Q} _{p}$ या $\mathbf {Q} _{p}.$ परिमेय संख्याओं से एक अद्वितीय क्षेत्र समरूपता है $p$ -एडिक संख्याएं, जो एक परिमेय संख्या को मैप करती हैं $p$ -एडिक विस्तार. इस समरूपता की छवि को सामान्यतः परिमेय संख्याओं के क्षेत्र से पहचाना जाता है। यह इस पर विचार करने की अनुमति देता है $p$ -परिमेय संख्याओं के विस्तार क्षेत्र के रूप में आदिम संख्याएँ, और उपक्षेत्र के रूप में परिमेय संख्याएँ $p$ -एडिक नंबर.

एक शून्येतर का मूल्यांकन $p$ -अर्थात संख्या $x$ , सामान्यतः दर्शाया जाता है $v_{p}(x),$ का प्रतिपादक है $p$ प्रत्येक के पहले शून्येतर पद में $p$ -एडिक श्रृंखला जो प्रतिनिधित्व करती है $x$ . रिवाज के सन्दर्भ मे, $v_{p}(0)=\infty ;$ यानी शून्य का मूल्यांकन है $\infty .$ यह मूल्यांकन एक पृथक मूल्यांकन है. इस मूल्यांकन का प्रतिबंध परिमेय संख्याओं तक है $p$ -एडिक मूल्यांकन $\mathbb {Q} ,$ अर्थात् प्रतिपादक $v$ एक परिमेय संख्या के गुणनखंडन में दोनों के साथ $n$ और $d$ सहप्रधान $p$ .

p-एडिक पूर्णांक

' $p$ -एडिक पूर्णांक हैं $p$ -एक गैर-नकारात्मक मूल्यांकन के साथ एडिक संख्याएँ।

ए $p$ -एडीआईसी पूर्णांक को अनुक्रम के रूप में दर्शाया जा सकता है

x=(x_{1}\operatorname {mod} p,~x_{2}\operatorname {mod} p^{2},~x_{3}\operatorname {mod} p^{3},~\ldots )

अवशेषों का $x e$ ख़िलाफ़ $p e$ प्रत्येक पूर्णांक के लिए $e$ , अनुकूलता संबंधों को संतुष्ट करना $x_{i}\equiv x_{j}~(\operatorname {mod} p^{i})$ के लिए $i < j$ .

प्रत्येक पूर्णांक एक है $p$ -एडीआईसी पूर्णांक (शून्य सहित, चूंकि $0<\infty$ ). प्रपत्र की परिमेय संख्याएँ ${\textstyle {\tfrac {n}{d}}p^{k}}$ साथ $d$ सहप्रधान $p$ और $k\geq 0$ भी हैं $p$ -एडिक पूर्णांक (इस कारण से $d$ में एक उलटा मॉड है $p e$ हरएक के लिए $e$ ). वह $p$ -एडिक पूर्णांक एक क्रमविनिमेय वलय बनाते हैं, जिसे दर्शाया जाता है $\mathbb {Z} _{p}$ या $\mathbf {Z} _{p}$ , जिसमें निम्नलिखित गुण हैं।

यह एक अभिन्न डोमेन है, क्योंकि यह एक क्षेत्र का उपरिंग है, या श्रृंखला के पहले पद के बाद से दो गैर शून्य के उत्पाद का प्रतिनिधित्व करता है $p$ -एडिक श्रृंखला उनके प्रथम पदों का गुणनफल है।
$p$ -मूल्यांकन की एडिक संख्या शून्य की इकाई $\mathbb {Z} _{p}$ हैं ।
यह एक प्रमुख आदर्श क्षेत्र है, जैसे कि प्रत्येक आदर्श की शक्ति से उत्पन्न होता है $p$ .
यह क्रुल आयाम एक का एक स्थानीय वलय है, क्योंकि इसके एकमात्र प्रमुख आदर्श शून्य आदर्श और इससे उत्पन्न आदर्श हैं $p$ , अद्वितीय अधिकतम आदर्श।
यह एक अलग मूल्यांकन रिंग है, क्योंकि यह पूर्ववर्ती गुणों से परिणामित होता है।
यह स्थानीय रिंग की एक रिंग का पूरा होना है $\mathbb {Z} _{(p)}=\{{\tfrac {n}{d}}\mid n,d\in \mathbb {Z} ,\,d\not \in p\mathbb {Z} \},$ जो का स्थानीयकरण (कम्यूटेटिव बीजगणित) है $\mathbb {Z}$ प्रमुख आदर्श पर $p\mathbb {Z} .$

अंतिम संपत्ति की परिभाषा प्रदान करती है $p$ -एडीआईसी संख्याएं जो उपरोक्त के बराबर हैं: का क्षेत्र $p$ -एडीआईसी संख्याएं, द्वारा उत्पन्न अभाज्य आदर्श पर पूर्णांकों के स्थानीयकरण के पूरा होने के अंशों का क्षेत्र है $p$ .

संस्थानिक गुण

$p}$ -एडिक मूल्यांकन एक निरपेक्ष मान को परिभाषित करने की अनुमति देता है $p$ -एडिक नंबर: द $p$ -एक गैरशून्य का विशेष निरपेक्ष मान $p$ -अर्थात संख्या $x$ है

|x|_{p}=p^{-v_{p}(x)},

जहाँ $v_{p}(x)$ है $p$ -एडिक मूल्यांकन $x$ . वह $p$ -का निरपेक्ष मान $0$ है $|0|_{p}=0.$ यह एक निरपेक्ष मान है जो प्रत्येक के लिए, मजबूत त्रिभुज असमानता को संतुष्ट करता है $x$ और $y$ हमारे पास

$|x|_{p}=0$ यदि और केवल यदि $x=0;$
$|x|_{p}\cdot |y|_{p}=|xy|_{p}$ * $|x+y|_{p}\leq \max(|x|_{p},|y|_{p})\leq |x|_{p}+|y|_{p}.$

इसके अलावा, यदि $|x|_{p}\neq |y|_{p},$ किसी के पास $|x+y|_{p}=\max(|x|_{p},|y|_{p}).$ यह बनाता है $p$ -एडिक नंबर एक मीट्रिक स्पेस, और यहां तक कि एक अल्ट्रामेट्रिक स्पेस, के साथ $p$ -एडिक दूरी द्वारा परिभाषित $d_{p}(x,y)=|x-y|_{p}.$ एक मीट्रिक स्थान के रूप में, $p$ -एडीआईसी संख्याएं से सुसज्जित परिमेय संख्याओं की पूर्णता (मीट्रिक स्थान) बनाती हैं $p$ -एडिक निरपेक्ष मान. यह परिभाषित करने का एक और तरीका प्रदान करता है $p$ -एडिक नंबर. यद्यपि, इस मामले में पूर्णता के सामान्य निर्माण को सरल बनाया जा सकता है, क्योंकि मीट्रिक को एक अलग मूल्यांकन द्वारा परिभाषित किया गया है (संक्षेप में, प्रत्येक कॉची अनुक्रम से एक परिणाम निकाला जा सकता है जैसे कि दो लगातार शब्दों के बीच के अंतर में निरपेक्ष मान सख्ती से घट रहे हैं ; ऐसा अनुवर्ती a के आंशिक योगों का क्रम है $p$ -एडिक श्रृंखला, और इस प्रकार एक अद्वितीय सामान्यीकृत $p$ -एडिक श्रृंखला को कॉची अनुक्रमों के प्रत्येक समतुल्य वर्ग से जोड़ा जा सकता है; इसलिए, पूर्णता के निर्माण के लिए, सामान्यीकृत पर विचार करना पर्याप्त है $p$ -कॉची अनुक्रमों के समतुल्य वर्गों के बजाय एडिक श्रृंखला को संदर्भित करती है।

चूँकि मीट्रिक को अलग-अलग मूल्यांकन से परिभाषित किया जाता है, प्रत्येक खुली गेंद भी बंद गेंद होती है। अधिक सटीक रूप से, खुली गेंद $B_{r}(x)=\{y\mid d_{p}(x,y)<r\}$ बंद गेंद के बराबर है $B_{p^{-v}}[x]=\{y\mid d_{p}(x,y)\leq p^{-v}\},$ जहाँ $v$ ऐसा सबसे छोटा पूर्णांक है $p^{-v}<r.$ इसी प्रकार, $B_{r}[x]=B_{p^{-w}}(x),$ जहाँ $w$ ऐसा सबसे बड़ा पूर्णांक है $p^{-w}>r.$ इसका तात्पर्य यह है कि $p$ -एडिक संख्याएं स्थानीय रूप स्थानीय रूप से सघन स्थान बनाती हैं, और $p$ -एडिक पूर्णांक-अर्थात, गेंद $B_{1}[0]=B_{p}(0)$ -एक सघन स्थान बनाएँ।

मॉड्यूलर गुण

भागफल वलय $\mathbb {Z} _{p}/p^{n}\mathbb {Z} _{p}$ चक्र से पहचाना जा सकता है $\mathbb {Z} /p^{n}\mathbb {Z}$ पूर्णांकों का मॉड्यूलर अंकगणित $p^{n}.$ इसे प्रत्येक टिप्पणी द्वारा दर्शाया जा सकता है $p$ -एडीआईसी पूर्णांक, इसके सामान्यीकृत द्वारा दर्शाया गया $p$ -अर्थात, श्रृंखला, यह मॉड्यूल से मेल खाती है $p^{n}$ इसके आंशिक योग के साथ ${\textstyle \sum _{i=0}^{n-1}a_{i}p^{i},}$ जिसका मान अंतराल में एक पूर्णांक है $[0,p^{n}-1].$ एक सीधे सत्यापन से पता चलता है कि यह एक वलय समरूपता को परिभाषित करता है $\mathbb {Z} _{p}/p^{n}\mathbb {Z} _{p}$ को $\mathbb {Z} /p^{n}\mathbb {Z} .$ छल्लों की व्युत्क्रम सीमा $\mathbb {Z} _{p}/p^{n}\mathbb {Z} _{p}$ अनुक्रमों द्वारा निर्मित वलय के रूप में परिभाषित किया गया है $a_{0},a_{1},\ldots$ ऐसा है कि $a_{i}\in \mathbb {Z} /p^{i}\mathbb {Z}$ और ${\textstyle a_{i}\equiv a_{i+1}{\pmod {p^{i}}}}$ हरएक के लिए $i$ .

मैपिंग जो सामान्यीकृत मैप करती है $p$ -इसके आंशिक योगों के अनुक्रम के लिए एडिक श्रृंखला एक वलय समरूपता है $\mathbb {Z} _{p}$ की व्युत्क्रम सीमा तक $\mathbb {Z} _{p}/p^{n}\mathbb {Z} _{p}.$ यह परिभाषित करने का एक और तरीका प्रदान करता है $p$ -एडिक पूर्णांक (एक समरूपता तक)।

की यह परिभाषा $p$ -एडीआईसी पूर्णांक भवन निर्माण की अनुमति के रूप में व्यावहारिक गणना के लिए विशेष रूप से उपयोगी है $p$ -क्रमिक सन्निकटन द्वारा विशेष पूर्णांक।

उदाहरण के लिए, की गणना के लिए $p$ -एक पूर्णांक का व्युत्क्रम (गुणात्मक), कोई न्यूटन की विधि का उपयोग कर सकता है, व्युत्क्रम मॉड्यूलो से शुरू करके $p$ ; फिर, प्रत्येक न्यूटन चरण व्युत्क्रम मॉड्यूलो की गणना करता है ${\textstyle p^{n^{2}}}$ व्युत्क्रम मॉड्यूलो से ${\textstyle p^{n}.}$ की गणना के लिए उसी विधि का उपयोग किया जा सकता है $p$ -एक पूर्णांक का एडिक वर्गमूल जो एक द्विघात अवशेष मॉड्यूलो है $p$ . यह परीक्षण करने के लिए सबसे तेज़ ज्ञात विधि प्रतीत होती है कि क्या एक बड़ा पूर्णांक एक वर्ग है: यह परीक्षण करने के लिए पर्याप्त है कि क्या दिया गया पूर्णांक इसमें पाए गए मान का वर्ग है $\mathbb {Z} _{p}/p^{n}\mathbb {Z} _{p}$ . वर्गमूल ज्ञात करने के लिए न्यूटन की विधि को लागू करना आवश्यक है ${\textstyle p^{n}}$ दिए गए पूर्णांक के दोगुने से बड़ा होना, जो शीघ्र ही संतुष्ट हो जाता है।

हेंसल उत्थान एक ऐसी ही विधि है जो फ़ैक्टराइज़ेशन मॉड्यूलो को उठाने की अनुमति देती है $p$ एक गुणनखंड मॉड्यूलो के लिए पूर्णांक गुणांक वाले बहुपद का ${\textstyle p^{n}}$ के बड़े मूल्यों के लिए $n$ . यह सामान्यतः बहुपद गुणनखंडन एल्गोरिदम द्वारा उपयोग किया जाता है।

संकेतन पद्धति

लेखन के लिए कई अलग-अलग परंपराएँ हैं $p$ -एडिक विस्तार. अब तक इस लेख में एक संकेतन का उपयोग किया गया है $p$ -एडिक विस्तार जिसमें का घातांक $p$ दाएँ से बाएँ की ओर वृद्धि करता है। इस दाएं-से-बाएं संकेतन के साथ 3-एडिक विस्तार 1⁄5, उदाहरण के लिए, इस प्रकार लिखा जाता है

{\dfrac {1}{5}}=\dots 121012102_{3}.

इस अंकन में अंकगणित करते समय, अंकों को बाईं ओर ले जाया जाता है (अंकगणित)। लिखना भी संभव है $p$ -एडिक विस्तार ताकि की शक्तियां $p$ बाएँ से दाएँ बढ़ता है, और अंक दाएँ ओर ले जाए जाते हैं। इस बाएँ से दाएँ संकेतन के साथ 3-एडिक विस्तार 1⁄5 है

{\dfrac {1}{5}}=2.01210121\dots _{3}{\mbox{ or }}{\dfrac {1}{15}}=20.1210121\dots _{3}.

$p$ -एडिक विस्तारों को {0, 1, ... के बजाय हस्ताक्षरित-अंकीय प्रतिनिधित्व के साथ लिखा जा सकता है। $p - 1$ }. उदाहरण के लिए, का 3-एडिक विस्तार ¹/₅ संतुलित टर्नरी अंक {1,0,1} का उपयोग करके लिखा जा सकता है

{\dfrac {1}{5}}=\dots {\underline {1}}11{\underline {11}}11{\underline {11}}11{\underline {1}}_{\text{3}}.

वास्तव में कोई भी सेट $p$ पूर्णांक जो अलग-अलग अवशेष वर्ग मॉड्यूलो में हैं $p$ के रूप में उपयोग किया जा सकता है $p$ -एडिक अंक. संख्या सिद्धांत में, टेइचमुलर प्रतिनिधियों को कभी-कभी अंकों के रूप में उपयोग किया जाता है।^[3]

Quote notation का एक प्रकार है $p$ -परिमेय संख्याओं का विशिष्ट प्रतिनिधित्व जिसे 1979 में एरिक हेहनर और निगेल हॉर्सपूल द्वारा कंप्यूटर पर इन संख्याओं के साथ अंकगणित लागू करने के लिए प्रस्तावित किया गया था।^[4]

गणनांक

दोनों $\mathbb {Z} _{p}$ और $\mathbb {Q} _{p}$ अपरिमित समुच्चय हैं और सातत्य की प्रमुखता रखते हैं।^[5] के लिए $\mathbb {Z} _{p},$ इसका परिणाम यह है $p$ -एडिक प्रतिनिधित्व, जो एक आपत्ति को परिभाषित करता है $\mathbb {Z} _{p}$ सत्ता स्थापित पर $\{0,\ldots ,p-1\}^{\mathbb {N} }.$ के लिए $\mathbb {Q} _{p}$ यह इसकी प्रतियों की गिनती योग्य अनंत संघ के रूप में अभिव्यक्ति का परिणाम $\mathbb {Z} _{p}$ है :

\mathbb {Q} _{p}=\bigcup _{i=0}^{\infty }{\frac {1}{p^{i}}}\mathbb {Z} _{p}.

बीजगणितीय समापन

$Q p$ $Q$ के बीजगणितीय विशेषता का एक क्षेत्र है।

क्योंकि $0$ को वर्गों के योग के रूप में लिखा जा सकता है,^[6] $Q p$ को क्रमित किए गए क्षेत्र में नहीं बदला जा सकता है?

$R$ में केवल एक ही उचित बीजगणितीय विस्तार है: $C$ ; दूसरे शब्दों में, यह द्विघात विस्तार पहले से ही बीजगणितीय रूप से बंद क्षेत्र है। इसके विपरीत, बीजगणितीय समापन $Q p$ , निरूपित ${\overline {\mathbf {Q} _{p}}},$ अनंत क्रम है,^[7] वह है, $Q p$ में अपरिमित रूप से कई असमान बीजगणितीय विस्तार हैं। वास्तविक संख्याओं के मामले में भी विरोधाभास, यद्यपि इसका एक अनूठा विस्तार है $p$ -एडिक वैल्यूएशन ${\overline {\mathbf {Q} _{p}}},$ उत्तरार्द्ध (मीट्रिक रूप से) पूर्ण नहीं है।^[8]^[9] इसकी पूर्णता कहलाती है $C p$ या $Ω p$ .^[9]^[10] यहाँ एक अंत आ गया है, जैसे $C p$ बीजगणितीय रूप से बंद है।^[9]^[11] यद्यपि विपरीत $C$ यह क्षेत्र स्थानीय रूप से सघन नहीं है.^[10]

$C p$ और $C$ छल्ले के रूप में समरूपी हैं, इसलिए हम मान सकते हैं $C p$ जैसा $C$ एक विदेशी मीट्रिक से संपन्न। ऐसे क्षेत्र समरूपता के अस्तित्व का प्रमाण पसंद के सिद्धांत पर निर्भर करता है, और इस तरह के समरूपता का एक स्पष्ट उदाहरण प्रदान नहीं करता है (अर्थात, यह रचनात्मक प्रमाण नहीं है)।

यदि $K$ का एक सीमित गैलोज़ विस्तार है $Q p$ , गैलोज़ समूह $\operatorname {Gal} \left(\mathbf {K} /\mathbf {Q} _{p}\right)$ हल करने योग्य समूह है. इस प्रकार, गैलोज़ समूह $\operatorname {Gal} \left({\overline {\mathbf {Q} _{p}}}/\mathbf {Q} _{p}\right)$ समाधानयोग्य है।

गुणक समूह

$Q p$ $n$ -वें साइक्लोटोमिक क्षेत्र ( $n > 2$ ) मे तभी सम्मिलित है यदि और केवल यदि $n | p - 1$ .^[12] उदाहरण के लिए, $n$ -वें साइक्लोटोमिक क्षेत्र का एक उपक्षेत्र है $Q 13$ यदि और केवल यदि $n = 1, 2, 3, 4, 6$ , या $12$ . विशेषकर, कोई गुणक नहीं है $p$ -मरोड़ (बीजगणित) में $Q p$ , यदि $p > 2$ . भी, $-1$ एकमात्र गैर-तुच्छ घूर्णन तत्व $Q 2$ है।

एक प्राकृतिक संख्या दी गई है $k$ , के गुणक समूह का सूचकांक $k$ -के गैर-शून्य तत्वों की शक्तियां $Q p$ में $\mathbf {Q} _{p}^{\times }$ परिमित है.

जो संख्या $e$ , जिसे कारख़ाने का के व्युत्क्रम के योग के रूप में परिभाषित किया गया है, किसी का सदस्य नहीं है $p$ -एडिक क्षेत्र; परंतु $e p \in Q p (p \neq 2)$ . के लिए $p = 2$ कम से कम चौथी शक्ति अवश्य लेनी चाहिए।^[13]

स्थानीय-वैश्विक सिद्धांत

हेल्मुट हस्से का स्थानीय-वैश्विक सिद्धांत एक समीकरण के लिए मान्य माना जाता है यदि इसे परिमेय संख्याओं पर हल किया जा सकता है और केवल तभी जब इसे वास्तविक संख्याओं और परिमेय संख्याओं पर हल किया जा सकता है। $p$ -प्रत्येक अभाज्य के लिए विशेष संख्याएँ $p$ . यह सिद्धांत, उदाहरण के लिए, द्विघात रूप द्वारा दिए गए समीकरणों के लिए लागू होता है, परंतु कई अनिश्चितताओं में उच्च बहुपदों के लिए विफल रहता है।

हेंसल उत्थान के साथ परिमेय अंकगणित

सामान्यीकरण और संबंधित अवधारणाएँ

वास्तविक और $p$ -एडिक संख्याएँ परिमेय की पूर्णताएँ हैं; अन्य क्षेत्रों, उदाहरण के लिए सामान्य बीजगणितीय संख्या क्षेत्र, को समान तरीके से पूरा करना भी संभव है। इसका वर्णन अब किया जायेगा।

मान लीजिए कि D एक डेडेकाइंड डोमेन है और E इसके भिन्नों का क्षेत्र है। D का एक गैर-शून्य अभाज्य आदर्श P चुनें। यदि x, E का एक गैर-शून्य तत्व है, तो xD एक भिन्नात्मक आदर्श है और इसे D के गैर-शून्य अभाज्य आदर्शों की सकारात्मक और नकारात्मक शक्तियों के उत्पाद के रूप में विशिष्ट रूप से गुणनखंडित किया जा सकता है। हम इस गुणांकन की संख्या विधि में P के घात को ord_P(x) लिखते हैं, और किसी भी ऐसे संख्या c के लिए जो 1 से अधिक हो, हम उसे समायोजित कर सकते हैं।

|x|_{P}=c^{-\!\operatorname {ord} _{P}(x)}.

इस निरपेक्ष मान |⋅|_P के संबंध में पूर्णता करने से E_P एक क्षेत्र प्राप्त होता है, जो इस परिस्थिति में p-ऐडिक संख्याओं के क्षेत्र का समानुपातिक विस्तार है। c का चयन पूर्णता को प्रभावित नहीं करता है (भिन्न चयनों से समान Cauchy अनुक्रम की संभावना होती है, इसलिए समान पूर्णता मिलती है)। यह सुविधाजनक होता है, जब बची हुआ क्षेत्र D/P परिमित हो, तो c को D/P का आकार लेने में सुविधा होती है।

उदाहरण के रूप में, जब E एक अंक क्षेत्र होता है, तो ओस्ट्रोवस्की का सिद्धांत कहता है कि E पर हर एक गैर-फ़ीरक गैर-आर्किमीडीयन निरपेक्ष मान को किसी |⋅|_P के रूप में प्राप्त होता है। E पर शेष गैर-फ़ीरक निरपेक्ष मान E के भिन्न-भिन्न प्रवेशों से वास्तविक या जटिल संख्याओं में से उत्पन्न होते हैं। वास्तव में, गैर-आर्किमीडीयन निरपेक्ष मान को सामान्यतः सदिश C_p में E के अलग-अलग प्रवेशों के रूप में माना जा सकता है, इस प्रकार एक अंक क्षेत्र के सभी गैर-फ़ीरक निरपेक्ष मानों की विवरणिका को एक सामान्य मूल्यांकन में रखता है।

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

p-ऐडिक पूर्णांकों को p-ऐडिक सोलेनोइड $\mathbb {T} _{p}$ तक विस्तारित किया जा सकता है। $\mathbb {T} _{p}$ से वृत्त समूह तक एक अवलोकन के साथ एक मानचित्रण होता है, जिसके मूल p-ऐडिक पूर्णांक $\mathbb {Z} _{p}$ होते हैं, उसी तरह जैसे वृत्त से एक मानचित्रण होता है जिसके मूल $\mathbb {Z}$ होते हैं।

यह भी देखें

फ़ुटनोट

उद्धरण

↑ (Gouvêa 1994, pp. 203–222)
↑ (Hensel 1897)
↑ (Hazewinkel 2009, p. 342)
↑ (Hehner & Horspool 1979, pp. 124–134)
↑ (Robert 2000, Chapter 1 Section 1.1)
↑ According to Hensel's lemma $Q 2$ contains a square root of $-7$ , so that $2^{2}+1^{2}+1^{2}+1^{2}+\left({\sqrt {-7}}\right)^{2}=0,$ and if $p > 2$ then also by Hensel's lemma $Q p$ contains a square root of $1 - p$ , thus $(p-1)\times 1^{2}+\left({\sqrt {1-p}}\right)^{2}=0.$
↑ (Gouvêa 1997, Corollary 5.3.10)
↑ (Gouvêa 1997, Theorem 5.7.4)
↑ ^9.0 ^9.1 ^9.2 (Cassels 1986, p. 149)
↑ ^10.0 ^10.1 (Koblitz 1980, p. 13)
↑ (Gouvêa 1997, Proposition 5.7.8)
↑ (Gouvêa 1997, Proposition 3.4.2)
↑ (Robert 2000, Section 4.1)

संदर्भ

Cassels, J. W. S. (1986), Local Fields, London Mathematical Society Student Texts, vol. 3, Cambridge University Press, ISBN 0-521-31525-5, Zbl 0595.12006
Dedekind, Richard; Weber, Heinrich (2012), Theory of Algebraic Functions of One Variable, History of mathematics, vol. 39, American Mathematical Society, ISBN 978-0-8218-8330-3. — Translation into English by John Stillwell of Theorie der algebraischen Functionen einer Veränderlichen (1882).
Gouvêa, F. Q. (March 1994), "A Marvelous Proof", American Mathematical Monthly, 101 (3): 203–222, doi:10.2307/2975598, JSTOR 2975598
Gouvêa, Fernando Q. (1997), p-adic Numbers: An Introduction (2nd ed.), Springer, ISBN 3-540-62911-4, Zbl 0874.11002
Hazewinkel, M., ed. (2009), Handbook of Algebra, vol. 6, North Holland, p. 342, ISBN 978-0-444-53257-2
Hehner, Eric C. R.; Horspool, R. Nigel (1979), "A new representation of the rational numbers for fast easy arithmetic", SIAM Journal on Computing, 8 (2): 124–134, CiteSeerX 10.1.1.64.7714, doi:10.1137/0208011
Hensel, Kurt (1897), "Über eine neue Begründung der Theorie der algebraischen Zahlen", Jahresbericht der Deutschen Mathematiker-Vereinigung, 6 (3): 83–88
Kelley, John L. (2008) [1955], General Topology, New York: Ishi Press, ISBN 978-0-923891-55-8
Koblitz, Neal (1980), p-adic analysis: a short course on recent work, London Mathematical Society Lecture Note Series, vol. 46, Cambridge University Press, ISBN 0-521-28060-5, Zbl 0439.12011
Robert, Alain M. (2000), A Course in p-adic Analysis, Springer, ISBN 0-387-98669-3

अग्रिम पठन

Bachman, George (1964), Introduction to p-adic Numbers and Valuation Theory, Academic Press, ISBN 0-12-070268-1
Borevich, Z. I.; Shafarevich, I. R. (1986), Number Theory, Pure and Applied Mathematics, vol. 20, Boston, MA: Academic Press, ISBN 978-0-12-117851-2, MR 0195803
Koblitz, Neal (1984), p-adic Numbers, p-adic Analysis, and Zeta-Functions, Graduate Texts in Mathematics, vol. 58 (2nd ed.), Springer, ISBN 0-387-96017-1
Mahler, Kurt (1981), p-adic numbers and their functions, Cambridge Tracts in Mathematics, vol. 76 (2nd ed.), Cambridge: Cambridge University Press, ISBN 0-521-23102-7, Zbl 0444.12013
Steen, Lynn Arthur (1978), Counterexamples in Topology, Dover, ISBN 0-486-68735-X

बाहरी संबंध

[3] Translator's introduction, page 35: "Indeed, with hindsight it becomes apparent that a discrete valuation is behind Kummer's concept of ideal numbers."(Dedekind & Weber 2012, p. 35)

[1] (Gouvêa 1994, pp. 203–222)

[2] (Hensel 1897)

[4] (Hazewinkel 2009, p. 342)

[5] (Hehner & Horspool 1979, pp. 124–134)

[6] (Robert 2000, Chapter 1 Section 1.1)

[7] According to Hensel's lemma $Q 2$ contains a square root of $-7$ , so that $2^{2}+1^{2}+1^{2}+1^{2}+\left({\sqrt {-7}}\right)^{2}=0,$ and if $p > 2$ then also by Hensel's lemma $Q p$ contains a square root of $1 - p$ , thus $(p-1)\times 1^{2}+\left({\sqrt {1-p}}\right)^{2}=0.$

[8] (Gouvêa 1997, Corollary 5.3.10)

[9] (Gouvêa 1997, Theorem 5.7.4)

[C149-10] 9.0 ^9.1 ^9.2 (Cassels 1986, p. 149)

[K13-11] 10.0 ^10.1 (Koblitz 1980, p. 13)

[12] (Gouvêa 1997, Proposition 5.7.8)

[13] (Gouvêa 1997, Proposition 3.4.2)

[14] (Robert 2000, Section 4.1)

[1]

[2]

[note 1]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

v t e संख्या प्रणाली
गणना योग्य सेट	प्राकृतिक संख्या ( $\mathbb {N}$ ) पूर्णांक ( $\mathbb {Z}$ ) तर्कसंगत संख्या ( $\mathbb {Q}$ ) निर्माण योग्य संख्या बीजगणितीय संख्या ( $\mathbb {A}$ ) अवधि कम्प्यूटेबल नंबर अंकगणितीय संख्या सेट-सिद्धांत रूप से निश्चित संख्या गाऊसी पूर्णांक
रचना बीजगणित	विभाजन बीजगणित: वास्तविक संख्या ( $\mathbb {R}$ ) जटिल संख्या ( $\mathbb {C}$ ) चतुर्भुज ( $\mathbb {H}$ ) ऑक्टोनियन ( $\mathbb {O}$ )
विभाजित करना प्रकार	ऊपर $\mathbb {R}$ : स्प्लिट-कॉम्प्लेक्स नंबर स्प्लिट-क्वैटरन स्प्लिट-फैक्टियन ऊपर $\mathbb {C}$ : $\mathbb {C}$ : BICOMPLEX नंबर Biquaternion Bioctonion
अन्य हाइपरकम्प्लेक्स	दोहरी संख्या दोहरी चतुर्भुज दोहरी-कॉम्प्लेक्स नंबर हाइपरबोलिक चतुर्भुज सेडेनियन ( $\mathbb {S}$ ) स्प्लिट-ब्यूकटरन मल्टीकोम्प्लेक्स नंबर ज्यामितीय बीजगणित/क्लिफोर्ड बीजगणित भौतिक अंतरिक्ष का बीजगणित स्पेसटाइम बीजगणित
अन्य प्रकार	बुनियादी संख्या विस्तारित प्राकृतिक संख्या अपरिमेय संख्या फजी नंबर हाइपरियल नंबर लेवी-सिविटा फील्ड असली संख्या ट्रांसेंडेंटल नंबर क्रमसूचक संख्या [[पी-एडिक नंबर \|p-adicसंख्या]]p-adicसोलेनोइड्स]] अलौकिक संख्या सुपररेल नंबर सामान्य संख्या बंद-फॉर्म नंबर
वर्गीकरण सूची

Anonymous

Search

P-एडिक संख्या: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 21:07, 15 July 2023

Contents

परिमेय संख्याओं का पी-एडिक विस्तार

उदाहरण

पी-एडिक श्रृंखला

स्थितीय संकेतन

परिभाषा

p-एडिक पूर्णांक

संस्थानिक गुण

मॉड्यूलर गुण

संकेतन पद्धति

गणनांक

बीजगणितीय समापन

गुणक समूह

स्थानीय-वैश्विक सिद्धांत

हेंसल उत्थान के साथ परिमेय अंकगणित

सामान्यीकरण और संबंधित अवधारणाएँ

यह भी देखें

फ़ुटनोट

टिप्पणियाँ

उद्धरण

संदर्भ

अग्रिम पठन

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

@@ Line 1: / Line 1: @@
 {{short description|Number system for a prime p which extends the rationals, defining closeness differently}}
 {{DISPLAYTITLE:''p''-adic number}}
-[[Image:3-adic integers with dual colorings.svg|thumb|3-एडिक पूर्णांक, उनके पोंट्रीगिन दोहरे समूह पर चयनित संगत वर्णों के साथ]]गणित में,{{mvar|p}}-किसी भी [[अभाज्य संख्या]] के लिए आदिक संख्या प्रणाली{{mvar|p}} परिमेय संख्याओं के सामान्य [[अंकगणित]] को परिमेय [[संख्या प्रणाली]] के विस्तार से भिन्न तरीके से [[वास्तविक संख्या]] और सम्मिश्र संख्या संख्या प्रणालियों तक विस्तारित करता है। विस्तार निकटता या पूर्ण मूल्य की अवधारणा की वैकल्पिक व्याख्या द्वारा प्राप्त किया जाता है। विशेष रूप से, दो {{mvar|p}}-आदिक संख्याओं को तब निकट माना जाता है जब उनका अंतर उच्च [[घातांक]] द्वारा वि[[भाज्य]] होता है {{mvar|p}}: शक्ति जितनी अधिक होगी, वे उतने ही करीब होंगे। यह संपत्ति सक्षम बनाती है {{mvar|p}}-एडिक नंबर [[मॉड्यूलर अंकगणित]]ीय जानकारी को इस तरह से एन्कोड करने के लिए कि [[संख्या सिद्धांत]] में शक्तिशाली अनुप्रयोग हो - उदाहरण के लिए, [[एंड्रयू विल्स]] द्वारा फ़र्मेट के अंतिम प्रमेय के विल्स के प्रमाण में।<ref>{{Harv|Gouvêa|1994|pp=203–222}}</ref>
+[[Image:3-adic integers with dual colorings.svg|thumb|3-एडिक पूर्णांक, उनके पोंट्रीगिन दोहरे समूह पर चयनित संगत वर्णों के साथ]]गणित में, किसी भी [[अभाज्य संख्या]] {{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}}-एडिक विश्लेषण अनिवार्य रूप से [[ गणना ]] का एक वैकल्पिक रूप प्रदान करता है।
+इन संख्याओं का वर्णन, सबसे पहले 1897 में कर्ट हेन्सल द्वारा किया गया था,<ref>{{Harv|Hensel|1897}}</ref> यद्यपि, पीछे से देखने पर, अर्न्स्ट कुमेर के पहले के कुछ प्रयोगों की व्याख्या पी-एडिक संख्याओं का उपयोग करके की जा सकती है।<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>
-{{Ring theory sidebar}}
+पी-एडिक संख्याएँ मुख्य रूप से घातांक श्रृंखला विधियों के विचारों और तकनीकों को संख्या सिद्धांत में लाने के प्रयास से प्रेरित थीं। उनका प्रभाव अब इससे भी कहीं आगे तक प्रसारित हो गया है। उदाहरण के लिए, पी-एडिक विश्लेषण का क्षेत्र अनिवार्य रूप से [[ गणना |गणना]] के लिए एक वैकल्पिक रूप प्रदान करता है।{{Ring theory sidebar}}
-अधिक औपचारिक रूप से, किसी दिए गए प्राइम के लिए{{mvar|p}}, क्षेत्र (गणित) {{math|'''Q'''<sub>''p''</sub>}} का {{mvar|p}}-आदिक संख्याएँ परिमेय संख्याओं का एक पूर्ण स्थान है। फील्ड {{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}}-एडिक, [[डायडिक अंश]] या ट्रायडिक संबंध जैसे शब्दों में पाए जाने वाले अंत से आता है।
+अधिक औपचारिक रूप से, किसी दिए गए अभाज्य संख्या {{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}} एक चर है और इसे अभाज्य (उदाहरण के लिए, 2-एडिक संख्याएँ उत्पन्न करने वाला) या अभाज्य संख्या का प्रतिनिधित्व करने वाले किसी अन्य [[अभिव्यक्ति (गणित)|व्यंजकों]] से प्रतिस्थापित किया जा सकता है। {{mvar|p}}-एडिक का एडिक [[डायडिक अंश|डायडिक]] या ट्रायडिक जैसे शब्दों में पाए जाने वाले एडिक अंत से प्राप्त होता है।
-== तर्कसंगत संख्याओं का पी-एडिक विस्तार ==
+== परिमेय संख्याओं का पी-एडिक विस्तार ==
-एक धनात्मक परिमेय संख्या का [[दशमलव विस्तार]] <math>r</math> एक श्रृंखला के रूप में इसका प्रतिनिधित्व है (गणित)
+किसी धनात्मक परिमेय संख्या <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> है{{mvar|p}}-आदिक मूल्यांकन <math>r</math>, निरूपित <math>v_p(r),</math> और <math>p^{-k}</math> क्या ऐसी बात है{{mvar|p}}-आदिक निरपेक्ष मान, निरूपित <math>|r|_p</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>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> द्वारा निरूपित किया जाता है। विभाजन चरण में
-:{{anchor|division_step}}<math>r = a\,p^k + r'</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>p</math>वें>-आदिक विस्तार <math>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>
+क्रमिक शेषफलों पर विभाजन चरण को अनिश्चित काल तक पुनरावर्तित कर प्राप्त किया जाता है। {{mvar|p}}-एडिक विस्तार में सभी <math>a_i</math> ऐसे पूर्णांक हैं जहाँ <math>0\le a_i <p</math> है।
-अगर <math>r=p^k \tfrac n 1</math> साथ <math>n > 0</math>, प्रक्रिया अंततः शून्य शेष के साथ रुक जाती है; इस मामले में, श्रृंखला शून्य गुणांक वाले अनुवर्ती पदों द्वारा पूरी की जाती है, और इसका प्रतिनिधित्व है <math>r</math> आधार-एन|आधार में-{{mvar|p}}.
+यदि <math>r=p^k \tfrac n 1</math> साथ <math>n > 0</math>, प्रक्रिया अंततः शून्य शेष के साथ रुक जाती है; इस विषय में, श्रृंखला शून्य गुणांक वाले अनुवर्ती पदों द्वारा पूरी की जाती है, और इसका प्रतिनिधित्व <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,</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>n t</math> द्वारा <math>p</math> देता है
+पुनः, [[यूक्लिडियन प्रभाग]] <math>n t</math> द्वारा <math>p</math> उत्पन्न करता है
 :<math>n t=q p+a,</math>
-साथ <math>0\le a <p.</math>
+साथ ही  <math>0\le a <p.</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> प्राप्त होती है।
-:<math>r' = p^{k+1}\,\frac{q d+u n} d</math>
-नई परिमेय संख्या है.
+भाग और पूर्ण पदांक निर्धारण के अद्वितीयता को सिद्ध करना सरल है: यदि <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}}-एडिक विस्तार आसान है: यदि <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>
+किसी परिमित संख्या का p-ऐडिक विस्तार वह श्रृंखला होती है जो p-ऐडिक अवशेष मान के साथ एक संघात श्रृंखला की परिभाषा को लागू करने पर उस परिमित संख्या से संबंधित होती है।
- {{mvar|p}|p}}-एक परिमेय संख्या का विशेष विस्तार एक श्रृंखला है जो परिमेय संख्या में परिवर्तित हो जाती है, यदि कोई [[अभिसरण श्रृंखला]] की परिभाषा को लागू करता है {{mvar|p}}-आदिक निरपेक्ष मान.
+सामान्य {{mvar|p}}-ऐडिक टिपण्णी में, अंकों को एक सामान्य आधार-{{mvar|p}} प्रणाली के समान क्रम अर्थात आधार के घातों को बाएं ओर बढ़ाते हुए लिखा जाता है। इसका तात्पर्य है कि अंकों का उत्पादन उल्टा होता है और सीमा बाएं हाथ की ओर होती है। एक परिमेय संख्या का {{mvar|p}}-ऐडिक विस्तार अंततः [[आवृत्ति फलक|आवृत्ति-समीकरण]] होता है। [[प्रतिरोध (तार्किक)|प्रतिरोधता]] रूप में, एक श्रृंखला <math display=inline>\sum_{i=k}^\infty a_i p^i,</math> जहां <math>0\le a_i <p</math> है, ({{mvar|p}}-ऐडिक वास्तविक मान के लिए) एक परिमेय संख्या पर संपर्क करती है [[अगर और केवल अगर]] इसके अंत में आवृत्ति होती है; इस परिप्रेक्ष्य में, श्रृंखला उस परिमेय संख्या का {{mvar|p}}-ऐडिक विस्तार होती है। इसका [[गणितीय सिद्धांत|सिद्धांत]] [[दोहराने दशमलव|दोहराने दशमलवों]] के लिए समान परिणाम के लिए विशेष रूप से है।
-मानक में {{mvar|p}}-एडिक नोटेशन, अंक उसी क्रम में लिखे जाते हैं जैसे पोजिशनल नोटेशन#अंक प्रणाली का आधार|मानक आधार-{{mvar|p}} प्रणाली, अर्थात् आधार की शक्तियाँ बाईं ओर बढ़ने के साथ। इसका मतलब यह है कि अंकों का उत्पादन उलट जाता है और सीमा बाईं ओर होती है। वह {{mvar|p}}-किसी परिमेय संख्या का आदिक विस्तार अंततः आवर्ती फलन होता है। वार्तालाप (तर्क), एक शृंखला <math display=inline>\sum_{i=k}^\infty a_i p^i,</math> साथ <math>0\le a_i <p</math> अभिसरण (के लिए) {{mvar|p}}-एडिक निरपेक्ष मान) एक तर्कसंगत संख्या के लिए यदि और केवल यदि यह अंततः आवधिक है; इस मामले में, श्रृंखला है {{mvar|p}}-उस परिमेय संख्या का आदिक विस्तार। [[गणितीय प्रमाण]] दशमलव को दोहराने के समान परिणाम के समान है।
 ===उदाहरण===
-आइए हम 5-एडिक विस्तार की गणना करें <math>\frac 13.</math> 5 और हर 3 के लिए बेज़ाउट की पहचान है <math>2\cdot 3 + (-1)\cdot 5 =1</math> (बड़े उदाहरणों के लिए, इसकी गणना विस्तारित यूक्लिडियन एल्गोरिदम के साथ की जा सकती है)। इस प्रकार
+हम <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>-1/3</math> को "विभाजित" करना है (गुणन <math>\frac{5}{3}</math> को भिन्नता के रूप में देखा जाना चाहिए और इसलिए इसे "विभाजन" में सम्मिलित नहीं किया जाता है)। बेज़आउट समीकरण को इससे गुणा करने पर <math>-1</math> प्राप्त होता है
 :<math>-\frac 13=-2+\frac 53.</math>
-पूर्णांक भाग <math>-2</math> सही अंतराल में नहीं है. तो, किसी को यूक्लिडियन डिवीजन का उपयोग करना होगा <math>5</math> पाने के लिए <math>-2= 3-1\cdot 5,</math> दे रही है
+पूर्णांक भाग <math>-2</math> सही अंतराल में नहीं है. तो, हमे  <math>5</math> प्राप्त करने के लिए यूक्लिडियन विभाजन का उपयोग करना होगा <math>-2= 3-1\cdot 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> समता (गणित) शक्तियों के लिए।
+शेष के रूप में <math>-\tfrac 13</math> पहले ही प्राप्त किया जा चुका है, गुणांक देकर प्रक्रिया <math>3</math> पाँच की [[समता]] घातांकों के लिए, और <math>1</math> समता घातांकों के लिए समीकरण को सरलता से जारी रखा जा सकता है।
-या मानक 5-एडिक नोटेशन में
+या मानक 5-एडिक लेखन में
 :<math>\frac 13= \ldots 1313132_5 </math>
-[[अंडाकार]] के साथ <math> \ldots </math> बाएं हाथ की ओर।
+[[अंडाकार|पदन्यूनता]] के साथ <math> \ldots </math> बाई ओर प्रदर्शित किया गया है।
 ==पी-एडिक श्रृंखला==
-इस लेख में एक अभाज्य संख्या दी गयी है {{mvar|p}}, ए{{mvar|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}}.
+जहां हर शून्येतर  <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>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}}-एडिक श्रृंखला सामान्यीकृत होती है यदि प्रत्येक <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|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>p^k\tfrac ab,</math> साथ <math>k>n,</math> और {{mvar|a}} और {{mvar|b}} दोनों सहअभाज्य हैं {{mvar|p}}).
+से बड़ा ऑर्डर है {{mvar|n}} (अर्थात्, रूप की एक परिमेय संख्या है <math>p^k\tfrac ab,</math> साथ <math>k>n,</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}}-एडिक श्रृंखला <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> किसी के पास
+श्रृंखला (जोड़, घटाव, गुणा, भाग) मानचित्र की सामान्य संक्रियाएँ {{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,\\
@@ Line 82: / Line 97: @@
 === [[स्थितीय संकेतन]] ===
-[[मूलांक]] में संख्याओं को दर्शाने के लिए उपयोग किए जाने वाले स्थिति संकेतन के समान उपयोग करना संभव है {{mvar|p}}.
+[[मूलांक]] में संख्याओं को दर्शाने के लिए उपयोग किए जाने वाले स्थिति संकेतन के समान उपयोग करना संभव है {{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>a_i=0</math> के लिए <math>0\le i <k</math> (अगर <math>k>0</math>), और परिणामी शून्य पदों को श्रृंखला में जोड़ना।
+होने देना <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>a_i=0</math> के लिए <math>0\le i <k</math> (यदि <math>k>0</math>), और परिणामी शून्य पदों को श्रृंखला में जोड़ना।
-अगर <math>k\ge 0,</math> स्थितीय संकेतन में लिखना शामिल है <math>a_i</math> लगातार, के घटते मूल्यों द्वारा क्रमबद्ध {{mvar|i}}, अक्सर साथ {{mvar|p}} एक सूचकांक के रूप में दाईं ओर दिखाई दे रहा है:
+यदि <math>k\ge 0,</math> स्थितीय संकेतन में लिखना सम्मिलित है <math>a_i</math> लगातार, के घटते मूल्यों द्वारा क्रमबद्ध {{mvar|i}}, अक्सर साथ {{mvar|p}} एक सूचकांक के रूप में दाईं ओर दिखाई दे रहा है:
 :<math>\ldots a_n \ldots a_1{a_0}_p</math>
-तो, #example की गणना यह दर्शाती है
+तो,  की गणना यह दर्शाती है
 :<math>\frac 13= \ldots 1313132_5,</math>
 और
@@ Line 96: / Line 111: @@
 और
 :<math>\frac 1{75}= \ldots 1313131._532.</math>
-यदि एक {{mvar|p}}-आदिक निरूपण बाईं ओर परिमित है (अर्थात्, <math>a_i=0</math> के बड़े मूल्यों के लिए {{mvar|i}}), तो इसमें प्रपत्र की एक गैर-ऋणात्मक परिमेय संख्या का मान होता है <math>n p^v,</math> साथ <math>n,v</math> पूर्णांक ये परिमेय संख्याएँ बिल्कुल गैर-ऋणात्मक परिमेय संख्याएँ हैं जिनका मूलांक में एक सीमित प्रतिनिधित्व होता है {{mvar|p}}. इन परिमेय संख्याओं के लिए, दोनों निरूपण समान हैं।
+यदि एक {{mvar|p}}-एडिक निरूपण बाईं ओर परिमित है (अर्थात्, <math>a_i=0</math> के बड़े मूल्यों के लिए {{mvar|i}}), तो इसमें प्रपत्र की एक गैर-ऋणात्मक परिमेय संख्या का मान होता है <math>n p^v,</math> साथ <math>n,v</math> पूर्णांक ये परिमेय संख्याएँ बिल्कुल गैर-ऋणात्मक परिमेय संख्याएँ हैं जिनका मूलांक में एक सीमित प्रतिनिधित्व होता है {{mvar|p}}. इन परिमेय संख्याओं के लिए, दोनों निरूपण समान हैं।
 == परिभाषा ==
-की कई समतुल्य परिभाषाएँ हैं {{mvar|p}}-एडिक नंबर. जो यहां दिया गया है वह अपेक्षाकृत प्राथमिक है, क्योंकि इसमें पिछले अनुभागों में प्रस्तुत की गई गणितीय अवधारणाओं के अलावा कोई अन्य गणितीय अवधारणा शामिल नहीं है। अन्य समकक्ष परिभाषाएँ एक अलग मूल्यांकन रिंग की रिंग के पूरा होने का उपयोग करती हैं (देखें)। {{slink||''p''-adic integers}}), [[एक मीट्रिक स्थान का पूरा होना]] (देखें {{slink||Topological properties}}), या व्युत्क्रम सीमाएँ (देखें {{slink||Modular properties}}).
+की कई समतुल्य परिभाषाएँ हैं {{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}}-एडिक संख्या, प्रत्येक के बाद से {{mvar|p}}-एडिक श्रृंखला एक अद्वितीय सामान्यीकृत के बराबर है {{mvar|p}}-एडिक श्रृंखला। यह संक्रियाओं (जोड़, घटाव, गुणा, भाग) को परिभाषित करने के लिए उपयोगी है {{mvar|p}}-एडिक संख्याएँ: ऐसे ऑपरेशन का परिणाम श्रृंखला पर संबंधित ऑपरेशन के परिणाम को सामान्य करके प्राप्त किया जाता है। यह अच्छी तरह से संचालन को परिभाषित करता है {{mvar|p}}-एडिक संख्याएं, चूंकि श्रृंखला संचालन समतुल्यता के साथ संगत हैं {{mvar|p}}-एडिक श्रृंखला।
-{{anchor|Field of p-adic numbers}}
+इन ऑपरेशनों के साथ, {{mvar|p}}-एडिक संख्याएँ एक क्षेत्र  बनाती हैं जिसे क्षेत्र कहा जाता है {{math|''p''}}-एडिक संख्याएँ और निरूपित <math>\Q_p</math> या <math>\mathbf Q_p.</math> परिमेय संख्याओं से एक अद्वितीय [[क्षेत्र समरूपता]] है {{mvar|p}}-एडिक संख्याएं, जो एक परिमेय संख्या को मैप करती हैं {{mvar|p}}-एडिक विस्तार. इस समरूपता की [[छवि (गणित)|छवि]] को सामान्यतः परिमेय संख्याओं के क्षेत्र से पहचाना जाता है। यह इस पर विचार करने की अनुमति देता है {{math|''p''}}-परिमेय संख्याओं के [[विस्तार क्षेत्र]] के रूप में आदिम संख्याएँ, और [[उपक्षेत्र (गणित)|उपक्षेत्र]]  के रूप में परिमेय संख्याएँ {{math|''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|p}} प्रत्येक के पहले शून्येतर पद में {{mvar|p}}-एडिक श्रृंखला जो प्रतिनिधित्व करती है {{mvar|x}}. रिवाज के सन्दर्भ मे, <math>v_p(0)=\infty;</math> यानी शून्य का मूल्यांकन है <math>\infty.</math> यह मूल्यांकन एक पृथक मूल्यांकन है. इस मूल्यांकन का प्रतिबंध तर्कसंगत संख्याओं तक है {{mvar|p}}-आदिक मूल्यांकन <math>\Q,</math> अर्थात् प्रतिपादक {{mvar|v}} एक परिमेय संख्या के गुणनखंडन में <math display=inline≝>\dfrac और p^v,</math> दोनों के साथ {{mvar|n}} और {{mvar|d}} सहप्रधान {{mvar|p}}.
+एक शून्येतर का मूल्यांकन {{mvar|p}}-अर्थात संख्या {{mvar|x}}, सामान्यतः दर्शाया जाता है <math>v_p(x),</math> का प्रतिपादक है {{mvar|p}} प्रत्येक के पहले शून्येतर पद में {{mvar|p}}-एडिक श्रृंखला जो प्रतिनिधित्व करती है {{mvar|x}}. रिवाज के सन्दर्भ मे, <math>v_p(0)=\infty;</math> यानी शून्य का मूल्यांकन है <math>\infty.</math> यह मूल्यांकन एक पृथक मूल्यांकन है. इस मूल्यांकन का प्रतिबंध परिमेय संख्याओं तक है {{mvar|p}}-एडिक मूल्यांकन <math>\Q,</math> अर्थात् प्रतिपादक {{mvar|v}} एक परिमेय संख्या के गुणनखंडन में  दोनों के साथ {{mvar|n}} और {{mvar|d}} सहप्रधान {{mvar|p}}.
 ==p-एडिक पूर्णांक ==
-'{{mvar|p}}-आदिक पूर्णांक हैं {{mvar|p}}-एक गैर-नकारात्मक मूल्यांकन के साथ आदिक संख्याएँ।
+'{{mvar|p}}-एडिक पूर्णांक हैं {{mvar|p}}-एक गैर-नकारात्मक मूल्यांकन के साथ एडिक संख्याएँ।
 ए {{mvar|p}}-एडीआईसी पूर्णांक को अनुक्रम के रूप में दर्शाया जा सकता है
@@ Line 118: / Line 132: @@
 अवशेषों का {{mvar|x<sub>e</sub>}} ख़िलाफ़ {{mvar|p<sup>e</sup>}} प्रत्येक पूर्णांक के लिए {{mvar|e}}, अनुकूलता संबंधों को संतुष्ट करना <math>x_i \equiv x_j ~ (\operatorname{mod} p^i)</math> के लिए {{mvar| i < j}}.
-प्रत्येक पूर्णांक एक है {{mvar|p}}-एडीआईसी पूर्णांक (शून्य सहित, चूंकि <math>0<\infty</math>). प्रपत्र की तर्कसंगत संख्याएँ <math display=inline> \tfrac nd p^k</math> साथ {{mvar|d}} सहप्रधान {{mvar|p}} और <math>k\ge 0</math> भी हैं {{mvar|p}}-आदिक पूर्णांक (इस कारण से {{mvar|d}} में एक उलटा मॉड है {{mvar|p<sup>e</sup>}} हरएक के लिए {{mvar|e}}). वह {{mvar|p}}-आदिक पूर्णांक एक [[क्रमविनिमेय वलय]] बनाते हैं, जिसे दर्शाया जाता है <math>\Z_p</math> या <math>\mathbf Z_p</math>, जिसमें निम्नलिखित गुण हैं।
+प्रत्येक पूर्णांक एक है {{mvar|p}}-एडीआईसी पूर्णांक (शून्य सहित, चूंकि <math>0<\infty</math>). प्रपत्र की परिमेय संख्याएँ <math display=inline> \tfrac nd p^k</math> साथ {{mvar|d}} सहप्रधान {{mvar|p}} और <math>k\ge 0</math> भी हैं {{mvar|p}}-एडिक पूर्णांक (इस कारण से {{mvar|d}} में एक उलटा मॉड है {{mvar|p<sup>e</sup>}} हरएक के लिए {{mvar|e}}). वह {{mvar|p}}-एडिक पूर्णांक एक [[क्रमविनिमेय वलय]] बनाते हैं, जिसे दर्शाया जाता है <math>\Z_p</math> या <math>\mathbf Z_p</math>, जिसमें निम्नलिखित गुण हैं।
 * यह एक [[अभिन्न डोमेन]] है, क्योंकि यह एक क्षेत्र का उपरिंग है, या श्रृंखला के पहले पद के बाद से दो गैर शून्य के उत्पाद का प्रतिनिधित्व करता है {{mvar|p}}-एडिक श्रृंखला उनके प्रथम पदों का गुणनफल है।
-* की [[इकाई (रिंग सिद्धांत)]] (उल्टे तत्व)। <math>\Z_p</math> हैं {{mvar|p}}-मूल्यांकन की आदिक संख्या शून्य।
+* {{mvar|p}}-मूल्यांकन की एडिक संख्या शून्य की [[इकाई (रिंग सिद्धांत)|इकाई]]  <math>\Z_p</math> हैं ।
-* यह एक [[प्रमुख आदर्श डोमेन]] है, जैसे कि प्रत्येक [[आदर्श (रिंग सिद्धांत)]] की शक्ति से उत्पन्न होता है {{mvar|p}}.
+* यह एक [[प्रमुख आदर्श डोमेन|प्रमुख आदर्श]] क्षेत्र है, जैसे कि प्रत्येक [[आदर्श (रिंग सिद्धांत)|आदर्श]] की शक्ति से उत्पन्न होता है {{mvar|p}}.
 * यह [[क्रुल आयाम]] एक का एक स्थानीय वलय है, क्योंकि इसके एकमात्र [[प्रमुख आदर्श]] [[शून्य आदर्श]] और इससे उत्पन्न आदर्श हैं {{mvar|p}}, अद्वितीय [[अधिकतम आदर्श]]।
 * यह एक अलग मूल्यांकन रिंग है, क्योंकि यह पूर्ववर्ती गुणों से परिणामित होता है।
@@ Line 127: / Line 141: @@
 अंतिम संपत्ति की परिभाषा प्रदान करती है {{mvar|p}}-एडीआईसी संख्याएं जो उपरोक्त के बराबर हैं: का क्षेत्र {{mvar|p}}-एडीआईसी संख्याएं, द्वारा उत्पन्न अभाज्य आदर्श पर पूर्णांकों के स्थानीयकरण के पूरा होने के अंशों का क्षेत्र है {{mvar|p}}.
-== टोपोलॉजिकल गुण == {{mvar|p}|p}}-एडिक मूल्यांकन एक [[निरपेक्ष मान (बीजगणित)]] को परिभाषित करने की अनुमति देता है {{mvar|p}}-एडिक नंबर: द {{mvar|p}}-एक गैरशून्य का विशेष निरपेक्ष मान {{mvar|p}}-अर्थात संख्या {{mvar|x}} है
+== संस्थानिक  गुण ==
+{{mvar|p}|p}}-एडिक मूल्यांकन एक [[निरपेक्ष मान (बीजगणित)|निरपेक्ष मान]] को परिभाषित करने की अनुमति देता है {{mvar|p}}-एडिक नंबर: द {{mvar|p}}-एक गैरशून्य का विशेष निरपेक्ष मान {{mvar|p}}-अर्थात संख्या {{mvar|x}} है
 :<math>|x|_p = p^{-v_p(x)},</math>
-कहाँ <math>v_p(x)</math> है {{mvar|p}}-आदिक मूल्यांकन {{mvar|x}}. वह {{mvar|p}}-का निरपेक्ष मान <math>0</math> है <math>|0|_p = 0.</math> यह एक निरपेक्ष मान है जो प्रत्येक के लिए, मजबूत त्रिभुज असमानता को संतुष्ट करता है {{mvar|x}} और {{mvar|y}} किसी के पास
+जहाँ <math>v_p(x)</math> है {{mvar|p}}-एडिक मूल्यांकन {{mvar|x}}. वह {{mvar|p}}-का निरपेक्ष मान <math>0</math> है <math>|0|_p = 0.</math> यह एक निरपेक्ष मान है जो प्रत्येक के लिए, मजबूत त्रिभुज असमानता को संतुष्ट करता है {{mvar|x}} और {{mvar|y}}  हमारे पास
-* <math>|x|_p = 0</math> अगर और केवल अगर <math>x=0;</math>
+* <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}}-एडिक नंबर एक मीट्रिक स्पेस, और यहां तक कि एक [[अल्ट्रामेट्रिक स्पेस]], के साथ {{mvar|p}}-आदिक दूरी द्वारा परिभाषित
+यह बनाता है {{mvar|p}}-एडिक नंबर एक मीट्रिक स्पेस, और यहां तक कि एक [[अल्ट्रामेट्रिक स्पेस]], के साथ {{mvar|p}}-एडिक दूरी द्वारा परिभाषित
 <math>d_p(x,y)=|x-y|_p.</math>
-एक मीट्रिक स्थान के रूप में, {{mvar|p}}-एडीआईसी संख्याएं से सुसज्जित तर्कसंगत संख्याओं की [[पूर्णता (मीट्रिक स्थान)]] बनाती हैं {{mvar|p}}-आदिक निरपेक्ष मान. यह परिभाषित करने का एक और तरीका प्रदान करता है {{mvar|p}}-एडिक नंबर. हालाँकि, इस मामले में पूर्णता के सामान्य निर्माण को सरल बनाया जा सकता है, क्योंकि मीट्रिक को एक अलग मूल्यांकन द्वारा परिभाषित किया गया है (संक्षेप में, प्रत्येक कॉची अनुक्रम से एक परिणाम निकाला जा सकता है जैसे कि दो लगातार शब्दों के बीच के अंतर में निरपेक्ष मान सख्ती से घट रहे हैं ; ऐसा अनुवर्ती a के [[आंशिक योग]]ों का क्रम है {{mvar|p}}-एडिक श्रृंखला, और इस प्रकार एक अद्वितीय सामान्यीकृत {{mvar|p}}-एडिक श्रृंखला को कॉची अनुक्रमों के प्रत्येक समतुल्य वर्ग से जोड़ा जा सकता है; इसलिए, पूर्णता के निर्माण के लिए, सामान्यीकृत पर विचार करना पर्याप्त है {{mvar|p}}-कॉची अनुक्रमों के समतुल्य वर्गों के बजाय एडिक श्रृंखला)।
+एक मीट्रिक स्थान के रूप में, {{mvar|p}}-एडीआईसी संख्याएं से सुसज्जित परिमेय संख्याओं की [[पूर्णता (मीट्रिक स्थान)]] बनाती हैं {{mvar|p}}-एडिक निरपेक्ष मान. यह परिभाषित करने का एक और तरीका प्रदान करता है {{mvar|p}}-एडिक नंबर. यद्यपि, इस मामले में पूर्णता के सामान्य निर्माण को सरल बनाया जा सकता है, क्योंकि मीट्रिक को एक अलग मूल्यांकन द्वारा परिभाषित किया गया है (संक्षेप में, प्रत्येक कॉची अनुक्रम से एक परिणाम निकाला जा सकता है जैसे कि दो लगातार शब्दों के बीच के अंतर में निरपेक्ष मान सख्ती से घट रहे हैं ; ऐसा अनुवर्ती a के [[आंशिक योग]]ों का क्रम है {{mvar|p}}-एडिक श्रृंखला, और इस प्रकार एक अद्वितीय सामान्यीकृत {{mvar|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>
+चूँकि मीट्रिक को अलग-अलग मूल्यांकन से परिभाषित किया जाता है, प्रत्येक [[खुली गेंद]] भी [[बंद गेंद]] होती है। अधिक सटीक रूप से, खुली गेंद <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>-एक [[सघन स्थान]] बनाएँ।
+इसका तात्पर्य यह है कि {{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>\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}}-इसके आंशिक योगों के अनुक्रम के लिए एडिक श्रृंखला एक वलय समरूपता है <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^2}</math> व्युत्क्रम मॉड्यूलो से <math display = inline>p^n.</math> की गणना के लिए उसी विधि का उपयोग किया जा सकता है {{mvar|p}}-एक पूर्णांक का आदिक [[वर्गमूल]] जो एक [[द्विघात अवशेष]] मॉड्यूलो है {{mvar|p}}. यह परीक्षण करने के लिए सबसे तेज़ ज्ञात विधि प्रतीत होती है कि क्या एक बड़ा पूर्णांक एक वर्ग है: यह परीक्षण करने के लिए पर्याप्त है कि क्या दिया गया पूर्णांक इसमें पाए गए मान का वर्ग है <math>\Z_p/p^n\Z_p</math>. वर्गमूल ज्ञात करने के लिए न्यूटन की विधि को लागू करना आवश्यक है <math display = inline>p^n</math> दिए गए पूर्णांक के दोगुने से बड़ा होना, जो शीघ्र ही संतुष्ट हो जाता है।
+उदाहरण के लिए, की गणना के लिए {{mvar|p}}-एक पूर्णांक का व्युत्क्रम (गुणात्मक), कोई न्यूटन की विधि का उपयोग कर सकता है, व्युत्क्रम मॉड्यूलो से शुरू करके {{mvar|p}}; फिर, प्रत्येक न्यूटन चरण व्युत्क्रम मॉड्यूलो की गणना करता है <math display = inline>p^{n^2}</math> व्युत्क्रम मॉड्यूलो से <math display = inline>p^n.</math> की गणना के लिए उसी विधि का उपयोग किया जा सकता है {{mvar|p}}-एक पूर्णांक का एडिक [[वर्गमूल]] जो एक [[द्विघात अवशेष]] मॉड्यूलो है {{mvar|p}}. यह परीक्षण करने के लिए सबसे तेज़ ज्ञात विधि प्रतीत होती है कि क्या एक बड़ा पूर्णांक एक वर्ग है: यह परीक्षण करने के लिए पर्याप्त है कि क्या दिया गया पूर्णांक इसमें पाए गए मान का वर्ग है <math>\Z_p/p^n\Z_p</math>. वर्गमूल ज्ञात करने के लिए न्यूटन की विधि को लागू करना आवश्यक है <math display = inline>p^n</math> दिए गए पूर्णांक के दोगुने से बड़ा होना, जो शीघ्र ही संतुष्ट हो जाता है।
-[[हेंसल उठाना]] एक ऐसी ही विधि है जो फ़ैक्टराइज़ेशन मॉड्यूलो को उठाने की अनुमति देती है {{mvar|p}} एक गुणनखंड मॉड्यूलो के लिए पूर्णांक गुणांक वाले बहुपद का <math display = inline>p^n</math> के बड़े मूल्यों के लिए {{mvar|n}}. यह आमतौर पर [[बहुपद गुणनखंडन]] एल्गोरिदम द्वारा उपयोग किया जाता है।
+[[हेंसल उठाना|हेंसल उत्थान]] एक ऐसी ही विधि है जो फ़ैक्टराइज़ेशन मॉड्यूलो को उठाने की अनुमति देती है {{mvar|p}} एक गुणनखंड मॉड्यूलो के लिए पूर्णांक गुणांक वाले बहुपद का <math display = inline>p^n</math> के बड़े मूल्यों के लिए {{mvar|n}}. यह सामान्यतः [[बहुपद गुणनखंडन]] एल्गोरिदम द्वारा उपयोग किया जाता है।
-==नोटेशन==
+==संकेतन पद्धति==
-लेखन के लिए कई अलग-अलग परंपराएँ हैं {{mvar|p}}-एडिक विस्तार. अब तक इस लेख में एक संकेतन का उपयोग किया गया है {{mvar|p}}-आदिक विस्तार जिसमें का घातांक{{mvar|p}} दाएँ से बाएँ की ओर वृद्धि। इस दाएं-से-बाएं संकेतन के साथ 3-एडिक विस्तार {{frac|1|5}}, उदाहरण के लिए, इस प्रकार लिखा जाता है
+लेखन के लिए कई अलग-अलग परंपराएँ हैं {{mvar|p}}-एडिक विस्तार. अब तक इस लेख में एक संकेतन का उपयोग किया गया है {{mvar|p}}-एडिक विस्तार जिसमें का घातांक{{mvar|p}} दाएँ से बाएँ की ओर वृद्धि करता है। इस दाएं-से-बाएं संकेतन के साथ 3-एडिक विस्तार {{frac|1|5}}, उदाहरण के लिए, इस प्रकार लिखा जाता है
 :<math>\dfrac{1}{5}=\dots 121012102_3.</math>
-इस अंकन में अंकगणित करते समय, अंकों को बाईं ओर ले जाया जाता है (अंकगणित)। लिखना भी संभव है {{mvar|p}}-आदिक विस्तार ताकि की शक्तियां {{mvar|p}} बाएँ से दाएँ बढ़ता है, और अंक दाएँ ओर ले जाए जाते हैं। इस बाएँ से दाएँ संकेतन के साथ 3-एडिक विस्तार {{frac|1|5}} है
+इस अंकन में अंकगणित करते समय, अंकों को बाईं ओर ले जाया जाता है (अंकगणित)। लिखना भी संभव है {{mvar|p}}-एडिक विस्तार ताकि की शक्तियां {{mvar|p}} बाएँ से दाएँ बढ़ता है, और अंक दाएँ ओर ले जाए जाते हैं। इस बाएँ से दाएँ संकेतन के साथ 3-एडिक विस्तार {{frac|1|5}} है
 :<math>\dfrac{1}{5}=2.01210121\dots_3\mbox{ or }\dfrac{1}{15}=20.1210121\dots_3.</math>
@@ Line 163: / Line 178: @@
 :<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}} पूर्णांक जो अलग-अलग [[अवशेष वर्ग]] मॉड्यूलो में हैं {{mvar|p}} के रूप में उपयोग किया जा सकता है {{mvar|p}}-एडिक अंक. संख्या सिद्धांत में, टेइचमुलर प्रतिनिधियों को कभी-कभी अंकों के रूप में उपयोग किया जाता है।<ref>{{Harv|Hazewinkel|2009|p=342}}</ref>
-{{vanchor|Quote notation}} का एक प्रकार है {{mvar|p}}-तर्कसंगत संख्याओं का विशिष्ट प्रतिनिधित्व जिसे 1979 में [[एरिक हेहनर]] और [[निगेल हॉर्सपूल]] द्वारा कंप्यूटर पर इन संख्याओं के साथ (सटीक) अंकगणित लागू करने के लिए प्रस्तावित किया गया था।<ref>{{Harv|Hehner|Horspool|1979|pp=124–134}}</ref>
+{{vanchor|Quote notation}} का एक प्रकार है {{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>\Z_p</math> [[ सत्ता स्थापित ]] पर <math>\{0,\ldots,p-1\}^\N.</math> के लिए <math>\Q_p</math> यह इसकी प्रतियों की गिनती योग्य अनंत [[संघ (सेट सिद्धांत)]] के रूप में अभिव्यक्ति का परिणाम है <math>\Z_p</math>:
+दोनों <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>\Z_p</math> [[ सत्ता स्थापित ]] पर <math>\{0,\ldots,p-1\}^\N.</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|'''Q'''<sub>''p''</sub>}}  {{math|'''Q'''}} के बीजगणितीय विशेषता का एक क्षेत्र है।
-{{anchor|not_orderable}}क्योंकि {{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|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>(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|[[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|'''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}}. विशेषकर, कोई गुणक नहीं है {{mvar|p}}-[[मरोड़ (बीजगणित)]] में {{math|'''Q'''<sub>''p''</sub>}}, अगर {{math|''p'' > 2}}. भी, {{math|−1}} एकमात्र गैर-तुच्छ मरोड़ तत्व है {{math|'''Q'''<sub>2</sub>}}.
+{{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}}. विशेषकर, कोई गुणक नहीं है {{mvar|p}}-[[मरोड़ (बीजगणित)]] में {{math|'''Q'''<sub>''p''</sub>}}, यदि {{math|''p'' > 2}}. भी, {{math|−1}} एकमात्र गैर-तुच्छ घूर्णन तत्व {{math|'''Q'''<sub>2</sub>}} है।
-एक [[प्राकृतिक संख्या]] दी गई है {{mvar|k}}, के गुणक समूह का [[सूचकांक (समूह सिद्धांत)]]। {{mvar|k}}-के गैर-शून्य तत्वों की शक्तियां {{math|'''Q'''<sub>''p''</sub>}} में <math>\mathbf{Q}_p^{\times}</math> परिमित है.
+एक [[प्राकृतिक संख्या]] दी गई है {{mvar|k}}, के गुणक समूह का [[सूचकांक (समूह सिद्धांत)|सूचकांक]]  {{mvar|k}}-के गैर-शून्य तत्वों की शक्तियां {{math|'''Q'''<sub>''p''</sub>}} में <math>\mathbf{Q}_p^{\times}</math> परिमित है.
-जो नंबर {{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}} - अर्थात् ए {{mvar|p}}-की जड़ {{math|''e<sup>p</sup>''}}- का सदस्य है <math>\overline{\mathbf{Q}_p}</math> सभी के लिए {{mvar|p}}.)
+जो संख्या {{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|p}}-प्रत्येक अभाज्य के लिए विशेष संख्याएँ{{mvar|p}}. यह सिद्धांत, उदाहरण के लिए, [[द्विघात रूप]]ों द्वारा दिए गए समीकरणों के लिए लागू होता है, लेकिन कई अनिश्चितताओं में उच्च बहुपदों के लिए विफल रहता है।
+[[हेल्मुट हस्से]] का स्थानीय-वैश्विक सिद्धांत एक समीकरण के लिए मान्य माना जाता है यदि इसे परिमेय संख्याओं पर हल किया जा सकता है और केवल तभी जब इसे वास्तविक संख्याओं और परिमेय संख्याओं पर हल किया जा सकता है। {{mvar|p}}-प्रत्येक अभाज्य के लिए विशेष संख्याएँ{{mvar|p}}. यह सिद्धांत, उदाहरण के लिए, [[द्विघात रूप]] द्वारा दिए गए समीकरणों के लिए लागू होता है, परंतु कई अनिश्चितताओं में उच्च बहुपदों के लिए विफल रहता है।
-==हेंसल उठाने के साथ तर्कसंगत अंकगणित ==
+==हेंसल उत्थान के साथ परिमेय अंकगणित ==
-{{main|Hensel lifting}}
+{{main|हेंसल उत्थान}}
 == सामान्यीकरण और संबंधित अवधारणाएँ ==
-वास्तविक और {{mvar|p}}-आदिक संख्याएँ परिमेय की पूर्णताएँ हैं; अन्य क्षेत्रों, उदाहरण के लिए सामान्य [[बीजगणितीय संख्या फ़ील्ड]], को समान तरीके से पूरा करना भी संभव है। इसका वर्णन अब किया जायेगा।
+वास्तविक और {{mvar|p}}-एडिक संख्याएँ परिमेय की पूर्णताएँ हैं; अन्य क्षेत्रों, उदाहरण के लिए सामान्य [[बीजगणितीय संख्या फ़ील्ड|बीजगणितीय संख्या क्षेत्र]], को समान तरीके से पूरा करना भी संभव है। इसका वर्णन अब किया जायेगा।
-मान लीजिए कि D एक [[डेडेकाइंड डोमेन]] है और E इसके भिन्नों का क्षेत्र है। D का एक गैर-शून्य अभाज्य आदर्श P चुनें। यदि x, E का एक गैर-शून्य तत्व है, तो xD एक भिन्नात्मक आदर्श है और इसे D के गैर-शून्य अभाज्य आदर्शों की सकारात्मक और नकारात्मक शक्तियों के उत्पाद के रूप में विशिष्ट रूप से गुणनखंडित किया जा सकता है। हम ऑर्ड लिखते हैं<sub>''P''</sub>(x) इस गुणनखंडन में P के घातांक के लिए, और 1 से अधिक संख्या c के किसी भी विकल्प के लिए हम सेट कर सकते हैं
+मान लीजिए कि D एक [[डेडेकाइंड डोमेन]] है और E इसके भिन्नों का क्षेत्र है। D का एक गैर-शून्य अभाज्य आदर्श P चुनें। यदि x, E का एक गैर-शून्य तत्व है, तो xD एक भिन्नात्मक आदर्श है और इसे D के गैर-शून्य अभाज्य आदर्शों की सकारात्मक और नकारात्मक शक्तियों के उत्पाद के रूप में विशिष्ट रूप से गुणनखंडित किया जा सकता है। हम इस गुणांकन की संख्या विधि में ''P'' के घात को ord<sub>''P''</sub>(''x'') लिखते हैं, और किसी भी ऐसे संख्या ''c'' के लिए जो 1 से अधिक हो, हम उसे समायोजित कर सकते हैं।
 :<math>|x|_P = c^{-\!\operatorname{ord}_P(x)}.</math>
-इस निरपेक्ष मान के संबंध में पूर्ण करना {{nowrap begin}}|⋅|<sub>''P''</sub>{{nowrap end}} एक फ़ील्ड ई उत्पन्न करता है<sub>''P''</sub>, इस सेटिंग के लिए पी-एडिक संख्याओं के क्षेत्र का उचित सामान्यीकरण। सी का चुनाव पूर्णता को नहीं बदलता है (विभिन्न विकल्पों से कॉची अनुक्रम की समान अवधारणा उत्पन्न होती है, इसलिए पूर्णता भी समान होती है)। यह सुविधाजनक है, जब अवशेष फ़ील्ड डी/पी परिमित है, सी के लिए डी/पी का आकार लेना सुविधाजनक है।
+इस निरपेक्ष मान {{nowrap begin}}|⋅|<sub>''P''</sub>{{nowrap end}} के संबंध में पूर्णता करने से ''E''<sub>''P''</sub> एक क्षेत्र प्राप्त होता है, जो इस परिस्थिति में ''p''-ऐडिक संख्याओं के क्षेत्र का समानुपातिक विस्तार है। ''c'' का चयन पूर्णता को प्रभावित नहीं करता है (भिन्न चयनों से समान Cauchy अनुक्रम की संभावना होती है, इसलिए समान पूर्णता मिलती है)। यह सुविधाजनक होता है, जब बची हुआ क्षेत्र ''D''/''P'' परिमित हो, तो ''c'' को ''D''/''P'' का आकार लेने में सुविधा होती है।
+उदाहरण के रूप में, जब ''E'' एक [[अंक फ़ील्ड|अंक क्षेत्र]] होता है, तो [[ओस्ट्रोवस्की का सिद्धांत]] कहता है कि ''E'' पर हर एक गैर-फ़ीरक [[निरपेक्ष मान (बीजगणित)|गैर-आर्किमीडीयन निरपेक्ष मान]] को किसी {{nowrap begin}}|⋅|<sub>''P''</sub>{{nowrap end}} के रूप में प्राप्त होता है। ''E'' पर शेष गैर-फ़ीरक निरपेक्ष मान ''E'' के भिन्न-भिन्न प्रवेशों से वास्तविक या जटिल संख्याओं में से उत्पन्न होते हैं। वास्तव में, गैर-आर्किमीडीयन निरपेक्ष मान को सामान्यतः सदिश '''C'''<sub>''p''</sub> में ''E'' के अलग-अलग प्रवेशों के रूप में माना जा सकता है, इस प्रकार एक अंक क्षेत्र के सभी गैर-फ़ीरक निरपेक्ष मानों की विवरणिका को एक सामान्य मूल्यांकन में रखता है।
+प्रायः, जब ''E'' एक अंक क्षेत्र (या अधिक सामान्यतः एक [[वैश्विक क्षेत्र]]) होता है, तो सभी उपरोक्त पूर्णताओं को एक साथ एकत्रित रखने की आवश्यकता होती है, जिन्हें "स्थानिक" जानकारी को कूटबद्ध करने के रूप में देखा जाता है। इसके द्वारा [[आदेल चक्र]] और [[आईडेल समूह]] के द्वारा यह कार्य पूरा किया जाता है।
+''p''-ऐडिक पूर्णांकों को [[p-adic solenoids|''p''-ऐडिक सोलेनोइड]] <math>\mathbb{T}_p</math> तक विस्तारित किया जा सकता है। <math>\mathbb{T}_p</math> से [[circle group|वृत्त समूह]] तक एक अवलोकन के साथ एक मानचित्रण होता है, जिसके मूल ''p''-ऐडिक पूर्णांक <math>\mathbb{Z}_p</math> होते हैं, उसी तरह जैसे वृत्त से एक मानचित्रण होता है जिसके मूल <math>\mathbb{Z}</math> होते हैं।
-उदाहरण के लिए, जब E एक [[संख्या क्षेत्र]] है, तो ओस्ट्रोव्स्की का प्रमेय कहता है कि E पर प्रत्येक गैर-तुच्छ निरपेक्ष मान (बीजगणित) | गैर-आर्किमिडीयन निरपेक्ष मान कुछ के रूप में उत्पन्न होता है {{nowrap begin}}|⋅|<sub>''P''</sub>{{nowrap end}}. E पर शेष गैर-तुच्छ निरपेक्ष मान वास्तविक या जटिल संख्याओं में E के विभिन्न एम्बेडिंग से उत्पन्न होते हैं। (वास्तव में, गैर-आर्किमिडीयन निरपेक्ष मानों को फ़ील्ड 'सी' में ई के अलग-अलग एम्बेडिंग के रूप में माना जा सकता है<sub>''p''</sub>, इस प्रकार सभी का विवरण डाल रहा हूँ
-एक सामान्य स्तर पर किसी संख्या क्षेत्र के गैर-तुच्छ निरपेक्ष मान।)
-अक्सर, जब ई एक संख्या क्षेत्र (या अधिक सामान्यतः एक [[वैश्विक क्षेत्र]]) होता है, तो किसी को उपरोक्त सभी पूर्णताओं पर एक साथ नज़र रखने की आवश्यकता होती है, जिन्हें स्थानीय जानकारी को एन्कोडिंग के रूप में देखा जाता है। यह [[एडेल अंगूठी]] और आइडेल समूहों द्वारा पूरा किया जाता है।
-पी-एडिक पूर्णांकों को सोलेनॉइड तक बढ़ाया जा सकता है (गणित)#पी-एडिक सोलेनोइड्स|पी-एडिक सोलेनोइड्स <math>\mathbb{T}_p</math>. से एक नक्शा है <math>\mathbb{T}_p</math> [[वृत्त समूह]] के लिए जिसके तंतु पी-एडिक पूर्णांक हैं <math>\mathbb{Z}_p</math>, जैसा कि वहाँ से एक नक्शा है सादृश्य में <math>\mathbb{R}</math> उस वृत्त को जिसके तंतु हैं <math>\mathbb{Z}</math>.
 ==यह भी देखें==
@@ Line 272: / Line 297: @@
 {{Number systems}}
-{{DEFAULTSORT:P-Adic Number}}[[Category: फ़ील्ड (गणित)]] [[Category: संख्या सिद्धांत]] [[Category: पी-एडिक नंबर| पी-एडिक नंबर]]
+{{DEFAULTSORT:P-Adic Number}}
-[[Category: Machine Translated Page]]
+[[Category:Articles with hatnote templates targeting a nonexistent page|P-Adic Number]]
-[[Category:Created On 05/07/2023]]
+[[Category:Collapse templates|P-Adic Number]]
+[[Category:Commons category link is locally defined|P-Adic Number]]
+[[Category:Created On 05/07/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 broken file links|P-Adic Number]]
+[[Category:Pages with ignored display titles|P-Adic Number]]
+[[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:पी-एडिक नंबर| पी-एडिक नंबर]]
+[[Category:फ़ील्ड (गणित)|P-Adic Number]]
+[[Category:संख्या सिद्धांत|P-Adic Number]]

Anonymous

Search

P-एडिक संख्या: Difference between revisions

Latest revision as of 21:07, 15 July 2023

परिमेय संख्याओं का पी-एडिक विस्तार

उदाहरण

पी-एडिक श्रृंखला

स्थितीय संकेतन

परिभाषा

p-एडिक पूर्णांक

संस्थानिक गुण

मॉड्यूलर गुण

संकेतन पद्धति

गणनांक

बीजगणितीय समापन

गुणक समूह

स्थानीय-वैश्विक सिद्धांत

हेंसल उत्थान के साथ परिमेय अंकगणित

सामान्यीकरण और संबंधित अवधारणाएँ

यह भी देखें

फ़ुटनोट

टिप्पणियाँ

उद्धरण

संदर्भ

अग्रिम पठन

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories