First, in English, at least, a set with operations of addition and "scalar multiplication" with the scalars from a division ring rather than a field is usually called a "module", not a "vector space".

Second, If you define scalar multiplication by " " for in D, then you must either define or leave [tex]\alpha x[tex] undefined. The fact that multiplication ofscalarsis not commutative has nothing to do with the relationship between and .