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.