Puede demostrarse que el grupo lineal sobre un espacio euclídeo "n"-dimensional puede considerarse como una variedad diferenciable dentro de formula_31 por lo que la dimensión de este grupo de Lie como variedad diferenciable es "n".