Con éstas propiedades se tiene que formula_91 es un grupo abeliano.