Vector space/Finitely generated/Length of every basis/Fact
Let be a field, and let be a -vector space with a finite generating system.
Then any two
of have the same number of vectors.
Let be a field, and let be a -vector space with a finite generating system.