A natural equivalence for the category of coherent frames (Q987188): Difference between revisions

Given a complete lattice \(L\), let \(\mathfrak{K}(L)\) denote the set of all compact elements of \(L\). This is a join-semilattice with bottom. Further, let \(\mathfrak{F}\) be the functor between the category of meet-semilattices with top element and the category of complete algebraic lattices assigning to each \(L\) the set \(\mathfrak{F}(L)\) of all filters of \(L\) and to each meet-semilattice homomorphism \(g:L\rightarrow M\) the map \(\mathfrak{F}(L)\rightarrow \mathfrak{F}(M)\) defined by \[ \mathfrak{F}(g)(F)=\{y\in M\mid \mathrm{ there is an }x\in F\mathrm{ such that }g(x)\leq y\}. \] This functor establishes a natural equivalence between the two categories. Whenever \(L\) is a coherent frame, \(\mathfrak{K}(L)\) is a sublattice of \(L\) and then \(\mathfrak{F}\) applies to it. In this paper, the authors relate properties of the coherent frame \(L\) to the coherent frame \(\mathfrak{F}(\mathfrak{K}(L))\) (referred to as the \textit{prime} of \(L\)). They consider several interesting properties of coherent frames like regularity, zero-dimensionality and normality, and provide some applications to the coherent frame \(\mathrm{Rad}(A)\) of all radical ideals of a commutative ring with identity \(A\) and to the study of the prime spectra.