Sea C(p,q) el grupo Coxeter:
$C(p,q):= \langle a,b,c\hspace{1mm}|\hspace{1mm} a^2,b^2,c^2,(ac)^2,(ab)^p, (bc)^q \rangle$
para números enteros $p,q$ s.t. $\frac{1}{p}+\frac{1}{q}<\frac{1}{2}$ . Este grupo es infinito y de un solo fin.
Sea $G$ un grupo infinito obtenido a partir de $C(p,q)$ añadiendo algunas relaciones a la presentación anterior. Puede $G$ tener 2 o infinitos extremos?