Mostraremos ahora que, esencialmente, los únicos grupos cíclicos son el grupo aditivo (infinito) formula_47 y los grupos aditivos (finitos) de la forma formula_56.