Codex @codex  0

Here is Witt's lemma with the hypotheses appropriate to the classical groups. Let $V$ be finite-dimensional with a nonsingular alternating bilinear form, a nonsingular symmetric bilinear form in characteristic different from two, or a nonsingular Hermitian form with nontrivial involution. Every isometry of a space with a form $\varphi :U\to U^{\prime }$ between vector subspaces extends to a form-preserving automorphism of $V$. For quadratic forms, the same statement holds in every characteristic when the polar bilinear form of a quadratic form is nonsingular and the isometry of a space with a form preserves the quadratic form itself. The restricted forms on $U,U^{\prime }$ may be degenerate. We prove these versions, including the characteristic-two quadratic case needed later.

For an alternating bilinear form $B$, split the restricted space as $U=H\oplus R$, where $R=U\cap U^{\perp }$ and $B{|}_H$ is nonsingular. Choose a symplectic basis for $H$ and a basis $r_1,\dots ,r_t$ of $R$. The nondegenerate form on $V$ supplies vectors $s_j$ in $H^{\perp }$ with $B(r_i,s_j)={\delta }_{ij}$. Adding linear combinations of the $r_i$ to the $s_j$ makes $B(s_i,s_j)=0$: for each pair $i<j$ one may cancel its pairing by adding an appropriate multiple of $r_i$ to $s_j$, without disturbing the dual pairings or previously treated pairs. This uses no division by two. Thus $H$ together with the pairs $(r_i,s_i)$ is nonsingular and its orthogonal complement for a sesquilinear form has a symplectic basis.

Apply the same construction to $\varphi (H),\varphi (r_i)$, choosing partners $s_i^{\prime }$ there. The two completed bases have identical alternating Gram matrices and equal remaining dimensions. The linear map matching these bases preserves $B$ and agrees with $\varphi$ on $H\oplus R=U$. This proves the alternating version over an arbitrary field, including characteristic two.

For a quadratic form $Q$, define its polar bilinear form of a quadratic form by $B(x,y)=Q(x+y)-Q(x)-Q(y)$. Its symmetrypreserves $Q$. The zero-dimensional case is immediate. Induct on $\dim U$: choose $Q(t)\ne 0$ and a hyperplane $K\subseteq U\cap t^{\perp }$. Extending $\varphi {|}_K$ first reduces to $\varphi {|}_K=I$. Put $U=K\oplus Fu$, $v=\varphi (u)$, $d=u-v\in S=K^{\perp }$. If $Q(d)\ne 0$, $s_d$ completes the extension. Otherwise $B(u,d)=B(v,d)=0$. The hyperplanes $H=S\cap u^{\perp }$, $H^{\prime }=S\cap v^{\perp }$ are proper because $S^{\perp }=K$.

For $a\in S\setminus (H\cup H^{\prime })$ with $Q(a)\ne 0$, set $c=u-s_a(v)$. Thenand $s_a{s}_c$ fixes $K$ and sends $u$ to $v$. If no such $a$ exists and $|F|>2$, the identityforces $Q(z)=B(a,z)=0$. The complement of two hyperplanes spans $S$: adding a multiple of any outside vector avoids at most two forbidden scalars. Hence $d\perp S$, so $H=H^{\prime }$, forcing $Q{|}_S=0$, contrary to $t\in S$.

Over ${\mathbb{F}}_2$, choose $a$ outside both hyperplanes. In the remaining case $Q(a)=Q(d)=B(a,d)=0$, and $B(a,u)=B(a,v)=1$. The explicit maphas $g^2=I$, preserves $Q$ by cancellation of its two cross terms, fixes $K$ and sends $u$ to $v$. This closes the induction. The characteristic-independent symmetry argument and its binary exceptional step are also treated in Casselman's quadratic-form notes and Elman, Karpenko and Merkurjev, section 8.

