Kurs:Algebraische Kurven (Osnabrück 2008)/Arbeitsblatt 21

Aufgabe (4 Punkte)

Es sei $R$ ein diskreter Bewertungsring mit maximalem Ideal  $𝔪=(p)$.  Zeige, dass die Ordnung

$R\setminus \{0\}⟶\mathbb{N},f⟼\mathrm{ord}\left(f\right),$

folgende Eigenschaften besitzt.

1.  $\mathrm{ord}\left(fg\right)=\mathrm{ord}\left(f\right)+\mathrm{ord}\left(g\right)$. 
2.  $\mathrm{ord}(f+g)\ge \min (\mathrm{ord}\left(f\right),\mathrm{ord}\left(g\right))$. 
3. Es ist  $f\in 𝔪$  genau dann, wenn  $\mathrm{ord}\left(f\right)\ge 1$  ist.
4. Es ist  $f\in R^{\times }$  genau dann, wenn  $\mathrm{ord}\left(f\right)=0$  ist.

Aufgabe (3 Punkte)

Es sei $R$ ein diskreter Bewertungsring. Definiere zu einem Element $q\in Q(R)$, $q\ne 0$, die Ordnung

$\mathrm{ord}\left(q\right)\in \mathbb{Z}.$

Dabei soll die Definition mit der Ordnung für Elemente aus $R$ übereinstimmen und einen Gruppenhomomorphismus $Q(R)\setminus \{0\}\to \mathbb{Z}$ definieren. Was ist der Kern dieses Homomorphismus?

Aufgabe (4 Punkte)

Es sei $K$ ein Körper und $K(T)$ der Körper der rationalen Funktionen über $K$. Finde einen diskreten Bewertungsring  $R\subseteq K(T)$  mit  $Q(R)=K(T)$  und mit  $R\cap K[T]=K$. 

Aufgabe (4 Punkte)

Es sei $K$ ein algebraisch abgeschlossener Körper und seien $R$ und $S$ integre $K$-Algebren von endlichem Typ. Es sei $\phi :R\to S$ ein endlicher injektiver $K$-Algebrahomomorphismus. Zeige, dass dann ${\phi }^{\ast }:K-\mathrm{Spek}\left(S\right)\to K-\mathrm{Spek}\left(R\right)$ surjektiv ist.

Aufgabe (4 Punkte)

Es sei $R$ ein Hauptidealbereich mit Quotientenkörper  $Q=Q(R)$.  Zeige, dass jeder Zwischenring $S$, $R\subseteq S\subseteq Q$, eine Nenneraufnahme ist.

Aufgabe * (2 Punkte)

Es sei $R$ ein diskreter Bewertungsring mit Quotientenkörper $Q$. Zeige, dass es keinen echten Zwischenring zwischen $R$ und $Q$ gibt.

Aufgabe (3 Punkte)

Es sei $R$ ein diskreter Bewertungsring mit Quotientenkörper $Q$. Charakterisiere die endlich erzeugten $R$-Untermoduln von $Q$. Auf welche Form kann man ein Erzeugendensystem bringen?

Aufgabe (2 Punkte)

Es sei $R$ ein Integritätsbereich mit Normalisierung $R^{\mathrm{norm}}$. Zeige, dass durch

$𝔣=\{g\in R\mid g{R}^{\mathrm{norm}}\subseteq R\}$

ein Ideal in $R$ gegeben ist.

Aufgabe (2 Punkte)

Es sei  $M\subseteq \mathbb{N}$  ein numerisches Monoid, das von teilerfremden natürlichen Zahlen erzeugt werde. Zeige, dass für das Führungsideal des zugehörigen Monoidrings $K[M]$ die Beziehung

$𝔣=(M_{\ge f})$

besteht, wobei $f$ die Führungszahl des Monoids bezeichnet.

Die drei folgenden Aufgaben knüpfen an Diskussionen der Übung an.

Aufgabe (3 Punkte)

Es sei  $M\subseteq \mathbb{N}$  ein numerisches Monoid, das von teilerfremden natürlichen Zahlen erzeugt sei. Zeige, dass die Einbettungsdimension maximal gleich der Multiplizität ist.

Aufgabe (3 Punkte)

Es sei  $M\subseteq \mathbb{N}$  ein durch teilerfremde Zahlen erzeugtes numerisches Monoid, bei dem die Einbettungsdimension gleich der Multiplizität ist. Zeige, dass dann der maximale Erzeuger aus einem minimalen Erzeugendensystem größer oder gleich der Führungszahl ist.

Aufgabe (3 Punkte)

Man gebe ein Beispiel eines numerischen Monoids $M$ mit Multiplizität $3$ und Einbettungsdimension $3$ an, bei dem die Führungszahl prim ist und nicht zum minimalen Erzeugendensystem gehört.