Así, formula_36 es un grupo abeliano.