In mathematics, given two groups, and, a group homomorphism from to is a function h: G → H such that for all u and v in G it holds that where the group operation on the left side of the equation is ... Wikipedia