Vector Space

Let be a Field.
A set together with and
is a vector space over if:

• is an Abelian Group
• Associativity: for all and

• for the multiplicative identity

• for all and

• for all and