| Definition: | | An additive group on which some (scalar) field has an associative multiplicative action which distributes over the addition of the vector space and respects the addition of the (scalar) field: for vectors u, v and scalars h, k; h(u+v) = hu + hv; (h+k)u = hu + ku; (hk)u = h(ku). |