Non-triviality of certain finitely-presented groups (Q1916078)

For positive integers \(p,q,r\) the groups \(G^{p,q,r}\), commonly known as Coxeter groups, have presentation \(\langle a,b,c:a^p=b^q=c^r=(ab)^2=(bc)^2=(ca)^2=(abc)^2=1\rangle\). Several important papers have been written by \textit{H. S. M. Coxeter} [e.g., Trans. Am. Math. Soc. 45, 73-150 (1939; Zbl 0020.20703)]. In the paper under review, the author considers the groups with presentation \(\langle a,b:a^p=b^q=(ab)^r=(a^{-1}b)^2=1\rangle\), where \(p,q,r,s\) are integers greater than 2. By using matrices \(A,B\in\text{SL}(3,\mathbb{C})\) for \(a\) and \(b\), he shows that these groups are non-abelian.