Nombre p-adique

Pour un nombre premier donné p, on définit comme suit la valeur absolue p-adique sur ${\displaystyle \mathbb {Q} }$, puis le corps valué ${\displaystyle \mathbb {Q} _{p}}$ des nombres p-adiques.

• La valuation p-adique d'un entier relatif a non nul (notée ${\displaystyle v_{p}(a)}$) est l'exposant de p dans la décomposition de a en produit de facteurs premiers (c'est un cas particulier de valuation discrète). On pose ${\displaystyle v_{p}(0)=+\infty }$.
• On étend cette valuation à ${\displaystyle \mathbb {Q} }$ en posant :

  ${\displaystyle v_{p}\left({\frac {a}{b}}\right)=v_{p}(a)-v_{p}(b)}$,

  ce qui ne dépend pas du représentant choisi pour le rationnel.

• La valeur absolue p-adique ${\displaystyle |~|_{p}}$ est définie par :

  ${\displaystyle |r|_{p}=p^{-v_{p}(r)}}$ (en particulier, ${\displaystyle |0|_{p}=p^{-\infty }=0}$ : en quelque sorte, plus ${\displaystyle r}$ est divisible par p, plus sa valeur absolue p-adique est petite).

• Le corps ${\displaystyle \mathbb {Q} _{p}}$, muni d'une valeur absolue (encore notée ${\displaystyle |~|_{p}}$), peut alors être défini comme le complété du corps valué ${\displaystyle (\mathbb {Q} ,|~|_{p})}$.

Cette construction de ${\displaystyle \mathbb {Q} _{p}}$ permet de le considérer comme un analogue arithmétique de ${\displaystyle \mathbb {R} }$. Cependant, le monde p-adique se comporte de façon très différente du monde réel.

• ${\displaystyle \mathbb {Q} _{p}}$ n'est pas un corps totalement ordonnable (voir infra).
• Dans ${\displaystyle \mathbb {Q} _{p}}$, la suite ${\displaystyle \left(p^{n}\right)}$ tend vers ${\displaystyle 0}$ et la suite ${\displaystyle \left(1/q^{n}\right)}$, pour ${\displaystyle q}$ premier différent de ${\displaystyle p}$, n'a pas de limite.
• Puisque la valeur absolue sur ${\displaystyle \mathbb {Q} }$ est définie à partir d'une valuation, la valeur absolue sur le complété ${\displaystyle \mathbb {Q} _{p}}$ est, elle aussi, ultramétrique, si bien que la distance associée est une distance ultramétrique.
  Ceci a pour conséquences, entre autres, que  :
  • dans ${\displaystyle \mathbb {Q} _{p}}$, pour qu'une série converge, il suffit que son terme général tende vers 0 ;
  • l'espace topologique ${\displaystyle \mathbb {Q} _{p}}$ est de dimension 0 (c'est-à-dire qu'il possède une base d'ouverts-fermés) donc totalement discontinu (c'est-à-dire que chaque singleton est sa propre composante connexe) ;
  • etc.
• Dans ${\displaystyle \mathbb {Q} _{p}}$, si une suite ${\displaystyle (u_{n})}$ converge vers un élément non nul, alors ${\displaystyle \left(|u_{n}|_{p}\right)}$ est constante à partir d'un certain rang.
• ${\displaystyle \mathbb {Z} }$ n'est pas fermé dans ${\displaystyle \mathbb {Q} _{p}}$ (cf. paragraphe suivant).

${\displaystyle \mathbb {Q} _{p}}$ est le corps des fractions de son anneau de valuation (les nombres p-adiques de valuation positive ou nulle), noté ${\displaystyle \mathbb {Z} _{p}}$ et appelé l'anneau des entiers p-adiques. Ce sous-anneau de ${\displaystyle \mathbb {Q} _{p}}$ est l'adhérence de ${\displaystyle \mathbb {Z} }$. On aurait donc pu le construire directement comme l'anneau complété de ${\displaystyle \mathbb {Z} }$.

Ostrowski a démontré que toute valeur absolue non triviale sur ${\displaystyle \mathbb {Q} }$ est équivalente soit à la valeur absolue usuelle ${\displaystyle |~|_{\infty }}$, soit à une valeur absolue p-adique. ${\displaystyle |~|_{p}}$ est dite normalisée (on pourrait prendre ${\displaystyle a^{-v_{p}(r)}}$ pour un réel ${\displaystyle a>1}$ autre que ${\displaystyle p}$ : on obtiendrait une distance associée uniformément équivalente). L'avantage de la normalisation est la « formule du produit » ${\displaystyle |r|_{\infty }\prod _{p}|r|_{p}=1}$ pour tout rationnel ${\displaystyle r}$ non nul. Cette formule montre que les valeurs absolues sur ${\displaystyle \mathbb {Q} }$ (à équivalence près) ne sont pas indépendantes.

Par exemple, pour ${\displaystyle r={3 \over 50}=2^{-1}\cdot 3\cdot 5^{-2}}$ : ${\displaystyle |r|_{p}=1}$ pour ${\displaystyle p>5}$ et ${\displaystyle |r|_{\infty }|r|_{2}|r|_{3}|r|_{5}=r\cdot 2\cdot 3^{-1}\cdot 5^{2}=1}$.

Dans cette approche, on commence par définir l'anneau intègre ${\displaystyle \mathbb {Z} _{p}}$ des entiers p-adiques, puis on définit le corps ${\displaystyle \mathbb {Q} _{p}}$ des nombres p-adiques comme le corps des fractions de cet anneau.

On définit l'anneau ${\displaystyle \mathbb {Z} _{p}}$ comme la limite projective des anneaux ${\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} }$, où le morphisme ${\displaystyle \mathbb {Z} /p^{n+1}\mathbb {Z} \to \mathbb {Z} /p^{n}\mathbb {Z} }$ est la réduction modulo ${\displaystyle p^{n}}$. Un entier p-adique est donc une suite ${\displaystyle (a_{n})_{n\geq 1}}$ telle que pour tout n ≥ 1 :

${\displaystyle a_{n}\in \mathbb {Z} /p^{n}\mathbb {Z} \quad {\text{ et }}\quad a_{n}\equiv a_{n+1}{\pmod {p^{n}}}}$.

On démontre alors[5] que cet anneau est isomorphe à celui construit dans l'« approche analytique » (voir supra) et l'est même en tant qu'anneau topologique, vu comme sous-anneau (compact) du produit des anneaux discrets ${\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} }$.

Le morphisme canonique de ${\displaystyle \mathbb {Z} }$ dans ${\displaystyle \mathbb {Z} _{p}}$ est injectif car ${\displaystyle 0}$ est le seul entier divisible par toutes les puissances de ${\displaystyle p}$.

Par exemple, 7 en tant que nombre 2-adique serait la suite (1, 3, 7, 7, 7, 7, 7, …).

Toute suite ${\displaystyle (a_{n})}$ dont le premier élément n'est pas nul a un inverse dans ${\displaystyle \mathbb {Z} _{p}}$ car p est l'unique élément premier de l'anneau (c'est un anneau de valuation discrète) ; c'est l'absence de cette propriété qui rendrait la même construction sans intérêt (algébrique) si l'on prenait pour p un nombre composé[6].

