Zahlbereiche/Ideale sind frei/Fakt

Es sei ${}\mathbb {Q} \subseteq L$ eine endliche Körpererweiterung vom Grad ${}n$ und ${}R$ der zugehörige Zahlbereich. Es sei ${}{\mathfrak {a}}$ ein von ${}0$ verschiedenes Ideal in ${}R$.

Dann ist ${}{\mathfrak {a}}$ eine freie abelsche Gruppe vom Rang ${}n$,

d.h. es gibt Elemente ${}b_{1},\ldots ,b_{n}\in {\mathfrak {a}}$ mit

${}{\mathfrak {a}}=\mathbb {Z} b_{1}+\cdots +\mathbb {Z} b_{n}\,,$

wobei die Koeffizienten in einer Darstellung eines Elementes aus ${}{\mathfrak {a}}$ eindeutig bestimmt sind.

Zum Beweis, Alternativen Beweis erstellen