The composition of two group homomorphisms is a homomorphism

Given two group homomorphisms \(f: G \to H\) and \(g: H \to K\), the composition \(gf: G \to K\) is also a homomorphism.

To prove this, note that \(g(f(x)) g(f(y)) = g(f(x) f(y))\) since \(g\) is a homomorphism; that is \(g(f(xy))\) because \(f\) is a homomorphism.


  • Group homomorphism

    A group homomorphism is a “function between groups” that “respects the group structure”.