Lemme de Hensel

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.