Vector space over the rational numbers (source code)

= Vector space over the rational numbers
{title2=$V\text{ over }\mathbb Q$}

= Vector spaces over the rational numbers
{synonym}

A <vector space> with scalar <field> $\mathbb Q$ is equivalently a <torsion-free divisible Abelian group>. An embedding of such groups automatically respects rational scalar multiplication because solutions to $nb=ma$ are unique.