Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 17

Nachdem wir nun die Theorie hinreichend weit entwickelt haben, wenden wir uns nun einer umfassenden Beispielsklasse zu, den Monoidringen.

Monoidringe

Definition

Es sei ${}M$ ein kommutatives (additiv geschriebenes) Monoid und ${}R$ ein kommutativer Ring. Dann wird der Monoidring ${}R[M]$ wie folgt konstruiert. Als ${}R$- Modul ist

${}R[M]=\bigoplus _{m\in M}Re_{m}\,,$

d.h. ${}R[M]$ ist der freie Modul mit Basis ${}e_{m}$, ${}m\in M$. Die Multiplikation wird auf den Basiselementen durch

${}e_{m}\cdot e_{k}:=e_{m+k}\,$

definiert und auf ganz ${}R[M]$ distributiv fortgesetzt. Dabei definiert das neutrale Element ${}0\in M$ das neutrale Element ${}1=e_{0}$ der Multiplikation.

Bemerkung  

Ein Element in einem Monoidring lässt sich eindeutig als

${}f=\sum _{m\in {\tilde {M}}}a_{m}e_{m}\,,$

schreiben, wobei ${}{\tilde {M}}\subseteq M$ eine endliche Teilmenge ist und ${}a_{m}\in R$. Addiert wird komponentenweise und die Multiplikation ist explizit durch

