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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Finite generalized tetrahedron groups with a high-power relator
scientific article

    Statements

    Finite generalized tetrahedron groups with a high-power relator (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    4 February 2003
    0 references
    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\)).
    0 references
    finiteness of generalized tetrahedron groups
    0 references
    presentations
    0 references
    generalized triangle groups
    0 references

    Identifiers