En la terminología de Álgebra Abstracta, las propiedades anteriores, conjuntamente con la asociatividad del producto, hacen que GL(n) tenga una estructura de grupo (ver definición C.1), al que llamamos el grupo lineal (real de dimensión