ABSTRACT
We give a computer-free proof that the Mathieu group M22 is a homomorphic image of the progenitor factorized by three relations.
2010 MATHEMATICS SUBJECT CLASSIFICATION:
Acknowledgment
We thank the referee for his/her invaluable input on an earlier version of this manuscript.
Notes
1There is a more general notion of progenitor where one replaces C2 with an arbitrary finite group H, see [Citation10, Section 3] or [Citation11]. We will not need this here.