In mathematics, specifically in ring theory, a torsion element is an element of a module that yields zero when multiplied by some non-zero-divisor of the ring. The torsion submodule of a module is the submodule formed by the torsion elements. A torsion module is a module that equals its torsion submodule. A module is torsion free if its torsion submodule is reduced to the zero element.
This terminology is more commonly used for modules over a domain, that is, when the regular elements of the ring are all its nonzero elements.
This terminology applies to abelian groups (with "module" and "submodule" replaced by "group" and "subgroup"). This is allowed by the fact that the abelian groups are the modules over the ring of integers (in fact, this is the origin of the terminology, that has been introduced for abelian groups before being generalized to modules).
In the case of groups that are noncommutative, a torsion element is an element of finite order. Contrarily to the commutative case, the torsion elements do not form a subgroup, in general.