Torsion-free abelian group

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.^[1]

Definitions[edit]

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.^[2]^[3]^[4] 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[edit]

Rank[edit]

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[edit]

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^[5]^[6] that $\tau (A)$ is a complete isomorphism invariant for rank-1 torsion free abelian groups.

Classification problem in general[edit]

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.^[7]

Notes[edit]

^ See for instance the introduction to Thomas, Simon (2003), "The classification problem for torsion-free abelian groups of finite rank", J. Am. Math. Soc., 16 (1): 233–258, doi:10.1090/S0894-0347-02-00409-5, Zbl 1021.03043
^ Fraleigh (1976, p. 78)
^ Lang (2002, p. 42)
^ Hungerford (1974, p. 78)
^ Reinhold Baer (1937). "Abelian groups without elements of finite order". Duke Mathematical Journal. 3 (1): 68–122. doi:10.1215/S0012-7094-37-00308-9.
^ Phillip A. Griffith (1970). Infinite Abelian group theory. Chicago Lectures in Mathematics. University of Chicago Press. ISBN 0-226-30870-7. Chapter VII.
^ Paolini, Gianluca; Shelah, Saharon (2021). "Torsion-Free Abelian Groups are Borel Complete". arXiv:2102.12371 [math.LO].

References[edit]

Fraleigh, John B. (1976), A First Course In Abstract Algebra (2nd ed.), Reading: Addison-Wesley, ISBN 0-201-01984-1
Herstein, I. N. (1964), Topics In Algebra, Waltham: Blaisdell Publishing Company, ISBN 978-1114541016
Hungerford, Thomas W. (1974), Algebra, New York: Springer-Verlag, ISBN 0-387-90518-9.
Lang, Serge (2002), Algebra (Revised 3rd ed.), New York: Springer-Verlag, ISBN 0-387-95385-X.
McCoy, Neal H. (1968), Introduction To Modern Algebra, Revised Edition, Boston: Allyn and Bacon, LCCN 68-15225

[1] See for instance the introduction to Thomas, Simon (2003), "The classification problem for torsion-free abelian groups of finite rank", J. Am. Math. Soc., 16 (1): 233–258, doi:10.1090/S0894-0347-02-00409-5, Zbl 1021.03043

[2] Fraleigh (1976, p. 78)

[3] Lang (2002, p. 42)

[4] Hungerford (1974, p. 78)

[5] Reinhold Baer (1937). "Abelian groups without elements of finite order". Duke Mathematical Journal. 3 (1): 68–122. doi:10.1215/S0012-7094-37-00308-9.

[6] Phillip A. Griffith (1970). Infinite Abelian group theory. Chicago Lectures in Mathematics. University of Chicago Press. ISBN 0-226-30870-7. Chapter VII.

[7] Paolini, Gianluca; Shelah, Saharon (2021). "Torsion-Free Abelian Groups are Borel Complete". arXiv:2102.12371 [math.LO].

[1]

[2]

[3]

[4]

[5]

[6]

[7]

v t e Groups
Basic notions	Subgroup Normal subgroup Commutator subgroup Quotient group Group homomorphism (Semi-) direct product direct sum
Types of groups	Finite groups Abelian groups Cyclic groups Infinite group Simple groups Solvable groups Symmetry group Space group Point group Wallpaper group Trivial group
Discrete groups	Classification of finite simple groups Cyclic group Z_n Alternating group A_n Sporadic groups Mathieu group M_11..12,M_22..24 Conway group Co_1..3 Janko groups J₁, J₂, J₃, J₄ Fischer group F_22..24 Baby monster group B Monster group M Other finite groups Symmetric group S_n Dihedral group D_n Rubik's Cube group
Lie groups	General linear group GL(n) Special linear group SL(n) Orthogonal group O(n) Special orthogonal group SO(n) Unitary group U(n) Special unitary group SU(n) Symplectic group Sp(n) Exceptional Lie groups G₂ F₄ E₆ E₇ E₈ Circle group Lorentz group Poincaré group Quaternion group
Infinite dimensional groups	Conformal group Diffeomorphism group Loop group Quantum group O(∞) SU(∞) Sp(∞)
History Applications Abstract algebra