# Affine Varietät/Irreduzibilität/Einführung/Textabschnitt
## Definition

Eine affin-algebraische Menge $V\subseteq {{\mathbb {A} }_{K}^{n}}$ heißt irreduzibel, wenn $V\neq \emptyset$ ist und es keine Zerlegung $V=Y\cup Z$ mit affin-algebraischen Mengen $Y,Z\subset V$ gibt.
Die Zariski-abgeschlossene Menge $V$ ist also irreduzibel genau dann, wenn
    $V\neq \emptyset \,$
ist und eine Zerlegung $V=Y\cup Z$ nur mit $V=Y$ oder mit $V=Z$ möglich ist. Dasselbe folgt dann sofort für endliche Darstellungen.
Die Irreduzibilität ist eine rein topologische Eigenschaft, wobei man die obige Definition mit abgeschlossenen Mengen formulieren muss anstatt mit affin-algebraischen Mengen (den abgeschlossenen Mengen in der Zariski-Topologie).
Die folgenden Bilder zeigen einige nicht irreduzible affin-algebraische Teilmengen. Was sind dabei die irreduziblen Komponenten (siehe unten)?

## Beispiel

Wir betrachten den affinen Raum ${{\mathbb {A} }_{K}^{n}}$. Wenn $K$ endlich ist, so besteht der Raum nur aus endlich vielen Punkten und nur die einpunktigen Teilmengen sind irreduzibel. Insbesondere ist der affine Raum außer bei $n=0$ nicht irreduzibel.
Bei unendlichem $K$ ist der affine Raum ${{\mathbb {A} }_{K}^{n}}$ hingegen irreduzibel. Es sei nämlich ${{\mathbb {A} }_{K}^{n}}=Y\cup Z$ mit echten affin-algebraischen Teilmengen. D.h. für die offenen Komplemente $U={{\mathbb {A} }_{K}^{n}}\setminus Y$ und $W={{\mathbb {A} }_{K}^{n}}\setminus Z$ ist einerseits $U,W\neq \emptyset$, aber $U\cap W=\emptyset$. Das widerspricht aber Aufgabe.

## Lemma

Es sei $V\subseteq {{\mathbb {A} }_{K}^{n}}$ eine affin-algebraische Menge mit Verschwindungsideal $\operatorname {Id} \,(V)$.
Dann ist $V$ genau dann irreduzibel, wenn $\operatorname {Id} \,(V)$ ein Primideal ist.

### Beweis

Es sei $\operatorname {Id} \,(V)$ kein Primideal. Bei $\operatorname {Id} \,(V)=K[X_{1},\ldots ,X_{n}]$ ist $V=\emptyset$, also ist $V$ nicht irreduzibel nach Definition. Andernfalls gibt es Polynome $F,G\in K[X_{1},\ldots ,X_{n}]$ mit $FG\in \operatorname {Id} \,(V)$, aber $F,G\notin \operatorname {Id} \,(V)$. Dies bedeutet, dass es Punkte $P,Q\in V$ mit $F(P)\neq 0$ und $G(Q)\neq 0$ gibt. Wir betrachten die beiden Ideale ${\mathfrak {a}}_{1}=\operatorname {Id} \,(V)+(F)$ und ${\mathfrak {a}}_{2}=\operatorname {Id} \,(V)+(G)$. Daher ist
    $V({\mathfrak {a}}_{1}),V({\mathfrak {a}}_{2})\subseteq V(\operatorname {Id} \,(V))=V\,$
nach Fakt (3). Wegen $P\not \in V({\mathfrak {a}}_{1})$ und $Q\not \in V({\mathfrak {a}}_{2})$ sind diese Inklusionen echt. Andererseits ist
    $V({\mathfrak {a}}_{1})\cup V({\mathfrak {a}}_{2})=V({\mathfrak {a}}_{1}\cdot {\mathfrak {a}}_{2})=V(\operatorname {Id} \,(V))=V\,,$
