Quasiprojektive Varietäten/K/Endlicher Morphismus/Definition

Endlicher Morphismus

Es seien und quasiprojektive Varietäten über einem algebraisch abgeschlossenen Körper und sei

ein Morphismus. Man nennt endlich, wenn es eine offene affine Überdeckung derart gibt, dass auch die Urbilder affin sind und die zugehörigen Ringhomomorphismen

endlich sind.