The groups \((2, m \mid n, k \mid 1, q)\): finiteness and homotopy (Q831190)

A \((l,m \mid n, k \mid p, q)\)-group is a group \(G\) defined by the presentation \[ G=G(l,m \mid n, k \mid p, q)=\big \langle a, b\mid a^{l}, b^{m}, (ab)^{n}, (a^{p}b^{q})^{k} \big \rangle. \] The study of groups \(G(l,m\mid n,k\mid 1,-1)\) was initiated systematically by \textit{H. M. S. Coxeter} in [Trans. Amer. math. Soc. 45, 73--150 (1939; Zbl 0020.20703)] and the question of deciding which of those groups are finite was definitely answered in [\textit{M. Edjvet} and \textit{R. M. Thomas}, J. Pure Appl. Algebra 114, No. 2, 175-208 (1997; Zbl 0877.20023)]. The main result in the paper under review is Theorem 1.1 in which the authors provide a complete list of finite \((l,m \mid n, k \mid p, q)\)-groups subjected to the conditions \(m,n,k >1\), \(1\leq q \leq \frac{1}{2}m\) and \(\frac{1}{n}+\frac{1}{k} \leq \frac{1}{2}\). Indeed, if \(G=G(2,6 \mid 3,k \mid 1,3)\), then they prove that \(G' \simeq C_{k} \times C_{k}\).