Ein kommutatives Monoid M {\displaystyle {}M} heißt torsionsfrei, wenn für m , n ∈ M {\displaystyle {}m,n\in M} aus r m = r n {\displaystyle {}rm=rn} für eine positive Zahl r ∈ N + {\displaystyle {}r\in \mathbb {N} _{+}} stets m = n {\displaystyle {}m=n} folgt.
