## [Lemme de Hensel](/fr/node/63501) Définition 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 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 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 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 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 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 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 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 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.