Zahlkörper/Diskriminante/Basis/Textabschnitt

Aus Wikiversity


Definition  

Es sei eine endliche Körpererweiterung vom Grad und seien Elemente in . Dann wird die Diskriminante von durch

definiert.

Die Produkte , , sind dabei Elemente in , von denen man jeweils die Spur nimmt, die in liegt. Man erhält also eine quadratische -Matrix über . Deren Determinante ist nach Definition die Diskriminante. Im folgenden werden wir vor allem an der Diskriminante von speziellen Basen interessiert sein, so dass sich die Diskriminante als Invariante eines Zahlkörpers erweist.

Bei einem Basiswechsel verhält sich die Diskriminante wie folgt.


Lemma  

Es sei eine endliche Körpererweiterung vom Grad und seien und -Basen von . Der Basiswechsel werde durch mit der Übergangsmatrix beschrieben. Dann gilt für die Diskriminanten die Beziehung

Beweis  

Ausgeschrieben haben wir die Beziehungen . Damit gilt

Wir schreiben und . Wegen der -Linearität der Spur gilt

Wir schreiben diese Gleichung mit den Matrizen , und als

und die Behauptung folgt dann aus dem Determinantenmultiplikationssatz und Fakt.


Bei einer endlichen Körpererweiterung in Charakteristik null ist die Spurabbildung nicht die Nullabbildung, siehe Fakt  (2). Daraus ergibt sich auch das folgende Resultat.


Lemma

Es sei eine separable endliche Körpererweiterung vom Grad und sei eine -Basis von . Dann ist