K-Spektrum/Algebraisch abgeschlossener Körper/Algebraische Funktion auf offener Menge/Ring/Fakt
Erscheinungsbild
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).