Zahlbereich/Additive Struktur/Frei/Fakt
Es 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.