Kommutative Gruppe/Torsionsuntergruppe zur Ordnung/Restklassenmodul/Aufgabe

Aus Wikiversity

Es sei eine kommutative Gruppe und . Zeige, dass die Torsionsuntergruppe zur Ordnung in natürlicher Weise ein -Modul

ist.