Kommutative Algebra, SS 2012.
Notizen zur Vorlesung.

Inhalt

3 Ganze und endliche Ringhomomorphismen

3.1 Definitionen, einfache Eigenschaften

[ AM ] Ch. 5, [ M2 ] §9

Definition 3.1

Sei $\varphi \colon A\to B$ ein Ringhomomorphismus.

  1. Ein Element $b\in B$ heißt ganz über $A$ (bezüglich $\varphi $), wenn ein normiertes Polynom $f\in R[X]$ existiert mit $f(b) = 0$.

  2. Der Homomorphismus $\varphi $ heißt ganz, falls jedes Element $b\in B$ ganz über $A$ ist.

  3. Der Homomorphismus $\varphi $ heißt endlich, falls $B$ als $A$-Modul endlich erzeugt ist.

Definition 3.2

Sei $B$ eine $A$-Algebra. Dann heißt $B$ eine endlich erzeugte $A$-Algebra, wenn die folgenden äquivalenten Bedingungen erfüllt sind:

  1. Es existieren endlich viele Elemente $b_1,\dots , b_n\in B$, so dass $B$ die kleinste A-Unteralgebra von $B$ ist, die alle $b_i$ enthält.

  2. Es existiert $n\ge 0$ und ein surjektiver $A$-Algebren-Homomorphismus $A[X_1,\dots , X_n]\to B$.

Im folgenden Satz benutzen wir die Determinante von quadratischen Matrizen mit Einträgen in einem beliebigen kommutativen Ring. Wir definierten die Determinante durch die Leibniz-Formel. Insbesondere können wir dann zu jeder Matrix $m\in \mathop{\rm Mat}\nolimits _{n\times n}(R)$ die Komplementärmatrix von $m$ im Sinne der Cramerschen Regel bilden.

Satz 3.3
  1. (Cramersche Regel) Sei $R$ ein Ring, $m\in \mathop{\rm Mat}\nolimits _{n\times n}(R)$. Sei $\tilde{m}$ die Komplementärmatrix von $m$ im Sinne der Cramerschen Regel. Dann gilt

    \[ m\tilde{m} = \tilde{m}m = \det (m)E_n. \]
  2. (“Cayley-Hamilton”) Sei $M$ ein endlich erzeugter $R$-Modul, $\mathfrak a\subseteq R$ ein Ideal, und $\varphi \colon M\to M$ ein $R$-Endomorphismus von $M$ mit $\varphi (M) \subseteq \mathfrak aM$. Dann existieren Elemente $a_i\in \mathfrak a$ mit

    \[ \varphi ^n + a_{n-1}\varphi ^{n-1} + \cdots + a_0\mathop{\rm id}\nolimits _M = 0\qquad \text{in} \mathop{\rm End}\nolimits (M). \]

Satz 3.4

Sei $\varphi \colon A\to B$ ein Ringhomomorphismus, und sei $b\in B$. Dann sind äquivalent:

  1. Das Element $b$ ist ganz über $A$.

  2. Die von $b$ erzeugte $A$-Algebra $A[b]$ ist als $A$-Modul endlich erzeugt, d.h. $A\to A[b]$ ist ein endlicher Ringhomomorphismus.

  3. Es existiert ein Unterring $C\subseteq B$ mit $b\in C$, so dass $A\to C$ ein endlicher Ringhomomorphismus ist.

Korollar 3.5

Sei $\varphi \colon A\to B$ ein Ringhomomorphismus. Dann sind äquivalent:

  1. $\varphi $ ist ganz und $B$ ist als $A$-Algebra endlich erzeugt.

  2. $\varphi $ ist endlich.

Korollar 3.6

Seien $\varphi \colon A\to B$, $\psi \colon B\to C$ Ringhomomorphismen.

  1. Wenn $\varphi $ und $\psi $ endlich sind, so ist auch $\psi \circ \varphi $ endlich.

  2. Wenn $\varphi $ und $\psi $ ganz sind, so ist auch $\psi \circ \varphi $ ganz.

Definition 3.7

Sei $\varphi \colon A \to B$ ein Ringhomomorphismus. Dann ist die Teilmenge

\[ C := \{ b\in B;\ b\ \text{ ist ganz über }\ A\} \]

ein Unterring von $B$, der als der ganze Abschluss von $A$ in $B$ bezeichnet wird.

Definition 3.8

