MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
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? – HJRW Mar 4 '11 at 3:55
So, in other words, yes. – Pete L. Clark Mar 4 '11 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 '11 at 16:51

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.