Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Arbeitsblatt 11/kontrolle

Übungsaufgaben

Aufgabe Referenznummer erstellen

Es sei ${}K$ ein algebraisch abgeschlossener Körper und ${}f,g\in K[X_{1},\ldots ,X_{n}]$. Zeige, dass ${}V(f)\subseteq V(g)$ genau dann gilt, wenn es eine natürliche Zahl ${}r$ und ein ${}h\in K[X_{1},\ldots ,X_{n}]$ mit ${}fh=g^{r}$ gibt. Betrachte auch die Spezialfälle, wo ${}f$ bzw. ${}g$ konstante Polynome sind.

Aufgabe Referenznummer erstellen

Es sei ${}K$ ein algebraisch abgeschlossener Körper. Beweise den Hilbertschen Nullstellensatz direkt für den Polynomring in einer Variablen.

Aufgabe Referenznummer erstellen

Zeige, dass sich in der durch den Hilbertschen Nullstellensatz gegebenen Korrespondenz Punkte und maximale Ideale entsprechen.

Aufgabe Referenznummer erstellen

In der durch den Hilbertschen Nullstellensatz gegebenen Korrespondenz irreduzible Varietäten und Primideale entsprechen.

Aufgabe Referenznummer erstellen

Es sei ${}K$ ein algebraisch abgeschlossener Körper. Beweise den folgenden Spezialfall des Hilbertschen Nullstellensatzes direkt: Wenn ${}f\in K[X_{1},\ldots ,X_{n}]$ keine Nullstelle im ${}K^{n}$ besitzt, so ist ${}f$ ein (von ${}0$ verschiedenes) konstantes Polynom.

Aufgabe * Referenznummer erstellen

Wir betrachten die beiden Polynome ${}X^{2}+Y^{2}$ und ${}X^{2}-Y^{3}$ und die zugehörigen algebraischen Kurven über den Körpern ${}\mathbb {R}$ und ${}{\mathbb {C} }$.

1. Gilt ${}V(X^{2}+Y^{2})\subseteq V(X^{2}-Y^{3})$ in ${}{\mathbb {A} }_{\mathbb {R} }^{2}$?
2. Gilt ${}V(X^{2}+Y^{2})\subseteq V(X^{2}-Y^{3})$ in ${}{\mathbb {A} }_{\mathbb {C} }^{2}$?
3. Gehört ${}X^{2}-Y^{3}$ zum Radikal von ${}(X^{2}+Y^{2})$ in ${}\mathbb {R} [X,Y]$?
4. Gehört ${}X^{2}-Y^{3}$ zum Radikal von ${}(X^{2}+Y^{2})$ in ${}{\mathbb {C} }[X,Y]$?

Aufgabe Referenznummer erstellen

Es seien Polynome ${}f_{1},\ldots ,f_{k}\in {\mathbb {C} }[X_{1},\ldots ,X_{n}]$ gegeben, die wir als Funktionen

$f_{i}\colon {\mathbb {C} }^{n}\longrightarrow {\mathbb {C} }$

auffassen. Es sei ${}f\in {\mathbb {C} }[X_{1},\ldots ,X_{n}]$ ein weiteres Polynom und es seien

$g_{1},\ldots ,g_{k}\colon {\mathbb {C} }^{n}\longrightarrow {\mathbb {C} }$

Funktionen, die nicht unbedingt Polynome sind. Es gelte

${}f=g_{1}f_{1}+\cdots +g_{k}f_{k}\,$

(eine Gleichung von Funktionen). Zeige, dass ${}f$ zum Radikal von ${}(f_{1},\ldots ,f_{k})$ gehört.

Aufgabe Referenznummer erstellen

Es sei ${}K$ ein Körper und ${}n\in \mathbb {N} _{+}$. Zeige, dass die Funktionen ${}\varphi \colon K^{n}\rightarrow K$ der Form

${}\varphi ={\frac {P}{Q}}\,$

mit Polynomen ${}P,Q\in K[X_{1},\ldots ,X_{n}]$ und ${}Q$ nullstellenfrei auf ${}K^{n}$ einen kommutativen Ring bilden. Zeige, dass bei ${}K$ algebraisch abgeschlossen dieser mit dem Polynomring übereinstimmt.

Aufgabe Referenznummer erstellen

