El teorema fundamntal de homomorfismos puede enunciarse también de la manera así: si formula_127 es un homomorfismo de grupos y formula_424 un subgrupo normal de formula_24 tal que formula_485, entonces existe un único homomorfismo formula_486 que da lugar al diagrama conmutativo siguiente: