Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-28/2/b/solution

For , the even residue class contains exactly one root, by the simple-root form of Hensel lemma at : and is a unit. For the odd classes use the strong form of Hensel lemma:
In both cases . Each gives exactly one root in . These two balls partition the odd integers, so there are no further roots.
For , reduction gives , whose sole root is . The derivative is always a unit modulo , so that root lifts uniquely. For , the only possible residue is zero. But if , then while has valuation one, so cannot vanish. The exact root counts are

New to topics? Read the docs here!