für einen algebraischen Zahlkörper K der Wert

\begin{eqnarray}{d}_{K}=\Delta ({\alpha }_{1},\ldots, {\alpha }_{n}).\end{eqnarray}

Hierbei ist \({\mathcal{A}}\,=\{{\alpha }_{1},\ldots, {\alpha }_{n}\}\) eine ℤ-Basis des Ganzheitsrings von K und Δ die Diskriminante von \({\mathcal{A}}\) (Diskriminante einer Basis).