Spatial sublocales and essential primes

DOI10.1016/0166-8641(87)90046-0MaRDI QIDQ1090349zbMATH OpenOpenAlexFDO

Authors Susan Niefield, K. I. Rosenthal

Publication date 1987

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0166-8641(87)90046-0

zbMATH Keywords

essential primelocale of radical idealsmeet of prime elementsnucleispatial locale

Mathematics Subject Classification ID

Pseudocomplemented lattices (06D15) Heyting algebras (lattice-theoretic aspects) (06D20) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Review text

It is well known that a locale is spatial precisely when every element is a meet of prime elements. Now if L is a spatial locale and a, p are elements of L with p prime and \(a\leq p\), p is called an essential prime of a when p is regular in the locale \(\uparrow a\). This is equivalent to the fact that p has to appear in any meet \(a=\wedge q\) where each q is a minimal element in the set of prime elements above a. For a locale L, the following conditions are proved to be equivalent: (1) Every sublocale of L is spatial, (2) every element of L is the meet of its essential prime elements, (3) the locale NL of nuclei of L is spatial. This result is particularized to the case of the locale of open subsets of the spectrum of a ring (i.e. the locale of radical ideals).

Recommendations

• On the relation between subspaces and sublocales
• A localic approach to minimal prime spectra
• Spatial quantales
• On joins of complemented sublocales
• Abstractly constructed prime spectra

Cites work

• Closure Operations on Ideals and Submodules
• scientific article; zbMATH DE number 3775591 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• Spaces with Boolean assemblies

Cited in

(25)

• Near-discreteness of modules and spaces as measured by Gabriel and Cantor
• The category of finitary biframes as the category of pointfree bispaces
• On the relation between subspaces and sublocales
• The coframe of \(D\)-sublocales of a locale and the \(T_D\)-duality
• Exact filters and joins of closed sublocales
• When is the frame of nuclei spatial: a new approach
• Point-sensitive and point-free patch constructions
• Complete congruences on topologies and down-set lattices
• The frame of nuclei on an Alexandroff space
• A note on weakly pseudocompact locales
• Constructing locales from quantales
• First Steps in Descriptive Theory of Locales
• scientific article; zbMATH DE number 2156379 (Why is no real title available?)
• Axiom T_D and the Simmons sublocale theorem
• Notes on Point-Free Topology
• Sublocale lattices
• Prime-localized Weinstein subdomains
• Pervin spaces and Frith frames: bitopological aspects and completion
• A pointfree theory of Pervin spaces
• Martínez frames
• The local-to-global principle via topological properties of the tensor triangular support
• Support theories for non-Noetherian tensor triangulated categories
• Complete congruences of completely distributive lattices
• On dissolute spaces
• A generalization of quantales with applications to modules and rings.

This page was built for publication: Spatial sublocales and essential primes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1090349)