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

Es sei ${}G$ eine kommutative Gruppe zusammen mit einer schwachen Höhenfunktion ${}h\colon G\rightarrow \mathbb {R}$.

Dann ist die Torsionsuntergruppe von ${}G$ endlich.

Zum Beweis, Alternativen Beweis erstellen