Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 6/latex
\setcounter{section}{6}
\zwischenueberschrift{Von binomialen Gleichungen zu Exponentengleichungen}
Es seien Variablen
\mathl{X_1 , \ldots , X_n}{} und eine Familie von binomialen Gleichungen
\mavergleichskettedisp
{\vergleichskette
{X^{\mu_j}
}
{ =} {X^{\nu_j}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zu
\mavergleichskette
{\vergleichskette
{j
}
{ \in }{J
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Zum Ideal
\mavergleichskettedisp
{\vergleichskette
{ { \left( X^{\mu_j} - X^{\nu_j} , j \in J \right) }
}
{ \subseteq} { K[X_1 , \ldots , X_n ]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gehören neben anderen Polynomen auch noch viele weitere binomiale Polynome und im Restklassenring, also dem
\definitionsverweis {affinen Koordinatenring}{}{}
der durch die binomialen Gleichungen definierten affin-algebraischen Menge gelten noch weitere binomiale Identitäten. Wenn beispielsweise
\mathl{X^2-Y^3}{} zur definierenden Familie gehört, so gilt auch
\mavergleichskettedisp
{\vergleichskette
{YX^2
}
{ =} {Y^4
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und wenn auch noch
\mathl{X^2-Z^5}{} dazu gehört, so gilt im Restklassenring auch
\mavergleichskettedisp
{\vergleichskette
{Y^3
}
{ =} {Z^5
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Gleichungen haben nichts mit dem gewählten Grundkörper oder Grundring zu tun, sie beruhen vielmehr auf Identitäten in den Exponententupeln $\nu \in \N^n$. Die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{X^\mu
}
{ =} { X_1^{\mu_1} \cdots X_n^{\mu_n}
}
{ =} { X_1^{\nu_1} \cdots X_n^{\nu_n}
}
{ =} { X^{\nu}
}
{ } {
}
}
{}{}{,}
die im Restklassenring gilt, kann man so verstehen, dass auf der Exponentenebene die Gleichung
\mavergleichskettedisp
{\vergleichskette
{ \left( {\mu_1} , \, \ldots , \, {\mu_n} \right)
}
{ =} { \left( {\nu_1} , \, \ldots , \, {\nu_n} \right)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gelten soll. Da die Gleichheit
\mavergleichskette
{\vergleichskette
{X^\mu
}
{ = }{ X^{\nu}
}
{ }{
}
{ }{}
{ }{}
}
{}{}{}
im Restklassenring auch die Gleichheit
\mavergleichskette
{\vergleichskette
{ X^\mu X^\lambda
}
{ = }{ X^{\nu} X^\lambda
}
{ }{
}
{ }{}
{ }{}
}
{}{}{}
für alle Exponententupel $\lambda$ erzwingt, sollte auf der Ebene der Exponenten die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ \mu + \lambda
}
{ =} { \nu + \lambda
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gelten. Man beachte, dass man diese Gleichheit additiv schreiben muss, da eine Addition der Exponenten der Multiplikation der Monome entspricht. Wir fragen uns, was das richtige Konzept für eine Exponentenmenge ist, und wie man aus ihr bei gegebenem Grundring $K$ eine Algebra konstruieren kann, in der dann genau die durch die in der Exponentenmenge codierten Gleichungen für die Monome gelten.
\mathdisp {\begin{matrix} \text{ Exponententupel } & & \text{ Algebra } \\ \N^n & \stackrel{?} { \mapsto} & K[X_1 , \ldots , X_n ] \\ ? & \stackrel{?} { \mapsto} & K[X_1 , \ldots , X_n ]/ { \left( X^{\mu_j} - X^{\nu_j} , j \in J \right) }\end{matrix}} { . }
Diese Fragestellung führt zu Monoidringen. Da auf der Algebraseite eine Restklassenbildung
\zusatzklammer {modulo dem binomialen Ideal} {} {}
vorliegt, kann man sich fragen, wie auf der Exponentenseite eine entsprechende Konstruktion aussehen muss. Zwar ist $\N^n$ keine Gruppe, es ist aber dennoch einfach, ein passendes Konzept zu entwickeln.
\inputdefinition
{}
{
Man sagt, dass eine
\definitionsverweis {Äquivalenzrelation}{}{}
$\sim$ auf einem
\definitionsverweis {kommutativen Monoid}{}{}
\mathl{(M,0,+)}{}
\definitionswort {mit der Verknüpfung verträglich}{}
ist, wenn aus
\mavergleichskette
{\vergleichskette
{\mu
}
{ \sim }{ \nu
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{\lambda
}
{ \sim }{ \kappa
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
stets
\mavergleichskette
{\vergleichskette
{\mu + \lambda
}
{ \sim }{ \nu + \kappa
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{ \mu, \nu, \lambda, \kappa
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}
Es lässt sich direkt zeigen, dass auf der \definitionsverweis {Quotientenmenge}{}{} $M/ \sim$ zu einer mit der Verknüpfung verträglichen Äquivalenzrelation eine eindeutig bestimmte Monoidstruktur derart existiert, dass die kanonische Abbildung \maabb {} {M} {M/ \sim } {} ein \definitionsverweis {Monoidhomomorphismus}{}{} ist, siehe Aufgabe 6.5.
\zwischenueberschrift{Monoidringe}
\inputdefinition
{}
{
Es sei $M$ ein kommutatives
\zusatzklammer {additiv geschriebenes} {} {}
\definitionsverweis {Monoid}{}{}
und $R$ ein
\definitionsverweis {kommutativer Ring}{}{.}
Dann wird der \definitionswort {Monoidring}{} $R[M]$ wie folgt konstruiert. Als
$R$-\definitionsverweis {Modul}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{ R[M]
}
{ =} {\bigoplus_{m \in M} R e_m
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
d.h. $R [M]$ ist der
\definitionsverweis {freie Modul}{}{}
mit
\definitionsverweis {Basis}{}{}
\mathbed {e_m} {}
{m \in M} {}
{} {} {} {.}
Die Multiplikation wird auf den Basiselementen durch
\mavergleichskettedisp
{\vergleichskette
{ e_m \cdot e_k
}
{ \defeq} {e_{m+k}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert und auf ganz
\mathl{R[M]}{} distributiv fortgesetzt. Dabei definiert das neutrale Element
\mathl{0 \in M}{} das neutrale Element
\mavergleichskette
{\vergleichskette
{1
}
{ = }{e_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der Multiplikation.
}
\inputbemerkung
{}
{
Ein Element in einem
\definitionsverweis {Monoidring}{}{}
lässt sich eindeutig als
\mavergleichskettedisp
{\vergleichskette
{ f
}
{ =} { \sum_{m \in \tilde{M} } a_m e_m
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
schreiben, wobei
\mavergleichskette
{\vergleichskette
{ \tilde{M}
}
{ \subseteq }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine endliche Teilmenge ist und
\mathl{a_m \in R}{.} Addiert wird komponentenweise und die Multiplikation ist explizit durch
\mavergleichskettedisp
{\vergleichskette
{f\cdot g
}
{ =} { { \left( \sum_{m \in \tilde{M} } a_m e_m \right) } { \left( \sum_{k \in \bar{M} } b_k e_k \right) }
}
{ =} { \sum_{\ell \in M} { \left( \sum_{m+k = \ell, m \in \tilde{M}, k \in \bar{M} } a_mb_k \right) } e_\ell
}
{ } {}
{ } {}
}
{}{}{}
gegeben. Dies ist mit distributiver Fortsetzung gemeint. Die Menge der $\ell$, über die hier summiert wird, ist endlich, und auch die inneren Summen sind jeweils endlich.
Es ist üblich, statt $e_m$ suggestiver $X^m$ zu schreiben, wobei $X$ ein Symbol ist, das an eine Variable erinnern soll. Die Multiplikationsregel
\mavergleichskette
{\vergleichskette
{ X^m X^k
}
{ = }{X^{m+k}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erinnert dann an die entsprechende Regel für Polynomringe. In der Tat sind Polynomringe Spezialfälle von Monoidringen, und diese Notation stammt von dort. Auch ein exakter Beweis, dass in der Tat ein Ring mit assoziativer und distributiver Multiplikation vorliegt, funktioniert wie im Fall von Polynomringen. Meistens schreibt man ein Element einfach als
\mathl{\sum_{m \in M } a_m X^m}{,} wobei fast alle
\mavergleichskette
{\vergleichskette
{a_m
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sind. Elemente der Form $X^m$ nennt man \stichwort {Monome} {.} Die Abbildung
\maabbele {} {M} { R[M]
} {m} { X^m
} {,}
ist ein Monoidhomomorphismus, wobei rechts die multiplikative Monoidstruktur des Monoidringes genommen wird.
Ein Monoidring ist in natürlicher Weise eine
$R$-\definitionsverweis {Algebra}{}{,}
und zwar sind die Elemente $f$ aus $R$ aufgefasst in $R[M]$ gleich
\mavergleichskettedisp
{\vergleichskette
{f
}
{ =} {f \cdot 1
}
{ =} {fX^0
}
{ } {
}
{ } {
}
}
{}{}{.}
Man nennt daher auch $R$ den \stichwort {Grundring} {} des Monoidringes. Monoidringe sind bereits für
\definitionsverweis {Grundkörper}{}{}
interessant.
}
\inputbeispiel{}
{
Es sei $n$ eine natürliche Zahl und
\mavergleichskette
{\vergleichskette
{M
}
{ = }{\N^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das $n$-fache direkte Produkt der natürlichen Zahlen. Ein Element
\mathl{k \in \N^n}{} ist also ein $n$-Tupel
\mathl{(k_1, \ldots , k_n)}{} mit
\mathl{k_i \in \N}{.} Dies kann man auch als
\mavergleichskettedisp
{\vergleichskette
{ (k_1, \ldots , k_n)
}
{ =} { k_1(1,0,0, \ldots , 0) + k_2(0, 1,0, \ldots , 0) + \ldots + k_n(0,0,0, \ldots , 1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
schreiben. Damit lässt sich das zugehörige Monom $X^k$ eindeutig als
\mavergleichskettedisp
{\vergleichskette
{ X^k
}
{ =} {X_1^{k_1} X_2^{k_2} \cdots X_n^{k_n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
schreiben, wobei wir
\mavergleichskette
{\vergleichskette
{ X_i
}
{ = }{ X^{e_i}
}
{ = }{ X^{(0 , \ldots , 0,1, 0, \ldots ,0) }
}
{ }{
}
{ }{
}
}
{}{}{}
für das Monom zum $i$-ten Basiselement geschrieben haben. Das bedeutet aber, dass der Monoidring zum Monoid $\N^n$ über $R$ genau der Polynomring in $n$ Variablen ist. Insbesondere ist
\mavergleichskette
{\vergleichskette
{ R[\N]
}
{ = }{ R[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Der Monoidring zum trivialen Monoid
\mathl{\{0\}}{} ist der Grundring selbst.
}
\inputbeispiel{}
{
Es sei $n$ eine natürliche Zahl und
\mathl{M=\Z^n}{} das $n$-fache direkte Produkt der ganzen Zahlen. $M$ ist also die
\definitionsverweis {freie kommutative Gruppe}{}{}
vom Rang $n$. Jedes Element
\mathl{k \in \Z^n}{} ist ein $n$-Tupel
\mathl{(k_1 , \ldots , k_n)}{} mit
\mathl{k_i \in \Z}{.} Dies kann man auch als
\mavergleichskettedisp
{\vergleichskette
{ (k_1, \ldots , k_n)
}
{ =} { k_1(1,0,0, \ldots , 0) + k_2(0, 1,0, \ldots , 0) + \ldots + k_n(0,0,0, \ldots , 1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
schreiben und das zugehörige Monom $X^k$ kann man eindeutig als
\mavergleichskettedisp
{\vergleichskette
{ X^k
}
{ =} { X_1^{k_1} X_2^{k_2} \cdots X_n^{k_n}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit
\mathl{k_i \in \Z}{} schreiben, wobei wir wieder
\mavergleichskette
{\vergleichskette
{ X_i
}
{ = }{ X^{e_i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
geschrieben haben. Für diesen Monoidring schreibt man auch
\mavergleichskettedisp
{\vergleichskette
{ R[M]
}
{ =} { R[X_1 , \ldots , X_n,X_1^{-1} , \ldots , X_n^{-1}]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
und dieser ist isomorph zur Nenneraufnahme des Polynomringes am Produkt der Variablen, also
\mavergleichskettedisp
{\vergleichskette
{R[M]
}
{ =} {R[X_1 , \ldots , X_n,X_1^{-1} , \ldots , X_n^{-1} ]
}
{ =} {R[X_1 , \ldots , X_n]_{X_1 \cdots X_n}
}
{ } {}
{ } {}
}
{}{}{,}
Diesen Ring nennt man auch den
\definitionswortenp{Laurent-Ring}{} in $n$ Variablen über $R$.
}
\inputbeispiel{}
{
Wie in Beispiel 5.1 \zusatzklammer {auf der Ebene der Nullstellenmengen} {} {} beschrieben gibt es einen $K$-\definitionsverweis {Algebraisomorphismus}{}{} \maabbdisp {} {K[X_1 , \ldots , X_n ]/ { \left( X_1 \cdots X_n-1 \right) } } {K[X_1 , \ldots , X_{n-1}, X_1^{-1} , \ldots , X_{n-1}^{-1} ] \cong K[\Z^{n-1}] } {.}
}
\zwischenueberschrift{Universelle Eigenschaft der Monoidringe}
\inputfaktbeweis
{Kommutative Monoidringe/Universelle Eigenschaft für R-Algebren mit Monoidabbildung/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{}
und sei $M$ ein
\definitionsverweis {kommutatives Monoid}{}{.}
Es sei $B$ eine kommutative $R$-Algebra und
\maabbdisp {\varphi} {M} {B
} {}
ein
\definitionsverweis {Monoidhomomorphismus}{}{}
\zusatzklammer {bezüglich der multiplikativen Struktur von $B$} {} {.}}
\faktfolgerung {Dann gibt es einen eindeutig bestimmten
$R$-\definitionsverweis {Algebrahomomorphismus}{}{}
\maabbdisp {\tilde{\varphi}} {R [M]} { B
} {}
derart, dass das Diagramm
\mathdisp {\begin{matrix}M & \stackrel{ }{\longrightarrow} & R[M] & \\ & \searrow & \downarrow & \\ & & B
& \!\!\!\!\! \!\!\! \\ \end{matrix}} { }
kommutiert.}
\faktzusatz {}
\faktzusatz {}
}
{
Ein
$R$-\definitionsverweis {Modulhomomorphismus}{}{}
\maabb {\tilde{\varphi}} { R[M]} {B
} {}
ist festgelegt durch die Bilder der Basiselemente
\mathbed {X^m} {}
{m \in M} {}
{} {} {} {.}
Das Diagramm kommutiert genau dann, wenn
\mavergleichskette
{\vergleichskette
{ \tilde{\varphi} { \left( X^m \right) }
}
{ = }{ \varphi(m)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Durch diese Bedingung ist die Abbildung also eindeutig festgelegt und ist bereits ein $R$-Modulhomomorphismus. Es ist zu zeigen, dass dieser Homomorphismus auch die Multiplikation respektiert. Es ist
\mavergleichskette
{\vergleichskette
{ \tilde{\varphi}(1)
}
{ = }{\tilde{\varphi} { \left( X^0 \right) }
}
{ = }{\varphi(0)
}
{ = }{1
}
{ }{
}
}
{}{}{.}
Ferner ist
\mavergleichskettedisp
{\vergleichskette
{ \tilde{\varphi} { \left( X^m X^k \right) }
}
{ =} { \tilde{\varphi} { \left( X ^{m+k} \right) }
}
{ =} { {\varphi(m+k)}
}
{ =} { \varphi(m) \cdot \varphi(k)
}
{ =} { \tilde{\varphi} { \left( X^m \right) } \cdot \tilde{\varphi} { \left( X^k \right) }
}
}
{}{}{.}
Auf der Ebene der Monome respektiert die Abbildung also die Multiplikation. Daraus folgen für Elemente
\mavergleichskette
{\vergleichskette
{f
}
{ = }{ \sum_{m \in M} a_m X^m
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{g
}
{ = }{ \sum_{k \in M} b_k X^k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Identitäten
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \tilde{\varphi} { \left( { \left( \sum_{m \in M} a_m X^m \right) } { \left( \sum_{k \in M} b_k X^k \right) } \right) }
}
{ =} { \tilde{\varphi} { \left( \sum_{\ell \in M} { \left( \sum_{m+k = \ell} a_mb_k \right) } X^\ell \right) }
}
{ =} { \sum_{\ell \in M} { \left( \sum_{m+k = \ell} a_mb_k \right) } \varphi(\ell)
}
{ =} { \sum_{m,k \in M} a_mb_k \varphi(m)\varphi(k)
}
{ =} { { \left( \sum_{m \in M} a_m \varphi(m) \right) } { \left( \sum_{k \in M} b_k \varphi(k) \right) }
}
}
{
\vergleichskettefortsetzungalign
{ =} { \tilde{\varphi} { \left( \sum_{m \in M} a_m X^m \right) } \tilde{\varphi} { \left( \sum_{k \in M} b_k X^k \right) }
}
{ } {}
{ } {}
{ } {}
}
{}{,}
so dass die Abbildung ein Ringhomomorphismus ist.
Die folgende Aussage bedeutet, in Zusammenhang mit
Aufgabe 6.18,
dass bei fixiertem Grundring $R$ die Zuordnung, die einem Monoid $M$ den Monoidring $R[M]$ zuordnet, ein \stichwort {Funktor} {} ist.
\inputfaktbeweis
{Kommutative Monoidringe/Funktorialität im Monoid/Fakt}
{Korollar}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{.} Es seien $M$ und $N$
\definitionsverweis {kommutative Monoide}{}{} und sei
\maabbdisp {\varphi} {M} {N
} {}
ein
\definitionsverweis {Monoidhomomorphismus}{}{.}}
\faktfolgerung {Dann induziert dies einen
$R$-\definitionsverweis {Algebrahomomorphismus}{}{} zwischen den zugehörigen
\definitionsverweis {Monoidringen}{}{}
\maabbeledisp {\tilde{\varphi}} { R [M] } { R[N]
} {X^m } {X^{\varphi(m)}
} {.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt aus
Satz 6.7
angewandt auf die
$R$-Algebra
\mavergleichskette
{\vergleichskette
{B
}
{ = }{R[N]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und den zusammengesetzten Monoidhomomorphismus
\mathl{M \stackrel{\varphi}{\rightarrow} N \rightarrow R[N]}{.}
\inputbemerkung
{}
{
Eine Familie von Elementen
\mathbed {m_i \in M} {}
{i \in I} {}
{} {} {} {,}
in einem Monoid $M$ ergibt einen
\definitionsverweis {Monoidhomomorphismus}{}{}
\maabb {} {\N^{(I)} } { M
} {,}
indem das $i$-te Basiselement $e_i$ auf $m_i$ geschickt wird. Dies ist insbesondere für endliche Indexmengen
\mavergleichskette
{\vergleichskette
{I
}
{ = }{{ \{ 1 , \ldots , n \} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
relevant. Der Monoidhomomorphismus induziert dann nach
Korollar 6.8
einen
$R$-\definitionsverweis {Algebrahomomorphismus}{}{}
\maabb {} {R[\N^n]=R[X_1 , \ldots , X_n] } {R[M]
} {}
von der Polynomalgebra in den Monoidring. Diese Abbildung ist der
\definitionsverweis {Einsetzungshomomorphismus}{}{,}
der durch
\mathl{X_i \mapsto X^{m_i}}{} gegeben ist.
}
\inputfaktbeweis
{Kommutative Monoidringe/Funktorialität im Monoid/Surjektivität/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $R$ ein von $0$ verschiedener
\definitionsverweis {kommutativer Ring}{}{.}
Es seien $M$ und $N$
\definitionsverweis {kommutative Monoide}{}{}
und sei
\maabb {\varphi} {M} {N
} {}
ein
\definitionsverweis {Monoidhomomorphismus}{}{.}}
\faktfolgerung {Dann ist $\varphi$ genau dann injektiv
\zusatzklammer {surjektiv} {} {,}
wenn der zugehörige
$R$-\definitionsverweis {Algebrahomomorphismus}{}{}
\maabb {\tilde{\varphi}} { R[M]} {R[N]
} {}
injektiv
\zusatzklammer {surjektiv} {} {}
ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei $\varphi$ injektiv, und angenommen, dass
\mavergleichskettedisp
{\vergleichskette
{ \tilde{\varphi} { \left( \sum_{m \in M} a_mX^m \right) }
}
{ =} { \sum_{m \in M} a_m X^{\varphi(m)}
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{.}
Da die \mathind { \varphi(m) } { m \in M }{,} alle verschieden sind, folgt daraus
\mavergleichskette
{\vergleichskette
{a_m
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Ist umgekehrt $\varphi$ nicht injektiv, sagen wir \mathind { \varphi(m)= \varphi(k) } { m \neq k }{,} so ist auch
\mavergleichskette
{\vergleichskette
{ \tilde{\varphi} (X^m)
}
{ = }{ \tilde{\varphi} (X^k)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
obwohl
\mavergleichskette
{\vergleichskette
{ X^m
}
{ \neq }{ X^k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
Ist $\varphi$ surjektiv, so kann man für ein beliebiges Element
\mathl{\sum_{n \in N} a_nX^n}{} aus $R[N]$ sofort ein Urbild angeben, nämlich
\mathl{\sum_{n \in N} a_nX^{m_n}}{,} wobei $m_n$ ein beliebiges Urbild von $n$ sei. Ist hingegen $\varphi$ nicht surjektiv, so sei
\mathl{n \in N}{} ein Element, das nicht zum Bild gehört. Dann ist das Monom $X^n$ von $0$ verschieden und kann nicht im Bild des Algebrahomomorphismus liegen.
\inputfaktbeweis
{Kommutative Monoidringe/Erzeugendensystem für Monoid und Polynomring/Fakt}
{Korollar}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $R$ ein von $0$ verschiedener
\definitionsverweis {kommutativer Ring}{}{.}
Es sei $M$ ein
\definitionsverweis {kommutatives Monoid}{}{}
und \mathind { m_i \in M } { i \in I }{,} eine Familie von Elementen aus $M$.}
\faktfolgerung {Dann bilden die $m_i$ genau dann ein Monoid-Erzeugendensystem für $M$, wenn die \mathind { X^{m_i} } { i \in I }{,} ein $R$-Algebra-Erzeugendensystem für den Monoidring $R[M]$ bilden.}
\faktzusatz {}
\faktzusatz {}
}
{
Die \mathind { m_i } { i \in I }{,} bilden genau dann ein \definitionsverweis {Monoid-Erzeugendensystem}{}{} für $M$, wenn der \definitionsverweis {Monoidhomomorphismus}{}{} \maabb {} {{\N}^{(I)}} {M } {} surjektiv ist. Dies ist nach Lemma 6.10 genau dann der Fall, wenn der zugehörige Homomorphismus \maabbeledisp {} {R[X_i, i \in I] } { R[M] } {X_i} { X^{m_i} } {,} surjektiv ist. Dies ist aber genau dann der Fall, wenn die $X^{m_i}$ ein $R$-Algebra-Erzeugendensystem bilden.
\zwischenueberschrift{Monoidring und binomiales Ideal}
\inputfaktbeweis
{Monoidring/Erzeuger und Relationen/Ideal/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $M$ ein endlich erzeugtes kommutatives Monoid mit einer Darstellung
\mavergleichskette
{\vergleichskette
{M
}
{ = }{ \N^n/ \sim
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und es sei $R$ ein
\definitionsverweis {kommutativer Ring}{}{.}}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{R[M]
}
{ =} { R[X_1 , \ldots , X_n ] / { \left( X^\mu -X^\nu {{|}} \mu \sim \nu \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Ein Monoidring besitzt also eine Darstellung als
\definitionsverweis {Restklassenring}{}{}
zu einem von
\definitionsverweis {binomialen Polynomen}{}{}
\definitionsverweis {erzeugten Ideal}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Der surjektive
\definitionsverweis {Monoidhomomorphismus}{}{}
\maabbdisp {} {\N^n} { M = \N^n/\sim
} {}
induziert nach
Korollar 6.8
und
Lemma 6.10
einen surjektiven
$R$-\definitionsverweis {Algebrahomomorphismus}{}{}
\maabbdisp {\varphi} {R[\N^n] = R[X_1 , \ldots , X_n] } { R[M]
} {.}
Wir müssen zeigen, dass der Kern dieser Abbildung gleich dem von den binomialen Polynomen
\mathl{X^\mu- X^\nu}{} zu
\mathl{\mu \sim \nu}{} in $\N^n$ erzeugten Ideal ist. Diese werden auf $0$ abgebildet und gehören somit zum Kern.
Die andere Inklusion beweisen wir mittels einer
\definitionsverweis {Wohlordnung}{}{}
auf $\N^n$, z.B. der
\definitionsverweis {gradlexikographischen Ordnung}{}{.}
Zunächst besitzt jedes Element aus $M$ einen eindeutig bestimmten minimalem Repräsentanten aus $\N^n$. Wir beweisen die Inklusion
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{kern} \varphi
}
{ \subseteq} { { \left( X^\mu -X^\nu {{|}} \mu \sim \nu \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
durch Induktion über die Wohlordnung, bezogen auf das Leitmonom zu einem Polynom
\mavergleichskette
{\vergleichskette
{F
}
{ \in }{ \operatorname{kern} \varphi
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Der Induktionsanfang ist klar, da Monome und erst recht einzelne Variablen im Monoidring nicht $0$ sind. Sei
\mavergleichskettedisp
{\vergleichskette
{F
}
{ =} { a_\mu X^\mu + \text{ Summe kleinerer Monome}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wenn $\mu$ der kleinste Vertreter in seiner Äquivalenzklasse wäre, so könnte sich
\mathl{a_\mu X^\mu}{} nicht mit anderen Termen in
\mathl{R[M]}{} wegheben. Also ist
\mavergleichskette
{\vergleichskette
{\mu
}
{ \sim }{\nu
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit einem kleineren Monom $\nu$ und somit kann man
\mavergleichskettedisp
{\vergleichskette
{F
}
{ =} { a_\mu(X^\mu-X^\nu) + { \left( F- a_\mu(X^\mu-X^\nu) \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
schreiben. Der linke Summand gehört zum binomialen Ideal, der rechte Summand gehört zum Kern und gehört somit aufgrund der Induktionsvoraussetzung ebenfalls zum binomialen Ideal.
Die folgende Aussage knüpft an
Lemma 5.3
an.
\inputfaktbeweis
{Ebene monomiale Kurve/Teilerfremd/Ideal/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{,}
seien
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {teilerfremde}{}{}
Zahlen und sei
\mavergleichskette
{\vergleichskette
{ X^a-Y^b
}
{ \in }{ K[X,Y]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das zugehörige
\definitionsverweis {binomiale Polynom}{}{.}
Es sei
\mavergleichskette
{\vergleichskette
{M
}
{ = }{ \langle a,b\rangle
}
{ \subseteq }{\N
}
{ }{
}
{ }{
}
}
{}{}{}
das von
\mathkor {} {a} {und} {b} {}
erzeugte Untermonoid.}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{K [M]
}
{ \cong} { K[X,Y]/ { \left( X^a-Y^b \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir gehen vom Monoidhomomorphismus
\maabb {\varphi} {\N^2} { \N
} {}
mit
\mavergleichskette
{\vergleichskette
{\varphi(e_1)
}
{ = }{b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{\varphi(e_2)
}
{ = }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
aus. Das Bild ist das von
\mathkor {} {a} {und} {b} {}
erzeugte Untermonoid $M$ von $\N$. Unter dieser Abbildung werden
\mathkor {} {ae_1} {und} {be_2} {}
auf das gleiche Element $ab$ abgebildet. Wenn unter $\varphi$ die beiden Paare
\mathkor {} {(r,s)} {und} {(u,v)} {}
auf das gleiche Element abgebildet werden, so gilt
\mavergleichskette
{\vergleichskette
{rb+sa
}
{ = }{ ub+va
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und somit
\mavergleichskette
{\vergleichskette
{(r-u)b
}
{ = }{(v-s)a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wobei wir annehmen dürfen, dass die beiden Differenzen nichtnegativ sind. Wegen der Teilerfremdheit muss
\mavergleichskette
{\vergleichskette
{r-u
}
{ = }{ \ell a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Vielfaches von $a$ und entsprechend
\mavergleichskette
{\vergleichskette
{v-s
}
{ = }{ \ell b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein. Doch dann ist
\mavergleichskettedisp
{\vergleichskette
{(r,s)
}
{ =} { (u+\ell a,v- \ell b)
}
{ =} { (u,v) + \ell (a,-b)
}
{ } {
}
{ } {
}
}
{}{}{}
bzw.
\mavergleichskettedisp
{\vergleichskette
{ (r,s) + \ell (0,b)
}
{ =} { (u,v) + \ell (a,0)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Das bedeutet, dass die Äquivalenzrelation auf $\N^2$, die zu $\varphi$ gehört, allein durch die eine Bedingung
\mavergleichskette
{\vergleichskette
{ a(1,0)
}
{ \sim }{b(0,1)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erzwungen wird. Es ist also
\mavergleichskettedisp
{\vergleichskette
{ \N^2/ a e_1 \sim b e_2
}
{ \cong} { M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Das zugehörige binomiale Ideal ist
\mathl{{ \left( X^a-Y^b \right) }}{} und nach
Lemma 6.12
ist
\mavergleichskettedisp
{\vergleichskette
{ K[X,Y]/{ \left( X^a-Y^b \right) }
}
{ \cong} { K[M]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\zwischenueberschrift{Das $K$-Spektrum eines Monoidringes}
\inputdefinition
{ }
{
Zu einem \definitionsverweis {kommutativen Monoid}{}{} $M$ und einem \definitionsverweis {kommutativen Ring}{}{} $R$ nennt man einen \definitionsverweis {Monoidhomomorphismus}{}{} \maabbdisp {} {M} { (R,\cdot,1) } {} auch einen \definitionswortpraemath {R}{ wertigen Punkt }{} von $M$.
}
\inputbemerkung
{ }
{
Ein $R$-wertiger Punkt ist nach
Satz 6.7
äquivalent zu einem
$R$-\definitionsverweis {Algebrahomomorphismus}{}{}
von $R[M]$ nach $R$. Diese Sprechweise ist insbesondere im Fall eines Grundkörpers $K$ üblich. Dann haben wir also
\mavergleichskettedisp
{\vergleichskette
{ K\!-\!\operatorname{Spek}\, { \left( K[M] \right) }
}
{ =} { \operatorname{Hom}^{\rm alg}_{ K } \, { \left( K[M],K \right) }
}
{ =} { \operatorname{Mor}_{ \operatorname{mon} } \, (M, K)
}
{ =} { \{K-\text{wertige Punkte von } M \}
}
{ } {}
}
{}{}{.}
Das bedeutet, dass hier das $K$-Spektrum bereits auf der Ebene des Monoids eine einfache Beschreibung besitzt, die rein multiplikativ ist. Das impliziert, wie wir sehen werden, dass es für die $K$-Spektren der Monoidringe im Allgemeinen eine viel übersichtlichere Beschreibung gibt als sonst. Man beachte allerdings, dass zur Definition der Zariski-Topologie und der Garbe der algebraischen Funktionen auf
\mathl{K\!-\!\operatorname{Spek}\, { \left( K[M] \right) }}{} der Monoidring unverzichtbar ist.
}