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.