El subgrupo H de todas las matrices cuadradas de orden n, de determinantes iguales a la unidad, es un subgrupo invariante de todas las matrices cuadradas de orden n de determinante no nulo.