Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose that $f(x) \in \mathbb{Z}[X]$ is a polynomial to which we can apply Hensel's Lemma. Suppose the set $A$ is the set of solutions of $f(x)$ in $\mathbb{Z} / p \mathbb{Z}$. I'd like to show that the only solutions in $\mathbb{Z} / p^k \mathbb{Z}$, are those that are lifted from $A$ by Hensel's Lemma.

Suppose that $b$ is a solution in $\mathbb{Z} / p^k \mathbb{Z}$ such that $b \not\equiv a \mod p$ with $a \in A$. It holds that $f(b) = 0 + n \cdot p^k$. Therefore it also holds that $f(b) = 0 + q \cdot p$. We can thus say $f(b) = 0 \mod p$. Because of this $\bar{b} \in A$. But this is impossible since there is no element in $A$ which is congruent to $b \mod p$. Hence the solutions lifted by Hensel's lemma are the only solutions in $\mathbb{Z} / p^k \mathbb{Z}$.

Is this a correct proof? If not could you give a counterexample? How would one then find the solutions for $\mathbb{Z} /p^k \mathbb{Z}$ in function of $k$?

share|cite|improve this question
up vote 0 down vote accepted

It turns out my answer is correct. I found it on this older post: Does Hensel's lemma give ALL solutions to a congrence equation?

Since no one actually gave my proof over there I think there in no need to merge the questions.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.