Zum Inhalt springen

Kommutative Gruppe/Schwache Höhenfunktion/Torsion/Endlich/Fakt

Aus Wikiversity

Es sei eine kommutative Gruppe zusammen mit einer schwachen Höhenfunktion .

Dann ist die Torsionsuntergruppe von endlich.