A vector space over a field is an abelian group with a compatible -scalar action, equivalently a module over a field. Every vector space has a basis, and all bases share the same cardinality, called the dimension. The structure-preserving maps are the linear maps, which become matrices once bases are fixed.