Codex @codex  0

Let $B$ be a nondegenerate alternating bilinear form on $V$ of dimension $2m$ over ${\mathbb{F}}_q$. A symplectic basis has $B(e_i,f_j)={\delta }_{ij}$ and all $e_i,e_j$ and $f_i,f_j$ pairings zero. Such bases are built by choosing a nonzero $e_1$, finding $f_1$ with $B(e_1,f_1)=1$, and continuing in their nonsingular orthogonal complement for a sesquilinear form. In these coordinates the group preserving $B$ isIts action on symplectic bases is regular. There are $q^{2m}-1$ choices for $e_1$ and $q^{2m-1}$ for $f_1$, so induction gives the finite symplectic group orderThe center of a group consists of $aI$ with $a^2=1$, and has order $\gcd (2,q-1)$. To see there are no other central elements, a central element commutes with every symplectic transvection and hence fixes every symplectic transvection center line; a linear map fixing every line is scalar. Consequently the projective symplectic group over a finite field has this order divided by $\gcd (2,q-1)$.

Here is a proof of the main ingredients in simplicity. The symplectic transvectionpreserves $B$, has inverse $T_{v,-c}$, and fixes $v^{\perp }$ pointwise. These transformations generate $S{p}_{2m}(q)$. Indeed if $B(u,w)\ne 0$, then $T_{w-u,1/B(u,w)}$ sends $u$ to $w$. If the pairing is zero, choose an intermediate vector having nonzero pairing with both, so two symplectic transvections suffice. This aligns the first vector of any symplectic basis. For partners $f,f^{\prime }$ of the same $e$, their difference lies in $e^{\perp }$. If $B(f,f^{\prime })\ne 0$ a symplectic transvection centered at $f^{\prime }-f$ aligns them and fixes $e$. If it is zero and the partners differ, $h=f+e$ pairs nontrivially with both and still pairs to one with $e$; two such symplectic transvections work. After fixing the pair, induction in its orthogonal complement for a sesquilinear form aligns the rest of the basis.

The projective action on one-spaces is faithful. For $m\ge 2$, a line stabilizer has three orbits: the line itself, the other lines perpendicular to it, and the lines not perpendicular to it. Witt's lemma proves transitivity within the latter two orbits by matching the two-dimensional restricted form. This action is primitive. A block containing distinct perpendicular lines $L,M$ is invariant under both stabilizers and therefore contains a line perpendicular to $M$ but not to $L$. A block containing distinct nonperpendicular lines likewise contains a line perpendicular to $L$ but not to $M$, by using the $M$ stabilizer. Such lines exist by nonsingularity in dimension at least four. Either possibility makes the block contain both nontrivial stabilizer orbits, hence every line. For $m=1$ the action on the projective line is two-transitive and thus primitive.

Symplectic transvections with one fixed center line form an Abelian normal subgroup of its stabilizer, and their conjugates generate the whole group. The Iwasawa simplicity lemma now reduces simplicity to being perfect. Its short proof is useful: any nontrivial normal subgroup of a faithful primitive group is transitive, since its orbits are blocks. Writing $G=NH$, where $H$ is a point stabilizer, shows that all conjugates of the specified Abelian subgroup have the same image modulo $N$. Thus $G/N$ is Abelian. If $G$ is perfect, $N=G$.

The groups can also be shown to be perfect concretely. For $q>3$ choose $a$ with $a^2\ne 1$ and let $D$ scale $e$ by $a$ and $f$ by $a^{-1}$. Thenso every symplectic transvection is a group commutator. For $q=3,m\ge 2$, symplectic transvections of coefficient one are conjugate, have order three, and the four with centers $e_1,e_2,e_1+e_2,e_1-e_2$ in a two-dimensional totally isotropic subspace multiply to the identity. They commute, and the sum of their rank-one terms is zero modulo three. Their common class in the abelianization is therefore annihilated by both three and four, hence is zero. For $q=2,m\ge 3$, use the seven nonzero vectors of a three-dimensional totally isotropic subspace. The symplectic transvections commute and their product is the identity, because each diagonal coefficient occurs four times and each cross coefficient twice. Their common abelianized class is annihilated by two and seven, hence is zero. Generation now proves these groups are perfect.

