Notemos que la primera de las relaciones anteriores implica que la función formula_112 de formula_1 en formula_114 es un homomorfismo de grupos que es claramente suprayectivo.