Kommutative Gruppe/Torsionsuntergruppe/Ordnung/Definition

Torsionsuntergruppe zur Ordnung ${}n$

Zu einer kommutativen Gruppe ${}G$ und  ${}n\in \mathbb {N}$  nennt man

${}\operatorname {Tor} _{n}{\left(G\right)}={\left\{g\in G\mid g^{n}=e_{G}\right\}}\,$

die Torsionsuntergruppe von ${}G$ zur Ordnung ${}n$.