examples for Hensel’s lemma
Example 1.
Let be a prime number greater than . Are there solutions to in the field (the -adic numbers (http://planetmath.org/PAdicIntegers))? If there are, must be a quadratic residue
modulo . Thus, let be a prime such that
where is the Legendre symbol. Hence, there exist such that . We claim that has a solution in if and only if is a quadratic residue modulo . Indeed, if we let (so ), the element satisfies the conditions of the (trivial case of) Hensel’s lemma. Therefore there exist a root of .
Example 2.
Let . Are there any solutions to in ? Notice that if we let , then and for any , the number is congruent to modulo . Thus, we cannot use the trivial case of Hensel’s lemma.
Let . Notice that and . Thus
and the general case of Hensel’s lemma applies. Hence, there exist a -adic solution to . The following is the -adic canonical form (http://planetmath.org/PAdicCanonicalForm) for one of the solutions: