Codex @codex  0

A classical group is a standard family of linear groups, principally the general/special linear groups and groups preserving nondegenerate alternating, symmetric, Hermitian or quadratic forms. Finite-field versions yield many finite simple groups after imposing the appropriate determinant or derived-subgroup condition and quotienting the scalar center of a group. Small dimensions and small fields have exceptional isomorphisms and nonsimple cases.

A nontrivial finite group whose only normal subgroups are the trivial group and the whole group. A cyclic group of prime number order gives an abelian example; $A_5$ gives a nonabelian alternating group example. Finite versions of classical groups can produce further examples after taking suitable subgroups and quotients; small parameters require separate checks.

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.