  ## Encyclopedia > Torsion subgroup

Article Content

# Torsion subgroup

In group theory, the torsion subgroup of an abelian group G is the subgroup T of G which consists of all elements of G which have finite order.

A group G is called torsion free if every element of G except the identity is of infinite order, and torsion (or periodic) if every element of G has finite order. Trivially, every finite abelian group is a torsion group.

The set T of all elements of finite order in an abelian group indeed forms a subgroup: suppose x and y are in T and m is the product of their orders. Then m (x - y) = mx - my = 0 - 0 = 0, and so x - yT. Here the group G is written additively.

Note that this proof does not work if G is not abelian, and indeed in this case the set of all elements of G of finite order is not necessarily a subgroup. Consider for example the infinite dihedral group, which has presentation ({x,y}, {x² = y² = 1}). This group is of countable infinite order, and in particular the element xy has infinite order. Since the group is generated by elements x and y which have order 2, the subset of finite elements generates the entire group.

A torsion group need not be finite; for example the direct sum of a countable number of copies of the cyclic group C2 is a torsion group, every element of which 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.

If G is abelian, then the torsion subgroup T is a fully characteristic subgroup of G, and the factor group G/T is torsion free.

If G is finitely generated and abelian, then it can be written as the direct sum of its torsion subgroup and a torsion free subgroup. In any decomposition of G 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 an important first step in the classification of finitely generated abelian groups.

If G and H are abelian groups with torsion subgroups T(G) and T(H), respectively, and f : GH is a group homomorphism, then f(T(G)) is a subset of T(H). We can thus define a functor T which assigns to each abelian group its torsion subgroup and to each homomorphism its restriction to the torsion subgroups.

An abelian group G is torsion free if and only if it is flat[?] as a Z-module, which means that whenever K is a subgroup of the abelian group H, then the natural map between the tensor products KG and HG is injective.

All Wikipedia text is available under the terms of the GNU Free Documentation License

Search Encyclopedia
 Search over one million articles, find something about almost anything!

Featured Article
 Shinnecock Hills, New York ... (40.888100, -72.461735)1. According to the United States Census Bureau, the town has a total area of 5.9 km² (2.3 mi²). 5.4 km² (2.1 mi²) of it is ...  