I'm reading Wallace's Groups, Rings and Fields. Here: I am a bit confused here. It seems he wants to connect existence of epimorphisms with normal subgroups via the first isomorphism theorem in the ...