Es sei R {\displaystyle {}R} ein kommutativer Ring und M {\displaystyle {}M} ein R {\displaystyle {}R} -Modul. Die Menge aller Torsionselemente von M {\displaystyle {}M} bildet den Torsionsuntermodul von M {\displaystyle {}M} .