Sei $\varphi A\to B$ ein injektiver Ringhomomorphismus. Dann heißt $A$ ganzabgeschlossen in $B$, wenn $A$ mit dem ganzen Abschluss von $A$ in $B$ übereinstimmt, mit anderen Worten: wenn die einzigen Elemente von $B$, die ganz über $A$ sind, die Elemente von $A$ sind.

Ein Integritätsring heißt ganzabgeschlossen, wenn er ganzabgeschlossen in seinem Quotientenkörper ist.

Bemerkung 3.9

Seien $\varphi \colon A\to B$ ein Ringhomomorphismus und $C\subseteq B$ der ganze Abschluss von $A$ in $B$. Dann ist $C$ ganzabgeschlossen in $B$.

Satz 3.10

Sei $\varphi \colon A\to B$ ein endlicher (bzw. ganzer) Ringhomomorphismus.

  1. Ist $\mathfrak b\subseteq B$ ein Ideal, so ist auch der von $\varphi $ induzierte Homomorphismus $A/\varphi ^{-1}(\mathfrak b) \to B/\mathfrak b$ endlich (bzw. ganz).

  2. Ist $S\subseteq A$ eine multiplikative Teilmenge, so ist auch der von $\varphi $ induzierte Homomorphismus $S^{-1}A\to S^{-1}B$ endlich (bzw. ganz).

  3. Ist $C$ eine $A$-Algebra, so ist auch der von $\varphi $ induzierte Homomorphismus $C\to B\otimes _AC$ endlich (bzw. ganz).

3.2 Going-up

[ AM ] Ch. 5, [ M2 ] §9

Satz 3.11

Seien $A$ und $B$ Integritätsringe und sei $\varphi \colon A\to B$ ein injektiver ganzer Ringhomomorphismus. Dann ist $A$ ein Körper genau dann, wenn $B$ ein Körper ist.

Satz 3.12

Sei $\varphi \colon A\to B$ ein ganzer Ringhomomorphismus, $\mathfrak q\in \mathop{\rm Spec}\nolimits B$, $\mathfrak p=\varphi ^{-1}(\mathfrak q)\in \mathop{\rm Spec}\nolimits A$. Dann ist $\mathfrak q$ ein maximales Ideal genau dann, wenn $\mathfrak p$ ein maximales Ideal ist.

Satz 3.13

Sei $\varphi \colon A\to B$ ein ganzer Ringhomomorphismus, seien $\mathfrak q$, $\mathfrak q’$ Primideale von $B$ mit $\mathfrak q\subseteq \mathfrak q’$ und $\varphi ^{-1}(\mathfrak q) = \varphi ^{-1}(\mathfrak q’)$. Dann gilt $\mathfrak q = \mathfrak q’$.

Theorem 3.14

Sei $\varphi \colon A\to B$ ein injektiver ganzer Ringhomomorphismus. Dann ist die von $\varphi $ induzierte Abbildung $\mathop{\rm Spec}\nolimits B\to \mathop{\rm Spec}\nolimits A$ surjektiv, d.h. für jedes $\mathfrak p\in \mathop{\rm Spec}\nolimits A$ existiert ein $\mathfrak q\in \mathop{\rm Spec}\nolimits B$ mit $\mathfrak p = \varphi ^{-1}(\mathfrak q)$.

Theorem 3.15 going-up

Sei $\varphi \colon A\to B$ ein injektiver ganzer Ringhomomorphismus, sei

\[ \mathfrak p_1 \subseteq \cdots \subseteq \mathfrak p_n \subset A \]

eine Kette von Primidealen, und sei

\[ \mathfrak q_1 \subseteq \cdots \subseteq \mathfrak q_m \subset B \]

eine Kette von Primidealen in $B$ mit $m\le n$ und $\varphi ^{-1}(\mathfrak q_i) = \mathfrak p_i$ für $i=1, \dots , m$.

Dann existieren Primideale $\mathfrak q_{m+1}\subseteq \dots \subseteq \mathfrak q_n\subset B$, so dass $\mathfrak q_m\subseteq \mathfrak q_{m+1}$ und so dass $\varphi ^{-1}(\mathfrak q_i) = \mathfrak p$ für alle $i$.

Theorem 3.16

Sei $\varphi \colon A\to B$ ein endlicher Ringhomomorphismus. Dann sind die Fasern der Abbildung ${}^a\varphi :\mathop{\rm Spec}\nolimits B\to \mathop{\rm Spec}\nolimits A$ endliche Mengen, und zwischen den Primidealen in einer Faser bestehen keine echten Inklusionen.

