Abstract
We give a computer-free proof that the sporadic simple group J 1 is a isomorphic to the progenitor 2*5 : A 5 factorized over a single relation. Precisely, we prove that J 1 is defined by the presentation ⟨x, y, t ∣ x 5 = y 3 = (xy)2 = 1 = t 2 = [y, t] = [y, t x 3 ] = (xt)7⟩.
Key Words:
Acknowledgments
This paper was written while the author was staying at Bar Ilan University. The research was supported in part by the Israel Science Foundation, founded by the Israel Academy for Sciences and Humanities. I thank all the members of the Department of Mathematics of Bar Ilan for their hospitality and, especially, Ron Adin and Yuval Roichman for their invitation.