Levantamiento de Hensel

Procedimiento, basado en el lema de Hensel, para elevar soluciones de congruencias polinómicas o factorizaciones módulo una potencia prima p^k a soluciones módulo potencias superiores p^{k+1}, a menudo iterado para obtener soluciones p-ádicas o factorizaciones en anillos locales completos.

Un método para levantar soluciones de congruencias polinómicas modulo una potencia de primo a soluciones modulo potencias superiores (o a soluciones p-ádicas), usando condiciones locales de invertibilidad análogas a la iteración de Newton en la topología p-ádica.