In de
groepentheorie, een deelgebied van de
wiskunde, is een
groepshomomorfisme van de ene
groep naar een andere een
afbeelding die de structuur bewaart, dat wil zeggen waarvan het beeld van een product, het product van de beelden is. Of anders gezegd, waar de afbeelding commuteert met de groepsbewerkingen (producten).