LESSWRONG
LW

258
Wikitags

The composition of two group homomorphisms is a homomorphism

Edited by Patrick Stevens, Eric Rogstad last updated 15th Jun 2016
Requires: Group homomorphism

Given two group homomorphisms f:G→H and g:H→K, the composition gf:G→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.

Parents:
Group homomorphism
Discussion
Discussion