Me cuesta entender cómo se demuestra que el producto de un homomorfismo hacia un grupo abeliano H, desde un grupo G es un homomorfismo. En primer lugar, la operación sería $fb(g)$ = $f(g)b(g)$ . Me pregunto cómo demostrar que esta operación es asociativa. Gracias.
Edición: ¡Ya he descubierto por qué es un homomorfismo! ¿Podría alguien ayudarme a demostrar que el producto de homomorfismos de G a un grupo abeliano H es asociativo?