Groepsisomorfisme

In de abstracte algebra is een groepsisomorfisme een functie tussen twee groepen die een-op-een correspondentie opzet tussen de elementen van de twee groepen en wel op een manier, die de gegeven groepsbewerkingen respecteert. Als er sprake is van een isomorfisme tussen de twee groepen, dan worden de groepen isomorf genoemd. Vanuit het oogpunt van de groepentheorie hebben isomorfe groepen dezelfde eigenschappen en hoeven zij daarom niet van elkaar te worden onderscheiden.

Definities en notatie

Gegeven twee groepen ($G$, *) en ($H$, $\odot$), is een groepsisomorfisme van ($G$, *) naar ($H$, $\odot$) een bijectief groepshomomorfisme van $G$ naar $H$. Dit betekent dat een groepsisomorfisme een bijectieve functie

$f:G\rightarrow H\,$ is,

zodanig dat voor alle u en v in G:

$f(u*v)=f(u)\odot f(v)$.

De twee groepen (G, *) en (H, $\odot$) zijn isomorf als er een isomorfisme bestaat. Dit wordt geschreven als:

$(G,*)\cong (H,\odot )$

Vaak, wanneer er geen tweeslachtigheid is over de groepsbewerking, kan er een kortere en meer eenvoudige notatie worden gebruikt:

$G\cong H$

Bij gegeven groep $(G,*)$, verzameling $H$ en bijectie $f:G\rightarrow H\,$ kan zo ook van $H$ een isomorfe groep $(H,\odot )$ gemaakt worden.