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