Teorema 1.32 (Teorema fundamental de homomorfismos): "Sea formula_25 un homomorfismo de grupos y formula_9 un subgrupo normal de formula_1 tal que formula_70.