On the \((2,3)\)-generation of hyperbolic symplectic groups of large rank. (Q392156): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 00:08, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the \((2,3)\)-generation of hyperbolic symplectic groups of large rank. |
scientific article |
Statements
On the \((2,3)\)-generation of hyperbolic symplectic groups of large rank. (English)
0 references
13 January 2014
0 references
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\).
0 references
hyperbolic symplectic groups
0 references
\((2,3)\)-generations
0 references