On the involutions of $GL_2(\mathbb F_3)$ Ok I swear this will be more or less the last topic on the group $GL_2(\mathbb F_3)$!
I'm searching for all its involutions.
I know that $
\begin{pmatrix} -1 & 0  \\ 0 & -1 \end{pmatrix}$ is the only involution in $N:=SL_2(\mathbb F_3)$.
Moreover there are four other involutions:
$\pm\begin{pmatrix} -1 & 0  \\ 0 & 1 \end{pmatrix}$ and $\pm\begin{pmatrix} 0 & 1  \\ 1 & 0 \end{pmatrix}$ which don't stay in $N$.
I think these five are the all and only involutions in $GL_2(\mathbb F_3)$. But how can I prove it without computes, systems etc? Is there a rapid way to see that?
Thank you all
 A: It turns out your inventory is missing a couple.  For example, $\begin{pmatrix} 1 & 0 \\ 1 & -1 \end{pmatrix}$ is an involution.
One way to attack this problem is to represent an arbitrary matrix as
$M=
\begin{pmatrix} a & b  \\ c & d \end{pmatrix}$ and compute $M^2= \begin{pmatrix} a^2+bc & ab+bd \\ ac+cd & bc + d^2 \end{pmatrix}$.   Set this equal to the identity matrix.  Now start attacking cases:


*

*If $a=0$ then $bc=1$, whence $d^2=0$ as well.  This leads to the solutions $M= \begin{pmatrix} 0 & \pm 1 \\ \pm 1 & 0 \end{pmatrix}$.

*If $a=1$ then $bc=0$, whence $d^2=1$ as well.  This leads to different sub-cases, according to whether $d=1$ (in which case $b=c=0$) or $d= -1$, in which case $b=0$, $c=\rm{arbitrary}$ is another solution, as is $c=0$, $b=\rm{arbitrary}$.

*Finally the case $a=-1$ is very similar to case 2 above.

A: Let $M\in GL_2(\Bbb F_3)$ be an involution, i.e. $M^2=I$, i.e. $M$ is a root of the polynomial $x^2-1$. Then its minimal polynomial $f$ must be either one of $x+1,\ x-1,\ x^2-1$. The first two cases yield strictly $\pm I$.
So, assume that the minimal polynomial of $M$ is $x^2-1$, but this means that both $+1$ and $-1$ are eigenvalues, i.e. there eigenvectors $u$ and $v$ such that $Mu=-u$ and $Mv=v$.
So, after a change of base, the new matrix of $M$ is indeed of the form $\pmatrix{-1&0\\0&1}$, so all the involutions are of the form
$$B\pmatrix{-1&0\\0&1}B^{-1}$$
for some $B\in GL_2(\Bbb F_3)$.
