Homotopy Type Theory torsion-free divisible group > history (changes)

Showing changes from revision #4 to #5: Added | Removed | Changed

<rational vector space


A divisible group GG is torsion-free if the only integer n:n:\mathbb{Z} such that α(n)(g)=0\alpha(n)(g) = 0 for all g:Gg:G is 00.


  • Just as every abelian group is a \mathbb{Z}-module, every torsion-free divisible group is a \mathbb{Q}-module, or a \mathbb{Q}-vector space?.

See also


  • Phillip A. Griffith (1970), Infinite Abelian group theory. Chicago Lectures in Mathematics. University of Chicago Press. ISBN 0-226-30870-7

Last revised on June 17, 2022 at 20:48:21. See the history of this page for a list of all contributions to it.