Special linear group over a finite field

The determinant-one matrices form the normal subgroup $S{L}_n({\mathbb{F}}_q)=\ker (\det )$.

For a finite field of odd characteristic and nonzero $a,b$, let $U_a=\left(\begin{array}{cc}1& a\\ 0& 1\end{array}\right)$. An arbitrary determinant-one matrix $P=\left(\begin{array}{cc}r& s\\ t& u\end{array}\right)$ satisfies $P{U}_a=U_{b}P$ only if $t=0$ and $ar=bu$. The determinant condition $ru=1$ then gives $b/a=r^2$. Conversely $\mathrm{diag}(r,r^{-1})U_a\mathrm{diag}(r,r^{-1}{)}^{-1}=U_{a{r}^2}$. Thus nonzero upper unipotent matrices fall into two conjugacy classes under this square-class criterion. For example, $U_1$ and $U_3$ are conjugate over ${\mathbb{F}}_{11}$ because $5^2=3$, but not over ${\mathbb{F}}_5$. The criterion compares these particular upper unipotent representatives; it does not classify all determinant-one matrices.

A matrix $\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$ acts on the projective line by the Möbius transformation $x\mapsto (ax+b)/(cx+d)$, with the pole sent to infinity and infinity sent to $a/c$ when $c\ne 0$. The action is transitive because $\left(\begin{array}{cc}t& -1\\ 1& 0\end{array}\right)$ sends infinity to any finite $t$. The stabilizer subgroup of infinity consists of $\left(\begin{array}{cc}a& b\\ 0& a^{-1}\end{array}\right)$ with $a\ne 0$. The orbit-stabilizer theorem gives $|{\mathrm{SL}}_2({\mathbb{F}}_q)|=q(q^2-1)$. Its kernel is the scalar matrices of determinant one: a transformation fixing infinity has $c=0$, fixing zero then forces $b=0$, and fixing one gives $a=d$. Thus the kernel is $\{I,-I\}$, with these matrices coinciding in characteristic two.