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