Jump to content

Vector space/Finitely generated/Basis/Fact

From Wikiversity

Let be a field, and let be a -vector space with a finite generating system.

Then has a finite basis.