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

Definition

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

Properties

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

See also

• divisible group
• rational numbers
• rationalization of an abelian group
• rational homotopy type
• Q-algebra

References

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