K-Spektrum/Ring der algebraischen Funktionen/Restriktion/Fakt
Es sei ein algebraisch abgeschlossener Körper, eine - Algebra von endlichem Typ und sei das -Spektrum von . Es seien offene Teilmengen von .
Dann gibt es einen natürlichen -Algebrahomomorphismus