En el caso de que las entradas estén en un grupo formula_96, éste necesita ser un grupo abeliano para que la adición de matrices siga dotando de estructura de grupo abeliano a formula_97.