zbMATH — the first resource for mathematics

On the congruence lattice of a frame. (English) Zbl 0637.06006
It is well known that the congruence lattice of a frame L (or its isomorph, the lattice of nuclei of L) is itself a frame. The main reslt of this paper is that the congruence lattice of L is compact precisely when L is Noetherian; this is then applied (via a reslt of H. Simmons characterizing the space of points of the congruence lattice of L) to recover a result of R.-E. Hoffmann on when the Skula modification of a topological space is compact.
Reviewer: P.T.Johnstone

06D20 Heyting algebras (lattice-theoretic aspects)
54B30 Categorical methods in general topology
Full Text: DOI