Es sei ${\displaystyle {}K\subseteq L}$ eine endliche Körpererweiterung vom Grad ${\displaystyle {}n}$ und seien ${\displaystyle {}b_{1},\ldots ,b_{n}}$ Elemente in ${\displaystyle {}L}$. Dann wird die Diskriminante von ${\displaystyle {}b_{1},\ldots ,b_{n}}$ durch

${\displaystyle {}\triangle (b_{1},\ldots ,b_{n})=\det \left(\operatorname {Spur} {\left(b_{i}b_{j}\right)}_{i,j}\right)\,}$

definiert.