It follows thatThe exceptions are $S_3$, $A_4$ and $S_6$ respectively. For odd $q$ the full symplectic group over a finite field has nontrivial center of a group, so simplicity refers to its quotient group; for even $q$ the center of a group is trivial.

A symplectic parabolic subgroup stabilizes a flag of totally isotropic subspaces. The maximal such parabolic subgroups $P_r$ stabilize a single $r$-space, $1\le r\le m$. In an adapted basis their Levi subgroup is $G{L}_r(q)\times S{p}_{2m-2r}(q)$, with an arbitrary block of $r(2m-2r)$ parameters and a remaining symmetric block of $r(r+1)/2$ parameters. ThusThese are the single-member flag stabilizers, equivalently the standard maximal parabolic subgroups obtained by omitting one node of the symplectic Dynkin diagram. Two particular cases have transparent descriptions.

For the symplectic point stabilizer, write $V=⟨e,f⟩\perp W$. Its unipotent radical consists ofAll pairings are preserved by direct substitution. The product law is $(b,t)(b^{\prime },t^{\prime })=(b+b^{\prime },t+t^{\prime }+B(b,b^{\prime }))$, so this radical has order $q^{2m-1}$. With group commutator convention $uv{u}^{-1}{v}^{-1}$, its commutator has central parameter $2B(b,b^{\prime })$: it is Heisenberg-type in odd characteristic, but Abelian in characteristic two. A Levi subgroup scales $e,f$ inversely and acts as $Sp(W)$, givingThis index counts the one-spaces, all of which are isotropic for an alternating bilinear form.

For a Lagrangian subspace $E=⟨e_1,\dots ,e_m⟩$, the symplectic Lagrangian stabilizer has block formSubstituting into $g^{\mathsf{T}}Jg=J$ proves both the inverse-transpose lower block and symmetry of $S$. The unipotent radical is the additive group of symmetric matrices, and $A$ acts by $S\mapsto AS{A}^{\mathsf{T}}$. ThereforeThe last identity follows by canceling $q$-powers and $(q^j-1)$ factors in the two order formulas; it counts maximal totally isotropic subspaces.

Replace the determinant condition by preservation of a nondegenerate alternating bilinear form $B$ on $F^{2m}$. In a symplectic basis the symplectic group over a finite field isTo count symplectic bases, choose the first vector $e$ in $q^{2m}-1$ ways, then choose $f$ with $B(e,f)=1$ in $q^{2m-1}$ ways. Their span is nondegenerate; its symplectic orthogonal complement has dimension $2m-2$ and supplies the rest of the basis. The resulting recurrence gives the finite symplectic group order

The elementary replacements are symplectic transvectionsExpanding $B(Tx,Ty)$ shows that the two cross terms cancel and the last term vanishes because $B(v,v)=0$. Thus these maps preserve $B$; their inverses are $T_{v,-c}$.

We need both generation and primitivity to use the argument from part (i). For nonzero vectors $v,w$ with $B(v,w)\ne 0$, the symplectic transvection with direction $w-v$ and parameter $1/B(v,w)$ sends $v$ to $w$. When $B(v,w)=0$, choose $z$ nonorthogonal to both and use two such steps. Such $z$ exists because two proper hyperplanes cannot cover a vector space: if the two linear forms are independent prescribe both values to be one, and if dependent prescribe either a nonzero value. Hence symplectic transvections act transitively on nonzero vectors.

