Irreduzible Varietät/Verschwindungsideal ist prim/Aufgabe/Lösung

Aus Wikiversity


Es sei angenommen, dass kein Primideal ist. Bei ist , also ist nicht irreduzibel nach Definition. Andernfalls gibt es Polynome mit , aber . Dies bedeutet, dass es Punkte gibt mit und . Wir betrachten die beiden Ideale und . Daher ist

Wegen und sind diese Inklusionen echt. Andererseits ist

so dass eine nicht-triviale Zerlegung von vorliegt und somit nicht irreduzibel ist.