Teorema 1.32 (Teorema fundamental de homomorfismos): "Sea formula_127 un homomorfismo de grupos y formula_424 un subgrupo normal de formula_24 tal que formula_485.