Es sei ${}K$ ein endlicher Körper. Zeige, dass es nur endlich viele Nullstellengebilde im ${}{{\mathbb {A} }_{K}^{n}}$ gibt, aber unendlich viele Radikale in ${}K[X_{1},\ldots ,X_{n}]$.

Aufgabe Referenznummer erstellen

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.

Aufgabe Referenznummer erstellen

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.

Es sei

$\varphi \colon A\longrightarrow B$

ein Ringhomomorphismus zwischen den kommutativen Ringen ${}A$ und ${}B$. Zu einem Ideal ${}{\mathfrak {a}}\subseteq A$ nennt man das von ${}\varphi {\left({\mathfrak {a}}\right)}$ erzeugte Ideal das Erweiterungsideal von ${}{\mathfrak {a}}$ unter ${}\varphi$. Es wird mit ${}{\mathfrak {a}}B$ bezeichnet.

Aufgabe Referenznummer erstellen

Es sei ${}{\mathfrak {a}}\subseteq \mathbb {R} [X_{1},\ldots ,X_{n}]$ ein Ideal und ${}f\in \mathbb {R} [X_{1},\ldots ,X_{n}]$. Zeige, dass genau dann ${}f\in {\mathfrak {a}}$ gilt, wenn ${}f\in {\mathfrak {a}}{\mathbb {C} }[X_{1},\ldots ,X_{n}]$ für das Erweiterungsideal gilt.

Aufgabe Referenznummer erstellen

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

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

Aufgabe Referenznummer erstellen

Bestimme den Koordinatenring zu einer affin-algebraischen Menge ${}V\subseteq {{\mathbb {A} }_{K}^{n}}$, die aus ${}d$ Punkten besteht.

Aufgabe Referenznummer erstellen

Bestimme den Koordinatenring zur affin-algebraischen Menge ${}V=V(5X-8Y+3)\subseteq {\mathbb {A} }_{K}^{2}$.

Aufgabe Referenznummer erstellen

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 Referenznummer erstellen

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 Referenznummer erstellen

Es sei ${}K$ ein Körper und seien

${}{\mathfrak {a}},{\mathfrak {b}}\subseteq K[X_{1},\ldots ,X_{n}]\,$

Ideale, deren Radikal übereinstimmt. Zeige, dass es eine natürliche Bijektion zwischen den Radikalen der Restklassenringe ${}K[X_{1},\ldots ,X_{n}]/{\mathfrak {a}}$ und ${}K[X_{1},\ldots ,X_{n}]/{\mathfrak {b}}$ gibt.

Aufgabe Referenznummer erstellen

Es sei ${}K$ ein Körper mit ${}q$ Elementen und sei ${}V=V({\mathfrak {a}})\subseteq {{\mathbb {A} }_{K}^{n}}$ eine affin-algebraische Menge. Zeige, dass der Koordinatenring von ${}V$ nicht gleich ${}K[x_{1},\ldots ,x_{n}]/(x_{1}^{q}-x_{1},\ldots ,x_{n}^{q}-x_{n})+{\mathfrak {a}}$ sein muss.

Aufgabe Referenznummer erstellen

Es sei ${}K$ ein Körper der Charakteristik ${}0$. Wir betrachten den Schnitt von einem Zylinder und einer Kugel, und zwar

${}C=V(X^{2}+Y^{2}-1)\cap V((X-3)^{2}+Y^{2}+Z^{2}-7)\subseteq {{\mathbb {A} }_{K}^{3}}\,.$

Zeige, dass man den Koordinatenring von ${}C$ als Restklassenring eines Polynomrings in zwei Variablen schreiben kann.

Aufgaben zum Abgeben

Aufgabe (4 Punkte)Referenznummer erstellen

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)Referenznummer erstellen

Beweise Korollar 11.3 direkt aus Satz 10.10.

Aufgabe (7 Punkte)Referenznummer erstellen

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)Referenznummer erstellen

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 (5 Punkte)Referenznummer erstellen

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 (4 Punkte)Referenznummer erstellen

Es sei ${}K$ ein Körper und seien ${}P_{1},\ldots ,P_{n}$ endlich viele Punkte in der affinen Ebene ${}{\mathbb {A} }_{K}^{2}$. Es seien ${}a_{1},\ldots ,a_{n}\in K$ beliebig vorgegebene Werte. Zeige, dass es ein Polynom ${}F\in K[X,Y]$ mit ${}F(P_{i})=a_{i}$ für alle ${}i=1,\ldots ,n$ gibt.