Kommutative Gruppe/Schwache 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 schwache Höhenfunktion für die -Vervielfachung besitzt und die Restklassengruppe endlich ist.