A presentation for the Lyons simple group
The original proof of the existence and uniqueness of the Lyons group, one of the larger of the 26 sporadic simple groups, was provided by Sims in 1972, but the manuscript of nearly 200 pages was never published in full. The proof used many special purpose computer programs to construct a presentation for the group, and to enumerate the 8 835 156 cosets of a subgroup \(G_2(5)\). The paper under review presents a simplified version of this coset enumeration, making full use of advances in technology, and Havas's state-of-the-art coset enumeration programs, to show that the group presented has the right order. The proof that it is the Lyons group is completed by \textit{H. W. Gollan} and \textit{G. Havas} in Chapter 13 of the same proceedings [Prog. Math. 173, 235-240 (1999; see the following review Zbl 0936.20012)]. For the entire collection see [Zbl 0920.00022].
- Presentations for certain Chevalley groups
- On presentations for unitary groups
- On Sims' presentation for Lyons' simple group
- NATURAL EXISTENCE PROOF FOR LYONS SIMPLE GROUP
- A new proof for the uniqueness of Lyons' simple group.
- Two Short Presentations for Lyons' Sporadic Simple Group
- Scalable parallel coset enumeration: bulk definition and the memory wall
This page was built for publication: A presentation for the Lyons simple group
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4270319)
