Grupo abeliano
Un grupo $(G,\circ)$ que cumple la propiedad conmutativa se denomina grupo conmutativo o abeliano.
- Si $(G, \circ)$ es abeliano entonces cualquier subgrupo es normal en $G$
- La implicación anterior hace que tenga sentido el grupo cociente para cualquier subgrupo de $(G, \circ)$ , $G/H$ para cualquier $(H ,\circ ) $ en $(G, \circ)$