Zu einer kommutativen Gruppe G {\displaystyle {}G} nennt man { g ∈ G ∣ g hat endliche Ordnung } {\displaystyle {}{\left\{g\in G\mid g{\text{ hat endliche Ordnung}}\right\}}} die Torsionsuntergruppe von G {\displaystyle {}G} .