Iwasawa simplicity lemma
= Iwasawa simplicity lemma
{c}
= Iwasawa's simplicity lemma
{c}
{synonym}
For a faithful primitive group action, suppose a point stabilizer has an abelian normal subgroup whose conjugates generate the whole group. Every nontrivial normal subgroup then contains the derived subgroup. Indeed the normal subgroup is transitive, and all those conjugates have the same image in the quotient, making the quotient abelian. If the whole group is nontrivial and perfect, it is simple.