Es sabido que los homomorfismos (de grupo) formula_6