Endlichdimensionale Algebra/Körper/Diskriminante/Definition

Diskriminate einer Basis

Es sei $K$ ein Körper und $A$ eine endlichdimensionale kommutative $K$-Algebra. Es seien $b_1,\dots ,b_n$ Elemente in $A$. Dann wird die Diskriminante von $b_1,\dots ,b_n$ durch

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

definiert.