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