Definición 1.12: Sean formula_1 y formula_2 dos grupos y sea formula_37 un homomorfismo entre ellos.