Sea formula_1 un grupo finito abeliano y sea