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?
