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

Aufgabe (2 Punkte)

Skizziere die Graphen der Funktionen ${}x$ und ${}y$ auf ${}V(xy)$.

Man mache sich klar, dass das Produkt ${}xy$ die Nullfunktion ist.

Aufgabe (5 Punkte)

Bestimme zu den folgenden Teilmengen der affinen Ebene ${}\mathbb {A} _{K}^{2}$ den Zariski-Abschluss.

1. ${}{\left\{(x,\sin(x))\mid x\in \mathbb {R} \right\}}$,
2. ${}{\left\{(\cos(x),\sin(x))\mid x\in \mathbb {R} \right\}}$,
3. ${}{\left\{(x,x^{3})\mid 0\leq x\leq 1,\,x\in \mathbb {R} \right\}}$,
4. ${}{\left\{(x,x^{3})\mid 0\leq x\leq 1,\,x\in \mathbb {Q} \right\}}$,
5. ${}{\left\{(x,x^{3})\mid x\in \mathbb {Z} /(5)\right\}}$.

Aufgabe (4 Punkte)

Es sei ${}F\in \mathbb {C} [X_{1},\ldots ,X_{n}]$ und sei ${}U\subseteq \mathbb {A} _{\mathbb {C} }^{n}$ eine Teilmenge, die in der metrischen Topologie offen und nicht leer sei. Es sei ${}F|_{U}=0$ die Nullfunktion. Zeige, dass dann ${}F$ das Nullpolynom ist.

Aufgabe (3 Punkte)

Sei ${}K$ ein algebraisch abgeschlossener Körper und seien ${}{\mathfrak {a}},{\mathfrak {b}}\subseteq K[X_{1},\ldots ,X_{n}]$ zwei Radikalideale. Zeige, dass die Nullstellengebilde ${}V({\mathfrak {a}})$ und ${}V({\mathfrak {b}})$ genau dann affin-linear äquivalent sind, wenn es eine affin-lineare Variablentransformation gibt, die die beiden Ideale ineinander überführt.

Aufgabe (3 Punkte)

Beweise Korollar 11.3 direkt aus Satz 10.10.

Aufgabe (7 Punkte)

Es sei ${}K$ ein algebraisch abgeschlossener Körper und ${}R$ der Polynomring in ${}n$ Variablen über ${}K$. Wir wollen einen alternativen Beweis einsehen, dass ${}\operatorname {Id} \,(V(J))=\operatorname {rad} \,(J)$ für jedes Ideal ${}J$ in ${}R$ ist, der auf Korollar 11.3 aufbaut. Es sei ${}f\in \operatorname {Id} \,(V(J))$. Betrachte den Ring ${}R[T]$ und zeige, dass das Ideal

${}J'=(J,1-f\cdot T)\,$

trivial ist. Schließe daraus, dass ${}f$ im Radikal von ${}J$ liegt.

Aufgabe (3 Punkte)

Es sei ${}F\in K[X_{1},\ldots ,X_{n}]$ und betrachte die dadurch definierte polynomiale Abbildung

$\varphi \colon {{\mathbb {A} }_{K}^{n}}\longrightarrow {{\mathbb {A} }_{K}^{n+1}},\,(x_{1},\ldots ,x_{n})\longmapsto (x_{1},\ldots ,x_{n},F(x_{1},\ldots ,x_{n})),$

die eine Bijektion des affinen Raumes mit dem Graphen von ${}F$ definiert. Zu einer affin-algebraischen Menge ${}V({\mathfrak {a}})\subseteq {{\mathbb {A} }_{K}^{n}}$ betrachten wir das Bild ${}V'=\varphi (V)$. Man zeige, dass ${}V'$ ebenfalls affin-algebraisch ist und man gebe ein beschreibendes Ideal an. Zeige, dass ${}V$ genau dann irreduzibel ist, wenn ${}V'$ irreduzibel ist.

Aufgabe (3 Punkte)

Es sei ${}K$ ein Körper und ${}V,W\subseteq {{\mathbb {A} }_{K}^{n}}$ seien zwei affin-algebraische Mengen. Es sei ${}V\subseteq W$ vorausgesetzt. Man definiere einen ${}K$- Algebrahomomorphismus zwischen den beiden Koordinatenringen ${}R(V)$ und ${}R(W)$ und beschreibe dessen wichtigste Eigenschaften. Man gebe ein Beispiel von zwei affin-algebraischen Mengen, die nicht ineinander enthalten sind, von denen aber die Koordinatenringe isomorph sind.

Aufgabe (2 Punkte)

Betrachte die Hyperbel ${}V(xy-1)$ über dem Körper ${}K=\mathbb {Z} /(11)$. Bestimme das Inverse von ${}4x^{3}$ im zugehörigen Koordinatenring.

Aufgabe (5 Punkte)

Wir betrachten die beiden algebraischen Kurven

$V(x^{2}+y^{2}-2)\,\,{\text{ und }}\,\,V(x^{2}+2y^{2}-1)$

über dem Körper ${}\mathbb {Z} /(7)$. Zeige, dass der Durchschnitt leer ist, und finde einen Erweiterungskörper ${}K\supseteq \mathbb {Z} /(7)$, über dem der Durchschnitt nicht leer ist. Berechne alle Punkte im Durchschnitt über ${}K$ und über jedem anderen Erweiterungskörper. Man beschreibe auch den Koordinatenring des Durchschnitts.

Aufgabe (2 Punkte)

Es sei ${}R$ ein kommutativer Ring und sei ${}f_{j}$, ${}j\in J$, eine Familie von Elementen in ${}R$. Es sei angenommen, dass die ${}f_{j}$ zusammen das Einheitsideal erzeugen. Zeige, dass es eine endliche Teilfamilie ${}f_{j}$, ${}j\in J_{0}\subseteq J$ gibt, die ebenfalls das Einheitsideal erzeugt.