Groepshomomorfisme

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

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[bewerken]

De afbeelding h:GH van de groep (G, *) naar de groep (H,°) heet een groepshomomorfisme, als voor alle u en v in G geldt:

 h(u*v) = h(u)\circ h(v)

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:

 h(u^{-1}) = h(u)^{-1} \,

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 beschouwd die naast de groepsstrctuur nog een andere structuur bezitten, staat een homomorfisme soms voor een afbeelding die niet alleen de groepstructuur respecteert (zoals hierboven), maar ook de extra structuur. Van een homomorfisme van topologische groepen wordt bijvoorbeeld vaak vereist dat dit continu is.