En particular, es un subgrupo normal, abeliano.