In mathematics, Hensel's lemma, named after Kurt Hensel , is a generic name for analogues for p-adic fields of the Newton method for solving equations. Since p-adic analysis is in some ways simpler than real analysis, there are relatively neat criteria guaranteeing a root of a polynomial.
One version of the lemma is as follows. Let f(x) be a polynomial with integer coefficients, k is an integer not less than 2 and p is a prime number. Suppose that r is a solution of the congruence
If
, then there is a unique integer t, 0 ≤ t ≤ p, such that
with t given by
.
If, on the other hand,
, and in addition,
, then
for all integers t.
Also, if
and
, then
has no solution for any
.
See also: Hensel ring , Henselization .
Last updated: 05-27-2005 15:09:55