Epimorphic images of the \([5,3,5]\) Coxeter group. (Q379202)

The authors consider the Coxeter group \(\Gamma=[5,3,5]\), and its even subgroup \(\Gamma^+\). They mention that the simple group \(L_2(19)\) can be presented by adding the relations \((abc)^5=(bcd)^5=1\) to the standard presentation of \(\Gamma\). Let \(N_0\) be the kernel of the corresponding epimorphism \(\Gamma\to L_2(19)\). The main results that the authors obtain are the following: They determine all normal subgroups of \(\Gamma^+\) with quotient group isomorphic to \(L_2(q)\), where \(q\) is a power of a prime \(p\). They show that the only proper normal subgroups \(N\) of \(\Gamma\) with \(\Gamma/N\) isomorphic to a subgroup of \(L_2(q)\) for any prime power \(q\) are \(\Gamma^+\) and \(N_0\), with quotients \(C_2\) and \(L_2(19)\). They also show, if \(K\) is a normal subgroup of \(\Gamma^+\) with \(\Gamma^+/K\cong L_2(q)\) for some \(q\), then the normalizer \(N(K)\) of \(K\) in \(\mathrm{Iso\,}\mathbb H^3\) is either \(\Omega\) or \(\Omega^+\) as \(K\) is or is not normal in \(\Gamma\). Here \(\mathbb{H}^3\) is the hyperbolic \(3\)-space. The proofs of these theorems involve many geometric arguments.