On subrings of the form \(I+\mathbb{R}\) of \(C(X)\) (Q2283592)

In this article the authors study subrings of the form \(I+ \mathbb{R}\) of \(C(X).\) It is shown that for each ideal \(I\) in \(C(X)\), the sum of two prime ideals of the ring \(I+ \mathbb{R}\) is prime or all of \(I+ \mathbb{R}\) if and only if \(X\) is an \(F\)-space; and it is shown that a \(z\)-ideal in \(I+ \mathbb{R}\) containing a prime ideal of \(I+ \mathbb{R}\) is a prime ideal of \(I+ \mathbb{R}\). Also \(I+ \mathbb{R}\) is a maximal subring of \(C(X)\) if and only if \(I= M^{p}\cap M^{q}\), for some distinct \(p, q \in \upsilon X\). A necessary and sufficient condition for \(C(X)\) being integral over \(I+ \mathbb{R}\) is given which is: \(C(X)\) is to be a countably generated \(I+ \mathbb{R}\) algebra. It is characterized when \(I+ \mathbb{R}\) is integrally closed in \(C(X)\) as well as when \(C(X)\) is a ring of quotients of \(I+ \mathbb{R}\) for an ideal \(I\) in \(C(X).\)