The third one is really the definition of scalar multiplication, not a relation, and I think the last one should be just (nx,y)-(x,ny) for n an integer.
More generally, abelian groups and \mathbb{Q} are both \mathbb{Z}-modules, so one can form the...