La clasificación de grupos cíclicos afirma que los finitos son isomorfos a ℤ/nℤ* (ℤ* formula_159 ℤ - {0}) y los infinitos con ℤ.