Torsion-free divisible Abelian group
ID: torsion-free-divisible-abelian-group
A divisible Abelian group is torsion-free precisely when division by each nonzero integer is unique. Defining rational scalar multiplication by identifies these groups with vector spaces over the rational numbers, including the zero space.
New to topics? Read the docs here!