Torsion subgroup (source code)

= Torsion subgroup
{wiki}

The torsion subgroup of an <abelian group> consists of all elements of finite order. For a finitely generated abelian group, it is the finite direct summand complementary to the free abelian part.