在数学中，给定两个群（G, *）和（H,·），从 (G, *)到 (H,·)的群同态是指映射h : G → H，其使得对于所有G中的u和v。群同态包含满同态，单同态，自同态。