El núcleo de f, ker(f) = {x ∈ G : f(x) = e′}, e′ neutro de G′, es un subgrupo normal de G.