Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 10/kontrolle

Noethersche Ringe

Unser Ziel ist es zu zeigen, dass wenn ${}R$ ein noetherscher Ring ist, dass dann auch der Polynomring ${}R[X]$ ein noetherscher Ring ist (Hilbertscher Basissatz). Dies gilt dann auch für die Hinzunahme von mehreren (endlich vielen) Variablen und insbesondere für Polynomringe in endlich vielen Variablen über einem Körper. Wir erinnern an den Begriff des noetherschen Ringes.

Emmy Noether (1882-1935)

Definition Referenznummer erstellen

Ein kommutativer Ring ${}R$ heißt noethersch, wenn jedes Ideal darin endlich erzeugt ist.

Proposition Referenznummer erstellen

Für einen kommutativen Ring ${}R$ sind folgende Aussagen äquivalent.

1. ${}R$ ist noethersch.
2. Jede aufsteigende Idealkette

   ${\mathfrak {a}}_{1}\subseteq {\mathfrak {a}}_{2}\subseteq {\mathfrak {a}}_{3}\subseteq \ldots$

   wird stationär, d.h. es gibt ein ${}n$ mit ${}{\mathfrak {a}}_{n}={\mathfrak {a}}_{n+1}=\ldots$.

Beweis

(1) ${}\Rightarrow$ (2). Sei

${\mathfrak {a}}_{1}\subseteq {\mathfrak {a}}_{2}\subseteq {\mathfrak {a}}_{3}\subseteq \ldots$

eine aufsteigende Idealkette in ${}R$. Wir betrachten die Vereinigung ${}{\mathfrak {a}}=\bigcup _{n\in \mathbb {N} }{\mathfrak {a}}_{n}$, die wieder ein Ideal in ${}R$ ist. Da ${}R$ noethersch ist, ist ${}{\mathfrak {a}}$ endlich erzeugt, d.h. ${}{\mathfrak {a}}=(f_{1},\ldots ,f_{k})$. Da diese ${}f_{i}$ in der Vereinigung der Ideale ${}{\mathfrak {a}}_{n}$ liegen, und da die Ideale aufsteigend sind, muss es ein ${}n$ derart geben, dass ${}f_{1},\ldots ,f_{k}\in {\mathfrak {a}}_{n}$ liegt. Wegen

${}(f_{1},\ldots ,f_{k})\subseteq {\mathfrak {a}}_{n}\subseteq {\mathfrak {a}}_{n+m}\subseteq \bigcup _{n\in \mathbb {N} }{\mathfrak {a}}_{n}\subseteq (f_{1},\ldots ,f_{k})\,$

für ${}m\geq 0$ muss hier Gleichheit gelten, sodass die Idealkette ab ${}n$ stationär ist.

(2) ${}\Rightarrow$ (1). Es sei ${}{\mathfrak {a}}$ ein Ideal in ${}R$. Wir nehmen an, ${}{\mathfrak {a}}$ sei nicht endlich erzeugt, und konstruieren sukzessive eine unendliche echt aufsteigende Idealkette ${}{\mathfrak {a}}_{n}\subset {\mathfrak {a}}$, wobei die ${}{\mathfrak {a}}_{n}$ alle endlich erzeugt sind. Es sei dazu

${\mathfrak {a}}_{1}\subset {\mathfrak {a}}_{2}\subset \ldots \subset {\mathfrak {a}}_{n}\subseteq {\mathfrak {a}}$

bereits konstruiert. Da ${}{\mathfrak {a}}_{n}$ endlich erzeugt ist, aber ${}{\mathfrak {a}}$ nicht, ist die Inklusion ${}{\mathfrak {a}}_{n}\subseteq {\mathfrak {a}}$ echt und es gibt ein Element

$f_{n+1}\in {\mathfrak {a}},\,f_{n+1}\not \in {\mathfrak {a}}_{n}.$

Dann setzt das Ideal ${}{\mathfrak {a}}_{n+1}:={\mathfrak {a}}_{n}+(f_{n+1})$ die Idealkette echt aufsteigend fort.

$\Box$

Lemma Lemma 10.3 ändern

Es sei ${}R$ ein noetherscher Ring.

Dann ist auch jeder Restklassenring ${}R/{\mathfrak {b}}$ noethersch.

Beweis

