Yosida frames (Q2581278): Difference between revisions

Yosida frames are used to abstractly characterize the frame of \({\mathcal Z}\)-ideals of a ring of continuous functions \(C(X)\), when \(X\) is a compact Hausdorff space. An algebraic frame in which the meet of any two compact elements is compact is Yosida precisely when it is ``finitely subfit''; that is, if and only if for each pair of compact elements \(a < b\), there is a \({\mathcal Z}\) (not necessarily compact) such that \(a \vee {\mathcal Z}<1=b\vee {\mathcal Z}\). This is used to prove that if \(L\) is an algebraic frame in which the meet of any two compact elements is compact, and \(L\) has disjointification and \(\dim(L) = 1\), then it is Yosida. It is shown that this result fails with almost any relaxation of the hypotheses. The paper contains also two interesting questions (Question 2.17 and 2.18) connected with sufficiency conditions for Yosida frames of lattices (the answer is ``yes'' if it is compact). The paper closes with a number of examples, and a characterization of the Bézout domains in which the frame of semiprime ideals is a Yosida frame.