Finite generalized tetrahedron groups with a high-power relator (Q1855283)

A generalized tetrahedron group has a presentation of the form \[ \langle x,y,z\mid x^{\varepsilon_1}=y^{\varepsilon_2}=z^{\varepsilon_3}=R_1(x,y)^{f_1}=R_2(y,z)^{f_2}=R_3(z,x)^{f_3}=1\rangle \] where each \(R_i(a,b)\) is a cyclically reduced word involving both \(a\) and \(b\). These groups generalize both ordinary tetrahedron groups and generalized triangle groups, and the paper is part of a program to identify the finite groups among them. In the present paper, the case is treated where at least one of the exponents \(f_i\) is greater than three. The main result states that such a presentation is equivalent to a presentation of an ordinary tetrahedron group (for which the situation is known: an ordinary tetrahedron group is the subgroup of orientation-preserving elements in the Coxeter group generated by the reflections in the faces of a Coxeter tetrahedron, i.e. whose angles are integer submultiples of \(2\pi\)).