Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 15

Normalitätskriterien

Es ist im Allgemeinen schwierig, den ganzen Abschluss von $ℤ$ , also den Zahlbereich, in einer endlichen Körpererweiterung $ℚ \subseteq L$ zu bestimmen bzw. eine vorliegende Ringerweiterung

ℤ \subseteq S = ℤ [X_{1}, \dots, X_{m}] / (F_{1}, \dots, F_{n}) \subseteq L

als normal nachzuweisen. Es handelt es sich aber um ein lokales Problem, d.h. $S$ ist genau dann normal, wenn $S_{𝔭}$ für jedes Primideal $𝔭$ normal ist, und dies ist genau dann der Fall, wenn für jede Primzahl $p$ die Nenneraufnahme $S_{ℤ ∖ ℤ p}$ normal ist, siehe Aufgabe 6.16 und Aufgabe 15.3. Dies erlaubt den Übergang zu einem diskreten Bewertungsring als Basisring ( $ℤ_{(p)}$ statt $ℤ$ ), was oft die Gleichungsbeschreibung vereinfacht und was es erlaubt, Eigenschaften der Faserringe $S / p S$ besser zu verarbeiten. Das typische Verhalten ist, dass sich die Ringe $S_{ℤ ∖ ℤ p}$ bis auf endliche viele Primzahlen direkt als normal erweisen, und dass man einen Teil der verbleibenden Ringe über Eigenschaften der Faser erledigen kann, einen anderen Teil aber auch nicht.

Lemma

Es sei $B$ ein diskreter Bewertungsring mit Ortsuniformisierender $p$ und sei $F \in B [X]$ ein normiertes irreduzibles Polynom. Es sei $R = B [X] / (F)$ . In der Zerlegung von $F$ in $B / (p) [X]$ in irreduzible Faktoren, $F = F_{1} \dots F_{s}$ , seien alle Faktoren einfach.

Dann ist $R$ der ganze Abschluss von $B$ in $Q (B) [X] / (F)$ und insbesondere normal.

Beweis

Wir können direkt annehmen, dass die $F_{i}$ zu $B [X]$ gehören. Die maximalen Ideale von $R$ sind $(p, F_{j})$ für $j = 1, \dots, s$ . Die Voraussetzung bedeutet für $B [X]$ die Beziehung $F_{1} \dots F_{s} = F + p H$ mit einem $H \in B [X]$ und somit für

R = B [X] / (F)

die Gleichheit

F_{1} \dots F_{s} = p H .

Da $F_{i}$ und $F_{j}$ teilerfremd in $B / (p) [X]$ sind, sind die $F_{i}$ Einheiten in der Lokalisierung $R_{(p, F_{j})}$ und daher ist

F_{j} = \frac{H}{F_{1} \dots F_{j - 1} F_{j + 1} \dots F_{s}} \cdot p .

D.h. in $R_{(p, F_{j})}$ ist das maximale Ideal ein Hauptideal mit dem Erzeuger $p$ und daher liegt nach Satz 10.17 ein diskreter Bewertungsring vor. Somit ist $R$ normal als Durchschnitt von diskreten Bewertungsringen nach Satz 4.16 und Aufgabe *****.

◻

Die Beispielklasse $ℤ_{(2)} [X] / (X^{2} - D)$ , wo der Faserring immer ( $D = 2$ oder $D$ ungerade) einen mehrfachen Faktor besitzt, zeigt, dass Lemma 15.1 keine notwendige Voraussetzung für die Normalität ist. Die Bedingung, dass in der Primfaktorzerlegung von $F$ in $B / (p) [X]$ jeder Faktor einfach ist, kann man auch so formulieren, dass der Faserring

R / (p) = B [X] / (F, p) = B / (p) [X] / (F)

reduziert ist. Bei $F = F_{1}^{r_{1}} \dots F_{s}^{r_{s}}$ in $B / (p) [X]$ gilt ja generell nach Korollar 12.11 die Beziehung

B / (p) [X] / (F) = B / (p) [X] / (F_{1}^{r_{1}}) \times \dots \times B / (p) [X] / (F_{s}^{r_{s}}),

und dies ist genau dann reduziert, wenn jeder Komponentenring reduziert ist, und dies ist genau dann der Fall, wenn jeder Komponentenring ein Körper ist, also genau bei $r_{j} = 1$ für alle $j$ . Im Allgemeinen, wenn beispielsweise der Ring durch mehrere Variablen und Gleichungen beschrieben wird, ist die Beschreibung mit reduziert wichtiger, bei nur einer Gleichung lässt sich aber die Bedingung in Lemma 15.1 einfacher überprüfen.

Korollar

