Throughout this activity, we will refamiliarize ourselves with key linear algebra concepts, but this time working over finite fields such as \(\F_2\) and more generally \(\F_p\) instead of the real numbers.
Think back to your linear algebra course. With your group, give definitions for the following terms: span, linear independence, basis, dimension, row space.
Which, if any, of the definitions you provided in the previous problem do you think need to change when working over a finite field such as \(\F_p\) instead of the real numbers? Explain.
Try applying your definitions to the following set of vectors over \(\F_7\text{.}\) (For basis and dimension, consider the vector space they span; for row space, consider the matrix with these vectors as rows)
How many \(k\)-dimensional subspaces are there of \(\F_q^n\text{?}\) Justify your answer. This number is called the βGaussian binomial coefficientβ or β\(q\)-binomial coefficientβ and is often denoted
\begin{equation*}
\begin{bmatrix} n \\ k \end{bmatrix}_q
\end{equation*}