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