Es sei ${}{\mathfrak {a}}\subseteq R/{\mathfrak {b}}$ ein Ideal und sei ${}{\tilde {\mathfrak {a}}}\subseteq R$ das Urbildideal davon. Dieses ist endlich erzeugt nach Voraussetzung, also ${}{\tilde {\mathfrak {a}}}=(f_{1},\ldots ,f_{n})$. Die Restklassen dieser Erzeuger, also ${}{\bar {f}}_{1},\ldots ,{\bar {f}}_{n}$, bilden ein Idealerzeugendensystem von ${}{\mathfrak {a}}$: Für ein Element ${}{\bar {g}}\in {\mathfrak {a}}$ gilt ja ${}g=\sum _{i=1}^{n}r_{i}f_{i}$ in ${}R$ und damit ${}{\bar {g}}=\sum _{i=1}^{n}{\bar {r}}_{i}{\bar {f}}_{i}$ in ${}R/{\mathfrak {b}}$.

$\Box$

Der Hilbertsche Basissatz

Wie viele grundlegende Aussagen der kommutativen Algebra geht der Hilbertsche Basissatz, dem wir uns jetzt zuwenden, auf David Hilbert zurück, genauer auf seine Arbeit von 1890, „Ueber die Theorie der algebraischen Formen“.

David Hilbert (1862-1943)

Satz Referenznummer erstellen

Es sei ${}R$ ein noetherscher Ring.

Dann ist auch der Polynomring ${}R[X]$ noethersch.

Beweis

Es sei ${}{\mathfrak {b}}$ ein Ideal im Polynomring ${}R[X]$. Zu ${}n\in \mathbb {N}$ definieren wir ein Ideal ${}{\mathfrak {a}}_{n}$ in ${}R$ durch

${}{\mathfrak {a}}_{n}={\left\{c\in R\mid {\text{es gibt }}F\in {\mathfrak {b}}{\text{ mit }}F=cX^{n}+c_{n-1}X^{n-1}+\cdots +c_{1}X+c_{0}\right\}}\,.$

Das Menge ${}{\mathfrak {a}}_{n}$ besteht also aus allen Leitkoeffizienten von Polynomen vom Grad ${}n$ aus ${}{\mathfrak {b}}$. Es handelt sich dabei offensichtlich um Ideale in ${}R$ (wobei wir hier ${}0$ als Leitkoeffizient zulassen). Ferner ist ${}{\mathfrak {a}}_{n}\subseteq {\mathfrak {a}}_{n+1}$, da man ja ein Polynom ${}F$ vom Grad ${}n$ mit Leitkoeffizient ${}c$ mit der Variablen ${}X$ multiplizieren kann, um ein Polynom vom Grad ${}n+1$ zu erhalten, das wieder ${}c$ als Leitkoeffizienten besitzt. Da ${}R$ noethersch ist, muss diese aufsteigende Idealkette stationär werden; sei ${}n$ so, dass ${}{\mathfrak {a}}_{n}={\mathfrak {a}}_{n+1}=\ldots$ ist.

Zu jedem ${}i\leq n$ sei nun ${}{\mathfrak {a}}_{i}=(c_{i1},\ldots ,c_{ik_{i}})$ ein endliches Erzeugendensystem, und es seien

${}F_{ij}=c_{ij}X^{i}+{\text{ Terme von kleinerem Grad }}\,$

zugehörige Polynome aus ${}{\mathfrak {b}}$ (die es nach Definition der ${}{\mathfrak {a}}_{i}$ geben muss).

Wir behaupten, dass ${}{\mathfrak {b}}$ von allen ${}{\left\{F_{ij}\mid 0\leq i\leq n,\,1\leq j\leq k_{i}\right\}}$ erzeugt wird. Dazu beweisen wir für jedes ${}G\in {\mathfrak {b}}$ durch Induktion über den Grad von ${}G$, dass es als Linearkombination mit diesen ${}F_{ij}$ darstellbar ist. Für ${}G$ konstant, also ${}G\in R$, ist dies klar. Es sei nun der Grad von ${}G$ gleich ${}d$ und die Aussage sei für kleineren Grad bewiesen. Wir schreiben

${}G=cX^{d}+c_{d-1}X^{d-1}+\cdots +c_{1}X+c_{0}\,.$

Es ist ${}c\in {\mathfrak {a}}_{d}$ und damit kann man ${}c$ als ${}R$-Linearkombination der ${}c_{ij},0\leq i\leq n,\,1\leq j\leq k_{i}$, schreiben. Bei ${}d\leq n$ kann man ${}c$ sogar als ${}R$-Linearkombination der ${}c_{dj},\,j=1,\ldots ,k_{d}$, schreiben, sagen wir ${}c=\sum _{j=1}^{k_{d}}r_{j}c_{dj}$. Dann ist ${}G-\sum _{j=1}^{k_{d}}r_{j}F_{dj}\in {\mathfrak {b}}$ und hat einen kleineren Grad, sodass man darauf die Induktionsvoraussetzung anwenden kann. Bei ${}d>n$ ist

