Characteristically simple group (source code)

= Characteristically simple group

= Characteristically simple
{synonym}

A nontrivial group with no proper nontrivial <characteristic subgroup>. A minimal nontrivial <normal subgroup> of a <finite group> has this property: every <characteristic subgroup> of it is normal in the ambient group.