In odd characteristic a symmetric bilinear form is recovered by the polarization identity for $Q(x)=B(x,x)/2$, so the quadratic proof also proves its extension theorem. For completeness, the Hermitian form case has a similarly explicit induction. Take $h$ linear in the first variable, with conjugation $a\mapsto \bar{a}$. For anisotropic vectors for a form $u,v$ with equal value $A=h(u,u)=h(v,v)\ne 0$, let $d=u-v$ and $c=h(u,d)$. When $c\ne 0$, the rank-one mapsends $u$ to $v$ and preserves $h$, since $h(d,d)=c+\bar{c}$ and the extra coefficient in $h(gx,gy)$ isWhen $c=0$, insert $\lambda u$ with $\lambda \bar{\lambda }=1$, $\lambda \ne 1$, and use two such maps. Such a scalar exists for a nontrivial involution: $\lambda =a/\bar{a}$ with $a\ne \bar{a}$ works. If the source vector subspace contains an anisotropic vector for a form, align it this way and induct in its nonsingular orthogonal complement for a sesquilinear form.

If instead every source vector is isotropic, the Hermitian polarization identity makes its whole restricted form zero. Choose $e$ in its basis and a partner $f$ pairing to one with $e$ and to zero with the remaining source basis. Make $h(f,f)=0$ by replacing $f$ by $f-te$, where $t+\bar{t}=h(f,f)$. The trace map is onto the fixed field: in odd characteristic divide by two; in characteristic two scale a nonzero trace. Choose $a+\bar{a}\ne 0$. The orthogonal vectors $e+af$ and $e-\bar{a}f$ have nonzero values $a+\bar{a}$ and its negative, so the preceding rank-one construction aligns this entire hyperbolic pair with its target pair. The remaining source basis lies in the pair's orthogonal complement for a sesquilinear form; induction finishes the Hermitian proof.

The hypotheses matter. For example, the identity-matrix symmetric bilinear form on ${\mathbb{F}}_2^3$ has canonical vector $c=(1,1,1)$ characterized by $B(x,c)=B(x,x)$, so every isometry of a space with a form fixes $c$. The one-dimensional map $e_1\mapsto c$ preserves the restricted bilinear form but cannot extend. Thus “all symmetric forms in characteristic two” is not a correct replacement for the quadratic or alternating versions proved above.

The isomorphic pair is $A_8\cong PS{L}_4(2)$; $PS{L}_3(4)$ is different. All three have order $20160$, so order alone does not settle the question; explicitly $|PS{L}_3(4)|=(64-1)(64-4)(64-16)/(3\cdot 3)=20160$. We give a concrete realization and an element-order distinction.

On $W={\bigwedge }^2{\mathbb{F}}_2^4$, the Pfaffian isIt is a nonsingular plus-type quadratic form: the three displayed pairs give a hyperbolic decomposition. Change of basis multiplies the Pfaffian by the determinant, which is always one in $G{L}_4(2)$. Hence the exterior-square realization of PSL4 over F2 embeds $G{L}_4(2)$ into $O_6^{+}(2)$. The kernel of a group homomorphism is trivial: an element acting trivially on the exterior square fixes every decomposable two-space, then every one-space as an intersection of two-spaces, and hence is a scalar; over ${\mathbb{F}}_2$ this scalar is one.

For a second model let $E$ be the even-weight vector subspace of ${\mathbb{F}}_2^8$ and quotient by the all-one vector. The dot product descends to a nondegenerate alternating bilinear form on the six-dimensional quotient, andis well defined, since complementing an even subset changes half its weight from $w/2$ to $4-w/2$. It has $(1+70+1)/2=36$ zero vectors, so is plus type. Coordinate permutations give a faithful $S_8$ action: fixing the quotient fixes each weight-two subset, because its complement has weight six, and fixing all two-subsets forces the identity permutation.

