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

DOI10.1006/jsco.2000.1010zbMath0973.20013MaRDI 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

permutations; algorithms; computer proof; involutions; sporadic simple Lyons group

Mathematics Subject Classification ID

20D08: Simple groups: sporadic groups

20F05: Generators, relations, and presentations of groups

20C34: Representations of sporadic groups

Related Items

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

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