Un grupo formula_24 en el que se verifica la propiedad conmutativa, es decir, en el que formula_98 para cualesquiera formula_40 y formula_70 de formula_24, se dice grupo abeliano.