La estructura algebraica formula_347 no es un grupo, pues aunque en formula_32 sí se cumple la propiedad 1.