A new existence proof for \(Ly\), the sporadic simple group of R. Lyons (Q5928890): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/jsco.2000.1010 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2024018000 / rank | |||
Normal rank |
Revision as of 23:38, 19 March 2024
scientific article; zbMATH DE number 1584493
Language | Label | Description | Also known as |
---|---|---|---|
English | A new existence proof for \(Ly\), the sporadic simple group of R. Lyons |
scientific article; zbMATH DE number 1584493 |
Statements
A new existence proof for \(Ly\), the sporadic simple group of R. Lyons (English)
0 references
26 November 2001
0 references
The author proves that two specific permutations of degree 9606125 generate the sporadic simple Lyons group \(Ly\). These two permutations are provided by work of \textit{G. Cooperman, L. Finkelstein, M. Tselman} and \textit{B. York} [J. Symb. Comput. 24, No. 3-4, 471-488 (1997; Zbl 0884.20010)]. The author reports on a computer proof and the description of the algorithm which shows that the 2 permutations generate a group \(G\) whose order is the order of \(Ly\). Next he shows that \(G\) contains an involution \(t\) not lying in \(Z^*(G)\) such that \(C_G(t)\) is isomorphic to the double cover of the alternating group of degree 11. This proves -- using the work of Lyons -- that \(G\simeq Ly\).
0 references
permutations
0 references
sporadic simple Lyons group
0 references
computer proof
0 references
involutions
0 references
algorithms
0 references