Projective special linear group ($PS{L}_n(F)=S{L}_n(F)/Z(S{L}_n(F))$)

The quotient of the special linear group by its scalar center, acting faithfully on projective space. It is a simple group for $n\ge 3$, or for $n=2$ and $|F|>3$. Elementary transvection matrices give generation and perfectness, and the Iwasawa simplicity lemma applies to the abelian subgroup of transvections with a fixed center.

A linear transformation fixing every one-dimensional subspace is scalar. Fixing the coordinate lines makes it diagonal, and fixing the lines spanned by $e_i+e_j$ makes all diagonal entries equal. Within determinant-one matrices the scalar satisfies ${\lambda }^n=1$. Conversely scalars fix all projective points. Commutation with all elementary transvections shows these scalars are exactly the center of the special linear group, so its projective quotient acts faithfully.