K-Spektrum/Algebraisch abgeschlossener Körper/Algebraische Funktion auf offener Menge/Ring/Fakt

Aus Wikiversity

Es sei ein algebraisch abgeschlossener Körper, eine -Algebra von endlichem Typ und sei das -Spektrum von . Es sei eine Zariski-offene Menge.

Dann bildet die Menge der algebraischen Funktionen auf einen Unterring (und zwar eine -Unteralgebra) des Rings der Funktionen von nach

(wobei die Operationen in ausgeführt werden).