Conjeturas de teoría de grupos sobre grupos hurwitz

Question

Conjetura: Deje que %-%-% sea un primo. Entonces el grupo

$p$

tiene una serie de composición de la forma $G := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^9, (([a,b]^4)b)^{2p} \rangle$.

¿Hay alguna literatura sobre este tema, y si no, cómo se puede probar esta conjetura?