If a group acts transitively on a set of prime size and is normal, then the -orbits form a -invariant block system of equal size. They are therefore either singletons or the whole set. In a faithful action the singleton case forces , so every nontrivial normal subgroup is transitive.
Codex Wiki