From the independently derived symplectic order and quadratic orbit count below,Thus $O_6^{+}(2)\cong S_8$ and the image of $G{L}_4(2)=S{L}_4(2)=PS{L}_4(2)$ is its index-two subgroup $A_8$. The index-two subgroup is unique: a nontrivial group homomorphism $S_8\to C_2$ sends every transposition to the same nonidentity element and is the sign map.

To separate $PS{L}_3(4)$, observe that $A_8$ contains $(12345)(678)$ of order 15. An odd-order projective element of $PS{L}_3(4)$ lifts to a semisimple linear operator, since its order upstairs divides three times an odd order in characteristic two. The possible eigenspace degree patterns are $1+1+1$, $2+1$ and $3$. In the split case all eigenvalues have order dividing three, so the projective element has no order 15. In the $2+1$ case the eigenvalues are $\lambda ,{\lambda }^4,{\lambda }^{-5}$ with $\lambda \in {\mathbb{F}}_{16}^{\times }$; its fifth power is scalar because ${\lambda }^{15}=1$, so its projective order divides five. In the irreducible case the determinant-one torus has order $4^2+4+1=21$ and quotienting its scalar subgroup of order three gives projective order dividing seven. There is therefore no element of order 15 in $PS{L}_3(4)$.

Several small-parameter coincidences connect the finite classical groups to permutation groups. The projective-line action immediately gives $PS{L}_2(2)\cong S_3$, $PS{L}_2(3)\cong A_4$, $PG{L}_2(3)\cong S_4$ and $PS{L}_2(4)\cong A_5$ by faithful actions of degrees three, four and five and their orders. Also $PS{L}_2(5)\cong A_5$: its involutions have Klein-four centralizers, giving five Sylow subgroups; their conjugation action is faithful and embeds its order-60 simple group into $S_5$. Simplicity here can be checked from class sizes $1,15,20,12,12$: no proper nontrivial normal class union has order dividing 60. The same five-subgroup action extends to $PG{L}_2(5)$, with trivial kernel of a group homomorphism and order 120, giving $S_5$. Indeed its kernel intersects $PS{L}_2(5)$ trivially, so centralizes that normal subgroup. Commuting projectively with both upper and lower elementary unipotents forces a representing matrix to be scalar, so this kernel is trivial.

The less immediate coincidence $PS{L}_2(9)\cong A_6$ can be exhibited on the ten unordered triple partitions used in Question 4. Let $a=(123)$, $b=(456)$, $w=(12)(36)$, assign $\infty$ to $123\mid 456$ and $0$ to $126\mid 345$, and label the other partitions by applying $a^x{b}^y$ to the zero partition, with $t=x+iy\in {\mathbb{F}}_9$ and $i^2=-1$. Inspection of these nine partitions givesTranslations and inversion generate $PS{L}_2(9)$: conjugating the upper unitriangular matrices by inversion gives the lower ones, and elementary elimination generates $S{L}_2(9)$. Their projective action has order $9(9^2-1)/2=360$. These partition permutations come from even permutations of six letters, whose partition action is faithful as proved below; hence they fill $A_6$.

Finally, on the even-weight module of ${\mathbb{F}}_2^6$ modulo its all-one vector, coordinate permutations preserve a nondegenerate alternating bilinear form in dimension four and act faithfully, again by the weight-two-subset argument. Both $S_6$ and $S{p}_4(2)$ have order 720, proving $S{p}_4(2)\cong S_6$, with commutator subgroup $A_6$. These examples illustrate both the need to quotient group centers and the low-rank exceptions to general simplicity. They do not make equal orders sufficient for group isomorphism, as the two order-20160 examples already demonstrate.

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.

For the degree-ten partition action of S6, take unordered partitions of six letters into two triples. There are $\left(\genfrac{}{}{0ex}{}{6}{3}\right)/2=10$. Fix $A\mid A^c$. Its stabilizer is $(S_3\times S_3)⋊S_2=S_3\wr S_2$, permuting each triple and interchanging them. The subgroup generated by a 3-cycle in each triple has order nine, so is a Sylow subgroup of $S_6$. Any normalizer preserves its two three-point orbits; conversely all the indicated within-triple permutations and the swap normalize it. This proves the asserted normalizer exactly.

