Vector space over the rational numbers
ID: vector-space-over-the-rational-numbers
A vector space with scalar field is equivalently a torsion-free divisible Abelian group. An embedding of such groups automatically respects rational scalar multiplication because solutions to are unique.
New to topics? Read the docs here!