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

Le noyau de l'homomorphisme canonique Z → Z_p est formé des entiers divisibles par toutes les puissances de p ; il est donc réduit à {0}, et l'homomorphisme considéré est injectif et permet d'identifier Z à un sous-anneau de Z_p. La surjection canonique Z → Z/pⁿZ se décompose en l'injection de Z dans Z_p suivie de la projection de Z_p dans le facteur Z/pⁿZ ; on voit ainsi que cette dernière projection est surjective ; son noyau est l'ensemble des entiers p-adiques (x_m) tels que x_n = 0, ce qui donne x_m = 0 pour m ≤ n et x_m ∈ pⁿZ/p^mZ pour m > n ; autrement dit, ce noyau est l'ensemble des entiers p-adiques multiples de pⁿ. On obtient ainsi l'isomorphisme :

pour tout entier n ≥ 1.

Pour n = 1, cela montre que Z_p/pZ_p est un corps, donc que l'idéal pZ_p engendré par p est maximal. Si un entier p-adique x = (x_m) n'appartient pas à pZ_p, chacune de ses composantes x_m est inversible dans le facteur correspondant Z/p^mZ et (x_m^-1) est inverse de x dans Z_p ; ainsi l'idéal maximal pZ_p est exactement l'ensemble des éléments non inversibles de Z_p, et c'est donc le seul idéal maximal : l'anneau Z_p est local et son corps résiduel est Z_p/pZ_p ≃ F_p, corps à p éléments. Les puissances successives de l'idéal maximal forment une suite décroissante (p^mZ_p) d'idéaux dont l'intersection est visiblement {0} ; le plus grand de ces idéaux est p⁰Z_p = Z_p. La multiplication par pⁿ est injective dans Z_p ; il suffit de le vérifier pour n = 1, et px = 0 équivaut à px_m = 0 dans Z/p^mZ pour tout m, ce qui donne :

d'où x_m-1 = 0. L'anneau Z_p s'applique donc bijectivement sur l'idéal pⁿZ_p, et l'ensemble U = Z_p − pZ_p de ses éléments inversibles s'applique bijectivement sur :

on voit ainsi que l'ensemble Z_p − {0} est réunion disjointe des pⁿU (n ∈ N). Autrement dit, tout entier p-adique non nul x s'écrit d'une seule manière sous la forme pⁿu avec n ∈ N et u ∈ U entier p-adique inversible ; l'entier naturel n s'appelle la valuation p-adique de x et se note v_p(x). Si x = p^mu et y = pⁿv sont des entiers p-adiques non nuls, avec[...]

La suite de cet article est accessible aux abonnés

Des contenus variés, complets et fiables
Accessible sur tous les écrans
Pas de publicité

Découvrez nos offres

Déjà abonné ? Se connecter

Écrit par

Christian HOUZEL : directeur de recherche au C.N.R.S., professeur à l'université de Paris-VIII-Denis-Diderot

Carte mentale
Élargissez votre recherche dans Universalis

Classification

Autres références

PRIX ABEL 2016
- Écrit par Yves GAUTIER
- 1 168 mots
- 2 médias
Le 15 mars 2016, l’Académie norvégienne des sciences et des lettres a décerné le prix Abel 2016 au mathématicien anglais Andrew John Wiles « pour avoir démontré de manière éclatante le dernier théorème de Fermat par le biais de la conjecture de modularité pour les courbes elliptiques semi-stables,...
ARITHMÉTIQUES (Diophante)
- Écrit par Bernard PIRE
- 188 mots
Diophante d'Alexandrie, parfois appelé le « père de l'algèbre », est connu par son ouvrage les Arithmétiques, qui traite des solutions des équations algébriques. On ne sait pratiquement rien de sa vie et ses dates de naissance et de mort sont très controversées. Les Arithmétiques...
ARTIN EMIL (1898-1962)
- Écrit par Jean-Luc VERLEY
- 1 319 mots
La part la plus importante de l'œuvre d'Artin concerne l'étude des corps de nombres algébriques etl'application des résultats obtenus à la théorie des nombres. Pour tout corps de nombres algébriques K, on peut considérer une fonction ζk(s), appelée la fonction zêta de Dedekind, qui...
BAKER ALAN (1939-2018)
- Écrit par Bernard PIRE
- 338 mots
Alan Baker, mathématicien britannique, lauréat de la médaille Fields en 1970 pour ses travaux en théorie des nombres, est né le 19 août 1939 à Londres. Il a fait ses études supérieures à l'University College de Londres puis au Trinity College de Cambridge où il soutient sa thèse de doctorat en...
Afficher les 56 références

NOMBRES (THÉORIE DES) Nombres p-adiques

Généralités

PRIX ABEL 2016

ARITHMÉTIQUES (Diophante)

ARTIN EMIL (1898-1962)

BAKER ALAN (1939-2018)