Un grupo abeliano o grupo conmutativo es un grupo que también cumple con la siguiente propiedad: