Hensel Lifting

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.

Une méthode pour relever des solutions de congruences polynomiales modulo une puissance d'un premier vers des solutions modulo des puissances supérieures (ou vers des solutions p-adiques), utilisant des conditions d'inversibilité locale souvent analogues à l'itération de Newton dans la topologie p-adique.