r[›] A nontrivial group is called simple if its only normal subgroups are the trivial group and the group itself.