Affiner Raum/Hilbertscher Nullstellensatz (geometrisch)/Algebraisch abgeschlossen/Fakt

Der Hilbertsche Nullstellensatz

Sei ein algebraisch abgeschlossener Körper und sei eine affin-algebraische Menge, die durch das Ideal beschrieben werde. Es sei ein Polynom, das auf verschwindet.

Dann gehört zum Radikal von , d.h. es gibt ein mit .