A non-trivial group is said to be simple if the only normal subgroups of are and itself.

Equivalently, a simple group is a group in which the trivial subgroup is a maximal normal subgroup.