Associativity of addition: u+(v+w)=(u+v)+w
Commutativity of addition: u+v=v+u
Identity element of addition: v+0=v
Inverse element of addition: v+(-v)=0
Distributivity of scalar multiplication with respcet to vector addition: a(u+v)=au+av
Distributivity of scalar multiplication with respcet to field addition: (a+b)v=av+bv
Compatibility of scalar multiplication with field multiplication: a(bv)=(ab)v
Identity element of scalar multiplication: 1v=v