On the sum of \(z^\circ\)-ideals in two classes of subrings of \(C(X)\) (Q2043571)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 7377351
Language Label Description Also known as
default for all languages
No label defined
    English
    On the sum of \(z^\circ\)-ideals in two classes of subrings of \(C(X)\)
    scientific article; zbMATH DE number 7377351

      Statements

      On the sum of \(z^\circ\)-ideals in two classes of subrings of \(C(X)\) (English)
      0 references
      0 references
      0 references
      2 August 2021
      0 references
      Let \(X\) be a Tychonoff space, \(C(X)\) be the ring of real-valued continuous functions on \(X\), \(I\) be an ideal of a subring \(A(X)\) of \(C(X)\) and \(C^*(X)\subseteq A(X)\). Then \(I\) is called a \(z^\circ\)-ideal if for every \(a \in I,~ P_a \subseteq I\), where \(P_a\) denotes the intersection of all minimal prime ideals of \(A(X)\) that contain \(a\). Generally, the goal of this paper is to consider sums of \(z^\circ\)-ideals in intermediate rings of \(C(X)\). Recall that \(X\) is called an \(F\)-space if every cozero-set in \(X\) is \(C^*\)-embedded. Algebraically, \(X\) is an \(F\)-space if and only if every finitely generated ideal of \(C(X)\) is principal. Recall that if every dense cozero-set is \(C^*\)-embedded in \(X\), then \(X\) is called a quasi \(F\)-space. In this paper it is proved that \(X\) is a quasi \(F\)-space if and only if the sum of any two \(z^\circ\)-ideals in \(A(X)\) (any intermediate ring) is a \(z^\circ\)-ideal or all of \(A(X)\) (the whole intermediate ring). Let \(X\) be an almost \(P\)-space. Then, \(X\) is an \(F\)-space if and only if for each ideal \(I\) in \(C(X)\), such that \(I+R\) generates the topology on \(X\), the sum of any two \(z^\circ\)-ideals in \(I+\mathbb{R}\) is a \(z^\circ\)-ideal in \(I+\mathbb{R}\) or all of \(I+\mathbb{R}\).
      0 references
      \(z^\circ\)-ideal
      0 references
      almost \(P\)-space
      0 references
      quasi \(F\)-space
      0 references
      intermediate ring
      0 references

      Identifiers