Simple group (source code)

= Simple group
{wiki}

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