Maths Olympiad Prep

Library / /204 of 520

Number theory Difficulty 6.0 AIME, harder Prove it

12. If the prime p3(mod4)p \equiv 3(\bmod 4), then gg is a primitive root modulo pp if and only if
δp(g)=(p1)/2\delta_{p}(-g)=(p-1) / 2

Solution

12. Necessity follows from part (iii) of question 10. If δp(g)=(p1)/2\delta_{p}(-g)=(p-1) / 2, then g(p1)/21g^{(p-1) / 2} \equiv-1 (modp)(\bmod p). From this and δp(g)/(δp(g),2)=δp(g2)=δp((g)2)=δp(g)/(δp(g),2)=\delta_{p}(g) /\left(\delta_{p}(g), 2\right)=\delta_{p}\left(g^{2}\right)=\delta_{p}\left((-g)^{2}\right)=\delta_{p}(-g) /\left(\delta_{p}(-g), 2\right)= (p1)/2(p-1) / 2, it follows that gg 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.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.