docoo
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)$
--