Zahlbereich/Norm fixiert/Elemente/Assoziiert/Fakt

Es sei ${}R$ der Ganzheitsring einer endlichen Körpererweiterung ${}\mathbb {Q} \subseteq K$ und sei ${}a\in \mathbb {Z}$.

Dann gibt es endlich viele Elemente ${}f_{1},\ldots ,f_{m}\in R$ derart, dass jedes ${}f\in R$ mit ${}\vert {N(f)}\vert =a$ zu einem der ${}f_{i}$ assoziiert ist.

Zum Beweis, Alternativen Beweis erstellen