Dimension of a scheme
= Dimension of a scheme
{title2=$\dim X$}
The dimension of a <scheme> is the supremum of the lengths of strict chains of irreducible closed subsets of its underlying topological space. On an affine scheme it is the <Krull dimension> of its coordinate ring. Taking the reduced subscheme leaves the dimension unchanged.