Todo subgrupo de un grupo abeliano es normal, y por lo tanto, para todo subgrupo hay un grupo cociente.