MathCastle
Groups and FieldsChallengeHomomorphisms and Isomorphisms

Homomorphisms and Isomorphisms · Challenge problem

The multiplicative group U(17)U(17) of nonzero residues mod 1717 is cyclic of order 1616 (isomorphic to Z16\mathbb Z_{16}). For how many k∈{1,2,…,16}k \in \{1, 2, \ldots, 16\} is the map x↦xkx \mapsto x^k an automorphism of U(17)U(17)?