A nonidentity group is simple if and only if every [normal subgroup](/page/Normal%20Subgroup) is either trivial or the whole group, equivalently when all nontrivial quotients by normal subgroups are isomorphic to the group itself. This reformulates simplicity via quotient structure rather than subgroup structure.