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