Group homomorphism/Definition

A map between group which preserves the group structure.