Given two groups <math>G,G'</math>, a homomorphism from <math>G</math> to <math>G'</math> is a function <math>\phi : G \to G'\,</math> such that for all <math>a,b\in G</math>, <math>\phi (ab) = \phi (a) \phi (b) \,</math>