User:Barto/Hensel's Lemma/Singular Point
< User:Barto | Hensel's Lemma
Jump to navigation
Jump to search
Theorem
Let $p$ be a prime number.
Let $k>0$ be a positive integer.
Let $f(X) \in \Z[X]$ be a polynomial.
Let $x_0\in\Z$ such that:
- $f(x_0)\equiv 0 \pmod{p^{2e+1}}$
where $e=\nu_p(f'(x_0))$.
Then for every positive integer $n>0$ there exists an integer $x_{n}$ such that:
- $x_{n}\equiv x_{n-1}\pmod{p^{e+n}}$
- $f(x_{n})\equiv 0 \pmod{p^{2e+1+n}}$
Moreover, each such $x_{n}$ is unique up to a multiple of $p^{e+n+1}$.