Así pues, tenemos que un grupo cíclico es, o isomorfo a formula_54 (en cuyo caso el grupo en cuestión es infinito), o isomorfo a un grupo de la forma formula_93 (en cuyo caso el grupo en cuestión es finito y de orden formula_52), luego hemos clasificado a todos los grupos cíclicos.