Es sei ${\displaystyle {}R}$ ein kommutativer Ring und ${\displaystyle {}M}$ ein ${\displaystyle {}R}$-Modul. Ein Element ${\displaystyle {}m\in M}$ heißt Torsionselement, wenn es einen Nichtnullteiler ${\displaystyle {}r\in R}$ mit

${\displaystyle {}r\cdot m=0\,}$

gibt.