Codex @codex  0

Write $x_{ij}(t)=I+t{E}_{ij}$ for $i\ne j$ and $t\in {\mathbb{F}}_q$. When $t\ne 0$ these are transvections, and their inverses are $x_{ij}(-t)$. Row addition by such an elementary transvection matrix preserves the determinant. It also realizes signed interchanges and compensating diagonal scalings: in any two coordinate positions,Thus elimination can reduce any invertible matrix to diagonal form using only row additions and signed interchanges, all products of transvections. For a diagonal matrix with determinant one, $\mathrm{diag}(d_1,\dots ,d_n)$, use the displayed two-coordinate diagonal matrices in positions $(i,n)$ with parameter $d_i$, for $1\le i<n$. Their product has diagonal entries $d_1,\dots ,d_{n-1},{\prod }_{i<n}{d}_i^{-1}=d_n$. Hence the residual diagonal matrix is also a product of transvections, and reversing elimination provesThis proves transvections generate the special linear group, including the small fields.

For perfectness, use the convention $[x,y]=xy{x}^{-1}{y}^{-1}$ in the following calculations. If $n\ge 3$ and $i,j,k$ are distinct, direct matrix multiplication givesTaking $b=1$ puts every elementary generator in the commutator subgroup. Thus $S{L}_n(q)$ is perfect. When $n=2$ and $q>3$, choose $s\in {\mathbb{F}}_q^{\times }$ with $s^2\ne 1$; such an element exists because a degree-two polynomial has at most two roots and $q-1>2$. For $D=\mathrm{diag}(s,s^{-1})$,Both coefficients are nonzero, so varying $t$ supplies every upper and lower elementary generator as a commutator. ThereforeThe exceptions really fail: $S{L}_2(2)\cong S_3$ has a nontrivial sign quotient, and $S{L}_2(3)$ has quotient $PS{L}_2(3)\cong A_4$, which has the nontrivial Abelian quotient $A_4/V_4\cong C_3$. For the latter identification, the faithful projective action embeds the order-twelve group $PS{L}_2(3)$ as an index-two subgroup of $S_4$, necessarily $A_4$.

The Iwasawa simplicity lemma states that, in a faithful primitive group action, if a point stabilizer has an Abelian normal subgroup whose conjugates generate the whole group, then every nontrivial normal subgroup contains the commutator subgroup. In particular a nontrivial perfect group with this property is simple. The lemma is applied here, as allowed, without assuming the desired simplicity theorem.

Let $S{L}_n(q)$ act on the one-dimensional subspaces of ${\mathbb{F}}_q^n$. This action is two-transitive: a linear map taking two specified distinct lines to two others can be made determinant one by rescaling one of the target basis vectors, without changing either target line. Its kernel consists exactly of scalar matrices. Indeed fixing all lines makes a matrix diagonal in any fixed basis, and fixing the lines through $e_i+e_j$ makes all its diagonal entries equal. The scalar matrices in $S{L}_n(q)$ are $aI$ with $a^n=1$. They also form its group center, since a central matrix commutes with every elementary generator, forcing all off-diagonal entries to vanish and all diagonal entries to agree. Their number is $\gcd (n,q-1)$. Consequently the quotient $PS{L}_n(q)$ acts faithfully and primitively.

Fix a line $L=⟨v⟩$ and considerHere $vf$ is the rank-at-most-one map $z\mapsto f(z)v$. These matrices have determinant one, and $(vf)(vh)=0$, so $T_L$ is Abelian under addition of the functionals. If $gL=L$, then $gv=av$ and $g(I+vf)g^{-1}=I+av(f{g}^{-1})\in T_L$. Thus $T_L$ is normal in the line stabilizer. Its image in $PS{L}_n(q)$ is a nontrivial Abelian normal subgroup of the point stabilizer. Conjugates of these groups include every elementary transvection, hence generate $PS{L}_n(q)$. Perfectness passes to a quotient. The Iwasawa simplicity lemma therefore givesIn those exceptions the projective groups are $S_3$ and $A_4$, as above.

For $q=4$, counting columns gives $|S{L}_2(4)|=4(4^2-1)=60$. Its scalar group center is trivial, so $PS{L}_2(4)$ has order sixty. Its faithful action on the five points of the projective line embeds it in $S_5$. Because it is perfect, its sign homomorphism is trivial and its image lies in $A_5$. Equal orders then giveFor $q=5$, use an explicit subgroup to obtain a five-point action. In $S{L}_2(5)$ setAll three have determinant one. Matrix multiplication gives $i^2=j^2=-I$, $ij=-ji$, and $r^3=I$. The eight distinct matrices $\{\pm I,\pm i,\pm j,\pm ij\}$ form a quaternion group. Moreover,Thus $r$ normalizes that quaternion group and has order three. Their generated subgroup has order $24$ and contains the scalar group center $\{\pm I\}$. Its image in $PS{L}_2(5)$ has order twelve, hence index five since $|PS{L}_2(5)|=5(25-1)/2=60$. The resulting coset action is nontrivial and, by the simplicity already proved, faithful. Perfectness again puts its image in $A_5$, and equal orders implyThis is the quaternion construction of an index-five subgroup of PSL2 over F5; it avoids assuming a classification of groups of order sixty.

For the last comparison, the order of a general linear group over a finite field comes from choosing independent columns:The determinant map onto ${\mathbb{F}}_q^{\times }$ has kernel $S{L}_n(q)$, and the scalar quotient divides by $\gcd (n,q-1)$. HenceThe highest power of two dividing either order is $64$. Their Sylow $2$-subgroups are respectively the upper unitriangular groups $U_4(2)$ of order $2^6$ and the image of $U_3(4)$ of order $4^3$. The latter image is isomorphic to $U_3(4)$ because its intersection with the odd-order scalar group center is trivial.

The center of an upper unitriangular group can be computed directly here. Commuting $X\in U_4(2)$ with $I+E_{12}$ forces $X_{23}=X_{24}=0$; commuting with $I+E_{23}$ forces $X_{12}=X_{34}=0$; commuting with $I+E_{34}$ forces $X_{13}=0$. Only $X_{14}$ can remain, and those matrices commute with the whole group. Thus $Z(U_4(2))=\{I+t{E}_{14}:t\in {\mathbb{F}}_2\}$ has order two. In $U_3(4)$, commutation with $I+E_{12}$ and $I+E_{23}$ similarly forces $X_{23}=X_{12}=0$, leaving the arbitrary entry $X_{13}\in {\mathbb{F}}_4$. Its group center has order four. An isomorphism of the whole groups would send a Sylow subgroup to a Sylow subgroup and preserve its group center order, which is impossible. Therefore