Kommutatives Monoid/Torsionsfrei/Definition

Torsionsfreies Monoid

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