sodass eine nicht-triviale Zerlegung von $V$ vorliegt und somit $V$ nicht irreduzibel ist. Es sei nun $V$ nicht irreduzibel. Bei $V=\emptyset$ ist $\operatorname {Id} \,(V)=K[X_{1},\ldots ,X_{n}]$ kein Primideal. Es sei also $V\neq \emptyset$ mit der nicht-trivialen Zerlegung $V=Y\cup Z$. Es sei $Y=V{\left({\mathfrak {a}}_{1}\right)}$ und $Z=V{\left({\mathfrak {a}}_{2}\right)}$. Wegen $Y\subset V$ gibt es einen Punkt $P\in V=V(\operatorname {Id} \,(V))$, $P\not \in V({\mathfrak {a}}_{1})$. Also gibt es auch ein $F\in {\mathfrak {a}}_{1}$, $F(P)\neq 0$, und somit $F\notin \operatorname {Id} \,(V)$. Ebenso gibt es $G\in {\mathfrak {a}}_{2}$, $G\notin \operatorname {Id} \,(V)$. Für einen beliebigen Punkt $Q\in V=Y\cup Z$ ist $(FG)(Q)=0$, da $F$ auf $Y$ und $G$ auf $Z$ verschwindet. Also ist $FG\in \operatorname {Id} \,(V)$ und daher ist $\operatorname {Id} \,(V)$ kein Primideal.
$\Box$

## Definition

Es sei $V$ eine affin-algebraische Menge. Eine affin-algebraische Teilmenge $W\subseteq V$ heißt eine irreduzible Komponente von $V$, wenn sie irreduzibel ist und wenn es keine irreduzible Teilmenge $W\subset W'\subseteq V$ gibt.
Ist $V$ irreduzibel, so ist $V$ selbst die einzige irreduzible Komponente von $V$. Wir werden später sehen, dass jede affin-algebraische Menge sich als eine endliche Vereinigung von irreduziblen Komponenten schreiben lässt.

## Beispiel

Wir betrachten die Gleichung
    $F=Y^{2}+X^{2}(X+1)^{2}=0\,.$
In den reellen Zahlen hat diese Gleichung zwei Lösungen: da ein reelles Quadrat nie negativ ist, kann $F$ nur dann $0$ sein, wenn beide Summanden null sind, und das impliziert einerseits $Y=0$ und andererseits $X=0$ oder $X=-1$. Insbesondere ist die reelle Lösungsmenge nicht zusammenhängend und nicht irreduzibel (und das Verschwindungsideal zur reellen Situation ist sehr groß).
Betrachtet man $F$ dagegen über den komplexen Zahlen, so gibt es eine Faktorisierung
    $F=(Y+{\mathrm {i} }X(X+1))(Y-{\mathrm {i} }X(X+1))\,$
in irreduzible Polynome. Dies zeigt zugleich, dass $F$ als Polynom in $\mathbb {R} [X,Y]$ irreduzibel ist (obwohl das reelle Nullstellengebilde nicht irreduzibel ist). Die Nullstellenmenge über den komplexen Zahlen besteht aus den beiden Graphen $Y=\pm {\mathrm {i} }X(X+1)$, die sich in $(0,0)$ und $(-1,0)$ schneiden.
Bei der Gleichung $Y^{2}+Z^{2}+X^{2}(X+1)^{2}$ gibt es wieder nur zwei reelle Lösungspunkte, das Polynom ist aber sowohl reell als auch komplex betrachtet irreduzibel.

## Beispiel

Wir betrachten im affinen Raum $\mathbb {A} _{K}^{3}$ ($K=\mathbb {R}$) die beiden Zylinder
    $S_{1}={\left\{(x,y,z)\mid x^{2}+y^{2}=1\right\}}{\text{ und }}S_{2}={\left\{(x,y,z)\mid y^{2}+z^{2}=1\right\}}.$
Das sind beides irreduzible Mengen, wie wir später sehen werden (für $K$ unendlich). Wie sieht ihr Durchschnitt aus? Der Durchschnitt wird durch das Ideal ${\mathfrak {a}}$ beschrieben, das durch $X^{2}+Y^{2}-1$ und $Y^{2}+Z^{2}-1$ erzeugt wird. Zieht man die eine Gleichung von der anderen ab, so erhält man
    $X^{2}-Z^{2}=(X-Z)(X+Z)\in {\mathfrak {a}}\,.$
