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

Es sei ${}K$ ein unendlicher Körper. Dann ist das Verschwindungsideal des affinen Raumes ${}{{\mathbb {A} }_{K}^{n}}$ das Nullideal und der zugehörige Koordinatenring ist der Polynomring ${}K[X_{1},\ldots ,X_{n}]$.