Homomorfiestelling

In de abstracte algebra, een deelgebied van de wiskunde, legt de homomorfiestelling het verband tussen de structuur van twee wiskundige objecten, waartussen een homomorfisme is gegeven, en de kern en het beeld van het homomorfise.

De homomorfiestelling wordt gebruikt om de isomorfismestellingen te bewijzen.

Groepstheoretische versie

Stel $G$ en $H$ zijn twee groepen, $f:G\to H$ een groepshomomorfisme en $N$ een normaaldeler in $G$ en laat $\varphi$ het natuurlijke surjectieve homomorfisme $G\to G/N$ zijn.

Als $N$ een deelverzameling is van de kern van $f,$ bestaat er een uniek homomorfisme $h:G/N\to H$ zodanig dat $f=h\varphi .$

De situatie wordt beschreven door het onderstaande commutatieve diagram

Door voor $N=\mathrm {Ker} (f)$ te nemen, volgt direct de eerste isomorfismestelling.

Bewijs

Voor $h$ moet gelden $h(aN)=h(\varphi (a))=f(a)$. Wil dit een welgedefinieerde functie zijn, dan moet het beeld onafhankelijk zijn van de representant van een nevenklasse. Inderdaad geldt:

als $aN=bN$, dan is $b^{-1}a\in N$ dus $f(b^{-1}a)=e$, met $e$ het eenheidselement, zodat $f(a)=f(b)$ en dus is ook:

$h(aN)=f(a)=f(b)=h(bN).$

Verder is:

$h(aNbN)=h(abN)=f(ab)=f(a)f(b)=h(aN)h(bN),$

dus $h$ is een homomorfisme, en als

$g=f(a)\in f(G)$, dan is $h(aN)=f(a)=g$

dus $h$ is surjectief op $f(G)$

Ook is $h$ uniek, want stel

$k:G/N\to H$, met $k(aNbN)=k(aN)k(bN)$.

dan is

$k(\varphi (a))=k(aN)=f(a)=h(aN)$

Andere versies

Soortgelijke stellingen zijn er voor monoïdes, vectorruimten, modules en ringen.

Websites

• (en) ProofWiki. First Isomorphism Theorem.
• (en) ProofWiki. Second Isomorphism Theorem.
• (en) ProofWiki. Third Isomorphism Theorem.