computation of the order of
\\PMlinkescapephrase
linearly independent
is the group of invertible matricesover the finite field
.Here is a proof that.
Each element is given by a collection of -linearly independent vectors (http://planetmath.org/LinearIndependence).If one chooses the first column vector
of from there are choices, but one can’t choose the zero vector
since this would make the determinant
of zero.So there are really only choices.To choose an -th vector from which is linearly independent from already chosenlinearly independent vectors one must choose a vector not inthe span of .There are vectors in this span,so the number of choices is .Thus the number of linearly independent collections of vectors in is .