Definición 1.12: Sean formula_24 y formula_126 dos grupos y sea formula_161 un homomorfismo entre ellos.