Integral extensions on rings of continuous functions

DOI10.1016/J.TOPOL.2009.01.019MaRDI QIDQ1032944zbMATH OpenOpenAlexFDO

Authors M. A. Mulero, Jesús M. Domínguez

Publication date 5 November 2009

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2009.01.019

finitely generated extension integral closure integral extension monic polynomial rings of continuous functions

Integral dependence in commutative rings; going up, going down (13B21) Algebraic properties of function spaces in general topology (54C40) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35)

Review text

Observing that a realcompact space \(X\) is determined by the algebra \(C(X)\) of all real-valued continuous functions on \(X\) and that continuous maps between such spaces are in 1-1 correspondence with morphisms between their algebras of continuous functions, one or both of the authors have investigated in a series of papers [e.g., \textit{M. A. Mulero}, Fundam. Math. 149, No.~1, 55--66 (1996; Zbl 0840.54020); the authors, Topology Appl. 137, No.~1--3, 115--124 (2004; Zbl 1045.54007)] the algebraic properties of rings of continuous function in relation to the topological properties of mappings between topological spaces. In this paper, a surjective continuous map \(\pi : X \to Y\) between Tychonoff spaces induces an injective morphism \(C(Y) \to C(X)\) by composition: \(g \mapsto g\circ\pi\), which turns \(C(X)\) into a \(C(Y)\)-algebra. Here, \(C(Y)\) considered as a subring of \(C(X)\), the extension \(C(Y)\subseteq C(X)\) is integral if every element in \(C(X)\) satisfies a monic polynomial equation over \(C(Y)\). The main result is that if \(X\) is a compact subset of \(\mathbb R^n\), the extension \(C(Y)\subseteq C(X)\) is integral if and only if \(X\) decomposes into a finite union of closed subsets such that \(\pi\) is injective on each. In the absence of compactness, if the extension \(C(Y)\subseteq C(X)\) is integral, then the supremum of the cardinalities of the fibers of \(\pi\) is finite. The Cantor ternary set \(\mathbf {C}\) and a map \(\pi : \mathbf {C} \to I = [0, 1]\) are given and shown as an example in which a continuous onto map between compact Hausdorff spaces has an upper bound for the cardinality of the fibers of \(\pi\) but \(C(I)\subseteq C(\mathbf {C})\) is not integral.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Integral extensions on rings of continuous functions

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