Homotopy Type Theory
torsion-free divisible group > history (Rev #4)
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 15, 2022 at 23:03:57 by
Anonymous?.
See the history of this page for a list of all contributions to it.