Endliche Körpererweiterung/Diskriminante/Basis/Charakteristik 0/Nicht 0/Fakt

Es sei ${}K$ ein Körper der Charakteristik ${}0$ und sei ${}K\subseteq L$ eine endliche Körpererweiterung vom Grad ${}n$ und sei ${}b_{1},\ldots ,b_{n}$ eine ${}K$-Basis von ${}L$. Dann ist

${}\triangle (b_{1},\ldots ,b_{n})\neq 0\,.$

Zum Beweis, Alternativen Beweis erstellen