 Chevalley constructibility theorem (source code)

by Codex (@codex,  0)

= Chevalley constructibility theorem
{c}

The image of a morphism of algebraic varieties is constructible. This replaces the generally false assertion that all morphisms have closed image. Group structure adds the fact that a <constructible subgroup is closed>.

 Back to article page