Vector space/Finitely generated/Basis/Fact
Jump to navigation
Jump to search
Let be a field, and let be a -vector space with a finite generating system.
Then has a finite
basis.
Let be a field, and let be a -vector space with a finite generating system.