Direkt zum Inhalt

Lexikon der Mathematik: eigentlicher-Morphismus

ein Morphismus \(X\mathop{\to }\limits^{\pi }Y\) von Schemata so, daßX algebraisches Y-Schema ist und für jeden Morphismus \({Y}^{\text{'}}\to Y\) der induzierte Morphismus \begin{eqnarray}X\times {\rm{y}}{Y}^{\text{'}}={X}^{\text{'}}\mathop{\to }\limits^{\pi \text{'}}{Y}^{\text{'}}\end{eqnarray} abgeschlossen ist (d. h., daß abgeschlossene Teilmengen V'X' stets wieder abgeschlossene Bilder haben).

Beispielsweise sind projektive Morphismen über einem Noetherschen Schema eigentlich.

Lesermeinung

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

  • Die Autoren
- Prof. Dr. Guido Walz

Partnervideos