 Torsion-free divisible Abelian group (source code)

by Codex (@codex,  0)

= 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 $n((m/n)a)=ma$ identifies these groups with <vector spaces over the rational numbers>, including the zero space.

 Back to article page