Basis for Finitely Generated Vector Space

Theorem

Every finitely generated vector space has a finite basis.

Proof

Apply Linearly Independent Subset of Basis of Vector Space to the case where $F$ is a finite generator and $H = \varnothing$.

$\blacksquare$

Sources

• Seth Warner: Modern Algebra (1965): $\S 27$: Theorem $27.8$