Die beiden einzelnen Faktoren gehören aber nicht zu ${\mathfrak {a}}$, da beispielsweise $(1,0,-1)$ ein Punkt des Schnittes ist, an dem $X-Z$ nicht verschwindet (Charakteristik $\neq 2$), und $(1,0,1)$ ein Punkt des Schnittes ist, an dem $X+Z$ nicht verschwindet. Die Komponenten des Schnittes werden vielmehr durch
    ${\mathfrak {b}}_{1}={\mathfrak {a}}+(X-Z){\text{ und }}{\mathfrak {b}}_{2}={\mathfrak {a}}+(X+Z)$
beschrieben. Das sind beides Primideale, der Restklassenring ist
    $K[X,Y,Z]/({\mathfrak {b}}_{1})=K[X,Y,Z]/({\mathfrak {a}}+(X-Z))=K[X,Y]/{\left(X^{2}+Y^{2}-1\right)}\,.$
Um die zweite Gleichung einzusehen, eliminiert man $Z$ mit der hinteren Gleichung, und die beiden Zylindergleichungen werden dann identisch. Ebenso ist die Argumentation für das andere Ideal. Geometrisch gesprochen heißt dies, dass ein Punkt des Durchschnittes $S_{1}\cap S_{2}$ in der Ebene $E_{1}=V(Z-X)$ oder in der Ebene $E_{2}=V(Z+X)$ liegt. Es ist
    $E_{1}\cap S_{1}=E_{1}\cap S_{1}\cap S_{2}=E_{1}\cap S_{2}\,$
und ebenso für $E_{1}$, da auf diesen Ebenen die beiden Zylindergleichungen identisch werden.
Wie sehen die Durchschnitte in den Ebenen aus? Wir betrachten die Ebene $E_{1}$ mit den Koordinaten $Y$ und $U=Z+X$. Es ist dann $X={\frac {1}{2}}((Z+X)-(Z-X))$ und damit kann man die erste Zylindergleichung als
    ${\left({\frac {1}{2}}((Z+X)-(Z-X))\right)}^{2}+Y^{2}=1\,$
schreiben. Auf der Ebene $E_{1}$, die ja durch $Z=X$ festgelegt ist, wird aus dieser Gleichung
    ${\left({\frac {1}{2}}U\right)}^{2}+Y^{2}=1\,$
also ${\frac {1}{4}}U^{2}+Y^{2}=1$. Dies ist die Gleichung einer Ellipse, was auch anschaulich klar ist. Man beachte, dass in der obigen Berechnung des Restklassenringes $K[X,Y,Z]/({\mathfrak {b}}_{1})$ aber eine Kreisgleichung auftritt. Dies sollte deshalb nicht überraschen, da Kreis und Ellipse durch eine lineare Variablentransformation ineinander überführbar sind und dass daher insbesondere die Restklassenringe isomorph sind. Als metrisches Gebilde sind Kreis und Ellipse verschieden, und der Durchschnitt der beiden Zylinder besteht aus zwei Ellipsen. Bei einer orthonormalen Variablentransformation bleibt die metrische Struktur erhalten. Die Variablen $Y,{\left(X+Z\right)},{\left(X-Z\right)}$ definieren aber keine orthonormale Transformation.
Halten wir also fest: Der Durchschnitt der beiden Zylinder ist
    $S_{1}\cap S_{2}=V({\mathfrak {b}}_{1})\cup V({\mathfrak {b}}_{2})\,,$
wobei ${\mathfrak {b}}_{1}=(X^{2}+Y^{2}-1,X-Z)$ und ${\mathfrak {b}}_{2}=(X^{2}+Y^{2}-1,X+Z)$ zwei Ellipsen beschreiben.
Wie liegen diese beiden Ellipsen zueinander? Dazu berechnen wir ihren Durchschnitt, der durch die Summe von ${\mathfrak {b}}_{1}$ und ${\mathfrak {b}}_{2}$ beschrieben wird. Es ist
    ${\mathfrak {b}}_{1}+{\mathfrak {b}}_{2}={\left(X^{2}+Y^{2}-1,X-Z,X+Z\right)}={\left(Y^{2}-1,X,Z\right)}\,.$
Die Lösungsmenge davon besteht aus den beiden Punkten $(0,1,0)$ und $(0,-1,0)$.