Let $G$ be a group. An involution is an element $g\in G$ such that $g^2=1$. Let $F$ be a field, $V$ an $F$-vector space and $b:V\times V \rightarrow F$ a nondegenerate alternating bilinear form. The set $\mathrm{Sp}(V,b)=\{ f:V\rightarrow V \mid f \mathrm{\ is\ bijective\ and\ } b(f(x),f(y))=b(x,y) \forall x,y \in V\}$ with the composition of maps is a group called the symplectic group of $(V,b)$. It is well-known that the symplectic group is generated by transvections. Is it also generated by involutions in $\mathrm{Sp}(V,b)$?
Generation of the symplectic by involutions
Oliver
- 367
- 2
- 7