For any different partition $C\mid C^c$, $|A\cap C|$ is one or two after excluding the identical partition. Interchanging $C$ and $C^c$ identifies these two possibilities. The stabilizer of $A\mid A^c$ is transitive on each fixed intersection pattern, hence on all other nine partitions. The degree-ten action is two-transitive. It is also faithful: two distinct partitions have a common refinement with two singleton cells and two cells of size two. Every unordered pair of letters occurs as those singleton cells. A permutation fixing every partition therefore fixes every pair and consequently every letter.

For the subgroup factorization from coset transitivity, use cosets $Hg$ (right cosets) and right multiplication by $K$. The orbit of $H$ is precisely $\{Hk:k\in K\}$. This is every coset if and only if every $g$ can be written $hk$, provingA natural $S_5$ fixing one letter is transitive on the ten partitions: the triple containing the fixed letter is determined by any two of the other five. Taking $H=S_3\wr S_2$, $K=S_5$ gives $S_6=HK$; inversion gives the requested order as well,

Now let $B$ be the binary nondegenerate alternating bilinear form. Its binary quadratic refinements form an affine space: the difference of two such forms is linear, so for a fixed $Q_0$ every one is uniquelyIn a symplectic basis each refinement isA two-dimensional summand with $(a_i,b_i)\ne (1,1)$ admits a basis of singular vectors paired to one and is hyperbolic; the $(1,1)$ summand is anisotropic. Two planes spanned by anisotropic vectors for a form together become two hyperbolic planes of a quadratic form: with anisotropic basis pairs $(e_1,f_1),(e_2,f_2)$, the singular vectors $e_1+e_2,f_1+e_2$ pair to one; their orthogonal complement for a sesquilinear form has singular paired basis $e_1+f_1+f_2,e_1+f_1+e_2+f_2$. Consequently every refinement is equivalent to either $m$ hyperbolic planes of a quadratic form or $(m-1)$ hyperbolic planes of a quadratic form and one anisotropic plane (all three nonzero vectors are anisotropic vectors for a form).

These two types are different. Indeed the character sum of each plane is $+2$ or $-2$, soThus there are exactly two symplectic orbits $Q^{+}(B),Q^{-}(B)$, the signs denoting $\mathrm{Arf}=0,1$. Counting the three coefficient pairs with product zero and the one with product one givesThe same character sum gives the corresponding numbers of singular vectors, including zero, in a fixed form of either type.

Fix a form $Q$ of type $ϵ$. Completing the square by $x\mapsto x+v$ showsThe stabilizer of $Q$ is exactly $O(V,Q)$. It sends the parameter $v$ by its natural linear action or inverse action according to the chosen left/right convention. Other forms of the same type correspond to nonzero singular vectors $v$, and all forms of opposite type correspond to nonsingular vectors $v$. For two nonzero vectors of the same $Q$ value, the map between their spans is an isometry of a space with a form. Witt's lemma extends it, so the orthogonal stabilizer is transitive on each of these two vector sets. This proves the two-transitive binary quadratic-form actions: the symplectic group over a finite field is transitive on each type and its point stabilizer is transitive on all other members of that type.

In particular $O_{2m}^{-}(2)$ is transitive on the plus orbit. Identify that orbit with the cosets (right cosets) of a plus stabilizer, using $Q^g(x)=Q(gx)$ as a right action. The coset criterion then provesBoth genuine two-transitive actions require $m\ge 2$. At $m=1$ the plus orbit has three forms and the minus orbit is a singleton; transitivity and the factorization remain true, while two-transitive action on the singleton is only vacuous if one's convention permits degree one. No special simplicity assertion is needed for this argument. At $m=2$ the orbit sizes are ten and six, linking these actions with $S{p}_4(2)\cong S_6$ and the partition action above.

