Generation of certain matrix groups by three involutions, two of which commute (Q1372671)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generation of certain matrix groups by three involutions, two of which commute |
scientific article |
Statements
Generation of certain matrix groups by three involutions, two of which commute (English)
0 references
1 March 1998
0 references
Let \(R\) be a commutative ring with 1 and let \(E_n(R)\) for \(n\geq 3\) be the subgroup of \(\text{SL}_n(R)\) generated by \(I+xe_{ij}\), \(x\in R\), \(i\neq j\), where \(e_{ij}\) are the matrix units. The main result of the present paper is: Let \(R\) be a commutative ring generated by \(t_1,\dots,t_d\), where \(t_1\) is a unit of finite multiplicative order. Then for all \(n\geq 8+6d\) the group \(E_n(R)\) can be generated by three involutions, two of which commute. Subsequent results in this paper imply that most finite classical groups, including Chevalley groups of type \(B_n\), \(C_n\), and \(D_n\), are generated by three involutions, two of which commute.
0 references
matrix groups over rings
0 references
generation by involutions
0 references
special linear groups
0 references
elementary transvections
0 references
finite classical groups
0 references
Chevalley groups
0 references
0 references