Grupo abeliano

Un grupo $(G,\circ)$ que cumple la propiedad conmutativa se denomina grupo conmutativo o abeliano.

1. Si $(G, \circ)$ es abeliano entonces cualquier subgrupo es normal en $G$
2. 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)$