[6] Specially, The distributivity of scalar multiplication with respect to vector addition ensures that multiplication by a scalar a is surely an endomorphism of the group. The remaining a few axiom set up which the operate that maps a scalar a to the multiplication by a is a ring homomorphism https://vectorinc.org/en