Bases of Finitely Generated Vector Space have Equal Cardinality

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $K$ be a division ring.

Let $G$ be a finitely generated $K$-vector space.


Then any two bases of $G$ are finite and equivalent.


Proof

Since a basis is, by definition, both linearly independent and a generator, the result follows directly from Size of Linearly Independent Subset is at Most Size of Finite Generator.

$\blacksquare$


Also see


Sources

WARNING: This link is broken. Amend the page to use {{KhanAcademySecure}} and check that it links to the appropriate page.