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.

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 $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.

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.