\(z\)-ideals and \(z^0\)-ideals in the factor rings of \(C(X)\)
type: Item
instance of: scholarly article
title: \(z\)-ideals and \(z^0\)-ideals in the factor rings of \(C(X)\)
zbMATH Open document ID: 1221.54023
author: A. R. Aliabad
author: F. Azarpanah
author: M. Paimann
published in: Bulletin of the Iranian Mathematical Society
publication date: 2011-05-31T00:00:00Z
review text: An ideal \(I\) in \(C(X)\) is a \(z\)-ideal (\(z^0\)-ideal) if \(f \in I\), \(g \in C(X)\), and \(Z(f)\subseteq Z(g)\) (\(int_XZ(f) \subseteq int_XZ(X)\)) implies that \(g \in I\), \(Z(h)\) being the set of zeros of \(h\). As a result, \(I\) is a \(z\)-ideal (\(z^0\)-ideal) if and only if every prime ideal minimal over \(I\) is a \(z\)-ideal (\(z^0\)-ideal) [see \textit{F. Azarpanah} and \textit{R. Mohamadian}, Acta Math. Sin., Engl. Ser. 23, No. 6, 989--996 (2007; Zbl 1186.54021)]. The authors characterize \(z\)-ideals of the factor rings of \(C(X)\) via \(z\)-ideals of \(C(X)\). A family \(\{N_\pi(f) : f \in C(X), \pi \in C(X) \text{ is a positive unit}\}\) used as a base of open sets gives the \(m\)-topology on \(C(X)\). When \(X\) is pseudocompact, the paper shows that \(J/I\) is a \(z\)-ideal in \(C(X)/I\) if and only if \(J\) is a \(z\)-ideal in \(C(X)\) containing the \(m\)-closure \(\bar{I}\) of the ideal \(I\). The \(e\)-ideals in \(C^*(X)\) are the closed ideals with uniform norm topology, and the relative \(m\)-topology on \(C^*(X)\) coincides with the uniform norm topology when \(X\) is pseudocompact [see \textit{L. Gillman} and \textit{M. Jerison}, Rings of continuous functions. Reprint of the 1960 Van Nostrand edition. New York - Heidelberg - Berlin: Springer-Verlag (1976; Zbl 0327.46040)]. The paper shows that the sum of two \(m\)-closed ideals (\(e\)-ideals) in \(C(X)\) when \(X\) is pseudocompact is an \(m\)-closed ideal (\(e\)-ideal). Further, if \(I\) and \(J\) are \(z^0\)-ideals in \(C(X)\) with \(I \subseteq J\), then \(J/I\) is a \(z^0\)-ideal in \(C(X)/I\) if and only if every prime \(z^0\)-ideal in \(C(X)\) is minimal. Examples and counterexamples are given to illustrate some of the statements in their investigations of \(z^0\)-ideals of factor rings of \(C(X)\).
Mathematics Subject Classification ID: 54C40
Mathematics Subject Classification ID: 13A15
zbMATH DE Number: 5901795
zbMATH Keywords: reduced ring
zbMATH Keywords: \(z\)-ideal
zbMATH Keywords: \(z^0\)-ideals
zbMATH Keywords: \(m\)-topology
zbMATH Keywords: closed ideals
zbMATH Keywords: \(P\)-space
zbMATH Keywords: pseudocompact
zbMATH Keywords: \(\varepsilon\)-set
reviewed by: Pao-sheng Hsu
MaRDI profile type: Publication
Recommended article: Q5121596
Recommended article: A generalization of the m-topology on C(X) finer than the m-topology
Recommended article: On atomic ideals in some factor rings of $C(X,\Bbb Z)$
Recommended article: Relative \(z\)-ideals in \(C(X)\)
Recommended article: \(C_\infty(X)\) and related ideals
Recommended article: On ideals of ideals in \(C(X)\)
Recommended article: On nonregular ideals and z°-ideals in C(X)
Recommended article: Remarks on intermediate C-rings of C(X)
Recommended article: On the sum of \(z\)-ideals in subrings of \(C(X)\)
Recommended article: Remarks on subrings ofC(X) of the formI+C*(X)
description: scientific article; zbMATH DE number 5901795