NOMBRES (THÉORIE DES)Nombres p-adiques

On peut aborder l'étude d'un problème diophantien (cf. équations diophantiennes) en commençant par chercher les solutions modulo p, un nombre premier quelconque : on est alors devant un problème plus facile, car Z/pZ est un corps. Cette méthode ne donne qu'une information insuffisante pour le problème initial ; on la raffine en étudiant les équations modulo p^m pour tous les entiers m ≥ 1. L'anneau Z/p^mZ n'est pas un corps, mais ses propriétés arithmétiques sont beaucoup plus simples que celles de Z : c'est un anneau fini qui a un seul idéal premier (engendré par la classe de p) ; les autres idéaux sont les puissances de l'idéal premier.

Supposons maintenant qu'on connaisse une solution x_m ∈ Z/p^mZ du problème modulo p^m ; pour tout k ≤ m, on en déduit une solution x_k mod p^k au moyen de l'application canonique évidente :

provenant de l'application identique de Z. Ces considérations nous conduisent à introduire les suites (x_m) telles que x_m ∈ Z/p Z pour tout m et x_k = ϕ_km(x_m) pour k ≤ m. L'ensemble Z_p de ces suites est ainsi une partie du produit :et c'est même un sous-anneau pour la structure d'anneau produit (car les ϕ_km sont des homomorphismes d'anneaux) ; on dit que c'est la limite projective des anneaux Z/p^mZ. L'anneau Z_p ainsi défini s'appelle l'anneau des entiers p-adiques ; la méthode d'approche d'un problème diophantien envisagée plus haut consiste à étudier d'abord le problème dans Z_p. Dans cet article, on donne les principales propriétés arithmétiques de cet anneau.

Généralités

1  2  3  4  5 …
pour nos abonnés,
l’article se compose de 8 pages