Diskriminante (algebraische Zahlentheorie)

In d​er algebraischen Zahlentheorie bezeichnet d​ie Diskriminante e​in Hauptideal i​n einem Ganzheitsring, welches e​ine zahlentheoretische Aussage über d​ie Körpererweiterung zweier Zahlkörper macht.

Definition

Sei ${\displaystyle B}$ ein Ring, ${\displaystyle A\subseteq B}$ ein Unterring derart, dass ${\displaystyle B}$ ein freier ${\displaystyle A}$-Modul vom Rang ${\displaystyle n\;(n\in \mathbb {N} )}$ ist. Für ${\displaystyle (x_{1},x_{2},\dots ,x_{n})\in B^{n}}$ heißt ${\displaystyle D(x_{1},x_{2},\dots ,x_{n}):=\det \left(\mathrm {Tr} _{B/A}(x_{i}\cdot x_{j})_{i,j}\right)\in A}$ die Diskriminante von ${\displaystyle (x_{1},x_{2},\dots ,x_{n})}$.

Wenn ${\displaystyle (x_{1},x_{2},\dots ,x_{n})}$ eine ${\displaystyle A}$-Basis von ${\displaystyle B}$ darstellt, so ist die Diskriminante bis auf eine Einheit in ${\displaystyle A}$ eindeutig bestimmt, insbesondere ist also das von ${\displaystyle D(x_{1},x_{2},\dots ,x_{n})}$ in ${\displaystyle A}$ erzeugte Hauptideal unabhängig von der Basiswahl. Dieses Hauptideal wird mit ${\displaystyle {\mathfrak {D}}_{B/A}}$ bezeichnet und heißt Diskriminante von ${\displaystyle B}$ über ${\displaystyle A}$.

Eigenschaften und Anwendung

• Sei ${\displaystyle L/K}$ eine separable Körpererweiterung vom Grad ${\displaystyle n\;(n\in \mathbb {N} )}$ und ${\displaystyle \sigma _{1},\sigma _{2},\dots ,\sigma _{n}}$ die ${\displaystyle n}$ verschiedenen ${\displaystyle K}$-Algebrenmonomorphismen von ${\displaystyle L}$ in den algebraischen Abschluss von ${\displaystyle K}$. Dann gilt für eine ${\displaystyle K}$-Basis ${\displaystyle (x_{1},x_{2},\dots ,x_{n})}$ von ${\displaystyle L}$[1]:

${\displaystyle D(x_{1},x_{2},\dots ,x_{n})=\det \left((\sigma _{i}(x_{j}))_{i,j}\right)^{2}\neq 0}$

• Seien ${\displaystyle K\subseteq L}$ zwei Zahlkörper, mit den zugehörigen Ganzheitsringen ${\displaystyle A\subseteq B}$. Dann gilt für ein Primideal ${\displaystyle {\mathfrak {p}}\subseteq A}$ das folgende: ${\displaystyle {\mathfrak {p}}\subseteq B}$ ist genau dann verzweigt, wenn ${\displaystyle {\mathfrak {p}}\supseteq {\mathfrak {D}}_{B/A}}$ gilt[2]. Insbesondere folgt daraus, dass es nur endlich viele verzweigte Primideale gibt (eindeutige Primzerlegung von ${\displaystyle {\mathfrak {D}}_{B/A}}$, vgl. Dedekindring).

Beispiel

Seien ${\displaystyle A:=\mathbb {Q} ,\;B:=\mathbb {Q} [X]/(X^{2}+bX+c),\quad b,c\in \mathbb {Q} }$; ${\displaystyle x}$ bezeichne die Äquivalenzklasse von ${\displaystyle X}$ in ${\displaystyle B}$.

Somit ${\displaystyle D_{B/A}(1,x)=\det {\begin{pmatrix}\mathrm {Tr} _{B/A}(1)&\mathrm {Tr} _{B/A}(x)\\\mathrm {Tr} _{B/A}(x)&\mathrm {Tr} _{B/A}(x^{2})\end{pmatrix}}=\det {\begin{pmatrix}2&-b\\-b&b^{2}-2c\end{pmatrix}}=b^{2}-4c}$, was der Diskriminante des Polynoms ${\displaystyle X^{2}+bX+c}$ entspricht.

Zur Berechnung d​er dabei verwendeten Spuren:

${\displaystyle \mathrm {Tr} _{B/A}(1)=\mathrm {Tr} _{B/A}{\begin{pmatrix}1&0\\0&1\end{pmatrix}}=2}$

${\displaystyle \mathrm {Tr} _{B/A}(x)=\mathrm {Tr} _{B/A}{\begin{pmatrix}0&-c\\1&-b\end{pmatrix}}=-b}$

${\displaystyle \mathrm {Tr} _{B/A}(x^{2})=\mathrm {Tr} _{B/A}(-b\cdot x-c)=-b\cdot \mathrm {Tr} _{B/A}(x)-c\cdot \mathrm {Tr} _{B/A}(1)=b^{2}-2c}$

Diskriminante eines Zahlkörpers

Sei K e​in Zahlkörper u​nd O_K s​ein Ganzheitsring. Sei b₁, ..., b_n e​ine Basis v​on O_K a​ls Z-Modul, u​nd seien {σ₁, ..., σ_n} d​ie Einbettungen v​on K i​n die komplexen Zahlen. Die Diskriminante v​on K i​st das Quadrat d​er Determinante d​er n-mal-n-Matrix B d​eren (i,j)-Eintrag σ_i(b_j) ist.[3]

${\displaystyle \Delta _{K}=\left(\operatorname {det} \left({\begin{array}{cccc}\sigma _{1}(b_{1})&\sigma _{1}(b_{2})&\cdots &\sigma _{1}(b_{n})\\\sigma _{2}(b_{1})&\ddots &&\vdots \\\vdots &&\ddots &\vdots \\\sigma _{n}(b_{1})&\cdots &\cdots &\sigma _{n}(b_{n})\end{array}}\right)\right)^{2}.}$

Siehe auch

• Diskriminante

Literatur

• Falko Lorenz: Algebraische Zahlentheorie. BI-Wissenschaftsverlag, Mannheim 1993, ISBN 3-411-16701-7.
• Jürgen Neukirch: Algebraische Zahlentheorie. Springer-Verlag, Berlin 2006. ISBN 3-540-37547-3.

Einzelnachweise

1. Neukirch: Satz. I.2.8
2. Neukirch: Thm. III.2.6
3. Neukirch: §I.2, nach Kor. I.2.7 und Bem. nach Satz I.2.11