Special linear group over a finite field (source code)

= Special linear group over a finite field
{wiki}

The determinant-one matrices form the normal subgroup $SL_n(\mathbb F_q)=\ker(\det)$.