Par exemple, l'inverse de 7 dans ${\displaystyle \mathbb {Z} _{2}}$ est une suite qui commence par 1, 3, 7, 7, 23, 55 (car 7×55 ≡ 1 mod 2⁶).

On peut remarquer^{[réf. souhaitée]} que ${\displaystyle \mathbb {Z} _{p}}$ contient donc l'anneau obtenu en adjoignant à ${\displaystyle \mathbb {Z} }$ tous les inverses des nombres premiers sauf p (ce sous-anneau est un anneau local, le localisé de ${\displaystyle \mathbb {Z} }$ en p).

Puisque de plus ${\displaystyle p}$ n'est pas un diviseur de zéro dans ${\displaystyle \mathbb {Z} _{p}}$, le corps ${\displaystyle \mathbb {Q} _{p}}$ s'obtient en adjoignant simplement à l'anneau ${\displaystyle \mathbb {Z} _{p}}$ un inverse pour p, ce que l'on note ${\displaystyle \mathbb {Q} _{p}=\mathbb {Z} _{p}\left[{\tfrac {1}{p}}\right]}$ (anneau engendré par ${\displaystyle \mathbb {Z} _{p}}$ et ${\displaystyle {\tfrac {1}{p}}}$, donnant les expressions polynomiales en ${\displaystyle {\tfrac {1}{p}}}$, analogue de la construction des nombres décimaux ${\displaystyle \mathbb {D} =\mathbb {Z} \left[{\tfrac {1}{10}}\right]}$).

