On the maximal regular ideal of pointfree function rings, and more (Q2310770): Difference between revisions

Let \(L\) be a completely regular frame and \(\mathcal{R}L\) denote the ring of continuous real-valued functions on \(L\). The following results are proved. The following are equivalent for an ideal \(Q\) of \(\mathcal{R}L\). (1) \(Q\) is a regular ideal. (2) For every \(\alpha \in Q\), \(coz \alpha\) is complemented. (3) \(Q = O^I\), for some \(I \in \beta L\) consisting entirely of complemented elements. Theorem. Let \(Q\) be an ideal of \(\mathcal{R}L\). Then every ideal of \(Q\) is an ideal of \(\mathcal{R}L\) iff \(Q\) is a pure ideal in \(\mathcal{R}L\). Proposition. The following are equivalent for a completely regular frame \(L\). (1) For any ideal \(Q\) of \(\mathcal{R}L\), the sum of two \(z\)-ideals of \(Q\) is a \(z\)-ideal of \(Q\). (2) \(L\) is an \(F\)-frame. (3) Every ideal of \(\mathcal{R}L\) is an intersection of pseudoprime ideals.