Abstract :
This paper reports on a new and independent existence proof for the sporadic simple group Ly of Lyons, using only two permutations of degree 9 606 125, computed by Cooperman, Finkelstein, Tselman, and York. We will show that these two permutations generate a group G Ly, by first computing a base and strong generating set for G, and then checking the two hypotheses for Ly from Lyons’ original paper. Moreover, this produces a new presentation for Ly.
