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

DefinitieBewerken

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.

Zie de categorie Group homomorphisms van Wikimedia Commons voor mediabestanden over dit onderwerp.