Let \(G,H\) be groups. A group homomorphism is a function \(\phi:G \to H\) such that \(\phi(gh) = \phi(g)\phi(h)\) for all \(g,h \in G\).