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

Showing changes from revision #4 to #5:
Added | ~~Removed~~ | ~~Chan~~ged

<rational vector space

## Definition

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

~~
~~## Properties

~~
~~
- 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

~~
~~~~
~~## References

~~
~~
- 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.