Es sei R {\displaystyle {}R} der Ganzheitsring einer endlichen Körpererweiterung Q ⊆ L {\displaystyle {}\mathbb {Q} \subseteq L} .
Dann ist f ∈ R {\displaystyle {}f\in R} genau dann eine Einheit, wenn N ( f ) = ± 1 {\displaystyle {}N(f)=\pm 1} ist.
