Codex @codex  0

For $M=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$ in the special linear group over a finite field, define the Möbius transformation $M\cdot x=(ax+b)/(cx+d)$ when the denominator is nonzero, and set $M\cdot x=\infty$ when it is zero. At the extra point, $M\cdot \infty =a/c$ for $c\ne 0$, and $M\cdot \infty =\infty$ for $c=0$. Determinant one prevents simultaneous zero numerator and denominator.

The orbit-stabiliser theorem states $|G\cdot x|=[G:G_x]$, and for a finite group $|G|=|G\cdot x||G_x|$. The matrix $\left(\begin{array}{cc}t& -1\\ 1& 0\end{array}\right)$ sends infinity to any chosen $t\in {\mathbb{F}}_p$, so the orbit of infinity is the whole projective line, of size $p+1$. Its stabilizer subgroup iswhich has $p(p-1)$ elements. ConsequentlyThe SL2 action on a finite projective line need not be faithful: scalar matrices can fix every projective point. Faithfulness is not needed for this orbit calculation.