${}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_{m}b_{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 ${}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 ${}\sum _{m\in M}a_{m}X^{m}$, wobei fast alle ${}a_{m}=0$ sind. Elemente der Form ${}X^{m}$ nennt man Monome. Die Abbildung ${}M\longrightarrow R[M]$, ${}m\longmapsto X^{m}$, ist ein Monoidhomomorphismus, wobei rechts die multiplikative Monoidstruktur des Monoidringes genommen wird.

Ein Monoidring ist in natürlicher Weise eine ${}R$- Algebra, und zwar sind die Elemente ${}f$ aus ${}R$ aufgefasst in ${}R[M]$ gleich

${}f=f\cdot 1=fX^{0}\,.$

Man nennt daher auch ${}R$ den Grundring des Monoidringes. Monoidringe sind bereits für Grundkörper interessant.

Beispiel

Es sei ${}n$ eine natürliche Zahl und ${}M=\mathbb {N} ^{n}$ das ${}n$-fache direkte Produkt der natürlichen Zahlen. Ein Element ${}k\in \mathbb {N} ^{n}$ ist also ein ${}n$-Tupel ${}(k_{1},\ldots ,k_{n})$ mit ${}k_{i}\in \mathbb {N}$. Dies kann man auch als

${}(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

${}X^{k}=X_{1}^{k_{1}}X_{2}^{k_{2}}\cdots X_{n}^{k_{n}}\,$

schreiben, wobei wir ${}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 ${}\mathbb {N} ^{n}$ über ${}R$ genau der Polynomring in ${}n$ Variablen ist. Insbesondere ist ${}R[\mathbb {N} ]=R[X]$. Der Monoidring zum trivialen Monoid ${}\{0\}$ ist der Grundring selbst.

Beispiel

Es sei ${}n$ eine natürliche Zahl und ${}M=\mathbb {Z} ^{n}$ das ${}n$-fache direkte Produkt der ganzen Zahlen. ${}M$ ist also die freie kommutative Gruppe vom Rang ${}n$. Jedes Element ${}k\in \mathbb {Z} ^{n}$ ist ein ${}n$-Tupel ${}(k_{1},\ldots ,k_{n})$ mit ${}k_{i}\in \mathbb {Z}$. Dies kann man auch als

${}(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

${}X^{k}=X_{1}^{k_{1}}X_{2}^{k_{2}}\cdots X_{n}^{k_{n}}\,$

mit ${}k_{i}\in \mathbb {Z}$ schreiben, wobei wir wieder ${}X_{i}=X^{e_{i}}$ geschrieben haben. Für diesen Monoidring schreibt man auch

${}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

${}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 Laurent-Ring in ${}n$ Variablen über ${}R$.

Universelle Eigenschaft der Monoidringe

Satz

Es sei ${}R$ ein kommutativer Ring und sei ${}M$ ein kommutatives Monoid. Es sei ${}B$ eine kommutative ${}R$-Algebra und

$\varphi \colon M\longrightarrow B$

ein Monoidhomomorphismus (bezüglich der multiplikativen Struktur von ${}B$).

Dann gibt es einen eindeutig bestimmten ${}R$- Algebrahomomorphismus

${\tilde {\varphi }}\colon R[M]\longrightarrow B$

derart, dass das Diagramm

${\begin{matrix}M&{\stackrel {}{\longrightarrow }}&R[M]&\\&\searrow &\downarrow &\\&&B&\!\!\!\!\!\!\!\!\\\end{matrix}}$

kommutiert.

Beweis

Ein ${}R$- Modulhomomorphismus ${}{\tilde {\varphi }}\colon R[M]\rightarrow B$ ist festgelegt durch die Bilder der Basiselemente ${}X^{m}$, ${}m\in M$. Das Diagramm kommutiert genau dann, wenn ${}{\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 ${}{\tilde {\varphi }}(1)={\tilde {\varphi }}{\left(X^{0}\right)}=\varphi (0)=1$. Ferner ist

${}{\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 ${}f=\sum _{m\in M}a_{m}X^{m}$ und ${}g=\sum _{k\in M}b_{k}X^{k}$ die Identitäten

${}{\begin{aligned}{\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_{m}b_{k}\right)}X^{\ell }\right)}\\&=\sum _{\ell \in M}{\left(\sum _{m+k=\ell }a_{m}b_{k}\right)}\varphi (\ell )\\&=\sum _{m,k\in M}a_{m}b_{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)}\\&={\tilde {\varphi }}{\left(\sum _{m\in M}a_{m}X^{m}\right)}{\tilde {\varphi }}{\left(\sum _{k\in M}b_{k}X^{k}\right)},\end{aligned}}$

sodass die Abbildung ein Ringhomomorphismus ist.

$\Box$

Korollar

Es sei ${}R$ ein kommutativer Ring. Es seien ${}M$ und ${}N$ kommutative Monoide und sei

$\varphi \colon M\longrightarrow N$

ein Monoidhomomorphismus.

Dann induziert dies einen ${}R$- Algebrahomomorphismus zwischen den zugehörigen Monoidringen

${\tilde {\varphi }}\colon R[M]\longrightarrow R[N],\,X^{m}\longmapsto X^{\varphi (m)}.$

Beweis

Dies folgt aus Satz 17.5 angewandt auf die ${}R$-Algebra ${}B=R[N]$ und den zusammengesetzten Monoidhomomorphismus ${}M{\stackrel {\varphi }{\rightarrow }}N\rightarrow R[N]$.

$\Box$

Bemerkung  

Eine Familie von Elementen ${}m_{i}\in M$, ${}i\in I$, in einem Monoid ${}M$ ergibt einen Monoidhomomorphismus ${}\mathbb {N} ^{(I)}\rightarrow M$, indem das ${}i$-te Basiselement ${}e_{i}$ auf ${}m_{i}$ geschickt wird. Dies ist insbesondere für endliche Indexmengen ${}I={\{1,\ldots ,n\}}$ relevant. Der Monoidhomomorphismus induziert dann nach Korollar 17.6 einen ${}R$- Algebrahomomorphismus ${}R[\mathbb {N} ^{n}]=R[X_{1},\ldots ,X_{n}]\rightarrow R[M]$ von der Polynomalgebra in den Monoidring. Diese Abbildung ist der Einsetzungshomomorphismus, der durch ${}X_{i}\mapsto X^{m_{i}}$ gegeben ist.

Definition

Zu einem kommutativen Monoid ${}M$ und einem kommutativen Ring ${}R$ nennt man einen Monoidhomomorphismus

$M\longrightarrow (R,\cdot ,1)$

auch einen ${}R$-wertigen Punkt von ${}M$.

Bemerkung  

Ein ${}R$-wertiger Punkt ist nach Satz 17.5 äquivalent zu einem ${}R$- Algebrahomomorphismus von ${}R[M]$ nach ${}R$. Diese Sprechweise ist insbesondere im Fall eines Grundkörpers ${}K$ üblich. Dann haben wir also

${}K\!\!-\!\operatorname {Spek} \,{\left(K[M]\right)}=\operatorname {Hom} _{K}^{\rm {alg}}\,{\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 ${}K\!\!-\!\operatorname {Spek} \,{\left(K[M]\right)}$ der Monoidring unverzichtbar ist.

Bemerkung  

Ein kommutatives Monoid wird häufig durch endlich viele Erzeuger ${}e_{1},\ldots ,e_{r}$ zusammen mit binomialen Gleichungen zwischen den Erzeugern beschrieben. Diese sind von der Form

${}n_{1}e_{1}+\cdots +n_{r}e_{r}=m_{1}e_{1}+\cdots +m_{r}e_{r}\,$

mit ${}n_{i}\in \mathbb {N}$. Ein ${}K$- wertiger Punkt ${}\varphi \colon M\rightarrow K$ ist durch die Werte ${}a_{i}=\varphi (e_{i})$ eindeutig festgelegt. Dabei muss die Bedingung

${}a_{1}^{n_{1}}\cdots a_{r}^{n_{r}}=a_{1}^{m_{1}}\cdots a_{r}^{m_{r}}\,$

erfüllt sein, und zwar für jede im Monoid gültige binomiale Gleichung.

Lemma

Es sei ${}R$ ein von ${}0$ verschiedener kommutativer Ring. Es seien ${}M$ und ${}N$ kommutative Monoide und sei ${}\varphi \colon M\rightarrow N$ ein Monoidhomomorphismus.

Dann ist ${}\varphi$ genau dann injektiv (surjektiv), wenn der zugehörige ${}R$- Algebrahomomorphismus ${}{\tilde {\varphi }}\colon R[M]\rightarrow R[N]$ injektiv (surjektiv) ist.

Beweis

Es sei ${}\varphi$ injektiv, und angenommen, dass

${}{\tilde {\varphi }}{\left(\sum _{m\in M}a_{m}X^{m}\right)}=\sum _{m\in M}a_{m}X^{\varphi (m)}=0\,.$

Da die $\varphi (m),\,m\in M$, alle verschieden sind, folgt daraus ${}a_{m}=0$. Ist umgekehrt ${}\varphi$ nicht injektiv, sagen wir $\varphi (m)=\varphi (k),\,m\neq k$, so ist auch ${}{\tilde {\varphi }}(X^{m})={\tilde {\varphi }}(X^{k})$, obwohl ${}X^{m}\neq X^{k}$ ist.

Ist ${}\varphi$ surjektiv, so kann man für ein beliebiges Element ${}\sum _{n\in N}a_{n}X^{n}$ aus ${}R[N]$ sofort ein Urbild angeben, nämlich ${}\sum _{n\in N}a_{n}X^{m_{n}}$, wobei ${}m_{n}$ ein beliebiges Urbild von ${}n$ sei. Ist hingegen ${}\varphi$ nicht surjektiv, so sei ${}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.

$\Box$

Korollar

Es sei ${}R$ ein von ${}0$ verschiedener kommutativer Ring. Es sei ${}M$ ein kommutatives Monoid und $m_{i}\in M,\,i\in I$, eine Familie von Elementen aus ${}M$.

Dann bilden die ${}m_{i}$ genau dann ein Monoid-Erzeugendensystem für ${}M$, wenn die $X^{m_{i}},\,i\in I$, ein ${}R$-Algebra-Erzeugendensystem für den Monoidring ${}R[M]$ bilden.

Beweis

Die $m_{i},\,i\in I$, bilden genau dann ein Monoid-Erzeugendensystem für ${}M$, wenn der Monoidhomomorphismus ${}{\mathbb {N} }^{(I)}\rightarrow M$ surjektiv ist. Dies ist nach Lemma 17.11 genau dann der Fall, wenn der zugehörige Homomorphismus

$R[X_{i},i\in I]\longrightarrow R[M],\,X_{i}\longmapsto X^{m_{i}},$

surjektiv ist. Dies ist aber genau dann der Fall, wenn die ${}X^{m_{i}}$ ein ${}R$-Algebra-Erzeugendensystem bilden.

$\Box$

Korollar

Es sei ${}R$ ein kommutativer Ring und ${}S$ eine ${}R$- Algebra. Es sei ${}M$ ein kommutatives Monoid.

Dann gibt es einen natürlichen ${}R$- Algebrahomomorphismus

$R[M]\longrightarrow S[M],\,\sum _{m\in M}a_{m}X^{m}\longmapsto \sum _{m\in M}a_{m}X^{m},$

(die Koeffizienten aus ${}R$ werden also einfach in ${}S$ aufgefasst).

Beweis

Dies folgt aus Satz 17.5, angewandt auf die ${}R$-Algebra ${}S[M]$ und den Monoidhomorphismus ${}M\rightarrow S[M]$.

$\Box$

Differenzengruppe zu einem Monoid

Wir interessieren uns nun für die Frage, wann ein Monoidring ein Integritätsbereich ist (was nur bei integrem Grundring sein kann) und wie man dann den Quotientenkörper beschreiben kann. Da im Quotientenkörper jedes von ${}0$ verschiedene Element invertierbar sein muss, gilt das insbesondere für die Monome ${}T^{m}$, ${}m\in M$, und es liegt nahe, nach einer additiven Gruppe zu suchen, die ${}M$ umfasst.

Definition

Es sei ${}M$ ein kommutatives Monoid. Dann nennt man die Menge der formalen Differenzen

${}\Gamma (M)={\left\{m-n\mid m,n\in M\right\}}\,$

mit der Addition

${}{\left(m_{1}-n_{1}\right)}+{\left(m_{2}-n_{2}\right)}:={\left(m_{1}+m_{2}\right)}-{\left(n_{1}+n_{2}\right)}\,$

und der Identifikation

$m_{1}-n_{1}=m_{2}-n_{2}\,{\text{ falls es }}m\in M{\text{ gibt mit }}m+m_{1}+n_{2}=m+m_{2}+n_{1}.$

die Differenzengruppe zu ${}M$.

Wir überlassen es dem Leser als Aufgabe, zu zeigen, dass die Differenzengruppe wirklich eine Gruppe ist, siehe Aufgabe 17.11. Die vorstehende Konstruktion ist natürlich der Konstruktion von Quotientenkörpern nachempfunden, man muss nur die multiplikative Schreibweise dort additiv umdeutet. Die Konstruktion der Differenzengruppe ist eigentlich elementarer. Die Differenzengruppe zum additiven Monoid ${}\mathbb {N}$ ist natürlich ${}\mathbb {Z}$. Die Elemente in einem Monoid kann man direkt im Differenzenmonoid auffassen, und zwar durch den Monoidhomomorphismus

$M\longrightarrow \Gamma (M),\,m\longmapsto m-0.$

wobei wir statt ${}m-0$ einfach ${}m$ schreiben. Völlig unproblematisch ist dieser Übergang aber doch nicht, da diese Abbildung im Allgemeinen nicht injektiv sein muss. Das hat damit zu tun, dass in der obigen Definition bei der Identifizierung links und rechts ein ${}m$ auftreten darf (und das lässt sich auch nicht vermeiden). Natürlich will man auch diejenigen Monoide charakterisieren, für die man dieses Extra-${}m$ nicht braucht.

Definition

Man sagt, dass in einem kommutativen Monoid ${}M$ die Kürzungsregel gilt (oder dass ${}M$ ein Monoid mit Kürzungsregel ist), wenn aus einer Gleichung

$m+n=m+k{\text{ mit }}m,n,k\in M,$

stets folgt, dass ${}n=k$ ist.

Für ein solches Monoid ist die Abbildung in die Differenzengruppe injektiv, siehe Aufgabe 17.13.

<< | Kurs:Algebraische Kurven (Osnabrück 2017-2018) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)