formula_3 Es decir, que f es un homomorfismo (suprayectivo) de formula_4 en G.