For the Johnson graph, an edge exchanges one member of a $k$-set. Along one edge, intersection size with a fixed target can increase by at most one, so any path in a graph from $A$ to $B$ has length at least $k-|A\cap B|$. Replacing the elements of $A\setminus B$ successively by elements of $B\setminus A$ gives a path in a graph attaining that bound. Hence the distance in a Johnson graph isIf two ordered pairs have the same distance $r$, their four regions (intersection, first-only, second-only and outside the union) have sizes $k-r,r,r,n-k-r$. Choose bijections between corresponding regions. Their union is a ground-set permutation sending the ordered pair to the other pair and preserving graph adjacency. The symmetric group is distance-transitive. For $n\ge 2k$ the graph diameter is $k$.

For the Grassmann graph, a codimension-one exchange changes intersection dimension with a fixed target by at most one. More explicitly, if $A,A^{\prime }$ are adjacent, their common $(k-1)$-space shows $\dim (A^{\prime }\cap B)\ge \dim (A\cap B)-1$, and exchanging the two gives the reverse bound. Thus distance is at least $r=k-\dim (A\cap B)$.

Choose a basis $c_1,\dots ,c_{k-r}$ of $I=A\cap B$, complement it in $A$ by $a_1,\dots ,a_r$, and in $B$ by $b_1,\dots ,b_r$. These combined vectors are independent because $A\cap B=I$. The spacesform a path in a graph of length $r$. ConsequentlyEqual-distance ordered pairs have the same dimensions in this adapted basis construction. Extend both combined bases to bases of $V$, and match them by a invertible linear map. It maps the first ordered pair to the second and preserves dimensions of intersections, hence graph adjacency. $G{L}_n(F)$ is distance-transitive, over an arbitrary field, with graph diameter $k$ under $n\ge 2k$.

For the symplectic dual polar graph, vertices are Lagrangian $m$-spaces. Let $I=A\cap B$ have dimension $m-r$. The quotient $I^{\perp }/I$ is a nonsingular symplectic vector space of dimension $2r$, and $A/I,B/I$ are complementary Lagrangian subspaces. Their mutual pairing is nonsingular: a vector orthogonal to both lies in $(A+B{)}^{\perp }=I$, so vanishes in the quotient. Choose dual bases $e_1,\dots ,e_r$ in $A/I$ and $f_1,\dots ,f_r$ in $B/I$, and lift them into $A,B$. Their span is a nonsingular symplectic $2r$-space. Complete it by a basis $e_{r+1},\dots ,e_m$ of $I$ and suitable dual partners. This gives the pair normal formThe spaces $A_j=⟨f_1,\dots ,f_j,e_{j+1},\dots ,e_m⟩$ remain totally isotropic subspace: a present $f_i$ pairs only with the absent $e_i$. They give an adjacent-step path in a graph of length $r$. The previous intersection-dimension lower bound still applies, provingFor two ordered pairs at the same distance, match their adapted symplectic bases. The resulting map preserves the alternating bilinear form and sends the pairs to each other, so lies in $S{p}_{2m}(F)$. Equivalently, construct the isometry of a space with a form on $A+B$ from the displayed normal form and extend it by Witt's lemma. The action of the symplectic group over a field is distance-transitive, over every field, and its graph has graph diameter $m$. The zero-dimensional boundary cases give a single vertex and trivial transitivity.

Let $V$ have dimension $2m$ over the finite field ${\mathbb{F}}_q$, with a nondegenerate alternating bilinear form $B$. The symplectic group over a finite field isIt acts simply transitively on ordered symplectic bases: a linear map between two such bases is uniquely specified and preserves all pairings, hence the whole bilinear form.

