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.