Satz 3.17

Sei $\varphi \colon A\to B$ ein Ringhomomorphismus. Sei $f\colon \mathop{\rm Spec}\nolimits B\to \mathop{\rm Spec}\nolimits A$ die von $\varphi $ induzierte Abbildung, sei $\mathfrak p\in \mathop{\rm Spec}\nolimits A$ und sei $\kappa (\mathfrak p)$ der Restklassenkörper von $A$ in $\mathfrak p$. Dann induziert die natürliche Abbildung $\mathop{\rm Spec}\nolimits (B\otimes _A\kappa (p))\to \mathop{\rm Spec}\nolimits B$ eine Bijektion [genauer: sogar einen Homöomorphismus] von $\mathop{\rm Spec}\nolimits (B\otimes _A\kappa (p))$ auf die Faser $f^{-1}(\mathfrak p)$ von $f$ über $\mathfrak p$.

Definition 3.18

Ein Ring $R$ heißt Artin-Ring, wenn für die Ideale in $R$ die absteigende Kettenbedingung gilt, d.h., falls jede absteigende Kette

\[ \mathfrak a_0 \supseteq \mathfrak a_1 \supseteq \mathfrak a_2 \supseteq \cdots \]

von Idealen in $R$ stationär wird. (Vgl.  [ AM ] Ch. 8.)

Satz 3.19

Sei $A$ ein Körper und $A\to B$ ein endlicher Ringhomomorphismus. Dann ist $B$ ein Artin-Ring.

Satz 3.20

Sei $B$ ein Artin-Ring.

  1. Alle Primideale von $B$ sind maximale Ideale.

  2. $B$ besitzt nur endlich viele Primideale.

3.3 Noether-Normalisierung und der Hilbertsche Nullstellensatz

[ AM ] Ch. 5, [ Mu ] I.1, [ GW ] (1.3).

Theorem 3.21 Noethersches Normalisierungslemma

Sei $k$ ein Körper und sei $R\ne 0$ eine endlich erzeugte $k$-Algebra. Dann existieren $n\ge 0$ und ein injektiver endlicher $k$-Algebren-Homomorphismus $k[X_1,\dots , X_n]\to R$.

Definition 3.22

Ein Ring $A$ heißt Jacobsonsch, wenn für jedes Primideal $\mathfrak p\in \mathop{\rm Spec}\nolimits A$ gilt

\[ \mathfrak p = \bigcap _{\mathfrak m\in \mathop{\rm Spm}\nolimits A, \mathfrak p\subseteq \mathfrak m} \mathfrak m. \]

Theorem 3.23 Hilbertscher Nullstellensatz

Sei $k$ ein Körper und $A$ eine endlich erzeugte $k$-Algebra.

  1. Der Ring $A$ ist Jacobsonsch.

  2. Ist $\mathfrak m$ ein maximales Ideal von $A$, so ist $k\to A/\mathfrak m$ eine endliche Körpererweiterung.

Korollar 3.24

Sei $k$ ein algebraisch abgeschlossener Körper.

  1. Sei $A$ eine endlich erzeugte $k$-Algebra und sei $\mathfrak m\subset A$ ein maximales Ideal. Dann gilt $A/\mathfrak m= k$.

  2. Sei $\mathfrak m\subset k[T_1,\dots , T_n]$ ein maximales Ideal. Dann existieren $t_1, \dots , t_n\in k$ mit $\mathfrak m = (T_1-t_1,\dots , T_n-t_n)$.

Korollar 3.25

Sei $k$ ein algebraisch abgeschlossener Körper, und seien $f_1, \dots , f_m\in k[T_1, \dots , T_n]$. Dann haben wir eine Bijektion

\begin{align*} \{ (t_i)_i\in k^n;\ \forall j: f_j(t_1,\dots , t_n)=0\} & \overset {\sim }{\to }\mathop{\rm Spm}\nolimits k[T_1, \dots , T_n]/(f_1, \dots , f_m),\\ (t_i)_i& \mapsto (T_1-t_1, \dots , T_n-t_n) \end{align*}

Korollar 3.26

Sei $k$ ein Körper und sei $\varphi \colon A\to B$ ein Homomorphismus von endlich erzeugten $k$-Algebren. Dann ist für jedes maximale Ideal $\mathfrak n\subset B$ das Urbild $\varphi ^{-1}(\mathfrak n)$ ein maximales Ideal von $A$.