Hoofdstelling over homomorfismen

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

In de abstracte algebra, een deelgebied van de wiskunde, relateert de hoofdstelling over homomorfismen, die ook bekendstaat als de homomorfisme hoofdstelling, de structuur van twee wiskundige objecten, waartussen een homomorfisme is gegeven, en de kern en het beeld van het homomorfise.

De hoofdstelling over homomorfismen worden gebruikt om de isomorfismestellingen te bewijzen.

Groepstheoretische versie[bewerken]

Laat, gegeven twee groepen G en H en een groepshomomorfisme f : GH, K een normaaldeler in G zijn en laat φ het natuurlijke surjectieve homomorfisme GG/K zijn.

Als Kker (f), dan bestaat er een uniek homomorfisme h: G/KH zodanig dat f = h φ.

De situatie wordt beschreven door het onderstaande commutatieve diagram

FundHomDiag.png

Door het instellen van K = ker(f) hebben we meteen de eerste isomorfismestelling te pakken.

Andere versies[bewerken]

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

Zie ook[bewerken]

Externe link[bewerken]