Group Homomorphism
A group homomorphism is a function between two groups that preserves the group structure. Specifically, it is a map f: G -> H between two groups G and H such that for all elements a, b in G, the homomorphism satisfies the property f(a*b) = f(a)*f(b), where * denotes the group operation in each respective group. This means that the homomorphism respects the group multiplication and identity elements, making it a fundamental concept in group theory.