Hensel Lifting

A procedure, based on Hensel's lemma, for lifting solutions of polynomial congruences or factorizations modulo a prime power p^k to solutions modulo higher powers p^{k+1}, often iterated to obtain p-adic solutions or factorizations in complete local rings.

A method for lifting solutions of polynomial congruences modulo a prime power to solutions modulo higher powers (or to p-adic solutions), using local invertibility conditions often analogous to Newton iteration in the p-adic topology.