constructible, topology, commutative, algebra, constructible, topology, spectrum, spec, displaystyle, operatorname, spec, commutative, ring, displaystyle, topology, where, each, closed, image, spec, displaystyle, operatorname, spec, spec, displaystyle, operato. In commutative algebra the constructible topology on the spectrum Spec A displaystyle operatorname Spec A of a commutative ring A displaystyle A is a topology where each closed set is the image of Spec B displaystyle operatorname Spec B in Spec A displaystyle operatorname Spec A for some algebra B over A An important feature of this construction is that the map Spec B Spec A displaystyle operatorname Spec B to operatorname Spec A is a closed map with respect to the constructible topology With respect to this topology Spec A displaystyle operatorname Spec A is a compact 1 Hausdorff and totally disconnected topological space i e a Stone space In general the constructible topology is a finer topology than the Zariski topology and the two topologies coincide if and only if A nil A displaystyle A operatorname nil A is a von Neumann regular ring where nil A displaystyle operatorname nil A is the nilradical of A 2 Despite the terminology being similar the constructible topology is not the same as the set of all constructible sets 3 See also editConstructible set topology References edit Some authors prefer the term quasicompact here Lemma 5 23 8 0905 The Stacks project stacks math columbia edu Retrieved 2022 09 20 Reconciling two different definitions of constructible sets math stackexchange com Retrieved 2016 10 13 Atiyah Michael Francis Macdonald I G 1969 Introduction to Commutative Algebra Westview Press p 87 ISBN 978 0 201 40751 8 Knight J T 1971 Commutative Algebra Cambridge University Press pp 121 123 ISBN 0 521 08193 9 nbsp This topology related article is a stub You can help Wikipedia by expanding it vte nbsp This commutative algebra related article is a stub You can help Wikipedia by expanding it vte Retrieved from https en wikipedia org w index php title Constructible topology amp oldid 1170051682, wikipedia, wiki, book, books, library,