When certain prime ideals in rings of continuous functions are minimal or maximal. (Q491803)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | When certain prime ideals in rings of continuous functions are minimal or maximal. |
scientific article |
Statements
When certain prime ideals in rings of continuous functions are minimal or maximal. (English)
0 references
19 August 2015
0 references
Let \(A\) be a commutative ring with identity. The symbols \(\mathrm{Spec}(A)\), \(\mathrm{Max}(A)\), \(\mathrm{Min}(A)\), \(\mathrm{Spec}_d(A)\) and \(\mathrm{Spec}_z(A)\) denote the set of prime ideals, maximal prime ideals, minimal prime ideals, prime \(d\)-ideals and prime \(z\)-ideals of \(A\), respectively. The main goal of this paper is to characterize frames \(L\) such that, for each of the following conditions, the ring \(\mathcal RL\) of continuous real functions on \(L\) satisfies that condition: (dMin) \(\mathrm{Spec}_d(A)\subseteq\mathrm{Min}(A)\); (dMax) \(\mathrm{Spec}_d(A)\subseteq\mathrm{Max}(A)\); (dMM) \(\mathrm{Spec}_d(A)\subseteq\mathrm{Min}(A)\cup\mathrm{Max}(A)\); (zMin) \(\mathrm{Spec}_z(A)\subseteq\mathrm{Min}(A)\); (zMax) \(\mathrm{Spec}_z(A)\subseteq\mathrm{Max}(A)\); (zMM) \(\mathrm{Spec}_z(A)\subseteq\mathrm{Min}(A)\cup\mathrm{Max}(A)\). First, it is observed that in the class of rings with no nonzero nilpotent elements (i.e. reduced rings), (zMin), (zMax) and (dMax) are all equivalent, and are equivalent to the property of being von Neumann regular. This implies that \(\mathcal RL\) satisfies any of these three conditions if and only if \(L\) is a \(P\)-frame, a generalization of the classical notion of a \(P\)-space. Then it is proved that \(\mathcal RL\) satisfies (dMin) (resp. (dMM), resp. (zMM)) precisely if \(L\) is \textit{cozero complemented} (resp. \textit{quasi cozero complemented}, resp. a \textit{quasi \(P\)-frame}). In the last part of the article the authors examine how far the theory of quasi \(P\)-frames parallels that of quasi \(P\)-spaces as defined by \textit{M. Henriksen} et al. [Commentat. Math. Univ. Carol. 44, No. 2, 261-294 (2003; Zbl 1098.54013)].
0 references
\(P\)-frames
0 references
quasi \(P\)-frames
0 references
almost \(P\)-frames
0 references
quasi cozero complemented frames
0 references
quasi \(m\)-spaces
0 references
maximal prime ideals
0 references
minimal prime ideals
0 references
rings of continuous real functions
0 references