El teorema fundamntal de homomorfismos puede enunciarse también de la manera así: si formula_25 es un homomorfismo de grupos y formula_9 un subgrupo normal de formula_1 tal que formula_70, entonces existe un único homomorfismo formula_71 que da lugar al diagrama conmutativo siguiente: