Se dice que un grupo es abeliano o conmutativo cuando verifica además la propiedad conmutativa: