Kommutative Gruppe/Höhenfunktion/Endlich erzeugt/Charakterisierung/Fakt

Aus Wikiversity
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.