[six] Exclusively, The distributivity of scalar multiplication with respect to vector addition ensures that multiplication by a scalar a is really an endomorphism on the group. The remaining 3 axiom build the function that maps a scalar a to your multiplication by a is a ring homomorphism from the sphere https://vectorinc.org/en