torsion element
Let be a commutative ring, and an -module. We call an element a torsion element if there exists a non-zero-divisor such that . The set is denoted by .
is not empty since . Let , so there exist such that . Since , this implies that . So is a subgroup of . Clearly for any non-zero . This shows that is a submodule of , the torsion submodule of . In particular, a module that equals its own torsion submodule is said to be a torsion module.