If is a Group, then the torsion elements of (also called the torsion of ) are defined to be the set of elements in such that for some Natural Number , where is the Identity Element of the Group .

In the case that is Abelian, is a Subgroup and is called the torsion subgroup of . If consists only of the Identity Element, the Group is called torsion-free.

© 1996-9

1999-05-26