Cozero complemented frames (Q390397)

The Tychonoff spaces \(X\) for which the minimal prime ideal space \(\mathrm{Min}(C(X))\) is compact are precisely the spaces where for every cozero set \(U\), there is a cozero set \(V\) such that \(U\cap V=\emptyset\) and \(U\cup V\) is dense. For this reason they are called cozero complemented. In the present paper the authors extend this notion to the pointfree setting: a frame \(L\) is \textit{cozero complemented} if for every \(c\in\mathrm{Coz}\,L\) there is a \(d\in\mathrm{Coz}\,L\) with \(c\wedge d=0\) and \(c\vee d\) dense. As the authors point out, this terminology becomes rather unfortunate in frames because it gives the impression that each cozero element is complemented in the usual sense, that is \(c\vee c^*=1\) (the frames in which every cozero element is complemented are called \(P\)-frames, and they are the pointfree counterpart of \(P\)-spaces). They keep it just because the moniker is now standard for spaces. The authors' aim is to investigate this notion in frames and, in particular, to examine how far the spatial characterizations extend to pointfree topology.