Affine Varietäten/Verschwindungsideal zu Teilmenge/ist Radikal/Fakt/Beweis
Beweis
Es sei ein Polynom, und sei . Dann ist für alle . Dann ist aber auch für alle , also .
Es sei ein Polynom, und sei
. Dann ist
für alle
. Dann ist aber auch
für alle
, also
.