Diagonal primitive permutation group
ID: diagonal-primitive-permutation-group
For a nonabelian simple group , act on cosets of its full diagonal in . A suitable factor-permuting extension is primitive and has point stabilizer intersecting the socle in the diagonal. The full normalizer has order . For , it acts on the sixty elements of by left/right multiplication, automorphisms and inversion, and has order . Odd conjugation in induces an odd permutation of these sixty points, while inversion is even; the full group is a primitive maximal subgroup of .
New to topics? Read the docs here!