Zahlbereiche/Ideale sind frei/Fakt
Es sei eine endliche Körpererweiterung vom Grad und der zugehörige Zahlbereich. Es sei ein von verschiedenes Ideal in .
Dann ist eine freie abelsche Gruppe vom Rang ,
d.h. es gibt Elemente mit
wobei die Koeffizienten in einer Darstellung eines Elementes aus eindeutig bestimmt sind.