Does the "field" over which a vector space is defined have to be a Field?

If you pick the scalars from a general ring instead of insisting on a field (in particular, $\mathbb Z$ is a ring), you get a structure known as a module rather than a vector space.

Modules behave like vector spaces in certain respects, but there are also points where they are not at all as well-behaved as vector spaces. For example, a module does not necessarily have a basis, or even a well-defined dimension. This makes matrices less useful for understanding modules than they are for vector spaces. (You can still have matrices with entries in a ring; they just don't tell you everything about linear maps between the modules anymore).


These things are studied: they are called modules over the ring instead of vector spaces.

The main difference is that the elements of general modules do not allow a lot of the geometric intuition we have for vector spaces, so we still retain the traditional term "vector space" because it is still a useful term.

So, modules over fields (and also noncommutative fields) are called vector spaces.