Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 18/latex
\setcounter{section}{18}
\zwischenueberschrift{Die Krulldimension}
Zu einen $n$-dimensionalen Vektorraum nennt man eine Kette von
\definitionsverweis {Untervektorräumen}{}{}
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} {V_0
}
{ \subset} { V_1
}
{ \subset \ldots \subset} { V_{n-1}
}
{ \subset} {V_n
}
}
{
\vergleichskettefortsetzung
{ =} {V
}
{ } {}
{ } {}
{ } {}
}{}{}
eine \definitionswort {Fahne}{} in $V$. Dabei ist notwendigerweise die Dimension von $V_i$ gleich $i$ und die Kette ist nicht verfeinerbar, d.h. zwischen
\mathkor {} {V_i} {und} {V_{i+1}} {}
gibt es keinen echten Untervektorraum. Von daher kann man sagen, dass die Dimension eines Vektorraumes durch die maximale Länge von Ketten von Untervektorräumen gegeben ist. Wir werden in analoger Weise die Dimension einer affinen Varietät bzw. ihres Koordinatenring und allgemeiner eines beliebigen noetherschen Ringes einführen. Wichtige strukturelle Eigenschaften für einen sinnvollen Dimensionsbegriff haben wir schon in der dritten Vorlesung formuliert.
Bei einer affinen Varietät
\mavergleichskettedisp
{\vergleichskette
{V
}
{ =} {V { \left( {\mathfrak a} \right) }
}
{ \subseteq} {K^n
}
{ } {
}
{ } {
}
}
{}{}{}
kann man nicht von Untervektorräumen sprechen. Vielmehr sind die abgeschlossenen Untervarietäten
\zusatzklammer {Nullstellengebilde} {} {}
von
\mathl{V( {\mathfrak a} )}{} die strukturgleichen Unterobjekte. Wenn man allerdings die Gerade über einem unendlichen Körper $K$ betrachtet, so sind sämtliche endlichen Teilmengen abgeschlossen und daher gibt es beliebig lange Ketten der Form
\mavergleichskettedisp
{\vergleichskette
{\{P_1\}
}
{ \subset} { \{P_1, P_2 \}
}
{ \subset} { \{P_1, P_2, P_3 \}
}
{ \subset \ldots \subset} {\{P_1, P_2, P_3 , \ldots , P_n \}
}
{ \subset \ldots \subset} { K
}
}
{}{}{.}
Eine sinnvolle Dimensionstheorie lässt sich aufbauen, wenn man statt Ketten von beliebigen abgeschlossenen Teilmengen nur Ketten von irreduziblen abgeschlossenen Teilmengen nimmt. Man betrachtet also Ketten
\mavergleichskettedisp
{\vergleichskette
{V_0
}
{ =} {\{P\}
}
{ \subset} {V_1
}
{ \subset} {V_2
}
{ \subset \ldots \subset} { V_n
}
}
{
\vergleichskettefortsetzung
{ \subseteq} { V
}
{ } {}
{ } {}
{ } {}
}{}{}
von irreduziblen abgeschlossenen Teilmengen $V_i$ in $V$. Über einem algebraisch abgeschlossenen Körper entsprechen sich irreduzible Varietäten und Primideale gemäß
Lemma 2.14.
Von daher ist die folgende Definition für einen beliebigen Ring nicht mehr überraschend.
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{.}
Eine Kette aus
\definitionsverweis {Primidealen}{}{}
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}_0
}
{ \subset} { {\mathfrak p}_1
}
{ \subset} { \ldots
}
{ \subset} { {\mathfrak p}_n
}
{ } {
}
}
{}{}{}
nennt man \definitionswort {Primidealkette der Länge}{} $n$
\zusatzklammer {es wird also die Anzahl der Inklusionen gezählt, nicht die Anzahl der beteiligten Primideale} {} {.}
Die \definitionswort {Dimension}{}
\zusatzklammer {oder \definitionswort {Krulldimension}{}} {} {}
von $R$ ist das
\definitionsverweis {Supremum}{}{}
über alle Längen von Primidealketten. Sie wird mit
\mathl{\operatorname{dim} { \left( R \right) }}{} bezeichnet.
}
Unter einer maximalen Primidealkette verstehen wir eine nicht weiter verfeinerbare Primidealkette, d.h. zu
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}_i
}
{ \subset }{ {\mathfrak p}_{i+1}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es kein echtes Primideal dazwischen. Eine solche maximale Primidealkette ist nicht ohne weitere Voraussetzung eine Primidealkette maximaler Länge, an lezteren kann man eben die Krulldimension ablesen. Eine jede maximale Primidealkette startet in einem
\definitionsverweis {minimalen Primideal}{}{}
und endet in einem maximalen Ideal. Bei einem Integritätsbereich ist das Nullideal das einzige minimale Primideal. Ein Körper hat die Krulldimension $0$
\zusatzklammer {seine Vektorraumdimension über $K$ ist aber $1$} {} {.}
Ein Hauptidealbereich, der kein Körper ist, besitzt die Krulldimension $1$, siehe
Aufgabe 18.4.
Im Polynomring
\mathl{K[X_1 , \ldots , X_n]}{} über einem Körper $K$ hat man direkt die Primidealkette
\mavergleichskettedisp
{\vergleichskette
{ 0
}
{ \subset} { { \left( X_1 \right) }
}
{ \subset} { { \left( X_1,X_2 \right) }
}
{ \subset \ldots \subset} { { \left( X_1,X_2 , \ldots , X_n \right) }
}
{ } {
}
}
{}{}{,}
so dass die Dimension des Polynomringes zumindest $n$ ist. Es ist aber keineswegs klar, warum es nicht noch längere Ketten geben kann.
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und ${\mathfrak p}$ ein
\definitionsverweis {Primideal}{}{.}
Unter der
\definitionswort {Dimension}{}
von ${\mathfrak p}$ versteht man das Supremum der Länge $m$ von Primidealketten
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}
}
{ \subset} { {\mathfrak p}_1
}
{ \subset} { \ldots
}
{ \subset} { {\mathfrak p}_m
}
{ } {}
}
{}{}{.}
}
{Kommutativer Ring/Primideal/Dimension/Restklassenring/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und ${\mathfrak p}$ ein
\definitionsverweis {Primideal}{}{.}}
\faktfolgerung {Dann ist die
\definitionsverweis {Dimension}{}{}
von ${\mathfrak p}$ gleich der
\definitionsverweis {Dimension}{}{}
des
\definitionsverweis {Restklassenringes}{}{}
$R/{\mathfrak p}$.}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 18.5. }
\inputdefinition
{}
{
Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und ${\mathfrak p}$ ein
\definitionsverweis {Primideal}{}{.}
Unter der
\definitionswort {Höhe}{}
von ${\mathfrak p}$ versteht man das Supremum der Länge $n$ von Primidealketten
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}_0
}
{ \subset} { {\mathfrak p}_1
}
{ \subset} { \ldots
}
{ \subset} { {\mathfrak p}_n
}
{ =} { {\mathfrak p}
}
}
{}{}{.}
}
{Kommutativer Ring/Primideal/Höhe/Lokaler Ring/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und ${\mathfrak p}$ ein
\definitionsverweis {Primideal}{}{.}}
\faktfolgerung {Dann ist die
\definitionsverweis {Höhe}{}{}
von ${\mathfrak p}$ gleich der
\definitionsverweis {Dimension}{}{}
der
\definitionsverweis {Lokalisierung}{}{} $R_{\mathfrak p}$.}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 18.6. }
Der folgende Satz heißt Krullscher Hauptidealsatz. Sein Beweis verwendet unter Anderem symbolische Potenzen.
Zu einem
\definitionsverweis {Primideal}{}{}
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in einem
\definitionsverweis {kommutativen Ring}{}{}
nennt man
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}^{(n)}
}
{ =} { {\mathfrak p}^{n} R_{\mathfrak p} \cap R
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die $n$-te
\definitionswort {symbolische Potenz}{}
von ${\mathfrak p}$.
\inputfaktbeweis
{Kommutativer noetherscher Ring/Hauptidealsatz/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $R$ ein kommutativer
\definitionsverweis {noetherscher Ring}{}{}
und
\mathl{f\in R}{.}}
\faktfolgerung {Dann besitzt jedes Primideal ${\mathfrak p}$, das oberhalb von
\mathl{(f)}{} liegt und minimal mit dieser Eigenschaft ist, eine
\definitionsverweis {Höhe}{}{}
$\leq 1$.}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\mathl{f \in {\mathfrak q}}{} ein minimales Primoberideal. Wir können an ${\mathfrak q}$ lokalisieren. Dann ist zu zeigen, dass ein lokaler noetherscher Ring, in dem das maximale Ideal minimal über einem Element $f$ ist, die Dimension
\mathkor {} {0} {oder} {1} {}
besitzt. Da eine Primidealkette mit einem Primideal beginnt, können wir weiterhin annehmen, dass ein noetherscher lokaler Integritätsbereich vorliegt. Es sei jetzt angenommen, dass eine Primidealkette
\mavergleichskettedisp
{\vergleichskette
{0
}
{ \subseteq} { {\mathfrak p}
}
{ \subset} { {\mathfrak m}
}
{ } {
}
{ } {
}
}
{}{}{}
vorliegt und dass ${\mathfrak m}$ minimal über
\mavergleichskette
{\vergleichskette
{f
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Es ist
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu zeigen. Der Restklassenring
\mathl{R/(f)}{} ist noethersch und besitzt die Dimension $0$, da ja darin ${\mathfrak m}$ das einzige Primideal ist. Somit ist nach
Aufgabe 18.7
der Ring
\mathl{R/(f)}{} auch
\definitionsverweis {artinsch}{}{,}
d.h. jede absteigende Idealkette in $R/(f)$ wird stationär. Dies bedeutet wiederum, dass jede absteigende Idealkette in $R$ oberhalb von $Rf$ stationär wird. Wir betrachten die absteigende Idealkette
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}^{(1)} +Rf
}
{ \supseteq} {{\mathfrak p}^{(2)} +Rf
}
{ \supseteq} {{\mathfrak p}^{(3)} +Rf
}
{ \subseteq} { \ldots
}
{ } {
}
}
{}{}{}
in $R$, wobei wir
\definitionsverweis {symbolische Potenzen}{}{}
verwenden, und die entsprechende absteigende Kette in
\mathl{R/(f)}{.} Da dieser Ring artinsch ist, wird diese Kette konstant, d.h. es gibt ein $n$ mit
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}^{(n)} +Rf
}
{ =} { {\mathfrak p}^{(n+1)} +Rf
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir behaupten, dass sogar
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}^{(n)}
}
{ =} { {\mathfrak p}^{(n+1)} + {\mathfrak p}^{(n)} f
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt, wobei die Inklusion $\supseteq$ klar ist. Es sei also
\mathl{g \in {\mathfrak p}^{(n)}}{.} Wegen der ersten Gleichung ist
\mavergleichskettedisp
{\vergleichskette
{g
}
{ =} { h +rf
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{h \in {\mathfrak p}^{(n+1)}}{.} Wegen
\mathl{f \notin {\mathfrak p}}{} ist
\mavergleichskettedisp
{\vergleichskette
{ r
}
{ =} { { \frac{ g-h }{ f } }
}
{ \in} { {\mathfrak p}^{n}R_{\mathfrak p} \cap R
}
{ =} { {\mathfrak p}^{(n)}
}
{ } {
}
}
{}{}{.}
Die zuletzt bewiesene Gleichheit ergibt modulo ${\mathfrak p}^{(n+1)}$ die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}^{(n)} / {\mathfrak p}^{(n+1)}
}
{ =} { { \left( {\mathfrak p}^{(n)}/ {\mathfrak p}^{(n+1)} \right) } \cdot ( f)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies bedeutet wiederum
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}^{(n)}
}
{ =} { {\mathfrak p}^{(n+1)}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
nach
dem Lemma von Nakayama.
Dies bedeutet in $R_{\mathfrak p}$
\mavergleichskettedisp
{\vergleichskette
{ { \left( {\mathfrak p} R_{\mathfrak p} \right) }^n
}
{ =} { { \left( {\mathfrak p} R_{\mathfrak p} \right) }^{n+1}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dies ergibt aber, wieder nach einer Version des Lemmas von Nakyama
\zusatzklammer {siehe
Aufgabe 18.9} {} {,}
zunächst
\mavergleichskettedisp
{\vergleichskette
{ { \left( {\mathfrak p} R_{\mathfrak p} \right) }^n
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und, da $R$ integer ist,
\mavergleichskettedisp
{\vergleichskette
{{\mathfrak p} R_{\mathfrak p}
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und somit
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die im Satz angesprochenen Primideale nennt man auch die minimalen Primoberideale zu $f$. Sie sind typischerweise in $R$ keine minimalen Primideale, sondern sie entsprechen den minimalen Primidealen im Restklassenring
\mathl{R/(f)}{.} Wenn $R$ ein noetherscher Integritätsbereich und
\mavergleichskette
{\vergleichskette
{f
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, so bedeutet die Aussage, dass die minimalen Primoberideale zu $f$ die Höhe $1$ besitzen.
\inputfaktbeweis
{Kommutativer noetherscher Ring/Hauptidealsatz/Allgemein/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $R$ ein kommutativer
\definitionsverweis {noetherscher Ring}{}{}
und
\mavergleichskette
{\vergleichskette
{ f_1 , \ldots , f_n
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {Dann besitzt jedes
\definitionsverweis {Primideal}{}{}
${\mathfrak p}$, das oberhalb von
\mathl{(f_1 , \ldots , f_n )}{} liegt und minimal mit dieser Eigenschaft ist, eine
\definitionsverweis {Höhe}{}{}
$\leq n$.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir führen Induktion über $n$, der Fall
\mavergleichskette
{\vergleichskette
{n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist trivial und der Fall
\mavergleichskette
{\vergleichskette
{n
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
der Krullsche Hauptidealsatz.
Es sei ${\mathfrak p}$ das in Frage stehende Primideal. Wir können zur Lokalisierung übergehen und erhalten einen lokalen noetherschen Ring mit
\definitionsverweis {maximalem Ideal}{}{}
${\mathfrak m}$, das
\zusatzklammer {als Primideal} {} {}
minimal über
\mavergleichskettedisp
{\vergleichskette
{ { \left( f_1 , \ldots , f_n \right) }
}
{ \subseteq} { {\mathfrak m}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Insbesondere ist ${\mathfrak m}$ das einzige Primoberideal von
\mathl{(f_1 , \ldots , f_n)}{.} Es ist zu zeigen, dass die Dimension des Ringes höchstens $n$ ist. Sei
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}_0
}
{ \subset} { {\mathfrak p}_1
}
{ \subset \ldots \subset} { {\mathfrak p}_{k-1}
}
{ \subset} { {\mathfrak p}_k
}
{ =} { {\mathfrak m}
}
}
{}{}{}
eine Primidealkette. Es sei $i$ so gewählt, dass ${\mathfrak m}$ kein minimales Primideal über
\mathl{{\mathfrak p}_{k-1} +(f_1 , \ldots , f_{i-1})}{,} aber ein minimales Primideal über
\mathl{{\mathfrak p}_{k-1} +(f_1 , \ldots , f_{i-1 },f_{i} )}{} ist. Dabei ist $i$ zwischen
\mathkor {} {1} {und} {n} {.}
Wir betrachten die Situation modulo
\mathl{{\mathfrak p}_{k-1} +(f_1 , \ldots , f_{i-1})}{.} Das Primideal ${\mathfrak m}$ ist in
\mathl{R /{\mathfrak p}_{k-1} +(f_1 , \ldots , f_{i-1})}{} ein minimales Primoberideal zu
\mathl{(f_i)}{.} Nach
dem Krullschen Hauptidealsatz
besitzt ${\mathfrak m}$ in diesem Ring die Höhe $1$
\zusatzklammer {die Höhe $0$ ist wegen der Nichtminimalität ausgeschlossen} {} {.}
Es sei ${\mathfrak q}$ ein minimales Primoberideal
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak p}_{k-1} +(f_1 , \ldots , f_{i-1})
}
{ \subseteq} { {\mathfrak q}
}
{ \subset} { {\mathfrak m}
}
{ } {
}
{ } {
}
}
{}{}{.}
Da ${\mathfrak m}$ minimal über
\mathl{{\mathfrak q} +(f_i)}{} ist, besitzen diese beiden Ideale das gleiche Radikal. D.h. es gibt einen Exponenten $m$ derart, dass
\mavergleichskette
{\vergleichskette
{f_j^m
}
{ \in }{ {\mathfrak q} + (f_i)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle $j$ gilt. Wir schreiben dies für
\mavergleichskette
{\vergleichskette
{j
}
{ \neq }{i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
als
\mavergleichskette
{\vergleichskette
{f_j^m
}
{ = }{g_j +h_jf_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ g_j
}
{ \in }{ {\mathfrak q}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wir betrachten das Ideal
\mavergleichskettedisp
{\vergleichskette
{ { \left( g_j,\, j \neq i \right) }
}
{ \subseteq} { {\mathfrak q}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dabei muss ${\mathfrak q}$ ein minimales Primoberideal sein, da ${\mathfrak m}$ ein minimales Primoberideal zu
\mathl{{ \left( g_j,\, j \neq i \right) } +(f_i)}{} ist. Nach Induktionsvoraussetzung ist die Höhe von ${\mathfrak q}$ höchstens
\mathl{n-1}{} und somit ist die Höhe von ${\mathfrak m}$ höchstens $n$.
\inputfaktbeweis
{Kommutativer noetherscher Ring/Primideal/Höhe/Parameterrealisierung/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $R$ ein kommutativer
\definitionsverweis {noetherscher Ring}{}{}
und
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ \subseteq }{R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Primideal}{}{}
der
\definitionsverweis {Höhe}{}{}
$d$.}
\faktfolgerung {Dann gibt es Elemente
\mavergleichskettedisp
{\vergleichskette
{f_1 , \ldots , f_d
}
{ \subseteq} { {\mathfrak p}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
derart, dass ${\mathfrak p}$ ein
\definitionsverweis {minimales Primideal}{}{}
über
\mathl{{ \left( f_1 , \ldots , f_d \right) }}{} ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Wir führen Induktion nach $d$, bei
\mavergleichskette
{\vergleichskette
{d
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
liegt ein minimales Primideal
\zusatzklammer {über $0$} {} {}
vor. Sei
\mavergleichskette
{\vergleichskette
{d
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und die Aussage für kleinere Höhen bewiesen. Es seien
\mathl{{\mathfrak p}_1 , \ldots , {\mathfrak p}_r}{} die minimalen Primideale von $R$, die in ${\mathfrak p}$ enthalten sind. Dann gibt es nach
Lemma Anhang 15.1
ein
\mavergleichskettedisp
{\vergleichskette
{f
}
{ \in} { {\mathfrak p} \setminus \bigcup_{j = 1}^r {\mathfrak p}_j
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir betrachten das Primideal ${\mathfrak p}$ in
\mathl{R/(f)}{.} Da in $R/(f)$ nach Konstruktion die minimalen Primideale
\mathl{{\mathfrak p}_1 , \ldots , {\mathfrak p}_r}{} nicht überleben, besitzt ${\mathfrak p}$ dort eine Höhe
\mathl{\leq d-1}{.} Nach Induktionsvoraussetzung gibt es Elemente
\mavergleichskette
{\vergleichskette
{g_1 , \ldots , g_{d-1}
}
{ \in }{R/(f)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
über denen
\mathl{{\mathfrak p}}{} minimal ist. Es seien
\mathl{f_j}{} Repräsentenaten der $g_j$. Dann ist ${\mathfrak p}$ in $R$ minimal über
\mathl{f_1 , \ldots , f_{d-1},f}{.}
\inputfaktbeweis
{Kommutativer noetherscher Ring/Lokal/Parameterrealisierung/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $(R, {\mathfrak m} )$ ein
\definitionsverweis {noetherscher}{}{}
\definitionsverweis {lokaler Ring}{}{}
der
\definitionsverweis {Dimension}{}{}
$d$.}
\faktfolgerung {Dann gibt es Elemente
\mavergleichskette
{\vergleichskette
{f_1 , \ldots , f_d
}
{ \in }{ {\mathfrak m}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{rad} { \left( f_1 , \ldots , f_d \right) }
}
{ =} { {\mathfrak m}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt direkt aus Satz 18.8.
Elemente
\mathl{f_1 , \ldots , f_d}{} nennt man auch \stichwort {Parameter} {} des lokalen Ringes. Geometrisch
\zusatzklammer {d.h. bis auf das Radikal} {} {}
kann man also in jedem lokalen noetherschen Ring das maximale Ideal durch $d$ Elemente beschreiben.