Lemma 9.4.1. If $k$ is a field, then every $k$-module is free.
Proof. Indeed, by linear algebra we know that a $k$-module (i.e. vector space) $V$ has a basis $\mathcal{B} \subset V$, which defines an isomorphism from the free vector space on $\mathcal{B}$ to $V$. $\square$
Comments (0)