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,\dots ,b_n$ Elemente in $L$. Dann wird die Diskriminante von $b_1,\dots ,b_n$ durch

$\Delta (b_1,\dots ,b_n)=det(\mathrm{Spur}{\left(b_i{b}_j\right)}_{i,j})$

definiert.