Endliche Körpererweiterung/Elemente/Diskriminante/Definition

Diskriminate einer Basis

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

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

definiert.