D'après ce qui précède, tout élément non nul ${\displaystyle r}$ de ${\displaystyle \mathbb {Q} _{p}}$ s'écrit de manière unique comme une série (automatiquement convergente pour la métrique p-adique) de la forme :

${\displaystyle r=\sum _{i=k}^{\infty }b_{i}p^{i}}$

où ${\displaystyle k}$ est un entier relatif et où les ${\displaystyle b_{i}}$ sont des nombres entiers compris entre ${\displaystyle 0}$ et ${\displaystyle p-1}$, ${\displaystyle b_{k}}$ étant non nul. Cette écriture est la décomposition canonique de ${\displaystyle r}$ comme nombre p-adique. Elle se déduit immédiatement du cas ${\displaystyle r\in \mathbb {Z} _{p}}$[7], c.-à-d. ${\displaystyle k\in \mathbb {N} }$ : si ${\displaystyle r=(a_{n})\in \varprojlim {\mathbb {Z} /p^{n}\mathbb {Z} }}$, la donnée des ${\displaystyle b_{i}}$ équivaut à celle des ${\displaystyle a_{n}}$ puisque ${\displaystyle a_{n}\equiv \sum _{k\leq i<n}b_{i}p^{i}\mod p^{n}}$. On peut donc représenter un entier p-adique par une suite infinie vers la gauche de chiffres en base p, tandis que les autres éléments de ${\displaystyle \mathbb {Q} _{p}}$, eux, auront en plus un nombre fini de chiffres à droite de la virgule. Cette écriture fonctionne en somme à l'inverse de ce qu'on a l'habitude de rencontrer dans l'écriture des nombres réels.

Par exemple, avec ${\displaystyle p=2}$ :

• ${\displaystyle 1=1\times 2^{0}=\ldots 000001_{2}=1_{2}}$ (pour tout entier naturel, le développement 2-adique est simplement le développement en base 2) ;
• ${\displaystyle \ldots 111111_{2}=\sum _{i=0}^{\infty }2^{i}=-1}$ (dans ${\displaystyle \mathbb {Z} _{2}}$, toute série géométrique de premier terme ${\displaystyle a}$ et de raison ${\displaystyle 2}$ converge vers ${\displaystyle {\frac {a}{1-2}}=-a}$, car ${\displaystyle |2|_{2}=2^{-1}<1}$) ;
• de même (puisque ${\displaystyle |4|_{2}=2^{-2}}$) ${\displaystyle \ldots 01010101011_{2}=1+\sum _{n=0}^{\infty }2^{2n+1}=1+{\frac {2}{1-4}}={\frac {1}{3}}}$.

• L'addition est tout à fait similaire à celle de ${\displaystyle \mathbb {R} }$, avec le même système de retenues :

Exemple : dans ${\displaystyle \mathbb {Q} _{5}}$

${\displaystyle {\begin{array}{cccccccc}&\ldots &3&3&3&2&4&{1_{5}}\\+&\ldots &1&1&1&1&4&{2_{5}}\\\hline &\ldots &4&4&4&4&3&{3_{5}}\end{array}}}$

• On en déduit aisément une formule pour l'opposé : puisque, dans ${\displaystyle \mathbb {Q} _{5}}$,

${\displaystyle {\begin{array}{cccccccc}&\ldots &3&3&3&2&4&{1_{5}}\\+&\ldots &1&1&1&2&0&{4_{5}}\\\hline &\ldots &0&0&0&0&0&{0_{5}}\end{array}}}$,

c'est que

