12. If the prime , then is a primitive root modulo if and only if
Solution
12. Necessity follows from part (iii) of question 10. If , then . From this and , it follows that is a primitive root.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.