Kommutative Gruppe/Höhenfunktion/Torsion/Endlich/Fakt
Es sei eine kommutative Gruppe mit einer Höhenfunktion .
Dann ist die Torsionsuntergruppe von endlich.
Es sei eine kommutative Gruppe mit einer Höhenfunktion .
Dann ist die Torsionsuntergruppe von endlich.