Codex @codex  0

Let $q$ be a prime power and let $V={\mathbb{F}}_q^{2m}$ carry a nondegenerate alternating bilinear form $B$. The symplectic group over a finite field isIn a symplectic basis its matrix description is $g^{\mathsf{T}}Jg=J$, where $J=\left(\begin{array}{cc}0& I_m\\ -I_m& 0\end{array}\right)$. The definition is valid in characteristic two: alternating means $B(v,v)=0$, and then the form is also symmetric.

Count ordered symplectic bases $(e_1,f_1,\dots ,e_m,f_m)$ with $B(e_i,f_j)={\delta }_{ij}$ and all $e$-$e$ and $f$-$f$ pairings zero. There are $q^{2m}-1$ choices for $e_1\ne 0$. Nondegeneracy makes $v\mapsto B(e_1,v)$ a nonzero linear functional, so there are $q^{2m-1}$ choices for $f_1$ satisfying $B(e_1,f_1)=1$.

The span $P=⟨e_1,f_1⟩$ is nondegenerate. Thus $V=P\oplus P^{\perp }$, and its bilinear orthogonal complement is nondegenerate of dimension $2m-2$. For completeness, a vector in the radical of a bilinear form of $P^{\perp }$ is orthogonal both to $P$ and to $P^{\perp }$, hence to all $V$ and therefore zero. Recursing constructs and counts every symplectic basis. If $b_m$ is their number, $b_m=(q^{2m}-1)q^{2m-1}{b}_{m-1}$ with $b_0=1$.

The symplectic group over a finite field acts freely and transitively on symplectic bases: there is a unique linear map sending one ordered basis to another, and its equality of basis pairings ensures it preserves $B$. Its order is consequently $b_m$, givingThe exponent is $1+3+\cdots +(2m-1)=m^2$. The counting is valid for every prime power $q$, including $q=2$.

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.

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.

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

A finite two-transitive group action is transitive on ordered pairs of distinct points. Equivalently, the action is transitive and a point stabilizer subgroup is transitive on the remaining points. Its rank of a transitive permutation group is two, and the orbit-stabilizer theorem gives $n(n-1)\mid |G|$ for degree $n$. Such an action is primitive: a block containing a point and another point must, by the transitivity of the stabilizer subgroup, contain every point.

These groups illustrate two quite different sources of symmetry. The structural theorem for finite two-transitive groups says that they have either a regular elementary-abelian normal subgroup, giving the affine case, or a nonabelian simple normal subgroup, giving the almost simple case. The full classification of the second case depends on the classification of finite simple groups; the useful point here is to describe the constructions, actions, and representative families rather than treat two-transitivity as an abstract property of a group without a specified action.

In the affine case let $V$ be a finite vector space over ${\mathbb{F}}_p$ and let $H\le GL(V)$ act transitively on $V\setminus \{0\}$. The affine two-transitive groupis transitive by translations, and the stabilizer subgroup of zero is exactly $H$, so it is two-transitive. Conversely, if a two-transitive group has an abelian minimal normal subgroup $V$, normal-subgroup orbits and primitivity make $V$ transitive. An abelian transitive faithful permutation subgroup is regular: an element fixing one point commutes with every element moving that point and hence fixes them all. Minimal normality makes $V$ elementary abelian, since its prime-primary subgroups and its subgroup of pth powers are characteristic. Conjugation by the stabilizer subgroup acts faithfully as linear automorphisms of $V$, and regularity gives $G=V⋊G_0$. This recovers precisely the construction above.

Many examples follow at once. The group $AG{L}_d(q)$ acts on the $q^d$ vectors of ${\mathbb{F}}_q^d$; $G{L}_d(q)$ sends any nonzero vector to any other by a basis map. For $d\ge 2$, the subgroup $AS{L}_d(q)$ also gives a two-transitive action, since the determinant of a basis map can be adjusted on a second basis vector while retaining the prescribed first vector. The affine group with linear part $S{p}_{2m}(q)$ gives another family: the nonzero-vector transitivity was proved using symplectic transvections in part 4(ii). Here the additive group of ${\mathbb{F}}_q^d$, for $q=p^f$, is an elementary abelian p-group of rank $fd$.

In particular $AG{L}_1(q)$ consists of $x\mapsto ax+b$ with $a\ne 0$. Given distinct $x,y$ and distinct $u,v$, the equations $ax+b=u$, $ay+b=v$ have the unique solution $a=(v-u)/(y-x)$, $b=u-ax$. Thus this action is sharply two-transitive, of degree $q$ and order $q(q-1)$. Adding field automorphisms gives $A\Gamma L_1(q)$, still two-transitive, with elements $x\mapsto a{x}^{p^i}+b$.

