group homomorphism

For groups $G$ and $H$, a map $\phi :G\to H$ is a group homomorphism (a morhphism in the category of groups) if for all elements $a,b\in G$ $\phi (ab)=\phi (a)\phi (b)$