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.