Procédé, fondé sur le lemme de Hensel, consistant à remonter des solutions de congruences polynomiales ou des factorisations modulo une puissance première p^k vers des solutions modulo des puissances supérieures p^{k+1}, souvent itéré pour obtenir des solutions p-adiques ou des factorisations dans des anneaux locaux complets.

Principe

Utiliser une condition dérivée locale ou de relèvement de factorisation : étant donné une solution a modulo p^k avec f(a) ≡ 0 (mod p^k) et f'(a) non ≡ 0 (mod p), corriger a par un terme obtenu par le lemme de Hensel (un pas de Newton) pour produire un relèvement unique modulo p^{k+1} ; de même, relever des factorisations lorsque les facteurs sont premiers entre eux modulo p.

Démonstration

Pour f(x)=x^2-4 et la solution x ≡ 2 (mod 5) simple car f'(2)=4 ≠ 0 (mod 5), le relèvement de Hensel donne un unique relèvement x ≡ 2 (mod 25) et, par itération, une racine 5-adique. De manière générale on relève une factorisation f ≡ gh (mod p) avec gcd(g,h)=1 en une factorisation modulo puissances supérieures de p.

Mauvaise application

Tenter de relever lorsque la condition sur la dérivée échoue (f'(a) ≡ 0 (mod p)) sans recourir aux critères de Hensel d'ordre supérieur, ou supposer l'existence constructive de relèvements non uniques sans vérifier la coprimalité ou la séparabilité.

Conséquence

Permet le calcul récursif de racines p-adiques et de factorisations à précision croissante, fondamental pour les algorithmes p-adiques en théorie des nombres et en algèbre computationnelle, notamment pour la recherche de racines, la factorisation sur Z_p et la construction de solutions locales à partir d'approximations modulaires.

Inversion

La réduction modulo p (ou p^k) est le processus inverse : elle perd l'information p-adique d'ordre supérieur. Alors que la réduction débarrasse l'information fine, le relèvement de Hensel la reconstruit sous des hypothèses de non-dégénérescence.

Limite

Le relèvement de Hensel standard exige un anneau local hensélien ou des conditions telles que f(a) ≡ 0 (mod p^k) avec f'(a) inversible modulo p ; des versions plus générales exigent séparabilité, coprimalité des facteurs ou le passage à des anneaux locaux complets. Sans ces conditions, les relèvements peuvent ne pas exister ou être non uniques.

Tension sémantique

Parfois confondu avec un simple relèvement de Newton numérique : le relèvement de Hensel est un analogue p-adique de l'itération de Newton mais son applicabilité rigoureuse dépend de conditions algébriques (dérivée inversible ou coprimalité), pas seulement de la convergence numérique.

Synthèse

Le relèvement de Hensel est le procédé algébrique qui affine par paliers des solutions modulaires ou des factorisations vers une précision p-adique supérieure en exploitant l'inversibilité de la dérivée ou la coprimalité des facteurs, produisant des racines p-adiques et des factorisations relevées quand les conditions de Hensel sont remplies.