6O seguinte resultado é conhecido e não iremos prova-lo: (ℤ_n^∗,⋅) cíclico se e somente se n = 1, 2, 4,p^k, 2p^k, onde p > 2 é primo.