(Caracterización de Grupos Cíclicos) Sea formula_1 un grupo finito abeliano.