Corollary 8.2. Let be a primitive root modulo where is an integer, . Then is a primitive root modulo if and only if .
Solution
Proof. From Theorem 8.4 , we know that
Consequently, , and is a primitive root modulo , if and only if
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.