# Abstracte algebra/Isomorfismestelling voor groepen
## Definities

Definitie: Een homomorfisme is een afbeelding $h$ van een groep $(G,\star )$ in een groep $(H,\cdot )$ met de eigenschap dat voor alle $g_{1},g_{2}\in G$ geldt:
    $h(g_{1}\star g_{2})=h(g_{1})\cdot h(g_{2})$;
d.w,z. de afbeelding is compatibel met de groepsbewerkingen.
Definitie: Een isomorfisme is een homomorfisme $h$ van een groep $(G,\star )$ op een groep $(H,\cdot )$ die bijectief is.
Men zegt dat de groepen $(G,\star )$ en $(H,\cdot )$ isomorf zijn en noteert:
    $(G,\star )\cong (H,\cdot )$

## De eerste isomorfismestelling voor groepen

Stelling: Laat $(G,\star )$ en $(H,\cdot )$ twee groepen zijn, waartussen een groepsmorfisme $f:(G,\star )\to (H,\cdot )$ bestaat , dan is
    $\left(G/\mathrm {Ker} (f),\star \right)\cong \left(f(G),\cdot \right)$
Bewijs: Definieer het isomorfisme
    ${\overline {f}}:\left(G/\mathrm {Ker} (f),\star \right)\to \left(f(G),\cdot \right):g\star \mathrm {Ker} (f)\mapsto f(g)$

### Is dit goed gedefinieerd?

Neem twee verschillende representanten ($g_{1}$ en $g_{2}$) van dezelfde nevenklasse. Dan bestaat er een $k\in \mathrm {Ker} (f):g_{1}=g_{2}\star k$. Dus dan wordt
    ${\overline {f}}(g_{1}\star \mathrm {Ker} (f))=f(g_{1})=f(g_{2}\star k)=f(g_{2})\cdot f(k)=f(g_{2})={\overline {f}}(g_{2}\star \mathrm {Ker} (f))$.
Dus is het beeld onafhankelijk van de representant.

### Is ${\overline {f}}$ een groepsmorfisme?

    ${\overline {f}}\left((g_{1}\star \mathrm {Ker} (f))\star (g_{2}\star \mathrm {Ker} (f))\right)={\overline {f}}\left((g_{1}\star g_{2})\star \mathrm {Ker} (f)\right)=f(g_{1}\star g_{2})=f(g_{1})\cdot f(g_{2})={\overline {f}}\left(g_{1}\star \mathrm {Ker} (f)\right)\cdot {\overline {f}}\left(g_{2}\star \mathrm {Ker} (f)\right)$
Dus is ${\overline {f}}$ een groepsmorfisme

### Is ${\overline {f}}$ bijectief?

${\overline {f}}$ is injectief, want neem $g_{1},g_{2}\in G$ met $f(g_{1})=f(g_{2})$, dan geldt dat $g_{1}=g_{2}\star k$ voor een zekere $k\in \mathrm {Ker} (f)$ en dus is $g_{1}\star \mathrm {Ker} (f)=g_{2}\star \mathrm {Ker} (f)$.
${\overline {f}}$ is surjectief, want zij $h\in f(G)$, dan is er een $g\in G:f(g)=h$, en dus geldt:${\overline {f}}(g\star \mathrm {Ker} (f))=h$.

## Geavanceerd voorbeeld

Van een groep $(G,\star )$ is de automorfismengroep de verzameling
    $\mathrm {Aut} (G)=\{f\colon (G,\star )\to (G,\star )|f{\text{ is een isomorfisme}}\}$.
Mrn kan eenvoudig controleren dat dit een groep is.
Construeer nu voor elke $g\in G$ de afbeelding $I_{g}\colon G\to G$ gedefinieerd door.
    $I_{g}(x)=g\star x\star g^{-1}$.
Aangezien de groep $(G,\star )$ niet abels hoeft te zijn is dit in het algemeen niet de identieke afbeelding, maar ze lijkt wel sterk daarop. Het zal blijken dat $I_{g}\in \mathrm {Aut} (G)$.
$I_{g}$ is een groepsmorfisme
    ${\begin{aligned}I_{g}(x\star y)&=g\star x\star y\star g^{-1}\\&=g\star x\star g^{-1}\star g\star y\star g^{-1}\\&=I_{g}(x)\star I_{g}(y)\end{aligned}}$
$I_{g}$ is injectief Stel dat
    $I_{g}(x)=I_{g}(y)$
dus
    $g\star x\star g^{-1}=g\star y\star g^{-1}$
Dan volgt
    $x=y$
$I_{g}$ is surjectief Laat $z\in G$, dan geldt voor $x=g^{-1}\star z\star g$:
    $I_{g}(x)=g\star x\star g^{-1}=g\star g^{-1}\star z\star g\star g^{-1}=z$
Inderdaad is $I_{g}\in \mathrm {Aut} (G)$; we noemen $I_{g}$ een inwendig automorfisme.
Definieer de afbeelding $I\colon (G,\star )\to (\mathrm {Aut} (G),\circ )$ door:
    $I(g)=I_{g}$
We vragen ons af of $I$ een groepsmorfisme is, m.a.w. is $I_{g_{1}\star g_{2}}=I_{g_{1}}\circ I_{g_{2}}$?
    ${\begin{aligned}I_{g_{1}\star g_{2}}(x)&=g_{1}\star g_{2}\star x\star (g_{1}\star g_{2})^{-1}\\&=g_{1}\star g_{2}\star x\star g_{2}^{-1}\star g_{1}^{-1}\\&=I_{g_{1}}(g_{2}\star x\star g_{2}^{-1})\\&=I_{g_{1}}\circ I_{g_{2}}(x)\end{aligned}}$
Wat is de kern van $I$?
    ${\begin{aligned}\mathrm {Ker} (I)&=\{g\in G|I_{g}=\mathrm {id} _{G}\}\\&=\{g\in G|\forall x\in G:g\star x\star g^{-1}=x\}\\&=\{g\in G|\forall x\in G:x\star g=g\star x\}\\&=Z(G)\ ({\text{het centrum van }}G)\end{aligned}}$