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

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
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
    0 references
    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

    Identifiers