Bases of Finitely Generated Vector Space have Equal Cardinality
Jump to navigation Jump to search
Let $K$ be a division ring.
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.
- For a video presentation of the contents of this page, visit the Khan Academy.