${}c=\sum _{i=0,\ldots ,n,\,j=1,\ldots ,k_{i}}r_{ij}c_{ij}\,.$

Damit gehört

$G-\sum _{i=0,\ldots ,n,\,j=1,\ldots ,k_{i}}r_{ij}X^{d-i}F_{ij}$

ebenfalls zu ${}{\mathfrak {b}}$ und hat einen kleineren Grad, sodass man wieder die Induktionsvoraussetzung anwenden kann.

$\Box$

Korollar Korollar 10.5 ändern

Es sei ${}R$ ein noetherscher Ring.

Dann ist auch ${}R[X_{1},\ldots ,X_{n}]$ noethersch.

Beweis

Dies folgt durch induktive Anwendung des Hilbertschen Basissatzes auf die Kette

${}R\subset R[X_{1}]\subset (R[X_{1}])[X_{2}]=R[X_{1},X_{2}]\subset (R[X_{1},X_{2}])[X_{3}]=R[X_{1},X_{2},X_{3}]\subset \ldots \subset R[X_{1},\ldots ,X_{n}]\,.$

$\Box$

Korollar Referenznummer erstellen

Es sei ${}K$ ein Körper.

Dann ist ${}K[X_{1},\ldots ,X_{n}]$ noethersch.

Beweis

Dies ist ein Spezialfall von Korollar 10.5.

$\Box$

Definition Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring. Eine ${}R$- Algebra ${}A$ heißt von endlichem Typ (oder endlich erzeugt), wenn sie die Form

${}A=R[X_{1},\ldots ,X_{n}]/{\mathfrak {a}}\,$

besitzt.

Eine endlich erzeugte ${}R$-Algebra besitzt also eine Darstellung als Restklassenring einer Polynomalgebra über ${}R$ in endlich vielen Variablen. Eine solche Darstellung ist keineswegs eindeutig.

Korollar Referenznummer erstellen

Es sei ${}R$ ein noetherscher Ring.

Dann ist jede ${}R$- Algebra von endlichem Typ ebenfalls noethersch. Insbesondere ist für einen Körper ${}K$ jede ${}K$-Algebra von endlichem Typ noethersch.

Beweis

Dies folgt aus Korollar 10.5 und aus Lemma 10.3.

$\Box$

Noethersche Moduln

Definition Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$- Modul. Der Modul ${}M$ heißt endlich erzeugt oder endlich, wenn es ein endliches Erzeugendensystem ${}v_{i}$, ${}i\in I$, für ihn gibt (also mit einer endlichen Indexmenge).

Wir wollen zeigen, das für einen noetherschen Ring ${}R$ und einen endlich erzeugten ${}R$-Modul jeder ${}R$-Untermodul wieder endlich erzeugt ist. Solche Moduln nennt man noethersch.

Definition Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring und ${}M$ ein ${}R$- Modul. Dann heißt ${}M$ noethersch, wenn jeder ${}R$- Untermodul von ${}M$ endlich erzeugt ist.

Für ${}M=R$ stimmt dies mit der Definition eines noetherschen Ringes überein, da ja die ${}R$-Untermoduln von ${}R$ gerade die Ideale sind.

In den folgenden Aussagen verwenden wir folgende Sprech- bzw. Schreibweise.

Definition Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring und seien ${}M_{1},M_{2},M_{3}$ ${}R$- Moduln. Man nennt ein Diagramm der Form

$0\,{\stackrel {}{\longrightarrow }}\,M_{1}\,{\stackrel {}{\longrightarrow }}\,M_{2}\,{\stackrel {}{\longrightarrow }}\,M_{3}\,{\stackrel {}{\longrightarrow }}\,0$

eine kurze exakte Sequenz von ${}R$-Moduln, wenn ${}M_{1}$ ein ${}R$-Untermodul von ${}M_{2}$ ist, und wenn ${}M_{3}$ ein Restklassenmodul von ${}M_{2}$ ist, der isomorph zu ${}M_{2}/M_{1}$ ist.

Die Exaktheit bedeutet, dass an jeder Stelle die Beziehung

${}\operatorname {kern} \varphi _{i+1}=\operatorname {bild} \varphi _{i}\,$

gilt, wenn ${}\varphi _{i}$ die ${}R$- Modulhomomorphismen bezeichnet.

Lemma Lemma 10.12 ändern

Es sei ${}R$ ein kommutativer Ring und

$0\longrightarrow M_{1}\longrightarrow M\longrightarrow M_{3}\longrightarrow 0$

