Abelsche Gruppe/Normfunktion/Einführung/Endlich erzeugt/Textabschnitt
Die folgende Definition orientiert sich an der Normfunktion für einen reellen oder komplexen Vektorraum, siehe Definition. Genauer spricht man von einer Seminorm, wenn nicht nur der Nullvektor den Wert haben kann.
Definition
Es sei eine kommutative Gruppe. Eine Abbildung
heißt Seminorm, wenn die folgenden Eigenschaften für alle gelten.
- .
- Für
und
gilt
- Für gilt
Für jede Untergruppe eines -Vektorraumes mit einer Norm auf wird unmittelbar eine (Semi)-Norm auf induziert. Solche Untergruppen sind torsionsfrei. Seminormen sind insbesondere für Gruppen mit Torsionselementen relevant. Für ein Torsionselement folgt aus der zweiten Eigenschaft direkt . Wenn also eine kommutative Gruppe mit Torsionsanteil vorliegt, so gibt es keine Norm, nur Seminormen. Die Nullfunktion ist eine Seminorm. Wichtig sind die folgenden Höhenfunktionen, mit denen man zeigen kann, dass eine Gruppe endlich erzeugt ist.
Definition
Eine Seminorm auf einer kommutativen Gruppe heißt Höhenfunktion, wenn für jedes die Menge
endlich ist.
Lemma
Es sei eine kommutative Gruppe mit einer Höhenfunktion .
Dann ist die Torsionsuntergruppe von endlich.
Beweis
Dies folgt direkt mit der Schranke , da für alle Torsionselemente gilt.
Lemma
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.
Beweis
Es sei zunächst endlich erzeugt. Dann ist nach dem Hauptsatz über endlich erzeugte abelsche Gruppen
mit einer endlichen Torsionsgruppe . Wir betrachten
Dann ergibt jede Norm auf eine Seminorm auf , die auch die Endlichkeitsbedingung einer Höhenfunktion erfüllt, da in einem Ball nur endlich viele Gitterpunkte liegen (man denke etwa an die Maximumsnorm). Ferner ist
endlich.
Zum Beweis der Umkehrung sei eine Höhenfunktion gegeben und seien Repräsentanten für die nach Voraussetzung endliche Gruppe . Wir setzen
Es sei die von den endlich vielen Elementen erzeugte Untergruppe von . Wir behaupten . Nehmen wir an, dass es ein gibt, dann ist insbesondere . Da die Menge endlich ist, können wir annehmen, dass unter allen Elementen außerhalb von die minimale Höhe besitzt. Wegen
gibt es ein und ein mit
Dann ist
Damit ist
und wegen der Minimalitätsbedingung an folgt . Doch dann ist auch , ein Widerspruch.
Beispiel
Die Gruppe zu ist nicht endlich erzeugt. Wenn teilerfremd zu ist, so ist
Nach Fakt kann es keine Höhenfunktion auf geben.
Auf gibt es eine Höhenfunktion.