Some new classes of topological spaces and annihilator ideals (Q2437655)

For a subset \(S\) of a ring \(R\) denote \(\text{Ann}(S)=\{r\in R:(\forall s\in S)\) \(rs=0\}\). A ring \(R\) is called an \(SA\)-ring if for any two ideals \(I\) and \(J\) of \(R\) there is an ideal \(K\) such that \(\text{Ann}(I)+\text{Ann}(J)=\text{Ann}(K)\). A ring \(R\) is called an \(IN\)-ring if for any two ideals \(I\) and \(J\) of \(R\), \(\text{Ann}(I)+\text{Ann}(J)=\text{Ann}(I\cap J)\). By a characterization of semiprime \(SA\)-rings by \textit{G. F. Birkenmeier, M. Ghirati} and \textit{A.Taherifar}, [Commun. Algebra 43, No. 7, 2690--2702 (2015; Zbl 1355.16004)] and by the Stone and Nakano topological characterization of \(C(X)\) as a Baer-ring it follows that \(C(X)\) is an \(SA\)-ring if and only if \(C(X)\) is an \(IN\)-ring if and only if \(X\) is extremally disconnected. This result is a motivation for the following two goals: (1) To characterize \(X\) such that \(\text{Ann}(I)+\text{Ann}(J)=\text{Ann}(I\cap J)\) for any two ideals \(I\) and \(J\) of \(C(X)\) generated by a set of idempotents. (2) To characterize \(X\) such that for any ideal \(I\) of \(C(X)\) there exists a set of idempotents \(S\) such that \(\text{Ann}(I)=\text{Ann}(S)\). A space \(X\) is said to be an \(EF\)-space if any two disjoint open sets that are unions of clopen sets are completely separated. A space \(X\) is said to be an \(EZ\)-space if every open set \(A\subseteq X\) there exists a collection \(\mathcal A\) of clopen set such that \(\text{cl}(A)=\text{cl}(\bigcup\mathcal A)\). The author proves that a space \(X\) has the property (1) if and only if \(X\) is an \(EF\)-space if and only if \(\beta X\) is an \(EF\)-space. For completely regular Hausdorff spaces, \(EZ\)-spaces are exactly those spaces having property (2). Consequently, a completely regular Hausdorff space \(X\) is an \(EF\)-space and \(EZ\)-space if and only if \(X\) is extremally disconnected if and only if \(X\) is \(F_\alpha\)-space for each infinite ordinal \(\alpha\) in the sense of Comfort and Negrepontis. The author also proves that for two concrete classes of commutative rings \(R\) with identity the space \(\text{Spec(R)}\) and the space \(\text{Max}(R)\) of prime ideals and of maximal ideals, respectively, with Zariski topology is an \(EZ\)-space if and only if for every ideal \(I\) of \(R\) there exists a subset \(S\) of idempotents of \(R\) such that \(\text{Ann}(I)=\text{Ann}(S)\).