quotients of triangle groups

The $(p,q,r)$ triangle group is the group with presentation $[a,b | a^p=b^q=(ab)^r=1]$. Has anyone classified the (infinite) quotients of the $(2,4,4)$ triangle group?

edited Mar 4 2011 at 8:26

Benoît Kloeckner
5,489●18●29

asked Mar 4 2011 at 2:21

dan
469●2●3

The triangle group in question has a normal subgroup of index 8 isomorphic to $\mathbb{Z}^2$. Therefore, any quotient has a normal subgroup of index at most 8 that's a quotient of $\mathbb{Z}^2$. How much more information do you need? – HW Mar 4 2011 at 3:55

So, in other words, yes. – Pete L. Clark Mar 4 2011 at 10:06

That subgroup of index 8 is the commutator, so every quotient has a commutator which is (i) of index at most 8 and (ii) a quotient of $\mathbb{Z}^2$. – Steve D Mar 4 2011 at 16:51