Como formula_216 es el núcleo del determinante---que es un homomorfismo, se trata de un subgrupo normal de formula_218