Please explain the general relationship between abstract algebra and linear algebra.
Also, please dscuss how it is possible to considerably shorten the list of properties that define a vector space by using definitions from abstract algebra. This needs toinclude an explicit list of the properties of a vector space that are still needed after applying the concept of abelian group.