Quasiprojektive Varietäten/K/Endlicher Morphismus/Definition

Endlicher Morphismus

Es seien ${}X$ und Fehler beim Parsen (SVG (MathML kann über ein Browser-Plugin aktiviert werden): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „http://localhost:6011/de.wikiversity.org/v1/“:): {\displaystyle {{}} Y } quasiprojektive Varietäten über einem algebraisch abgeschlossenen Körper und sei

${\psi }\colon X\longrightarrow Y$

ein Morphismus. Man nennt ${}{\psi }$ endlich, wenn es eine offene affine Überdeckung ${}Y=\bigcup _{i\in I}V_{i}$ derart gibt, dass auch die Urbilder ${}{\psi }^{-1}(V_{i})$ affin sind und die zugehörigen Ringhomomorphismen

$\Gamma (V_{i},{\mathcal {O}}_{Y})\longrightarrow \Gamma ({\psi }^{-1}(V_{i}),{\mathcal {O}}_{X})$

endlich sind.