Count a first hyperbolic pair $(e_1,f_1)$. There are $q^{2m}-1$ choices for $e_1\ne 0$. Nondegeneracy makes $B(e_1,-)$ a nonzero linear functional, so there are $q^{2m-1}$ choices of $f_1$ with $B(e_1,f_1)=1$. Their span is nondegenerate, and its symplectic orthogonal complement is a symplectic vector space of dimension $2m-2$. Recursing, with $|S{p}_0(q)|=1$, yieldsThe construction also proves the existence of the required symplectic bases, in characteristic two as well as odd characteristic.

Represent a subset by the coordinate vector of its indicator function in ${\mathbb{F}}_2^n$. Symmetric difference then becomes coordinatewise addition, and the proposed pairing is the dot productIt is a symmetric bilinear form, and it is nondegenerate because its Gram matrix in the singleton basis is the identity. Coordinate permutations preserve the sum, so the natural $S_n$ action preserves the bilinear form.

Let $j=(1,\dots ,1)$, the vector representing the full set. Thenis the even-weight subspace. For even $n$, $B(j,j)=n=0$ in ${\mathbb{F}}_2$, so $j\in W$. Moreover $B(x,x)={\sum }_i{x}_i^2={\sum }_i{x}_i=0$ for $x\in W$, making the restricted bilinear form alternating. Nondegeneracy on the ambient space implies $W^{\perp }=⟨j⟩$, so the radical of $B{|}_W$ is exactlyThus it descends to an alternating bilinear form on $W/⟨j⟩$, independent of the representatives, and that quotient form has zero radical. The induced form is nondegenerate, and its dimension is $n-2$. This is the symplectic quotient of the binary subset module; at $n=2$ it is the zero-dimensional nondegenerate space.

Write the alternating bilinear form as $B$. Alternation gives $B(v,w)=-B(w,v)$ by expanding $B(v+w,v+w)=0$. If $V\ne 0$, choose $v\ne 0$. Nondegeneracy supplies $w$ with $B(v,w)\ne 0$; rescale $w$ so that $B(v,w)=1$. The vectors are independent, and the restriction to $E=\mathrm{span}\{v,w\}$ has matrix $\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$, whose determinant is one.

Every $z\in V$ has a unique decomposition into a vector in $E$ and a vector orthogonal to $E$: subtract $B(z,w)v-B(z,v)w$ to obtain the latter. Thus $V=E\oplus E^{\perp }$. If a vector in $E^{\perp }$ annihilates $E^{\perp }$ under $B$, it also annihilates $E$, and hence all of $V$; nondegeneracy makes it zero. The restricted alternating bilinear form on $E^{\perp }$ is therefore again nondegenerate. Induction splits off two dimensions at each step and ends at the zero space. HenceThe proof works in characteristic two as well: alternation, rather than merely skew symmetry, is the needed hypothesis.

Choose an orientation for each curve and let $c_i=[C_i]\in H_1(X;\mathbb{Q})$. The algebraic intersection number of curves on an oriented surface gives a nondegenerate alternating bilinear form on the $2g$-dimensional space $H_1(X;\mathbb{Q})$, by Poincare duality. Distinct curves are disjoint, so their intersection numbers are zero; each self-pairing is zero by alternation. Thus the span $W=\mathrm{span}\{c_1,\dots ,c_n\}$ is an isotropic subspace of a symplectic vector space. The assumed linear independence gives $\dim W=n$.

Nondegeneracy identifies $H_1(X;\mathbb{Q})$ with its dual. Restricting functionals to $W$ is surjective, so the symplectic orthogonal complement has dimension $\dim W^{\perp }=2g-n$. Isotropy says $W\subseteq W^{\perp }$, giving $n\le 2g-n$. HenceThe bound is sharp: one meridian on each handle of a genus-$g$ surface gives $g$ pairwise disjoint curves with independent homology classes. This is an algebraic bound on independent classes, not on the number of disjoint separating or mutually homologous curves.

