Grupo abeliano
Un grupo $(G, \circ )$ que cumple la propiedad conmutativa se llama grupo conmutativo o abeliano.
Si el grupo es abeliano todo subgrupo es normal en el.