The axioms for a vector space V over a field F include the two axioms that the
multiplicative group p x act on the set V . Thus vector spaces are familiar examples
of actions of multiplicative groups of fields where there is even more structure (in
particular, V must be an abelian group) which can be exploited. why must V be abelian ? in this case?