Groepshomomorfisme
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).

Definitie
Een afbeelding  van de groep  naar de groep  heet een groepshomomorfisme, als voor alle  en  in  geldt:

Het gevolg is dat  het neutrale element  van  afbeeldt op het neutrale element  van , en dat de inverse van een element wordt afgebeeld op de inverse van het beeld van dat element:

Vandaar dat men zegt dat  verenigbaar of compatibel is met de groepsstructuur.

Groepshomomorfismen worden soms niet als afbeelding genoteerd, maar zonder haakjes rechts van zijn argumenten, dus in plaats van  simpelweg als . Deze aanpak komt vooral veel voor in gebieden van de groepentheorie waar automata een rol spelen, aangezien deze schrijfwijze in overeenstemming is met de conventie dat automata woorden van links naar rechts lezen.

In gebieden van de wiskunde waar men groepen beschouwt die naast de groepsstructuur nog een andere structuur bezitten, staat een homomorfisme soms voor een afbeelding die niet alleen de groepsstructuur respecteert (zoals hierboven), maar ook de extra structuur. Van een homomorfisme van topologische groepen wordt bijvoorbeeld vaak vereist dat dit continu is.

Groepentheorie