[six] Especially, The distributivity of scalar multiplication with respect to vector addition signifies that multiplication by a scalar a can be an endomorphism in the team. The remaining 3 axiom build the functionality that maps a scalar a on the multiplication by a is a hoop homomorphism from the sector https://vectorinc.org/en