Endliche Körpererweiterung/Diskriminante/Transformationsverhalten/Fakt

Es sei ${}K\subseteq L$ eine endliche Körpererweiterung vom Grad ${}n$ und seien ${}b_{1},\ldots ,b_{n}$ und ${}c_{1},\ldots ,c_{n}$ ${}K$-Basen von ${}L$. Der Basiswechsel werde durch ${}c=Tb$ mit der Übergangsmatrix ${}T={\left(t_{ij}\right)}_{ij}$ beschrieben. Dann gilt für die Diskriminanten die Beziehung

${}\triangle (c_{1},\ldots ,c_{n})=(\det(T))^{2}\triangle (b_{1},\ldots ,b_{n})\,.$

Zum Beweis, Alternativen Beweis erstellen