O grupo linear especial, SL (n, F), é o grupo de todas as matrizes de determinante 1. Elas são especiais em que elas se encontram em uma subvariedade - satisfazem uma equação polinomial (como o determinante é um polinômio nas entradas). Matrizes deste tipo formam um grupo como o determinante do produto de duas matrizes é o produto de cada um dos determinantes da matriz.