Entonces, el núcleo del homomorfismo, es decir el subgrupo de formula_19 consistente de todos los elementos enviados por formula_211 en el neutro de formula_212, es un subgrupo normal de formula_212.