Grupo en el que la operación definida (*)

posee la propiedad conmutativa.