Integral scheme
= Integral scheme
{wiki}
An integral scheme is a nonempty <scheme> that is both <reduced scheme>[reduced] and <irreducible topological space>[irreducible]. An affine scheme $\operatorname{Spec}A$ is integral exactly when $A$ is an <integral domain>.