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