Es sei R {\displaystyle {}R} der Ganzheitsring einer endlichen Körpererweiterung Q ⊆ K {\displaystyle {}\mathbb {Q} \subseteq K} .
Dann gehört für f ∈ R {\displaystyle {}f\in R} die Norm N ( f ) {\displaystyle {}N(f)} zu Z {\displaystyle {}\mathbb {Z} } .