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
De afbeelding h:G → H van de groep (G, *) naar de groep (H,°) heet een groepshomomorfisme, als voor alle u en v in G geldt:
Het gevolg is dat h het neutrale element eG van G afbeeldt op het neutrale element eH van H, en dat de inverse van een element wordt afgebeeld op de inverse van het beeld van dat element:
Vandaar dat men zegt dat h "verenigbaar" is met de groepsstructuur.
Een recente ontwikkeling is om groepshomomorfismen niet als afbeelding te noteren, maar zonder haakjes rechts van zijn argumenten, zodat h(x) nu simpelweg genoteerd wordt als xh. 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. |