Un principe de relèvement en arithmétique p-adique et modulo qui, sous des conditions de dérivée (non dégénérescence), permet de relever une solution d'une congruence polynomiale modulo p^n vers une solution modulo des puissances supérieures p^{n+k}, conduisant finalement à une racine dans les entiers p-adiques.

Principe

Si f(x) ≡ 0 (mod p^n) et que f'(x) est inversible modulo p, alors il existe un unique x' modulo p^{n+1} avec x' ≡ x (mod p^n) tel que f(x') ≡ 0 (mod p^{n+1}) ; l'application itérée fournit une racine p-adique, rappelant l'itération de Newton dans un contexte de valuation discrète.

Démonstration

Supposons f(x) ∈ Z_p[x] et x_0 résout f(x_0) ≡ 0 (mod p) avec f'(x_0) non ≡ 0 (mod p). Alors il existe une suite x_1, x_2, ... avec x_{k+1} ≡ x_k (mod p^{k+1}) et f(x_k) ≡ 0 (mod p^{k+1}), qui converge vers une racine dans Z_p.

Mauvaise application

Chercher à relever une racine multiple modulo p lorsque f'(x) ≡ 0 (mod p) en utilisant le critère simple de Hensel conduit à l'échec ; il faut alors recourir à des versions raffinées ou analyser des dérivées d'ordre supérieur et la factorisation, sinon on suppose à tort des relèvements uniques.

Conséquence

Fournit une méthode systématique pour construire des racines p-adiques et factoriser des polynômes sur les entiers p-adiques à partir de données modulo p ; il sous-tend des arguments locaux en théorie des nombres et l'étude de l'assemblage des solutions locales en solutions globales.

Inversion

L'absence de la condition de non-dégénérescence (f'(x) ≡ 0 mod p) n'interdit pas catégoriquement les relèvements, mais inverse la garantie : les relèvements peuvent ne pas exister ou être non uniques, et des critères d'ordre supérieur sont nécessaires pour décider de la relèvabilité.

Limite

Le relèvement de Hensel standard s'applique dans les anneaux de valuation discrète complets (comme Z_p) et requiert l'inversibilité de f'(x) modulo la caractéristique résiduelle ; des variantes existent pour les racines multiples, pour les systèmes et sur des anneaux locaux complets plus généraux, mais les hypothèses diffèrent.

Tension sémantique

Souvent contrasté avec la méthode de Newton sur les réels : les deux sont des procédures itératives d'affinement de racines, mais le lemme de Hensel opère dans la topologie non archimédienne p-adique et repose sur l'inversibilité algébrique plutôt que sur des dérivées analytiques et des limites.

Synthèse

Le lemme de Hensel est l'analogue algébrique du raffinement de Newton en contexte p-adique : donné une racine modulaire non dégénérée, il la relève de façon unique vers des modules de puissance de p plus élevés et vers des solutions p-adiques, faisant le lien entre congruences modulaires et structure algébrique p-adique.