On \((2,3)\)-generation of \(\operatorname{SL}_5( \mathbb{Z}_p)\) (Q6986157)

The paper proves that \(\mathrm{SL}_5(\mathbb{Z}_p)\) is \((2,3)\)-generated for all prime numbers \(p\). A group is said to be \((2,3)\)-generated if it can be generated by two elements of orders \(2\) and \(3\), respectively.\N\NThe author considers explicit pairs of matrices \((X,Y)\) satisfying \(X^2 = Y^3 = I\) and shows that, for every prime \(p\), the subgroup generated by the reductions modulo \(p\) of \(X\) and \(Y\) coincides with \(\mathrm{SL}_5(\mathbb{Z}_p)\). The argument analyzes several candidate pairs previously proposed by \textit{A. Yu. Luzgarev} and \textit{I. M. Pevzner} [J. Math. Sci., New York 130, No. 3, 4729--4733 (2005; Zbl 1146.20311); translation from Zap. Nauchn. Semin. POMI 305, 153--162 (2003)] and demonstrates -- through local methods and a detailed study of transvections -- that all such pairs, including those left unresolved in [loc. cit.], do indeed generate \(\mathrm{SL}_5(\mathbb{Z}_p)\) for all \(p\).