On the generation of the groups \(\mathrm{SL}_n(\mathbb{Z}+i\mathbb{Z})\) and \(\mathrm{PSL}_n(\mathbb{Z}+i\mathbb{Z})\) by three involutions two of which commute. II (Q6569600)

A group \(G\) is \((2\times 2,2)\)-generated if there are three involutions \(a,b,c\), two of which commute, such that \(G=\langle a,b,c \rangle\), in other words \(G\) is a quotient of the free product \((C_{2} \times C_{2}) \ast C_{2}\). \textit{M. C. Tamburini} and \textit{P. Zucca} [J. Algebra 195, No. 2, 650--661 (1997; Zbl 0886.20026)] proved the \((2\times 2,2)\)-generation for some classical groups of a sufficiently large dimension \(n\).\N\NThe main result of the paper under review is Theorem 1: The groups \(\mathrm{SL}_{5}(\mathbb{Z} + i\mathbb{Z})\), \(\mathrm{PSL}_{6}(\mathbb{Z} + i\mathbb{Z})\), and \(\mathrm{SL}_{10}(\mathbb{Z} + i\mathbb{Z})\) are generated by three involutions two of which commute.\N\NCombining Theorem 1 with the results of several previous papers, the authors prove the following two interesting consequences.\N\NCorollary 1: The group \(\mathrm{SL}_{n}(\mathbb{Z} + i\mathbb{Z})\) is generated by three involutions two of which commute if and only if \(n \geq 5\) and \(n \not = 6\).\N\NCorollary 2. The group \(\mathrm{PSL}_{n}(\mathbb{Z} + i\mathbb{Z})\) is generated by three involutions two of which commute if and only if \(n \geq 5\).\N\NFor Part I see [the second author et al., Izv. Irkutsk. Gos. Univ., Ser. Mat. 40, 49--62 (2022; Zbl 1496.20082)].