Sea formula_6 un homomorfismo de grupos y sea formula_7 el núcleo de formula_8 .