symmetric monoidal (∞,1)-category of spectra
For a field and a -vector space, a basis for is a basis of a free module for regarded as a free module over . In functional analysis, a basis in this sense is called a Hamel basis.
The basis theorem asserts that, with the axiom of choice, every vector space admits a basis, hence that every module over a field is a free module.
Last revised on March 9, 2017 at 03:19:38. See the history of this page for a list of all contributions to it.