Algebraic Variety

By an algebraic variety over some field \(k\) we mean…

• A quasiprojective reduced separated scheme of finite type over \(k\).

• An integral separated scheme of finite type over \(\operatorname{Spec}k\)