Purity of the ideal of continuous functions with compact support

Publication date 29 November 2001

Published in Mathematical Journal of Okayama University (Search for Journal in Brave)

basically disconnected space flat \(C(X)\)-module projective \(C(X)\)-module pure ideal

Rings and algebras of continuous, differentiable or analytic functions (46E25) Real-valued functions in general topology (54C30) Function spaces in general topology (54C35) Algebraic properties of function spaces in general topology (54C40) Extremally disconnected spaces, (F)-spaces, etc. (54G05)

Review text

Let \(X\) be a completely regular Hausdorff space, \(C_K(X)\) denote the ring of all continuous real-valued functions on \(X\) with compact support, and \(X_L\) the set of points in \(X\) with compact neighbourhoods. We say that \(C_K(X)\) is pure in case, for each \(f\in C_K(X)\), there is \(g\in C_K(X)\) such that \(fg=f\). The author shows that \(C_K(X)\) is pure if, and only if, \(X_L\) is the union of supports of all \(f\in C_K(X)\). He extends some results of \textit{E. M. Vechtomov} [Russ. Math. Surv. 37, No. 4, 147-148 (1982); translation from Usp. Mat. Nauk 37, No. 4(226), 151-152 (1982; Zbl 0536.54009)] and others on the ideal structure of \(C_K(X)\) by assuming, not that \(X\) is locally compact as they did, but that \(C_K(X)\) is pure. One such result is that if \(C_K(X)\) and \(C_K(Y)\) are pure, then \(X_L\) and \(Y_L\) are homeomorphic if, and only if, \(C_K(X)\) and \(C_K(Y)\) are ring isomorphic. Another is that if \(X\) is locally compact, then \(X\) is basically disconnected if, and only if, every principal ideal of \(C_K(X)\) is a projective \(C(X)\)-module.

Recommendations

Cited in

(11)

This page was built for publication: Purity of the ideal of continuous functions with compact support

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2711342)