On the \((2,3)\)-generation of hyperbolic symplectic groups of large rank. (Q392156): Difference between revisions

The main result that the authors obtain is: Let \(R\) be a commutative ring with \(1\) and let \(s\in R^*\). If \(R\) is additively generated by the set \(\{s^{2k}\mid k\in\mathbb Z\}\cup\{2s^{2k-1}\mid k\in\mathbb Z\}\), then for \(n\geq 25\), the elementary hyperbolic symplectic group \(\mathrm{ESp}_{2n}(R)\) is \((2,3)\)-generated. The authors introduce the following definitions: Up to conjugation the hyperbolic symplectic group \(\mathrm{Sp}_{2n}(R)\) is defined by \[ \mathrm{Sp}_{2n}(R)=\left\{g\in\mathrm{Gl}_{2n} (R)\mid g^T \left(\begin{smallmatrix} 0&I_n\\ -I_n&0 \end{smallmatrix}\right)g=\left(\begin{smallmatrix} 0&I_n\\ -I_n&0\end{smallmatrix}\right)\right\}. \] The elementary hyperbolic symplectic group \(\mathrm{ESp}_{2n}(R)\) is a subgroup of \(\mathrm{Sp}_{2n}(R)\) generated by the following matrices: \(\mathrm{E}_{i,j}^{(1)}(a)=\begin{cases} I_{2n}+a(e_{i,n+j}+e_{j,n+i}),&\text{if }1\leq i\neq j\leq n,\\ I_{2n}+ae_{i,n+i},&\text{if }1\leq i=j\leq n,\end{cases}\) \(\mathrm{E}_{i,j}^{(2)}(a)=(\mathrm{E}_{i,j}^{(1)}(a))^T\), if \(1\leq i,j\leq n\), \(\mathrm{E}_{i,j}^{(3)}(a)=I_{2n}+ae_{i,j}-ae_{n+j,n+i}\), if \(1\leq i\neq j\leq n\).