Torsion subgroup

Last updated December 06, 2024

In the theory of abelian groups, the torsion subgroupA_T of an abelian group A is the subgroup of A consisting of all elements that have finite order (the torsion elements of A^[1]). An abelian group A is called a torsion group (or periodic group) if every element of A has finite order and is called torsion-free if every element of A except the identity is of infinite order.

If A is abelian, then the torsion subgroup T is a fully characteristic subgroup of A and the factor group A/T is torsion-free. There is a covariant functor from the category of abelian groups to the category of torsion groups that sends every group to its torsion subgroup and every homomorphism to its restriction to the torsion subgroup. There is another covariant functor from the category of abelian groups to the category of torsion-free groups that sends every group to its quotient by its torsion subgroup, and sends every homomorphism to the obvious induced homomorphism (which is easily seen to be well-defined).

If A is finitely generated and abelian, then it can be written as the direct sum of its torsion subgroup T and a torsion-free subgroup (but this is not true for all infinitely generated abelian groups). In any decomposition of A as a direct sum of a torsion subgroup S and a torsion-free subgroup, S must equal T (but the torsion-free subgroup is not uniquely determined). This is a key step in the classification of finitely generated abelian groups.

p-power torsion subgroups

For any abelian group $(A,+)$ and any prime number p the set A_Tp of elements of A that have order a power of p is a subgroup called the p-power torsion subgroup or, more loosely, the p-torsion subgroup:

A_{T_{p}}=\{a\in A\;|\;\exists n\in \mathbb {N} \;,p^{n}a=0\}.\;

The torsion subgroup A_T is isomorphic to the direct sum of its p-power torsion subgroups over all prime numbers p:

A_{T}\cong \bigoplus _{p\in P}A_{T_{p}}.\;

When A is a finite abelian group, A_Tp coincides with the unique Sylow p-subgroup of A.

Each p-power torsion subgroup of A is a fully characteristic subgroup. More strongly, any homomorphism between abelian groups sends each p-power torsion subgroup into the corresponding p-power torsion subgroup.

For each prime number p, this provides a functor from the category of abelian groups to the category of p-power torsion groups that sends every group to its p-power torsion subgroup, and restricts every homomorphism to the p-torsion subgroups. The product over the set of all prime numbers of the restriction of these functors to the category of torsion groups, is a faithful functor from the category of torsion groups to the product over all prime numbers of the categories of p-torsion groups. In a sense, this means that studying p-torsion groups in isolation tells us everything about torsion groups in general.

Examples and further results

The torsion subset of a non-abelian group is not, in general, a subgroup. For example, in the infinite dihedral group, which has presentation:

\langle x,y\mid x^{2}=y^{2}=1\rangle

the element xy is a product of two torsion elements, but has infinite order.

The torsion elements in a nilpotent group form a normal subgroup.^[2]
Every finite abelian group is a torsion group. Not every torsion group is finite however: consider the direct sum of a countable number of copies of the cyclic group C₂; this is a torsion group since every element has order 2. Nor need there be an upper bound on the orders of elements in a torsion group if it isn't finitely generated, as the example of the factor group Q/Z shows.
Every free abelian group is torsion-free, but the converse is not true, as is shown by the additive group of the rational numbers Q.
Even if A is not finitely generated, the size of its torsion-free part is uniquely determined, as is explained in more detail in the article on rank of an abelian group.
An abelian group A is torsion-free if and only if it is flat as a Z-module, which means that whenever C is a subgroup of some abelian group B, then the natural map from the tensor product C ⊗ A to B ⊗ A is injective.
Tensoring an abelian group A with Q (or any divisible group) kills torsion. That is, if T is a torsion group then T ⊗ Q = 0. For a general abelian group A with torsion subgroup T one has A ⊗ Q ≅ A/T ⊗ Q.
Taking the torsion subgroup makes torsion abelian groups into a coreflective subcategory of abelian groups, while taking the quotient by the torsion subgroup makes torsion-free abelian groups into a reflective subcategory.

Notes

↑ Serge, Lang (1993), Algebra (3rd ed.), Addison-Wesley, p. 42, ISBN 0-201-55540-9
↑ See Epstein & Cannon (1992) p. 167

Related Research Articles

In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after Niels Henrik Abel.

In mathematics, more specifically in abstract algebra, the commutator subgroup or derived subgroup of a group is the subgroup generated by all the commutators of the group.

In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects are associated to topological spaces, and maps between these algebraic objects are associated to continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which category theory is applied.

In abstract algebra, an abelian group $is called finitely generated if there exist finitely many elements in such that every in can be written in the form for some integers . In this case, we say that the set is a generating set of or that generate . So, finitely generated abelian groups can be thought of as a generalization of cyclic groups.$

In mathematics, the free groupF_S over a given set S consists of all words that can be built from members of S, considering two words to be different unless their equality follows from the group axioms. The members of S are called generators of F_S, and the number of generators is the rank of the free group. An arbitrary group G is called free if it is isomorphic to F_S for some subset S of G, that is, if there is a subset S of G such that every element of G can be written in exactly one way as a product of finitely many elements of S and their inverses.

