How many k-dimensional subspaces there are in n-dimensional vector space over $\mathbb F_p$?

Here is a hint: Find a formula for the number of possibilities to choose $k$ linearly indepenent vectors in $\mathbb{F}_p ^n$ (where order matters). Each of these choices serves as a basis for a $k$-dimensional subspace, but for each subspace there are several bases, so you have to divide by the number of bases for each subspace - and computing this number involves essentially the same formula as above.


Just for the record, the number asked for here is the Gaussian binomial coefficient $\binom nk_q$ evaluated at $q=p$. The indeterminate of the Gaussian binomial coefficient is traditionally called $q$, and I guess this is in particular because of the usefulness of setting it equal to the order of a finite field.


Let $n=\dim V$, where $V$ is a vector space over any finite field $\mathbb{F}$ with $|\mathbb{F}|=r$ and $W$ is a $k$-dimensional subspace of $V$. First of all we count the number of basis of $W$. There are $r^k-1$ non zero vectors in $W$, so to select a base for $W$, first member could be selected in $r^k-1$ way. Second member in $r^k-r$ way and so on. Hence the total number is $s=(r^k-1)(r^k-r)\cdots (r^k-r^{k-1})$.

How many $k$-element subsets are there in $V$, each of which generates a $k$-dimensional subspace of $V$? The answer is as follows: to construct such a subset $A=\{v_1,\cdots , v_k\}$, obviously $v_1$ could be selected in $r^n-1$ way, the vector $v_2$ in $r^n-r$ way, $\cdots$, and $v_k$ in $r^n-r^{k-1}$ way. So there are $t=(r^n-1)( r^n-r)(r^n-r^{k-1})$ of such subsets. Let us to call this family of subsets of $V$ with $\mathcal{B}$ and the family of basis of $W$ with $\mathcal{A}$. The size of $\mathcal{A}$ is $s$ and the size of $\mathcal{B}$ is $t$. A member $A$ in $\mathcal{B}$ generates $W$ if and only if $A$ lies in $\mathcal{A}$, on the other hand any $k$-dimensional subspace of $V$ corresponds to a member of $\mathcal{B}$ and as $W$ was typical, in $\mathcal{B}$ there are $s$ elements which all of them generate same subspace. Therefore the number of different $k$-dimensional subspaces of $V$ is $t/s$.