Torsion-free abelian group
This page describes a group property obtained as a conjunction (AND) of two (or more) more fundamental group properties: torsion-free group and abelian group
View other group property conjunctions OR view all group properties
Definition
A torsion-free abelian group or aperiodic abelian group or locally free abelian group is a group satisfying the following equivalent conditions:
- It is both an abelian group and a torsion-free group, i.e., no non-identity element of the group has finite order.
- Every finitely generated subgroup of it is a free abelian group.
Relation with other properties
Stronger properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| Free abelian group | |FULL LIST, MORE INFO |
Weaker properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| Torsion-free group | |FULL LIST, MORE INFO | |||
| Locally reduced free group | |FULL LIST, MORE INFO | |||
| Abelian group | |FULL LIST, MORE INFO |