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.
<2001-03-16>
Try this search on OneLook / Google