f, ker(f), es un subgrupo normal de G y hay un homomorfismo inyectivo f* de