Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/ii/paper-1/1h/solution

For every odd prime and , the group of units modulo an integer is a cyclic group, of order ; a generator is a primitive root.
Modulo seven, are , so three has order six. Moreover is divisible by seven exactly once. We prove the lifting needed here. If with and , the binomial expansion gives , so . Induction therefore gives
Any exponent giving one modulo is divisible by six. The order also divides by Lagrange theorem, while the displayed valuation rules out each proper divisor of this form. Consequently three is a primitive root modulo every .
Since and two is not one, its order modulo seven is three. A generator modulo would reduce to a generator modulo seven, because reduction is a surjective group homomorphism. Thus two is never a primitive root modulo . Finally every unit modulo eight is odd, and . All unit orders are at most two, whereas the unit group has four elements. There is no primitive root modulo eight.

New to topics? Read the docs here!