Affin-algebraische Mengen/Affiner Raum/Unendlicher Körper/Koordinatenring ist Polynomring/Fakt

Es sei ein unendlicher Körper.

Dann ist das Verschwindungsideal des affinen Raumes das Nullideal und der zugehörige Koordinatenring ist der Polynomring .