Zahlbereich/Additive Struktur/Frei/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei eine endliche Körpererweiterung vom Grad und der zugehörige Zahlbereich.

Dann ist eine freie abelsche Gruppe vom Rang ,

d.h. es gibt Elemente mit

derart, dass die Koeffizienten in einer Darstellung eines Elementes eindeutig bestimmt sind.

Zum Beweis, Alternativen Beweis erstellen