In mathematics, the term homology, originally introduced in algebraic topology, has three primary, closely-related usages. The most direct usage of the term is to take the homology of a chain complex, resulting in a sequence of abelian groups called homology groups. This operation, in turn, allows one to associate various named homologies or homology theories to various other types of mathematical objects. Lastly, since there are many homology theories for topological spaces that produce the same answer, one also often speaks of the homology of a topological space. There is also a related notion of the cohomology of a cochain complex, giving rise to various cohomology theories, in addition to the notion of the cohomology of a topological space.

<span class="mw-page-title-main">Algebraic number theory</span> Branch of number theory

Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic objects such as algebraic number fields and their rings of integers, finite fields, and function fields. These properties, such as whether a ring admits unique factorization, the behavior of ideals, and the Galois groups of fields, can resolve questions of primary importance in number theory, like the existence of solutions to Diophantine equations.

In mathematics, the rank, Prüfer rank, or torsion-free rank of an abelian group A is the cardinality of a maximal linearly independent subset. The rank of A determines the size of the largest free abelian group contained in A. If A is torsion-free then it embeds into a vector space over the rational numbers of dimension rank A. For finitely generated abelian groups, rank is a strong invariant and every such group is determined up to isomorphism by its rank and torsion subgroup. Torsion-free abelian groups of rank 1 have been completely classified. However, the theory of abelian groups of higher rank is more involved.

In mathematics, a free abelian group is an abelian group with a basis. Being an abelian group means that it is a set with an addition operation that is associative, commutative, and invertible. A basis, also called an integral basis, is a subset such that every element of the group can be uniquely expressed as an integer combination of finitely many basis elements. For instance the two-dimensional integer lattice forms a free abelian group, with coordinatewise addition as its operation, and with the two points (1,0) and (0,1) as its basis. Free abelian groups have properties which make them similar to vector spaces, and may equivalently be called free $-modules,$ the free modules over the integers. Lattice theory studies free abelian subgroups of real vector spaces. In algebraic topology, free abelian groups are used to define chain groups, and in algebraic geometry they are used to define divisors.

A group is a set together with an associative operation that admits an identity element and such that there exists an inverse for every element.

In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of a module also generalizes the notion of an abelian group, since the abelian groups are exactly the modules over the ring of integers.

In mathematics, particularly in algebra, the class of projective modules enlarges the class of free modules over a ring, keeping some of the main properties of free modules. Various equivalent characterizations of these modules appear below.

In mathematics, specifically in the field of group theory, a divisible group is an abelian group in which every element can, in some sense, be divided by positive integers, or more accurately, every element is an nth multiple for each positive integer n. Divisible groups are important in understanding the structure of abelian groups, especially because they are the injective abelian groups.

In mathematics, the order of a finite group is the number of its elements. If a group is not finite, one says that its order is infinite. The order of an element of a group is the order of the subgroup generated by the element. If the group operation is denoted as a multiplication, the order of an element $a$ of a group, is thus the smallest positive integer $m$ such that $a m = e$ , where $e$ denotes the identity element of the group, and $a m$ denotes the product of $m$ copies of $a$ . If no such $m$ exists, the order of $a$ is infinite.

In mathematics, the category Grp has the class of all groups for objects and group homomorphisms for morphisms. As such, it is a concrete category. The study of this category is known as group theory.

In mathematics, the Grothendieck group, or group of differences, of a commutative monoid $M$ is a certain abelian group. This abelian group is constructed from $M$ in the most universal way, in the sense that any abelian group containing a homomorphic image of $M$ will also contain a homomorphic image of the Grothendieck group of $M$ . The Grothendieck group construction takes its name from a specific case in category theory, introduced by Alexander Grothendieck in his proof of the Grothendieck–Riemann–Roch theorem, which resulted in the development of K-theory. This specific case is the monoid of isomorphism classes of objects of an abelian category, with the direct sum as its operation.

In mathematics, specifically in ring theory, a torsion element is an element of a module that yields zero when multiplied by some non-zero-divisor of the ring. The torsion submodule of a module is the submodule formed by the torsion elements. A torsion module is a module consisting entirely of torsion elements. A module is torsion-free if its only torsion element is the zero element.

In mathematics, specifically in group theory, the direct product is an operation that takes two groups $G$ and $H$ and constructs a new group, usually denoted $G \times H$ . This operation is the group-theoretic analogue of the Cartesian product of sets and is one of several important notions of direct product in mathematics.

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.

Module theory is the branch of mathematics in which modules are studied. This is a glossary of some terms of the subject.

References

Epstein, David B. A.; Cannon, James W.; Holt, Derek F.; Levy, Silvio V. F.; Paterson, Michael S.; Thurston, William P. (1992), Word Processing in Groups, Boston, MA: Jones and Bartlett Publishers, ISBN 0-86720-244-0

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Serge, Lang (1993), Algebra (3rd ed.), Addison-Wesley, p. 42, ISBN 0-201-55540-9

[2] See Epstein & Cannon (1992) p. 167

[1]

[2]