Affine Varietäten/K-Spektren als Funktor/Fakt

Es sei ein Körper und seien und kommutative -Algebren von endlichem Typ. Es sei ein -Algebrahomomorphismus.

Dann induziert dies eine Abbildung

Diese Abbildung ist stetig bezüglich der Zariski-Topologie.