Affiner Raum/Hilbertscher Nullstellensatz (geometrisch)/Algebraisch abgeschlossen/Fakt/Beweis/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Angenommen, gehöre nicht zum Radikal von . Dann gibt es nach Fakt auch ein maximales Ideal mit und mit . Nach Fakt ist

für gewisse . Die Eigenschaft bedeutet, dass im zugehörigen Restekörper nicht ist, und das bedeutet . Wegen

ist aber ein Punkt von , so dass dort nach Voraussetzung verschwindet. Das ist also ein Widerspruch.
Zur gelösten Aufgabe