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.