[6] Specifically, The distributivity of scalar multiplication with regard to vector addition ensures that multiplication by a scalar a is really an endomorphism on the group. The remaining three axiom build the perform that maps a scalar a to the multiplication by a is a hoop homomorphism from the sector https://vectorinc.org/en