In algebraic geometry

Algebraic geometry

Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It occupies a central place in modern mathematics and has multiple conceptual connections with such diverse fields as complex...

, a field of mathematics

Mathematics

Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...

, an equidimensional scheme (or, pure dimensional scheme) is a scheme

Scheme (mathematics)

In mathematics, a scheme is an important concept connecting the fields of algebraic geometry, commutative algebra and number theory. Schemes were introduced by Alexander Grothendieck so as to broaden the notion of algebraic variety; some consider schemes to be the basic object of study of modern...

 all of whose irreducible component

Irreducible component

In mathematics, the concept of irreducible component is used to make formal the idea that a set such as defined by the equationis the union of the two linesandThe notion of irreducibility is stronger than connectedness.- Definition :...

s are of the same dimension. All irreducible schemes are equidimensional. In affine space

Affine space

In mathematics, an affine space is a geometric structure that generalizes the affine properties of Euclidean space. In an affine space, one can subtract points to get vectors, or add a vector to a point to get another point, but one cannot add points. In particular, there is no distinguished point...

, the union of a line and a point not on the line is not equidimensional. In general, if two closed subschemes of some scheme, neither containing the other, have unequal dimensions, then their union is not equidimensional.

If a scheme is smooth or étale

Étale morphism

In algebraic geometry, a field of mathematics, an étale morphism is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not...

over Spec k for some field k, then every connected component (which may be larger than an irreducible component), is equidimensional.