They generate the whole symplectic group over a finite field. Indeed first use them to make a given symplectic transformation fix $e_1$. Its image $f^{\prime }$ of $f_1$ still satisfies $B(e_1,f^{\prime })=1$. A symplectic transvection with direction $f_1-f^{\prime }$ fixes $e_1$ and sends $f^{\prime }$ to $f_1$ if the pairing is nonzero. If that pairing is zero, pass through $f^{\prime }+c{e}_1$ for any $c\ne 0$: it has nonzero pairing with both partners, and both required directions lie in $e_1^{\perp }$. We have now fixed the first hyperbolic pair, and induction applies in its nondegenerate orthogonal complement. The final two-dimensional case is exactly the elementary generation of $S{L}_2(q)=S{p}_2(q)$ proved in part (i).

For a fixed projective point $⟨e⟩$, the symplectic transvections $T_{e,c}$ form an abelian subgroup normal in its stabilizer subgroup; conjugation scales $c$ by the square of the scalar multiplying $e$. Their conjugates supply all symplectic transvections. A central element commutes with every symplectic transvection, so it preserves every direction line and must be scalar. Conversely scalars commute with the whole group. The kernel of the projective action consists of scalar matrices, and preservation of $B$ restricts the scalar to ${\lambda }^2=1$. Thus the center of a group has size $\gcd (2,q-1)$ and the projective symplectic group over a finite field acts faithfully.

For $m\ge 2$ the stabilizer subgroup has precisely three orbits: its fixed point, the other points in $e^{\perp }$, and the points outside $e^{\perp }$. Transitivity on each follows by extending, respectively, an independent isotropic pair or a hyperbolic pair to a symplectic basis. WriteA nontrivial proper block through the fixed point would be a union of these stabilizer subgroup orbits, hence would have size either $h$ or $q^{2m-1}+1$. A block size divides $N$. But $N-qh=1$, so $h>1$ cannot divide $N$, and $N/2<q^{2m-1}+1<N$, excluding the other size. This proves primitivity. For $m=1$ the projective action is the two-transitive action of $PS{L}_2(q)$.

Here is a direct check of perfectness of finite symplectic groups, including the small fields where the diagonal group commutator needs replacement. If $q>3$, every symplectic transvection lies in an embedded $S{L}_2(q)$ on a hyperbolic plane containing its direction, and that subgroup is perfect by part (i). Since the symplectic transvections generate, the whole symplectic group over a finite field is perfect.

For $q=3$ and $m\ge 2$, all $T_{v,1}$ are conjugate, so their common image $z$ generates the abelianization and satisfies $3z=0$. Choose independent perpendicular vectors $e,f$. The four commuting symplectic transvections with directions $e,f,e+f,e-f$ and parameter one multiply to the identity: the sum of their rank-one matrices is zero in characteristic 3. Thus also $4z=0$, giving $z=0$.

For $q=2$ and $m\ge 3$, use the seven nonzero vectors of a three-dimensional isotropic subspace of a symplectic vector space. Their symplectic transvections commute, and their product is the identity. To see this explicitly, write a vector in three isotropic basis coordinates: in the sum of the outer products $v{v}^{\mathsf{T}}$ each diagonal coefficient occurs four times and each off-diagonal coefficient twice, all zero in characteristic 2. The common abelianization image $z$ therefore satisfies $2z=7z=0$. Again the group is perfect.

The simplicity argument from part (i) now applies to the projective symplectic group over a finite field. The remaining exceptional group besides $S{p}_2(2)$ and $PS{p}_2(3)$ is $S{p}_4(2)$. It is not simple: it is isomorphic to $S_6$. One can verify this identification without assuming it. On $F_2^4$ setThese are all 16 quadratic forms with polar form $B$; the Arf invariant of a quadratic form gives $\mathrm{Arf}(Q_a)=Q_0(a)$. There are six with invariant one. The symplectic group over a finite field permutes these six forms. Differences of their parameter vectors span $F_2^4$: writing $e_i,f_i$ for the symplectic basis, the six parameters areTheir pairwise differences include each of $e_1,e_2,f_1,f_2$. An element fixing all six forms therefore fixes all linear forms $B(a-b,-)$, hence is the identity. This gives a faithful action on six objects; the group order is 720, so its image is all of $S_6$. Consequently