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

Definition

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.

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

Revision on June 13, 2022 at 19:42:58 by Anonymous?. See the history of this page for a list of all contributions to it.