Kommutative Gruppe/Höhenfunktion/Endlich erzeugt/Charakterisierung/Fakt
Zur Navigation springen
Zur Suche springen
Es sei eine kommutative Gruppe und sei eine fixierte natürliche Zahl.
Dann ist genau dann endlich erzeugt, wenn eine Höhenfunktion besitzt und die Restklassengruppe endlich ist.