Es sei ${\displaystyle {}\mathbb {Q} \subseteq L}$ eine endliche Körpererweiterung vom Grad ${\displaystyle {}n}$ und ${\displaystyle {}R}$ der zugehörige Zahlbereich. Sei ${\displaystyle {}{\mathfrak {a}}}$ ein von ${\displaystyle {}0}$ verschiedenes Ideal in ${\displaystyle {}R}$. Es seien ${\displaystyle {}b_{1},\ldots ,b_{n}\in {\mathfrak {a}}}$ Elemente, die eine ${\displaystyle {}\mathbb {Q} }$-Basis von ${\displaystyle {}L}$ bilden und für die der Betrag der Diskriminante

${\displaystyle \vert {\triangle (b_{1},\ldots ,b_{n})}\vert }$

unter all diesen Basen aus ${\displaystyle {}{\mathfrak {a}}}$ minimal sei.

Dann ist