Egy G csoport akkor és csak akkor ciklikus, ha izomorf a \Z^+ vagy valamilyen m\geq 0 nemnegatív egész szám esetén a (\Z/m\Z)^+ csoporttal.