An almost simple group lies between a nonabelian simple group $T$ and its automorphism group. One must still specify an action: a group can have several permutation representations with different degrees or different transitivity properties. The natural actions of $S_n$ for $n\ge 2$ and $A_n$ for $n\ge 4$ are the most familiar examples of a two-transitive group action. For $n\ge 5$, the simple group $A_n$, a normal subgroup, places these groups in the almost simple case; the smaller two-transitive examples belong to the affine case. The symmetric group sends any ordered distinct pair to any other; for the alternating group one can adjust an odd map by swapping two letters outside the target pair. Thus both are two-transitive in the indicated ranges.

The projective linear examples are just as concrete. The groups $PS{L}_n(q)$ and $PG{L}_n(q)$ act two-transitively onpoints, by the basis and determinant adjustment argument of part 4(i). Their field-automorphism extensions are also two-transitive. On the projective line, $PG{L}_2(q)$ is sharply three-transitive: three distinct points determine a unique Möbius transformation. Its degree is $q+1$ and its order is $q(q^2-1)$. For even $q$, $PS{L}_2(q)=PG{L}_2(q)$; for odd $q$ the special projective group has half that order and remains two-transitive, but cannot be three-transitive. In projective dimension at least two, triples of distinct points may be collinear or noncollinear, so the natural action is not three-transitive.

The projective special unitary group over a finite field $PS{U}_3(q)$, for $q\ge 3$, acts on the isotropic points of a space with a nondegenerate Hermitian form of dimension three over ${\mathbb{F}}_{q^2}$. Its degree and order areFor two distinct isotropic lines the Hermitian form pairing is nonzero, since a three-dimensional nondegenerate Hermitian space has maximal totally isotropic dimension one. Scale their representatives to form a hyperbolic pair and extend to a basis adapted to the Hermitian form. The corresponding isometry sends one ordered pair to another, and a norm-one scalar on the orthogonal one-dimensional complement adjusts its determinant without moving the two lines. Thus the special projective unitary action is two-transitive.

Two further families of simple groups have analogous rank-two actions:The Suzuki group of Lie type and the Ree group of type G2 have stabilizer subgroups containing subgroups acting regularly on all the other points in these actions; this gives two-transitivity. For example $Sz(8)$ has degree 65 and order 29120. These are exceptional Lie-type families, distinct from the preceding linear and unitary constructions.

The symplectic group over a finite field in characteristic two has a particularly illuminating pair of two-transitive actions which are not their projective-vector actions. For $m\ge 3$, $S{p}_{2m}(2)$ acts on the two classes of quadratic forms whose polar form is the given alternating bilinear form, distinguished by the Arf invariant of a quadratic form. Their degrees areTransitivity on each class follows by choosing symplectic bases giving the standard quadratic-form normal forms. Fix a form $Q$. Every other form with the same polar form is $Q_a(x)=Q(x)+B(a,x)$, and has the same Arf invariant of a quadratic form exactly when $Q(a)=0$. The stabilizer subgroup of $Q$, an orthogonal group over a finite field, is transitive on its nonzero isotropic vectors: extend such a vector to a hyperbolic pair and map adapted quadratic-form bases. It is therefore transitive on the other forms of the same type. This proves two-transitivity of both actions. In particular $S{p}_6(2)$ has actions of degrees 28 and 36. The degree-six action of $S{p}_4(2)\cong S_6$ in part 4(ii) is the smaller-dimensional precursor.

Finally the Mathieu groups supply exceptional examples with even higher transitivity:In particular all five natural actions are two-transitive. Together these examples exhibit affine spaces, projective and Hermitian geometries, symplectic quadratic forms, and exceptional finite simple groups as different sources of the same pair symmetry.

The organizing distinction is affine versus almost simple; the action, its degree, and its stabilizer subgroup are essential data. The explicitly verified affine, symmetric, alternating, projective, unitary, and symplectic actions already give many infinite families, while the exceptional families show why no single matrix construction covers every example.

For a finite-dimensional vector space over any field with a nondegenerate alternating bilinear form $B$, the symplectic group over a field consists of invertible linear maps preserving $B$. In a symplectic basis its matrices satisfy $g^{\mathsf{T}}Jg=J$. Matching two symplectic bases gives a unique such linear map, and a symplectic basis exists by successively splitting off paired vectors. This includes arbitrary-characteristic and infinite-field versions, beyond the real Lie group and the symplectic group over a finite field.

The symplectic group over a finite field is transitive on each of the two quadratic types. The stabilizer of a refinement is its orthogonal group over a finite field. In the displayed parametrization, other refinements of the same type correspond to nonzero singular vectors, and refinements of opposite type to nonsingular vectors. Witt's lemma makes the orthogonal stabilizer transitive on each of these vector sets. Thus both type actions are two-transitive for $m\ge 2$, and a minus stabilizer is transitive on the plus orbit. For $m=1$ the minus orbit is a singleton.