Maths Olympiad Prep

Library / /354 of 520

Number theory Difficulty 6.3 National olympiad Prove it

Theorem 5 Let m1m \geqslant 1. The reduced residue system modulo mm can be represented as
g0,g1,,gρ(m)1,g^{0}, g^{1}, \cdots, g^{\rho(m)-1},

where gg is some integer, if and only if m=1,2,4,pα,2pα(pm=1,2,4, p^{\alpha}, 2 p^{\alpha}(p an odd prime, α1)\alpha \geqslant 1), i.e., if and only if there exists a primitive root modulo mm.

Solution

None

Translate the text above into English, please retain the original text's line breaks and format, and output the translation result directly.

Note: The provided instruction is a meta-instruction and not part of the text to be translated. Since the text to be translated is "None", the translation is also "None". Here is the formatted output as requested:

None

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.