Torsion-free group (source code)

= Torsion-free group
{wiki}

A torsion-free group is a <group> in which the <identity element> is the only element of finite <order of a group element>.