Es sei $B$ ein diskreter Bewertungsring mit Ortsuniformisierender $p$ und sei $F \in B [X]$ ein normiertes irreduzibles Polynom. Es seien $F$ und $F^{'}$ in $B / (p) [X]$ teilerfremd.

Dann ist $R = B [X] / (F)$ normal und gleich dem ganzen Abschluss von $B$ in $Q (B) [X] / (F)$ .

Beweis

Dies folgt aus Lemma 15.1 in Verbindung mit einer Variante von Aufgabe 7.35.

◻

Korollar

Es sei $F \in ℤ [X]$ ein normiertes irreduzibles Polynom, $R = ℤ [X] / (F)$ .

Dann ist bis auf endlich viele Primzahlen $p$ der Ring $R_{ℤ ∖ (p)} = ℤ_{(p)} [X] / (F)$ normal.

Beweis

Wir betrachten $F$ als irreduzibles Polynom in $ℚ [X]$ nach dem Lemma von Gauß. In Charakteristik $0$ ist ein irreduzibles Polynom $F$ zu $F^{'}$ teilerfremd. Deshalb gibt es Polynome $A, B \in ℚ [X]$ mit $A F + B F^{'} = 1$ . Es sei $m \in ℤ$ ein Hauptnenner der Koeffizienten von $A$ und $B$ . Dann gibt es Polynome $C, D \in ℤ [X]$ mit $C F + D F^{'} = m$ . Entsprechend gilt $C F + D F^{'} = m$ in $ℤ / (p) [X]$ für jede Primzahl $p$ . Wenn $p$ kein Teiler von $m$ ist, so ist $m$ dort eine Einheit. Deshalb sind für diese Primzahlen $F, F^{'}$ in $ℤ / (p) [X]$ teilerfremd und die Normalität von $ℤ_{(p)} [X] / (F)$ folgt aus Korollar 15.2.

◻

Beispiel

Wir betrachten das kubische Polynom $X^{3} - 3 X + 1 \in ℚ [X]$ , das nach Aufgabe 2.25 irreduzibel ist, und $R = ℤ [X] / (X^{3} - 3 X + 1)$ . Die Ableitung des Polynoms ist $3 X^{2} - 3$ , und in $ℤ [X]$ gilt die Gleichung

(6 X + 3) (X^{3} - 3 X + 1) + (- 2 X^{2} - X + 4) (3 X^{2} - 3) = - 9 .

Nach dem Beweis zu Korollar 15.3 ist daher $ℤ / (p) [X] / (X^{3} - 3 X + 1)$ für jede Primzahl $p \neq 3$ normal. Über $p = 3$ ist der Faserring gleich

ℤ / (3) [X] / (X^{3} - 3 X + 1) = ℤ / (3) [X] / (X^{3} + 1) = ℤ / (3) [X] / {(X + 1)}^{3} .

Dies bedeutet, dass das einzige maximale Ideal in $ℤ_{(3)} [X] / (X^{3} - 3 X + 1)$ gleich $(3, X + 1)$ ist. Wegen

ℤ_{(3)} [X] / (X^{3} - 3 X + 1, X + 1) = ℤ_{(3)} / ((- 1)^{3} - 3 (- 1) + 1) = ℤ / (3)

ist aber $X + 1$ ein Erzeuger von diesem maximalen Ideal und daher ist $R$ überhaupt normal.

Lemma

Es sei $F \in ℤ [X]$ ein normiertes irreduzibles Polynom, $R = ℤ [X] / (F)$ und sei $p$ eine Primzahl derart, dass in $ℤ / (p) [X]$ die Zerlegung

F = F_{1}^{r_{1}} \dots F_{s}^{r_{s}}

mit irreduziblen Polynomen $F_{j}$ gelte.

Dann gilt in $R$ die Gleichheit

$p R = (p, F_{1}^{r_{1}}) \dots (p, F_{s}^{r_{s}}) .$

Beweis

In $ℤ / (p) [X]$ sind die $F_{j}$ zueinander paarweise teilerfremd. Wir behaupten, dass in $R = ℤ [X] / (F)$ die Gleichheit

(p) = (p, F_{1}^{r_{1}}) \cap \dots \cap (p, F_{s}^{r_{s}}) = (p, F_{1}^{r_{1}}) \dots (p, F_{s}^{r_{s}})

gilt, wobei die letzte Gleichheit auf Lemma 12.6 beruht. Zum Nachweis der linken Gleichheit sei

a = a_{1} p + b_{1} F_{1}^{r_{1}} = \dots = a_{s} p + b_{s} F_{s}^{r_{s}}

mit $a_{j}, b_{j} \in R$ , es ist $a \in (p)$ zu zeigen. Modulo $p$ ist

a = b_{1} F_{1}^{r_{1}} = \dots = b_{s} F_{s}^{r_{s}}

in $ℤ / (p) [X] / (F)$ . Nach Korollar 12.11 ist

ℤ / (p) [X] / (F) = ℤ / (p) [X] / (F_{1}^{r_{1}}) \times \dots \times ℤ / (p) [X] / (F_{s}^{r_{s}}) .

Die Voraussetzung bedeutet, dass $a$ in jeder Komponente $0$ ist, also insgesamt gleich $0$ ist.

◻

Korollar

Es sei $F \in ℤ [X]$ ein normiertes irreduzibles Polynom, $R = ℤ [X] / (F)$ und sei $p$ eine Primzahl derart, dass der Faserring $ℤ / (p) [X] / (F)$ reduziert ist.

Dann ist $p R$ das Produkt von Primidealen.

Beweis

Dies folgt aus Lemma 15.5, da im reduzierten Fall die Exponenten $r_{j} = 1$ sind, und dann $(p, F_{j})$ Primideale sind, oder aus Lemma 15.1 in Verbindung mit Satz 12.2.

◻

Ohne die Voraussetzung reduziert ist die Aussage nicht richtig, siehe Beispiel 12.9.

Wir behandeln noch den Fall, wo die Algebra durch mehrere Variablen erzeugt wird. Dies ergibt auch einen weiteren Beweis für Lemma 15.1.

Lemma

Es sei $B$ ein diskreter Bewertungsring mit Ortsuniformisierender $p$ und es sei $R = B [X_{1}, \dots, X_{n}] / 𝔞$ eine endliche integre $B$ -Algebra. Der Faserring $R / p R$ sei reduziert.

Dann ist $R$ normal.

Beweis

Es sei $𝔭$ ein maximales Ideal von $R$ . Wir betrachten das kommutative Diagramm

\begin{matrix} B & \overset{}{⟶} & R & \overset{}{⟶} & R_{𝔭} \\ ↓ & ↓ & ↓ \\ B / (p) & \overset{}{⟶} & R / p R & \overset{}{⟶} & (R / p R)_{𝔭} ≅ R_{𝔭} / p R_{𝔭} & . \end{matrix}

Als Lokalisierung eines nach Voraussetzung reduzierten Ringes ist der Ring rechts unten reduziert, also hier sogar ein Körper. Dies heißt aber, dass

(p) R_{𝔭} = 𝔭 R_{𝔭}

in $R_{𝔭}$ gilt und das bedeutet, dass $R_{𝔭}$ ein diskreter Bewertungsring ist.

◻

Monogene Algebren

Definition

Eine $R$ -Algebra $A$ über einem kommutativen Ring $R$ heißt monogen, wenn sie als $A = R [X] / 𝔞$ mit einem Ideal $𝔞 \subseteq R [X]$ geschrieben werden kann.

Nach dem Satz vom primitiven Element ist eine endliche separable Körpererweiterung $K \subseteq L$ stets monogen, was man auf jede endliche Körpererweiterung $ℚ \subseteq L$ anwenden kann. Ferner ist nach Satz 9.8 jeder quadratische Zahlbereich monogen über $ℤ$ . Ein Zahlbereich ist genau dann monogen, wenn es ein Element mit der Eigenschaft gibt, dass seine Potenzen eine Ganzheitsbasis bilden.

Lemma

Es sei $(B, 𝔭) \subseteq (S, 𝔮)$ eine endliche Erweiterung von diskreten Bewertungsringen. Es sei $h \in S$ eine Ortsuniformisierende derart, dass

κ (𝔭) [\overline{h}] = κ (𝔮)

gilt.

Dann ist $S = B [h]$ .

Beweis

Wir betrachten die endliche Erweiterung

R = B [h] \subseteq S,

die als identisch nachzuweisen ist. Es ist $𝔪 = B [h] \cap 𝔮$ das maximale Ideal von $B [h]$ , der ebenfalls ein lokaler Ring ist, und es ist $𝔪 S = h S = 𝔮$ . Ferner ist

B [h] + h S = S .

Für $f \in S$ gilt ja im Restekörper $κ (𝔮)$

\overline{f} = \overline{P} (\overline{h})

mit einem Polynom $\overline{P}$ über $κ (𝔭)$ . In $S$ gilt deshalb

f = P (h) + h g

mit $g \in S$ . Die endlichen $R$ -Moduln $R \subseteq S$ erfüllen also $R + 𝔪 S = S$ . Nach dem Lemma von Nakayama folgt $R = S$ .

◻

Beispiel

Wir betrachten die biquadratische Erweiterung

ℤ \subseteq ℤ [X, Y] / (X^{2} - 7, Y^{2} - 19) .

Dieser Ganzheitsring lässt sich nicht in der Form $ℤ [W] / (F)$ schreiben. Modulo $(3)$ ist der Faserring gleich

ℤ / (3) [X, Y] / (X^{2} - 7, Y^{2} - 19) = ℤ / (3) [X, Y] / (X^{2} - 1, Y^{2} - 1) = ℤ / (3) \times ℤ / (3) \times ℤ / (3) \times ℤ / (3),

er besitzt also vier maximale Ideale, alle mit dem Restekörper $ℤ / (3)$ . Ein Ring der Form $ℤ / (3) [W] / (F)$ kann aber nur drei maximale Ideale mit dem Restekörper $ℤ / (3)$ besitzen, da es in $ℤ / (3)$ nur drei Elemente gibt. Es folgt, dass der Ganzheitsring auch nicht über der Lokalisierung $ℤ_{(3)}$ mit einem einzigen Algebraerzeuger beschrieben werden kann.

<< | Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021) | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)