Definition 33.3.1. Let $k$ be a field. A variety is a scheme $X$ over $k$ such that $X$ is integral and the structure morphism $X \to \mathop{\mathrm{Spec}}(k)$ is separated and of finite type.
Definition 33.3.1. Let $k$ be a field. A variety is a scheme $X$ over $k$ such that $X$ is integral and the structure morphism $X \to \mathop{\mathrm{Spec}}(k)$ is separated and of finite type.
Comments (0)