Let $V$ have dimension $2m$ over ${\mathbb{F}}_q$, with a nondegenerate alternating bilinear form $B$. The symplectic group isIt acts freely and transitively on ordered symplectic bases. Choose the first vector $e_1\ne 0$ in $q^{2m}-1$ ways, then choose $f_1$ with $B(e_1,f_1)=1$ in $q^{2m-1}$ ways. Their span is nondegenerate, so choose the remaining symplectic basis in its orthogonal complement. This gives the recurrenceand therefore

For the permutation module ${\mathbb{F}}_2^r$ with $r$ even, put $\mathbf{t}=(1,\dots ,1)$ andIt is invariant under coordinate permutations and has codimension one. The dot product restricted to $W$ is alternating because $B(x,x)={\sum }_i{x}_i^2={\sum }_i{x}_i=0$. Since the ambient dot product is nondegenerate, $W^{\perp }=⟨\mathbf{t}⟩$. Evenness of $r$ ensures $\mathbf{t}\in W$, soHere the word symplectic must be understood as an alternating form before quotienting: a form with a nonzero radical is degenerate. The nondegenerate symplectic form is induced on $\overline{W}=W/⟨\mathbf{t}⟩$, of dimension $r-2$.

Now put $r=2m+2$. Coordinate permutations preserve the induced form and give a homomorphism $S_r\to S{p}_{r-2}(2)$. To see it is faithful for $r\ge 6$, suppose a permutation $\sigma$ acts trivially on $\overline{W}$. For every pair of distinct indices,The two weight-two vectors could differ by $\mathbf{t}$ only if the complement of a two-element set also had size two. For $r\ge 6$ that is impossible. Thus $\sigma$ preserves every two-element set, and hence fixes every index: intersect two such sets with one common element. ThereforeFor $m=2$, both groups have order $720$, and the injection is onto. This provesThe lower bound matters: for $r=4$ the action on the quotient has the Klein four-group as group homomorphism kernel. The construction is the deleted permutation module in characteristic two.

Let $V={\mathbb{C}}^4$ with its nondegenerate alternating bilinear form. Its inverse-form bivector $\Omega \in {\Lambda }^{2}V$ is invariant under the symplectic Lie algebra, and $\Omega \wedge \Omega \ne 0$. Choose $\mathrm{vol}=\Omega \wedge \Omega /2$. The exterior product defines a symmetric bilinear form on ${\Lambda }^{2}V$ byIt is symmetric because two-forms commute under the wedge product. It is nondegenerate because each basis wedge $e_i\wedge e_j$ pairs with its complementary basis wedge. Since $B(\Omega ,\Omega )=2$, the five-dimensional orthogonal complementalso has a nondegenerate symmetric bilinear form. This is the primitive exterior square, equivalently the kernel of symplectic contraction of an exterior square.

Every element of ${\mathfrak{sp}}_4$ fixes $\Omega$ and preserves volume, since its trace is zero. The induced exterior-power Lie algebra representation consequently preserves $W$ and satisfies $B(A\xi ,\eta )+B(\xi ,A\eta )=0$. Thus it gives a Lie algebra homomorphismWe check injectivity explicitly. If $A$ acts as zero on $W$, it also kills $\Omega$, and therefore acts as zero on all of ${\Lambda }^{2}V=W\oplus \mathbb{C}\Omega$. For three distinct indices $i,j,k$, the coefficient of $e_k\wedge e_j$ in $A(e_i\wedge e_j)$ is $A_{ki}$, so all off-diagonal entries of $A$ vanish. Its action on $e_i\wedge e_j$ is then $(A_{ii}+A_{jj})e_i\wedge e_j$. All these sums vanish, which in characteristic zero forces every diagonal entry to vanish. Hence $A=0$.

Finally,The injective Lie algebra homomorphism is therefore surjective. Over $\mathbb{C}$, every nondegenerate symmetric bilinear form admits a basis in which its matrix is the identity, so this constructs the exceptional isomorphism between sp4 and so5:

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