nLab complete algebraic variety



An algebraic variety XX is called complete if for every algebraic variety YY the projection

X×YY X \times Y \longrightarrow Y

out of their Cartesian product is a closed map.

This is an algebraic analog of being a compact topological space.


Created on November 24, 2013 at 06:01:44. See the history of this page for a list of all contributions to it.