Maths Olympiad Prep

Library / /296 of 520

Number theory Difficulty 6.2 National olympiad Prove it

29. If mm has a primitive root gg, then
gk,1kφ(m),(k,φ(m))=1g^{k}, \quad 1 \leqslant k \leqslant \varphi(m),(k, \varphi(m))=1

are pairwise incongruent modulo mm and are all the primitive roots modulo mm, the number of which is φ(φ(m))\varphi(\varphi(m)).

Solution

29. Derived from property I\mathbb{I}.

untranslated text remains in its original form if it cannot be translated or if it is a formula.

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.