Hensel's lemma

From Wikipedia, the free encyclopedia

In mathematics, Hensel's lemma, named after Kurt Hensel, is a generic name for analogues for complete commutative rings (including p-adic fields in particular) 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.

A version of the lemma for p-adic fields is as follows. Let f(x) be a polynomial with integer coefficients, k an integer not less than 2 and p 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

[edit] Generalizations

Suppose A is a commutative ring, complete with respect to an ideal m ⊂ A, and let f(x) ∈ A[x] be a polynomial with coefficients in A. Then if a ∈ A is an "approximate root" of f in the sense that it satisfies

f(a) ≡ 0 mod f ′(a)²m

then there is an exact root b ∈ A of f "close to" a; that is,

f(b) = 0

and

b ≡ a mod f ′(a)m.

Further, if f ′(a) is not a zero-divisor then b is unique.

This result has been generalized to several variables by Nicholas Bourbaki as follows:

Theorem: Let A be a commutative ring, complete with respect to an ideal m ⊂ A, and a = (a₁, …, a_n) ∈ Aⁿ an approximate solution to a system of polynomials f_i(x) ∈ A[x₁, …, x_n] in the sense that

f_i(a) ≡ 0 mod m

for 1 ≤ i ≤ n. Suppose that either det J(a) is a unit in A or that each f_i(a) ∈ (det J(a))²m, where J(a) is the Jacobian matrix of a with respect to the f_i. Then there is an exact solution b = (b₁, …, b_n) in the sense that

f_i(b) = 0

and furthermore this solution is "close to" a in the sense that

b_i ≡ a_i mod m

for 1 ≤ i ≤ n.

[edit] Related concepts

Completeness of a ring is not a necessary condition for the ring to have the Henselian property: Goro Azumaya in 1950 defined a commutative local ring satisfying the Henselian property for the maximal ideal m to be a Henselian ring.

Masayoshi Nagata proved in the 1950s that for any commutative local ring A with maximal ideal m there always exists a smallest ring A^h containing A such that A^h is Henselian with respect to mA^h. This A^h is called the Henselization of A. If A is noetherian, A^h will also be noetherian, and A^h is manifestly algebraic as it is constructed as a limit of étale neighbourhoods. This means that A^h is usually much smaller than the completion  while still retaining the Henselian property and remaining in the same category.

[edit] References

• Eisenbud, David. Commutative Algebra with a View Toward Algebraic Geometry. Springer Graduate Texts in Mathematics, no. 150.
• Milne, J. S. Étale Cohomology. Princeton, 1980.