Pentad construction of the exceptional alternating-group automorphism

ID: pentad-construction-of-the-exceptional-alternating-group-automorphism

The six pentads are the six one-factorizations of the complete graph on six points. Permuting the ground-set points permutes these factorizations. The action sends a transposition to three disjoint transpositions and a -cycle to two disjoint -cycles. Its restriction to is faithful by simplicity, and the full action of is faithful because an order-two kernel would be central. It is consequently an automorphism of . Its restriction preserves and changes -cycle type, so it cannot be induced on by any conjugation from .

New to topics? Read the docs here!