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