# Torsion-free abelian group

Algebraic structure → Group theory Group theory :
Basic notions
Subgroup
Normal subgroup
Group action
Quotient group
(Semi-)direct product
Direct sum
Free product
Wreath product
Group homomorphisms
kernel
image
simple
finite
infinite
continuous
multiplicative
additive
cyclic
abelian
dihedral
nilpotent
solvable
Glossary of group theory
List of group theory topics :
Finite groups
Cyclic group Z$_n$
Symmetric group S$_n$
Alternating group A$_n$
Dihedral group D$_n$
Quaternion group Q
Cauchy's theorem
Lagrange's theorem
Sylow theorems
Hall's theorem
p-group
Elementary abelian group
Frobenius group
Schur multiplier
Classification of finite simple groups
cyclic
alternating
Lie type
sporadic :
Discrete groupsLattices
Integers ($\mathbb {Z}$)
Free group
Modular groups PSL(2, $\mathbb {Z}$)SL(2, $\mathbb {Z}$)
Arithmetic group
Lattice
Hyperbolic group :
Topological and Lie groups
Solenoid
Circle
General linear GL(n)
Special linear SL(n)
Orthogonal O(n)
Euclidean E(n)
Special orthogonal SO(n)
Unitary U(n)
Special unitary SU(n)
Symplectic Sp(n)
G$_2$
F$_4$
E$_6$
E$_7$
E$_8$
Lorentz
Poincaré
Conformal
Diffeomorphism
Loop
Infinite dimensional Lie group O(∞)SU(∞)Sp(∞) :
Algebraic groups
Linear algebraic group
Reductive group
Abelian variety
Elliptic curve :
vte :
In mathematics, specifically in abstract algebra, a torsion-free abelian group is an abelian group which has no non-trivial torsion elements; that is, a group in which the group operation is commutative and the identity element is the only element with finite order.
While finitely generated abelian groups are completely classified, not much is known about infinitely generated abelian groups, even in the torsion-free countable case.

## Definitions

An abelian group $\langle G,+,0\rangle$ is said to be torsion-free if no element other than the identity $e$ is of finite order. Explicitly, for any $n>0$, the only element $x\in G$ for which $nx=0$ is $x=0$.
A natural example of a torsion-free group is $\langle \mathbb {Z} ,+,0\rangle$, as only the integer 0 can be added to itself finitely many times to reach 0. More generally, the free abelian group $\mathbb {Z} ^{r}$ is torsion-free for any $r\in \mathbb {N}$. An important step in the proof of the classification of finitely generated abelian groups is that every such torsion-free group is isomorphic to a $\mathbb {Z} ^{r}$.
A non-finitely generated countable example is given by the additive group of the polynomial ring $\mathbb {Z} [X]$ (the free abelian group of countable rank).
More complicated examples are the additive group of the rational field $\mathbb {Q}$, or its subgroups such as $\mathbb {Z} [p^{-1}]$ (rational numbers whose denominator is a power of $p$). Yet more involved examples are given by groups of higher rank.

## Groups of rank 1
### Rank

The rank of an abelian group $A$ is the dimension of the $\mathbb {Q}$-vector space $\mathbb {Q} \otimes _{\mathbb {Z} }A$. Equivalently it is the maximal cardinality of a linearly independent (over $\mathbb {Z}$) subset of $A$.
If $A$ is torsion-free then it injects into $\mathbb {Q} \otimes _{\mathbb {Z} }A$. Thus, torsion-free abelian groups of rank 1 are exactly subgroups of the additive group $\mathbb {Q}$.

### Classification

Torsion-free abelian groups of rank 1 have been completely classified. To do so one associates to a group $A$ a subset $\tau (A)$ of the prime numbers, as follows: pick any $x\in A\setminus \{0\}$, for a prime $p$ we say that $p\in \tau (A)$ if and only if $x\in p^{k}A$ for every $k\in \mathbb {N}$. This does not depend on the choice of $x$ since for another $y\in A\setminus \{0\}$ there exists $n,m\in \mathbb {Z} \setminus \{0\}$ such that $ny=mx$. Baer proved that $\tau (A)$ is a complete isomorphism invariant for rank-1 torsion free abelian groups.

## Classification problem in general

The hardness of a classification problem for a certain type of structures on a countable set can be quantified using model theory and descriptive set theory. In this sense it has been proved that the classification problem for countable torsion-free abelian groups is as hard as possible.