Eine kommutative Gruppe ${\displaystyle {}G}$ heißt torsionsfrei, wenn für jedes Element ${\displaystyle {}x\in G}$, ${\displaystyle {}x\neq 0}$, und ${\displaystyle {}n\in \mathbb {N} _{+}}$ gilt ${\displaystyle {}nx\neq 0}$.