S> 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). [Simple example?] (1996-09-30)