Affine Räume/K unendlich/Bild unter polynomialer Abbildung/ist irreduzibel/Fakt/Beweis

Beweis

Es sei  ${}B=\varphi ({{\mathbb {A} }_{K}^{r}})$  das Bild der Abbildung. Nach Fakt ist

${}{\overline {B}}=V(\operatorname {Id} \,(B))\,.$

Nun gilt für  ${}P=\varphi (Q)$  mit  ${}Q\in {{\mathbb {A} }_{K}^{r}}$  und für  ${}F\in K[X_{1},\ldots ,X_{n}]$  die Beziehung

${}F(P)=F(\varphi (Q))=(F\circ \varphi )(Q)\,,$

wobei  ${}F\circ \varphi \in K[T_{1},\ldots ,T_{r}]$  das Polynom ist, das sich ergibt, wenn man in ${}F$ die Variable ${}X_{i}$ durch die ${}i$-te Koeffizientenfunktion  ${}\varphi _{i}\in K[T_{1},\ldots ,T_{r}]$  ersetzt. Daher ist  ${}F(P)=0$  genau dann, wenn  ${}(F\circ \varphi )(Q)=0$  ist, und ${}F$ verschwindet auf ganz ${}B$ genau dann, wenn ${}F\circ \varphi$ auf dem ganzen ${}{{\mathbb {A} }_{K}^{r}}$ verschwindet. Da ${}K$ unendlich ist, bedeutet dies, dass ${}F\circ \varphi$ das Nullpoynom ist. Daher gilt, dass  ${}F\in \operatorname {Id} \,(B)$  genau dann ist, wenn ${}F$ unter dem zugehörigen Ringhomomorphismus

${\tilde {\varphi }}\colon K[X_{1},\ldots ,X_{n}]\longrightarrow K[T_{1},\ldots ,T_{r}]$

auf ${}0$ abgebildet wird. Damit ist ${}\operatorname {Id} \,(B)$ das Urbild eines Primideals (nämlich des Nullideals) und somit nach Aufgabe selbst ein Primideal. Aufgrund von Fakt ist ${}V(\operatorname {Id} \,(B))$ irreduzibel.

Zur bewiesenen Aussage