Symmetric Generation of $J_2$ on 32 Letters

Abstract

We give a computer-free proof that $J_2$ is isomorphic to the progenitor $2^{\star 32}:(2^{1+4}:A_5)$ factored by two relations, one of length 3 and and one of length 6, in the symmetric generators.

17 pages, 1 figure, 1 table