Tychonoff spaces and a ring theoretic order on \(C(X)\) (Q2187155)

In a reduced ring \(R\), i.e a ring without non-zero nilpotent member, a relation of partial order viz. reduced ring order, in brief \(rr\)-order, is introduced by declaring for \(r,s\) in \(R\), \(r\leq s\) if \(r^2 =rs\). \(R\) is called an \(rr\)-good ring if it becomes a lower semi-lattice in this order. A Tychonoff topological space \(X\) is called \(rr\)-good if the ring \(C(X)\) is an \(rr\)-good ring. In the present paper the authors have investigated \(rr\)-good spaces and also constructed varieties of examples of spaces that fail to be \(rr\)-good. In a previous article [Contemp. Math. 715, 89--106 (2018; Zbl 1441.16048)], the authors have already proved \(rr\)-goodness of two important classes of spaces viz. locally connected spaces and basically disconnected spaces. In the present article, the authors use these two facts to prove some results related to \(rr\)-good spaces. It is realized that a continuous image of a locally connected pseudocompact space is \(rr\)-good. It is shown that the product of two \(rr\)-good spaces need not be \(rr\)-good, however under certain restrictions such things could be averted. Indeed it is established that if \(X\) is a \(P\)-space and therefore basically disconnected and hence \(rr\)-good and \(Y\) is an \(rr\)-good weakly Lindelöf space then \(X\times Y\) is necessarily \(rr\)-good. It is shown that whenever \(\mathbb{R}\) has a partition into two dense subsets \(A\) and \(B\), none of these two sets is \(rr\)-good. In contrast the authors construct a pair of mutually disjoint dense subsets \(A\) and \(B\) of \(\mathbb{R}^2\) such that \(\mathbb{R} = A\cup B\), but one of these two sets is \(rr\)-good.