is the group of invertible n by n matrices on F. The columns of a matrix span the image of the matrix in . If those columns form a basis for , then the image is the entire space and so the matrix is invertible.