Schemata/Basisschema/Morphismus/Definition

Schemamorphismus über Basisschema

Es seien ${}X$ und ${}Y$ Schemata über dem Basisschema ${}S$. Ein Schemamorphismus ${}\varphi \colon X\rightarrow Y$ heißt Schemamorphismus über ${}S$, wenn das Diagramm

${\begin{matrix}X&{\stackrel {\varphi }{\longrightarrow }}&Y&\\&\searrow &\downarrow &\\&&S&\!\!\!\!\!\!\!\!\\\end{matrix}}$

kommutiert.