# GO INFO site

Just another INFO site

# Dimension of a scheme In algebraic geometry, the dimension of a scheme is a generalization of a dimension of an algebraic variety. Scheme theory emphasizes the relative point of view and, accordingly, the relative dimension of a morphism of schemes is also important.

## . . . Dimension of a scheme . . .

By definition, the dimension of a scheme X is the dimension of the underlying topological space: the supremum of the lengths of chains of irreducible closed subsets:

${displaystyle emptyset neq V_{0}subsetneq V_{1}subsetneq cdots subsetneq V_{ell }subset X.}$ In particular, if

${displaystyle X=operatorname {Spec} A}$ is an affine scheme, then such chains correspond to chains of prime ideals (inclusion reversed) and so the dimension of X is precisely the Krull dimension of A.

If Y is an irreducible closed subset of a scheme X, then the codimension of Y in X is the supremum of the lengths of chains of irreducible closed subsets:

${displaystyle Y=V_{0}subsetneq V_{1}subsetneq cdots subsetneq V_{ell }subset X.}$ An irreducible subset of X is an irreducible component of X if and only if the codimension of it in X is zero. If

${displaystyle X=operatorname {Spec} A}$

is affine, then the codimension of Y in X is precisely the height of the prime ideal defining Y in X.

## . . . Dimension of a scheme . . .

This article is issued from web site Wikipedia. The original article may be a bit shortened or modified. Some links may have been modified. The text is licensed under “Creative Commons – Attribution – Sharealike”  and some of the text can also be licensed under the terms of the “GNU Free Documentation License” . Additional terms may apply for the media files. By using this site, you agree to our Legal pages . Web links: