 Simple group

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.