Proof that the composition of two monoid homomorphisms is a monoid homomorphism.

217 Views Asked by At

Let f : MN and g : NK be monoid homomorphisms. I tried to prove that gf : MK is a monoid homomorphism too.

Let m,m' ∈ M then,

(g ∘ f) (mm') = g (f (mm'))

= g (f (m) f (m'))

= g (f (m)) g (f (m'))

= (g ∘ f) (m) (g ∘ f) (m')

Is that correct?