eine kurze exakte Sequenz von ${}R$-Moduln.

Dann ist ${}M$ genau dann noethersch, wenn sowohl ${}M_{1}$ als auch ${}M_{3}$ noethersch sind.

Beweis

Es sei zunächst ${}M$ noethersch, und ${}U\subseteq M_{1}$ ein Untermodul. Dann ist ${}U$ direkt auch ein Untermodul von ${}M$, also nach Voraussetzung endlich erzeugt. Es sei nun ${}V\subseteq M_{3}$ ein Untermodul des Restklassenmoduls. Das Urbild von ${}V$ in ${}M$ unter der Restklassenabbildung sei ${}{\tilde {V}}$. Dieser Modul ist nach Voraussetzung endlich erzeugt, und die Bilder eines solchen Erzeugendensystems erzeugen auch den Bildmodul ${}V$.

Es seien nun die äußeren Moduln ${}M_{1}$ und ${}M_{3}$ noethersch, und sei ${}U\subseteq M$ ein Untermodul. Es sei ${}U_{3}\subseteq M_{3}$ der Bild-Untermodul davon. ${}U_{3}$ wird von endlich vielen Elementen ${}s_{1},\ldots ,s_{n}$ erzeugt, und wir können annehmen, dass diese ${}s_{i}={\overline {r}}_{i}$ die Bilder von Elementen ${}r_{i}\in U$ sind. Betrachte ${}U\cap M_{1}$. Dies ist ein Untermodul von ${}M_{1}$, und daher endlich erzeugt, sagen wir von ${}t_{1},\ldots ,t_{k}$, die wir als Elemente in ${}U$ auffassen. Wir behaupten, dass

$r_{1},\ldots ,r_{n},t_{1},\ldots ,t_{k}$

ein Erzeugendensystem von ${}U$ bilden. Es sei dazu ${}m\in U$ ein beliebiges Element. Dann ist ${}{\overline {m}}=\sum _{i=1}^{n}a_{i}s_{i}$ und daher geht das Element ${}m-\sum _{i=1}^{n}a_{i}r_{i}$ rechts auf ${}0$. Dann gehört es aber zum Kern der Restklassenabbildung, also zu ${}M_{1}$. Andererseits gehört dieses Element auch zu ${}U$, also zum Durchschnitt ${}M_{1}\cap U$, der ja von den ${}t_{1},\ldots ,t_{k}$ erzeugt wird. Also kann man

${}m-\sum _{i=1}^{n}a_{i}r_{i}=\sum _{j=1}^{k}b_{j}t_{j}\,$

bzw. ${}m=\sum _{i=1}^{n}a_{i}r_{i}+\sum _{j=1}^{k}b_{j}t_{j}$ schreiben.

$\Box$

Satz Satz 10.13 ändern

Es sei ${}R$ ein noetherscher kommutativer Ring und ${}M$ ein endlich erzeugter ${}R$- Modul.

Dann ist ${}M$ ein noetherscher Modul.

Beweis

Wir beweisen die Aussage durch Induktion über die Anzahl ${}n$ der Modulerzeuger von ${}M$. Bei ${}n=0$ liegt der Nullmodul vor. Es sei ${}n=1$. Dann gibt es eine surjektive Abbildung ${}R\rightarrow M\cong R/{\mathfrak {a}}$. Nach Lemma 10.12 ist aber ein Restklassenmodul eines noetherschen Moduls wieder noethersch, und der Ring selbst ist nach Voraussetzung noethersch, also ist ${}M$ noethersch.

Es sei nun ${}n\geq 2$ und die Aussage für kleinere ${}n$ bereits bewiesen. Es sei ${}m_{1},\ldots ,m_{n}$ ein Erzeugendensystem von ${}M$. Wir betrachten den durch ${}m_{1},\ldots ,m_{n-1}$ erzeugten ${}R$-Untermodul, den wir mit ${}M_{1}$ bezeichnen. Dieser Untermodul gibt Anlass zu einer kurzen exakten Sequenz, nämlich

$0\longrightarrow M_{1}\longrightarrow M\longrightarrow M/M_{1}=:M_{3}\longrightarrow 0.$

Hier wird der linke Modul von ${}n-1$ Elementen erzeugt und ist nach Induktionsvoraussetzung noethersch. Der rechte Modul wird von der Restklasse von ${}m_{n}$, also von einem Element erzeugt, ist also auch noethersch. Nach Lemma 10.12 ist dann ${}M$ noethersch.

$\Box$

<< | Kurs:Invariantentheorie (Osnabrück 2012-2013) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)