Homomorfizmustétel

Innen: testwiki
Ugrás a navigációhoz Ugrás a kereséshez

Sablon:Hunfn

  1. Sablon:Label Legyen ϕ G-t H-ba képező homomorfizmus. Azoknak a gG elemeknek a halmazát, amelyekre ϕ(g)=1, a ϕ homomorfizmus magjának nevezzük és kerϕ-vel jelöljük. kerϕ elemei csoportot alkotnak, méghozzá kerϕ normálosztó G-ben.

A G/kerϕ faktorcsoport izomorf ϕ(G)-vel.