Alternating quotients of Fuchsian groups (Q1970961)

It is well known now that every alternating group, except \(A_6\), \(A_7\), and \(A_8\), occurs as a homomorphic image of the modular group \(\text{PSL}(2,\mathbb{Z})\). Graham Highman conjectured some four decades ago that all but finitely many alternating groups occur as homomorphic images of finitely generated non-elementary Fuchsian groups. This problem was later viewed in the context of co-compact \((p,q,r)\)-triangle groups. In a series of papers, Graham Higman's conjecture was proved in the affirmative for \(p=2\). In the paper under review, the author uses a diagrammatic argument, namely coset diagrams, to prove that any finitely generated, nonelementary Fuchsian group has all but finitely many alternating groups as homomorphic images.