Group homomorphism (source code)

= Group homomorphism
{wiki}

A group homomorphism preserves multiplication: $\phi(xy)=\phi(x)\phi(y)$.