Kommutative Gruppe/Schwache Höhenfunktion/Endlich erzeugt/Charakterisierung/Fakt
Erscheinungsbild
Es sei eine kommutative Gruppe und sei eine fixierte natürliche Zahl.
Dann ist genau dann endlich erzeugt, wenn eine schwache Höhenfunktion für die -Vervielfachung besitzt und die Restklassengruppe endlich ist.