This paper reports on a new and independent existence proof for the sporadic sim- ple 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.
展开▼