up:: Group (Mathematics) A function between groups and is said to be a homomorphism if it preserves both groups’ operations. That is, Corollaries Homomorphisms preserve neutral elements: Homomorphisms preserve inverse operations: References Group homomorphism - Wikipedia