Symmetric Generation of $M_{22}$

Zahid Hasan, Bronson Lim

We give a computer-free proof that the Mathieu group $M_{22}$ is a homomorphic image of the progenitor $2^{\ast 14}:L_3(2)$ factorized by three relations.