In commutative algebra, the constructible topology on the spectrum
is a topology where each closed set is the image of
An important feature of this construction is that the map
is a closed map with respect to the constructible topology.
is a compact,[1] Hausdorff, and totally disconnected topological space (i.e., a Stone space).
is a von Neumann regular ring, where
[2] Despite the terminology being similar, the constructible topology is not the same as the set of all constructible sets.
You can help Wikipedia by expanding it.This commutative algebra-related article is a stub.