A map f between groups A and B is a homomorphism of A into B if
f(a1 * a2) = f(a1) * f(a2) for all a1, a2 in A.
where the *s are the respective group operations.