Otra consecuencia del corolario 1.19 es que todo grupo cíclico es abeliano.