Es sei G {\displaystyle {}G} eine kommutative Gruppe und m ∈ N + {\displaystyle {}m\in \mathbb {N} _{+}} . Zeige, dass die Torsionsuntergruppe zur Ordnung m {\displaystyle {}m} Tor m ( G ) {\displaystyle {}\operatorname {Tor} _{m}{\left(G\right)}} in natürlicher Weise ein Z / ( m ) {\displaystyle {}\mathbb {Z} /(m)} -Modul ist.
