Eine Gruppe G {\displaystyle {}G} heißt Torsionsgruppe, wenn jedes Element in ihr endliche Ordnung besitzt.