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