${\displaystyle -\ldots 333241=\ldots 111204}$ dans ${\displaystyle \mathbb {Q} _{5}}$. De même, ${\displaystyle -1=\ldots 44444_{5}}$ (on peut vérifier que, puisque ${\displaystyle 4_{5}+1_{5}=10_{5}}$, ajouter ${\displaystyle 1}$ à ${\displaystyle \ldots 44444_{5}}$ conduit à décaler une retenue tout le long de l'écriture, pour finalement donner 0).

• La multiplication se fait de façon analogue :

Exemple 1 : dans ${\displaystyle \mathbb {Q} _{5}}$

${\displaystyle {\begin{array}{ccccc}&&1&4&{3_{5}}\\\times &&&3&{2_{5}}\\\hline &&3&4&{1_{5}}\\1&0&3&4&{\cdot _{5}}\\\hline 1&1&2&3&{1_{5}}\end{array}}}$

Exemple 2 : de même, dans ${\displaystyle \mathbb {Q} _{3}}$

${\displaystyle {\begin{array}{ccccccccc}&\ldots &0&2&0&2&0&2&{1_{3}}\\\times &&&&&&&1&{1_{3}}\\\hline &\ldots &0&2&0&2&0&2&{1_{3}}\\&\ldots &2&0&2&0&2&1&{\cdot _{3}}\\\hline &\ldots &0&0&0&0&0&0&{1_{3}}\end{array}}}$,

ce qui montre que ${\displaystyle \ldots 0202021_{3}={\frac {1}{4}}}$.

• La division de deux entiers demande une analyse plus algébrique.

Exemple 1 : Écrivons ${\displaystyle {1 \over 3}}$ dans ${\displaystyle \mathbb {Q} _{7}}$. Remarquons tout d'abord que ${\displaystyle {1 \over 3}\in \mathbb {Z} _{7}}$ car sa valuation 7-adique est 0. Ainsi ${\displaystyle {1 \over 3}=\ldots a_{2}a_{1}a_{0}}$ avec ${\displaystyle 0\leqslant a_{i}<7}$.

3 est inversible modulo 7 puisque ${\displaystyle 3\times 5=1\ +\ 2\times 7\equiv 1[7]}$. Ceci permet d'ailleurs d'écrire la relation de Bézout suivante :

${\displaystyle 1=3\times 5\ -\ 7\times 2\qquad (*)}$

d'où :

${\displaystyle {1 \over 3}=5+7\times {\frac {-2}{3}}}$ et à ce stade on a : ${\displaystyle {1 \over 3}=\ldots a_{2}a_{1}5}$.

Continuons et multiplions ${\displaystyle (*)}$ par -2 :

${\displaystyle -2=3\times (-10)+7\times (4)}$

et arrangeons pour obtenir des coefficients entre 0 et 6 :

${\displaystyle -2=3\times (4-2\times 7)+7\times (4)=3\times 4\ +\ 7\times (4-3\times 2)}$

d'où :

${\displaystyle {\frac {-2}{3}}=4+7\times {\frac {-2}{3}}}$ et on observe une périodicité puisqu'on retombe sur ${\displaystyle {\frac {-2}{3}}}$.

Au bilan : ${\displaystyle {1 \over 3}=5+7\times {\frac {-2}{3}}=5+7\times \left(4+7\times \left(4+7\times \ldots \right)\right)}$ c'est-à-dire :

${\displaystyle {1 \over 3}=5+4\times 7+4\times 7^{2}+\ldots }$

d'où l'écriture 7-adique :

${\displaystyle {1 \over 3}=\ldots 4445_{7}}$.

Exemple 2 : Écrivons ${\displaystyle {4 \over 21}}$ dans ${\displaystyle \mathbb {Q} _{7}}$. On sait que ${\displaystyle {4 \over 21}\notin \mathbb {Z} _{7}}$ car sa valuation 7-adique est –1 : ce sera donc un nombre 7-adique « à virgule ».

On écrit : ${\displaystyle {4 \over 21}={1 \over 7}\times \left(4\times {1 \over 3}\right)}$

Or on sait que ${\displaystyle {1 \over 3}=\ldots 4445_{7}}$ donc en multipliant par 4 :

${\displaystyle {4 \over 3}=4\times \ldots 4445_{7}=\ldots 44446_{7}}$.

Il ne reste plus qu'à diviser par 7, mais ceci revient à décaler la virgule vers la gauche (on est en base 7) :

${\displaystyle {4 \over 21}=\ldots 4444{,}6}$.

Exemple 3 : Calcul de ${\displaystyle 1 \over 9}$ dans ${\displaystyle \mathbb {Q} _{5}}$. On sait (théorème d'Euler) que 9 divise ${\displaystyle 5^{6}-1}$, et de fait ${\displaystyle 5^{6}-1=15624=9\times }$1736, et ${\displaystyle 1736=1+2\times 5+4\times 25+3\times 125+2\times 625=23421_{5}}$ ; on a donc ${\displaystyle {1 \over 9}={\frac {-1736}{1-5^{6}}}=-1736\left(1+5^{6}+5^{12}+5^{18}+\dots \right)=-\ldots 1023421023421_{5}}$ et finalement ${\displaystyle {1 \over 9}=\ldots 3421023421024_{5}}$.

• La résolution d'équations algébriques utilise de manière essentielle le lemme de Hensel ; celui-ci affirme en particulier que si un polynôme à coefficients dans ${\displaystyle \mathbb {Z} _{p}}$ possède une racine simple dans ${\displaystyle \mathbb {Z} _{p}/p\mathbb {Z} _{p}\simeq \mathbb {Z} /p\mathbb {Z} }$, il en possède une dans ${\displaystyle \mathbb {Z} _{p}}$.
  • Ainsi, 2 admet deux racines carrées dans ${\displaystyle \mathbb {Z} /7\mathbb {Z} }$ (à savoir 3 et 4) ; il en possède donc deux (opposées) dans ${\displaystyle \mathbb {Z} _{7}}$. Partant de ${\displaystyle u_{0}=3}$, la méthode de Newton appliquée au polynôme ${\displaystyle X^{2}-2}$ (c'est-à-dire la suite définie par ${\displaystyle u_{n+1}=u_{n}-{\frac {u_{n}^{2}-2}{2u_{n}}}}$) donne ${\displaystyle u_{2}=193/132}$, qui est dans ${\displaystyle \mathbb {Z} _{7}}$ une valeur approchée d'une racine de 2 à ${\displaystyle 7^{4}}$ près ; on en déduit les valeurs approchées des racines, ${\displaystyle \ldots 213_{7}}$ et ${\displaystyle \ldots 454_{7}}$ ; on aurait pu aussi les obtenir chiffre par chiffre, en résolvant successivement les équations ${\displaystyle (3+7x)^{2}=2\mod 7^{2}}$, d'où ${\displaystyle x=1}$, puis ${\displaystyle (10+49y)^{2}=2\mod 7^{3}}$, etc.[8]^,[6].
  • Plus généralement, si ${\displaystyle p>2}$ alors pour tous ${\displaystyle a,b\in \mathbb {Z} _{p}}$ avec ${\displaystyle b}$ non divisible par ${\displaystyle p}$, ${\displaystyle b^{2}+pa}$ admet deux racines carrées dans ${\displaystyle \mathbb {Z} _{p}}$.
  • De même, avec ${\displaystyle p}$ premier quelconque, si ${\displaystyle a,b\in \mathbb {Z} _{p}}$ et ${\displaystyle b}$ non divisible par ${\displaystyle p}$ alors le polynôme ${\displaystyle P(X)=aX^{2}+bX+p}$ admet une racine dans ${\displaystyle \mathbb {Z} _{p}}$. Puisque ${\displaystyle 4aP(X)=(2aX+b)^{2}-(b^{2}-4ap)}$, ceci prouve que ${\displaystyle b^{2}-4ap}$ est un carré dans ${\displaystyle \mathbb {Z} _{p}}$[9].

Les ensembles ${\displaystyle \mathbb {Z} _{p}}$ et ${\displaystyle \mathbb {Q} _{p}}$ sont équipotents et non dénombrables. Plus précisément, ils ont la puissance du continu, car la décomposition de Hensel ci-dessus fournit une bijection de ${\displaystyle \{0,1,2,\dots ,p-1\}^{\mathbb {N} }}$ dans ${\displaystyle \mathbb {Z} _{p}}$ et une surjection de ${\displaystyle \mathbb {Z} \times \{0,1,2,\dots ,p-1\}^{\mathbb {N} }}$ dans ${\displaystyle \mathbb {Q} _{p}}$.

Un nombre p-adique est rationnel si, et seulement si, sa décomposition de Hensel ${\displaystyle \sum _{i=k}^{\infty }b_{i}p^{i}}$ est périodique à partir d'un certain rang[10], c'est-à-dire s'il existe deux entiers ${\displaystyle N\geq k}$ et ${\displaystyle r>0}$ tels que ${\displaystyle \forall n\geq N,b_{n+r}=b_{n}}$. Par exemple, l'entier p-adique ${\displaystyle \sum _{j=0}^{\infty }p^{2^{j}}}$ n'est pas dans ${\displaystyle \mathbb {Q} }$.

Le corps ${\displaystyle \mathbb {Q} _{p}}$ contient ${\displaystyle \mathbb {Q} }$ donc sa caractéristique est nulle.

Il n'est cependant pas totalement ordonnable puisque (voir supra) 1 – 4p est un carré dans ${\displaystyle \mathbb {Z} _{p}}$.

Pour p et q premiers distincts, les corps ${\displaystyle \mathbb {Q} _{p}}$ et ${\displaystyle \mathbb {Q} _{q}}$ ne sont pas isomorphes, puisque q² – pq n'est pas un carré dans ${\displaystyle \mathbb {Q} _{q}}$ (sa valuation q-adique n'étant pas divisible par 2) mais est un carré dans ${\displaystyle \mathbb {Q} _{p}}$ si p > 2 (voir supra)[11].

La structure du groupe multiplicatif ${\displaystyle \mathbb {Z} _{p}^{\times }}$ des « unités p-adiques » (le groupe des inversibles de l'anneau ${\displaystyle \mathbb {Z} _{p}}$) et celle du groupe ${\displaystyle \mathbb {Q} _{p}^{\times }}$ sont données par[12] :

${\displaystyle \mathbb {Z} _{p}^{\times }\simeq \mathbb {Z} /(p-1)\mathbb {Z} \times \mathbb {Z} _{p}}$ si p ≠ 2, ${\displaystyle \mathbb {Z} _{2}^{\times }\simeq \mathbb {Z} /2\mathbb {Z} \times \mathbb {Z} _{2}}$, et ${\displaystyle \mathbb {Q} _{p}^{\times }\simeq \mathbb {Z} \times \mathbb {Z} _{p}^{\times }}$.

On en déduit que :

• un nombre p-adique u appartient à ${\displaystyle \mathbb {Z} _{p}^{\times }}$ si et seulement si ${\displaystyle u^{p-1}}$ a une racine n-ième dans ${\displaystyle \mathbb {Q} _{p}}$ pour une infinité d'entiers n[14]. Ceci permet de montrer[15] quele corps ${\displaystyle \mathbb {Q} _{p}}$ n'a pas d'automorphismes non triviaux ;
• pour p ≠ 2, le groupe des racines de l'unité dans ${\displaystyle \mathbb {Q} _{p}}$ est cyclique d'ordre p – 1 (par exemple, le 12^e corps cyclotomique est un sous-corps de ${\displaystyle \mathbb {Q} _{13}}$). On retrouve ainsi, au moins pour p – 1 > 2, que le corps ${\displaystyle \mathbb {Q} _{p}}$ n'est pas totalement ordonnable et, au moins pour ${\displaystyle \{p,q\}\neq \{2,3\}}$, que[16] si p et q sont distincts alors ${\displaystyle \mathbb {Q} _{p}}$ et ${\displaystyle \mathbb {Q} _{q}}$ ne sont pas isomorphes.

La clôture algébrique ${\displaystyle \mathbb {Q} _{p}^{a}}$ de ${\displaystyle \mathbb {Q} _{p}}$ est de degré infini (contrairement à celle de ${\displaystyle \mathbb {R} }$, qui est une extension quadratique). Il existe d'ailleurs dans ${\displaystyle \mathbb {Q} _{p}[X]}$ des polynômes irréductibles en tout degré ${\displaystyle n>0}$ : par exemple le polynôme d'Eisenstein ${\displaystyle X^{n}-p}$, et même[17] un polynôme unitaire de degré n à coefficients dans ${\displaystyle \mathbb {Z} _{p}}$ et irréductible modulo p. Ce degré est dénombrable, puisque c'est une extension algébrique, donc réunion de ses sous-extensions finies, lesquelles sont en nombre fini pour chaque degré d'après le lemme de Krasner[18].

Le corps ${\displaystyle \mathbb {Q} _{p}^{a}}$ est, en supposant l'axiome du choix AC, isomorphe au corps ${\displaystyle \mathbb {C} }$ des nombres complexes, puisque (avec AC, et à isomorphisme près) en tout cardinal infini non dénombrable, il n'y a qu'un corps algébriquement clos de caractéristique 0. Inversement, la non-existence d'un plongement de ${\displaystyle \mathbb {Q} _{p}}$ dans ${\displaystyle \mathbb {C} }$ est cohérente avec la théorie des ensembles sans l'axiome du choix[19].

Muni de la distance p-adique, ${\displaystyle \mathbb {Z} _{p}}$ s'identifie naturellement à l'espace métrique produit ${\displaystyle \{0,1,2,\dots ,p-1\}^{\mathbb {N} }}$ (compact donc complet). Pour tout réel B > p, l'application ${\displaystyle \{0,1,2,\dots ,p-1\}^{\mathbb {N} }\to \mathbb {R} ,\;(b_{i})\mapsto \sum _{i=0}^{\infty }b_{i}B^{-i}}$ est un homéomorphisme de ${\displaystyle \mathbb {Z} _{p}}$ sur son image ${\displaystyle E_{0}\subset \mathbb {R} }$[20], et ${\displaystyle \mathbb {Z} _{p}}$ est — comme ${\displaystyle E_{0}}$ — homéomorphe à l'espace de Cantor, d'après un théorème de Brouwer qui caractérise topologiquement ce dernier.

L'espace métrique ${\displaystyle \mathbb {Q} _{p}}$ (complet par construction) est un espace localement compact (car le compact ${\displaystyle \mathbb {Z} _{p}}$ est un ouvert contenant ${\displaystyle 0}$), naturellement homéomorphe, pour tout B > p, à l'ensemble ${\displaystyle E=\cup _{n\in \mathbb {N} }B^{n}E_{0}\subset \mathbb {R} }$ (où ${\displaystyle E_{0}}$ est défini ci-dessus). Le compactifié d'Alexandrov de ${\displaystyle \mathbb {Q} _{p}}$ est à nouveau — comme E ∪ {+∞} ⊂ ℝ — homéomorphe à l'espace de Cantor.

La clôture algébrique ${\displaystyle \mathbb {Q} _{p}^{a}}$ de ${\displaystyle \mathbb {Q} _{p}}$ n'est pas localement compacte : cela équivaut au fait qu'elle est de degré infini[21]. Puisque ce degré est ℵ₀[22], elle n'est même pas complète[23]. Son complété ${\displaystyle {\widehat {\mathbb {Q} _{p}^{a}}}}$ est appelé le corps de Tate et noté ${\displaystyle \mathbb {C} _{p}}$ (ou parfois ${\displaystyle \Omega _{p}}$[24]). Il est algébriquement clos[25] (donc algébriquement isomorphe à ${\displaystyle \mathbb {C} }$ , comme ${\displaystyle \mathbb {Q} _{p}^{a}}$) et son degré de transcendance sur ${\displaystyle \mathbb {Q} _{p}}$ est 2^ℵ₀[26].

Les seules fonctions réelles de dérivée nulle sont les fonctions constantes. Cela n'est pas vrai sur ${\displaystyle \mathbb {Q} _{p}}$. Par exemple, la fonction

${\displaystyle \mathbb {Q} _{p}\to \mathbb {Q} _{p},\,x\longmapsto \left\{{\begin{matrix}|x|_{p}^{-2}&{\mbox{si }}x\neq 0,\\0&{\mbox{si }}x=0\end{matrix}}\right.}$

possède une dérivée nulle en tous points, mais n'est même pas localement constante en 0.

Pour tous ${\displaystyle r,r_{2},r_{3},r_{5},r_{7}\ldots }$ appartenant respectivement à ${\displaystyle \mathbb {R} ,\mathbb {Q} _{2},\mathbb {Q} _{3},\mathbb {Q} _{5},\mathbb {Q} _{7}\ldots }$, il existe une suite dans ${\displaystyle \mathbb {Q} }$ qui converge vers ${\displaystyle r}$ dans ${\displaystyle \mathbb {R} }$ et vers ${\displaystyle r_{p}}$ dans ${\displaystyle \mathbb {Q} _{p}}$ pour tout ${\displaystyle p}$ premier.

• Yvette Amice, Les Nombres p-adiques, PUF, 1975 (lire en ligne)
  Une introduction élémentaire aux nombres p-adiques. Les prérequis sont la connaissance de l'arithmétique modulaire, et un peu d'analyse complexe d'une variable. L'ouvrage passe en revue les entiers et les nombres p-adiques, les corps de valuation discrète, les corps valués complets, les espaces de Banach et les fonctions analytiques p-adiques, et se termine avec des critères de rationalité de séries formelles. Un ouvrage accessible écrit par une spécialiste de l'analyse p-adique.
• Nicole Berline et Claude Sabbah, La Fonction zêta, Éditions de l'École polytechnique, 2003, aperçu sur Google Livres
  On y parle des nombres p-adiques, de ${\displaystyle \mathbb {C} _{p}}$, d'espaces de Banach p-adiques, de mesures et de distributions sur ${\displaystyle \mathbb {Z} _{p}}$, et bien sûr de la fonction zêta p-adique ${\displaystyle \zeta _{p}}$.
• Collectif, Leçons de mathématiques d'aujourd'hui, vol. 2, Cassini, 2003
  L'article concernant les nombres p-adiques est écrit par Jean-Marc Fontaine.
• Pierre Colmez, Éléments d'analyse et d'algèbre (et de théorie des nombres), Éditions de l'École polytechnique, 2012, 2^e éd.
  On y parle des nombres p-adiques, d'espaces de Banach p-adiques, de fonctions d'une variable p-adique, et de la fonction zêta p-adique ${\displaystyle \zeta _{p}}$.
• (en) Fernando Q. Gouvêa, p-adic Numbers: An Introduction [détail de l’édition]
  Très clair, accessible à un étudiant de 3^e année. Construction(s) motivée(s) des nombres p-adiques, analyse élémentaire, extensions finies de ${\displaystyle \mathbb {Q} _{p}}$, analyse sur ${\displaystyle \mathbb {C} _{p}}$. Nombreux exercices corrigés.
• (en) Jürgen Neukirch, « The p-Adic Numbers », dans Heinz-Dieter Ebbinghaus (de) et al., Numbers, coll. « GTM » (n^o 123), 1991 (lire en ligne), p. 155-178
• Paulo Ribenboim, L'Arithmétique des corps, Hermann, 1972, chap. 4 (« Les nombres p-adiques »)
  On y parle de valeur absolue d'un corps, complétion d'un corps valué, nombres p-adiques, fonctions exponentielles et logarithmes, valuations d'un corps, corps valués henséliens et compacité d'un anneau de valuation.
• (en) Paulo Ribenboim, The Theory of Classical Valuations, Springer, 2012 (1^re éd. 1999) (lire en ligne), chap. 2 et 3
• (en) Alain M. Robert (en), A Course in p-adic Analysis, coll. « GTM » (n^o 198), 2000 (lire en ligne)
• Jean-Pierre Serre, Cours d'arithmétique, 1970 [détail des éditions]
  La première partie établit la classification des formes quadratiques sur ${\displaystyle \mathbb {Q} }$ : deux telles formes sont équivalentes si et seulement si elles le sont sur tous les ${\displaystyle \mathbb {Q} _{p}}$ et sur ${\displaystyle \mathbb {R} }$ (souvent considéré comme étant un « ${\displaystyle \mathbb {Q} _{\infty }}$ »).

(en) Fernando Q. Gouvêa, « Hensel's ${\displaystyle p}$-adic Numbers: early history », 1999

• Arithmétique et théorie des nombres