The abstract groups (3, 3 | 3, p), their subgroup structure, and their significance for the non-associative finite simple Moufang loops

Petr Vojtěchovský
DOI: https://doi.org/10.48550/arXiv.math/0701695
2007-01-24
Group Theory
Abstract:For most (and possibly all) non-associative finite simple Moufang loops, three generators of order 3 can be chosen so that each two of them generate a group isomorphic to $(3, 3 | 3, p)$. The subgroup structure of $(3, 3 | 3, p)$ depends on the solvability of a certain quadratic congruence, and it is described here in terms of generators.
What problem does this paper attempt to address?