NOMBRES (THÉORIE DES)Nombres p-adiques

Carte mentale

Élargissez votre recherche dans Universalis

Équations p-adiques ; lemme de Hensel

Revenons aux considérations du début et étudions un système d'équations :

où α = 1, 2, ..., r et où les fα sont des polynômes à coefficients dans Zp ; on cherche les solutions (x1, x2, ..., xm) dans (Zp)m. Par réduction modulo pn, on en déduit un système d'équations fα,n = 0 dans Z/pnZ. Pour que le système étudié ait une solution dans (Zp)m, il faut et il suffit que pour tout n le système réduit mod pn ait une solution dans (Z/pnZ)m. En effet, une solution dans (Zp)m n'est autre qu'une suite de solutions mod pn pour tous les n, qui se correspondent par les applications canoniques ϕkn ; si Xn ⊂ (Z/pnZ)m désigne l'ensemble des solutions mod pn, on voit que l'image dans Xn de l'image X des solutions dans (Zp)m est :
qui est non vide si chaque Xq est non vide (intersection décroissante d'ensembles finis non vides ; en termes plus savants, on observe que X est limite projective des Xn et que la limite projective d'une suite d'ensembles finis non vides est non vide).

De la même manière, on prouve que l'existence d'une solution primitive dans (Zp)m équivaut à l'existence d'une solution primitive mod pn pour tout n ; un élément primitif de (Zp)m, ou de (Z/pnZ)m, est, par définition, un élément dont l'une des m coordonnées est inversible. Remarquons que l'existence d'une solution primitive dans (Zp)m équivaut encore à l'existence d'une solution différente de 0 dans (Qp)m ; on le voit en réduisant au même dénominateur.

Le résultat suivant donne une condition suffisante pour qu'un zéro mod pn d'un polynôme f ∈ Zp[X1, X2, ..., Xm] se relève en un zéro dans Zp. Soit ∈ (Zp)m tel que (x) ≡ 0 (mod pn) ; s'il existe un indice j tel que :

il existe un élément y ∈ (Zp)m tel que (y) = 0 et y ≡ x (mod pn-k), où :

On construit y comme limite d'une suite (xq) d'éléments de (Zp)m vérifiant :

l'existence d'une telle suite résulte du lemme suivant.

Lemme. Soit f ∈ Zp[X] et ∈ Zp tels que (x) ≡ 0 (mod pn). Si :

il existe x′ ∈ Zp tel que :
k = vp(′(x)).

Pour démontrer ce lemme, on cherche x′ sous la forme x′ = x + pn-kz et on utilise la formule de Taylor :

t est un entier p-adique ; disons que (x) est multiple de pn et que la valuation de ′(x) est k, soit (x) = pny et ′(x) = pku avec y ∈ Zp et u ∈ U, donc :

Comme par hypothèse n − 2≥ 1, il suffit de choisir z tel que y + zu soit multiple de p, c'est-à-dire ≡ − yu-1 (modp) ; alors (x + pn-kz) est divisible par pn+1 et :

a pour valuation k.

Appliquons ce résultat dans le cas où n = 1 ; on a alors nécessairement k = 0 et on voit que, si ξ ∈ (Fp)m est un zéro du polynôme :

déduit de f par réduction modulo p, et si une au moins des dérivées partielles premières de ne s'annule pas en ξ (zéro « simple »), alors il existe un zéro de f dans (Zp)m qui relève ξ. Par exemple, si f est homogène de degré 2 (forme quadratique) et si son discriminant est inversible dans Zp, est une forme quadratique non dégénérée à coefficients dans Fp ; lorsque p ≠ 2 tout ξ ∈ (Fp)m − {0} tel que f̄ (ξ) = ā est une racine simple et se relève donc en un x ∈ (Zp)m tel que (x) = a. Lorsque p = 2, on montre de même que, si x est un élément primitif de (Z2)m tel que (x) ≡ (mod 8), il existe y ∈ (Z2)m tel que (y) = a et y ≡ x (mod 4). Pour m = 1, ces résultats permettent de déterminer les éléments inversibles de Zp qui sont les carrés ; lorsque p ≠ 2, ce sont les éléments de U dont la classe mod p est un carré dans Fp ; nous étudierons plus loin les carrés de Zp par une autre méthode.

Le lemme de Hensel est un résultat voisin du précédent et s'énonce ainsi : soit f ∈ Zp[X] un polynôme à une indéterminée à coefficients entiers p-adiques ; supposons donnée un décomposition  = ϕψ de la réduction de f modulo p en produit d'un polynôme unitaire ϕ de degré d et d'un polynôme ψ étranger à ϕ ; il existe un couple unique (gh) de polynômes g, h appartenant à Zp[X] tels que f = gh,  = ϕ,  = ψ et que g soit unitaire de degré d.

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

Écrit par :

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

Classification

Autres références

«  NOMBRES THÉORIE DES  » est également traité dans :

NOMBRES (THÉORIE DES) - Vue d'ensemble

  • Écrit par 
  • Jean DIEUDONNÉ
  •  • 3 238 mots

Dans la plupart des civilisations parvenues au stade de l'écriture, les nombres entiers ont, dès l'origine, été liés à des pratiques religieuses ou magiques, et leurs propriétés ont exercé une sorte de fascination sur les esprits, qui est loin d'être disparue de nos jours, où la « numérologie » conserve des adeptes ; il n'est donc pas étonnant que ce soit au sein de l'école […] Lire la suite

NOMBRES (THÉORIE DES) - Théorie analytique

  • Écrit par 
  • Jean DIEUDONNÉ
  •  • 8 185 mots
  •  • 1 média

Ce qu'on appelle la « théorie analytique des nombres » ne peut pas être considéré comme une théorie mathématique au sens usuel qu'on donne à ces mots, c'est-à-dire un système organisé de définitions et de théorèmes généraux accompagné d'applications à des exemples importants. Il s'agit au contraire ici presque exclusivement de problèmes particuliers qui […] Lire la suite

NOMBRES (THÉORIE DES) - Nombres algébriques

  • Écrit par 
  • Christian HOUZEL
  •  • 14 064 mots

Les mathématiciens grecs avaient découvert que certains rapports de grandeurs ne sont pas rationnels, c'est-à-dire qu'ils ne sont pas égaux au rapport de deux entiers : il en est ainsi du rapport de la diagonale d'un carré à son côté, puisque aucun nombre rationnel n'a un carré égal à 2. Plus généralement, Théétète (ve […] Lire la suite

ARITHMÉTIQUES (Diophante)

  • Écrit par 
  • Bernard PIRE
  •  • 192 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 sont une collection de solutions numériques de 130 équations. La méthode de résolution des équations indéterminées c […] Lire la suite

ARTIN EMIL (1898-1962)

  • Écrit par 
  • Jean-Luc VERLEY
  •  • 1 324 mots

Dans le chapitre « Corps de nombres algébriques et théorie du corps de classe »  : […] Emil Artin est né le 3 mars 1898 à Vienne. La décennie de 1921 à 1931 constitue une période d'intense activité créatrice où Artin fait les principales découvertes qui l'ont rendu célèbre ; grâce à lui, l'université de Hambourg, la plus jeune d'Allemagne, se place alors au premier rang pour les mathématiques. Fuyant le régime nazi, Artin et sa famille émigrent aux États-Unis en 1937 ; professeur à […] Lire la suite

BAKER ALAN (1939-2018)

  • Écrit par 
  • Bernard PIRE
  •  • 340 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 1964. Il est nommé professeur à l'université de Cambridge en 1966. Ce spécialiste de la théorie des nombr […] Lire la suite

BOMBIERI ENRICO (1940- )

  • Écrit par 
  • Bernard PIRE
  •  • 309 mots

Mathématicien italien, lauréat de la médaille Fields en 1974 pour ses travaux en théorie des nombres. Né le 26 novembre 1940 à Milan (Italie), Enrico Bombieri soutient, en 1963, sa thèse de doctorat à l'université de Milan. Professeur à l'université de Pise de 1966 à 1973, il enseigne à partir de 1974 à l'École normale supérieure de Pise et occupe la chaire I.B.M.-von Neumann à l'Institute for Adv […] Lire la suite

CASSELS JOHN WILLIAM SCOTT (1922- )

  • Écrit par 
  • Bernard PIRE
  •  • 322 mots

Mathématicien britannique, spécialiste de la théorie des nombres. Né le 11 juillet 1922 à Durham, John William Scott Cassels est le fils du directeur de l'agriculture du comté de Durham dans le nord de l'Angleterre. Après des études secondaires et supérieures à Édimbourg (Écosse), il est admis en 1943 au Trinity College de l'université de Cambridge, où il soutient sa thèse de doctorat en 1949 sous […] Lire la suite

CHEVALLEY CLAUDE (1909-1984)

  • Écrit par 
  • Jean DIEUDONNÉ
  •  • 259 mots

Fils d'ambassadeur, né à Johannesburg, Chevalley a fait la plus grande partie de ses études à Paris, où il fut élève de l'École normale supérieure, de 1926 à 1929. Il a enseigné à l'université de Rennes, puis aux États-Unis, aux universités de Princeton et de Columbia (New York). Il termina sa carrière comme professeur et correspondant de l'Académie des sciences à l'université de Paris. Ses travau […] Lire la suite

CONWAY JOHN HORTON (1937-2020)

  • Écrit par 
  • Bernard PIRE
  •  • 1 037 mots
  •  • 1 média

Chercheur profond dont les succès concernent de nombreux domaines mathématiques, le Britannique John Horton Conway était aussi un orateur et un vulgarisateur brillant dont les exposés ont captivé de larges publics. Amateur assidu de jeux tels que le backgammon ou le jeu de go, il est notamment connu pour ses travaux en théorie mathématique des jeux, et en particulier son invention de l’algorith […] Lire la suite

Voir aussi

Pour citer l’article

Christian HOUZEL, « NOMBRES (THÉORIE DES) - Nombres p-adiques », Encyclopædia Universalis [en ligne], consulté le 12 août 2022. URL : https://www.universalis.fr/encyclopedie/nombres-theorie-des-nombres-p-adiques/