[6] Specifically, The distributivity of scalar multiplication with regard to vector addition means that multiplication by a scalar a can be an endomorphism on the group. The remaining a few axiom set up the function that maps a scalar a to your multiplication by a is a ring homomorphism from https://vectorinc.org/en