In the context of group theory, a **torsion group** typically refers to a group in which every element has finite order. This means that for any element \( g \) in the group \( G \), there exists a positive integer \( n \) such that \( g^n = e \), where \( e \) is the identity element of the group.
Articles by others on the same topic
A group is a torsion group when every element is a torsion element, meaning that each element has finite order. The orders need not have a common finite bound. A torsion group has no nontrivial torsion-free group as a subgroup; in particular it cannot contain a nonabelian free group. Infinite finitely generated groups of this kind can be constructed using a torsion group construction by p-power relators.