Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

For an odd prime $p$, if $a = p^fb$ and $p \nmid b, 0 \leq f < e$, how many solutions exist for $z^2 \equiv a\ (mod\ p^e)$.
I have already proved the previous part of this question which was to show that a solution exists if and only if $f$ is even and $b$ is quadratic modulo $p$.
If we let $b \equiv \beta^2\ (mod\ p^e)$, then $z^2 \equiv (p^{f/2}\beta)^2\ (mod\ p^e)$ which gives us $\pm\ p^{f/2}\beta$ as roots modulo $p^e$. How to find number of distinct roots among them?

share|cite|improve this question
I think you mean $b$ is quadratic modulo $p^e$, since the two notions are distinct. – awllower Aug 31 '12 at 8:59
first proved that $b$ is quadratic modulo $p^e$ which is true iff $b$ is quadratic modulo $p$ hence the result. – Abhishek Anand Aug 31 '12 at 10:37
Abhishek, 3 is a quadratic residue mod 2 but not mod 8, so I don't understand your comment. By the way, is $p$ supposed to be a prime? If yes, could you please edit this fact into the statement of the question? – Gerry Myerson Aug 31 '12 at 13:02
Sorry Gerry, my bad!! $p$ is supposed to be an odd prime. – Abhishek Anand Aug 31 '12 at 13:25
Abhishek, then 3 is a quadratic residue mod 3 but not mod 9. – Gerry Myerson Aug 31 '12 at 13:29

Your Answer


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

Browse other questions tagged or ask your own question.