 Simple group

A nontrivial simple group has no normal subgroups other than the identity subgroup and itself.

Does not have any non-trivial normal subgroup.

And therefore, going back to our intuition that due to the fundamental theorem on homomorphisms there is one normal group per homomorphism, a simple group is one that has no non-trivial homomorphisms.