Homotopy Type Theory
torsion-free divisible group > history (Rev #2)
Definition
A divisible group is torsion-free if the only integer such that for all is .
Properties
- Just as every abelian group is a -module, every torsion-free divisible group is a -module, or a -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.