The quotients of \(G^{4,5,120}\) (Q5949028)

Groups of type \(G^{k,l,m}=\langle x,y,t\mid x^2=y^k=t^2=(xt)^2=(yt)^2=(xy)^l=(xyt)^m=1\rangle\) were introduced by \textit{H. S. M. Coxeter} [in Proc. Edinb. Math. Soc., II. Ser. 13, 47-61 (1962; Zbl 0118.03702)]. For some small integers \(k,l,m\) Coxeter has described the groups \(G^{k,l,m}\). For example, the groups \(G^{4,5,1}\) and \(G^{4,5,3}\) are cyclic of order \(2\), the group \(G^{4,5,2}\) is a dihedral group of order \(4\), etc. (loc. cit.). On the other hand, for some bigger values of \(k,l,m\) the group \(G^{k,l,m}\) has endomorphic images which are isomorphic to the groups \(A_n\) and the groups \(S_n\) for any positive integer \(n\) with finitely many exceptions. Higman has posed the problem: which are the smallest integers \(k,l,m\) for which the groups \(G^{k,l,m}\) have the property mentioned. The authors of the current paper prove that the Coxeter group \(G^{4,5,120}\) does have that property: all but finitely many groups \(A_n\) and \(S_n\) are factor groups of the group \(G^{4,5,120}\).