Integral extensions on rings of continuous functions (Q1032944): Difference between revisions
From MaRDI portal
m rollbackEdits.php mass rollback Tag: Rollback |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.topol.2009.01.019 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1992208681 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5563439 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4107197 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On covering spaces and Galois extensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite homomorphisms on rings of continuous functions. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stone-Čech compactification of a product / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5627356 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4868603 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222596 / rank | |||
Normal rank |
Latest revision as of 03:39, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Integral extensions on rings of continuous functions |
scientific article |
Statements
Integral extensions on rings of continuous functions (English)
0 references
5 November 2009
0 references
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.
0 references
rings of continuous functions
0 references
integral extension
0 references
finitely generated extension
0 references
monic polynomial
0 references
integral closure
0 references