A new existence proof for \(Ly\), the sporadic simple group of R. Lyons

DOI10.1006/jsco.2000.1010zbMath0973.20013OpenAlexW2024018000MaRDI QIDQ5928890

Holger W. Gollan

Publication date: 26 November 2001

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.2000.1010

zbMATH Keywords

permutationsalgorithmscomputer proofinvolutionssporadic simple Lyons group

Mathematics Subject Classification ID

Simple groups: sporadic groups (20D08) Generators, relations, and presentations of groups (20F05) Representations of sporadic groups (20C34)

Related Items (5)

On the ranks of \(O'N\) and \(Ly\). ⋮ A NEW COMPUTER CONSTRUCTION OF THE IRREDUCIBLE 112-DIMENSIONAL 2-MODULAR REPRESENTATION OF JANKO'S GROUPJ₄ ⋮ Thompson's sporadic group uniquely determined by the centralizer of a 2-central involution. ⋮ NATURAL EXISTENCE PROOF FOR LYONS SIMPLE GROUP ⋮ On the construction of the finite simple groups with a given centralizer of a 2-central involution

Uses Software

• Magma
• Cayley

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The minimal 5-representation of Lyons' sporadic group
• Fundamental algorithms for permutation groups
• The Magma algebra system. I: The user language
• Constructing permutation representations for matrix groups
• Central elements in core-free groups
• On finite simple groups of characteristic 2 type
• Evidence for a new finite simple group

This page was built for publication: A new existence proof for \(Ly\), the sporadic simple group of R. Lyons