Algebraic characterization of rings of continuous R((t))-valued functions
This paper generalizes already existent characterizations of rings of continuous functions on a compact space, taking values on \(\mathbb{R}\) or on \(\mathbb{Q}_p\). The ring considered here is \(C(X;\mathbb{R}((t))\), where \(X\) is still a compact space and \(\mathbb{R}((t))\) is the field of Laurent series, with the topology linked to the order induced by: \(\sum_{n=m}^{\infty} a_n t^b >0 \Longrightarrow a_m >0\). Such a ring contains the field of fractions \(\mathbb{R}(t)\) and the main result is its characterization among all commutative rings with that property. Let \(A\supseteq\mathbb{R}(t)\) be a commutative ring. To provide a sufficient condition for the existence of a representation \(\Phi:A\longrightarrow C(X,\mathbb{R}((t))\), for some compact space \(X\), the authors use an \(\mathbb{R}(t)\)-\textit{divisibility}, strictly linked to the canonical \(v_t\) valuation on \(\mathbb{R}((t))\), and choose \(X\) to be the set \(Spv_t^{\max}(A)\) of maximal \(R(t)\)-\textit{divisibilities} on \(A\) extending \(|\). The set \(Spv_t^{\max}(A)\) is endowed with a topology making it a compact space. A technical tool used to get their results is the one-one correspondence between the valuation divisibilities and the Bourbaki valuation maps on \(A\). Their ``Representation Theorem gives conditions for injectivity and surjectivity of the representation \(\Phi\) in a ring theoretic form. The tool to get it is the ``Translation Lemma; it translates the canonical divisibility \(|*\) on \(C(X,\mathbb{R}((t))\) defined by: \[ g|* f \iff v_t (g(x)) \leq v_t(f(x)), \forall x\in X, \] into the condition: \[ (\exists h\in C(X,\mathbb{R}(t)): f^2 -t g^2 = h^2. \] As a final result, they characterize the rings \(A\) isomorphic to \(C(X,\mathbb{R}((t))\) in terms of existence of an \(\mathbb{R}(t)\)-\textit{divisibility} on \(A\) such that the induced seminorm \( || \ ||\) is a norm in \(A\) and the space \((A,|| \ ||)\) is complete.
- Algebraic characterization of rings of continuous \(p\)-adic valued functions
- Rings of continuous functions with values in a topological division ring
- Chebyshev-Haar systems in the theory of discontinuous Kellogg kernels
- scientific article; zbMATH DE number 887759
- Purely ring characteristic of rings of continuous functions on compact topological spaces
- Algebraic characterization of rings of continuous \(p\)-adic valued functions
- Bemerkungen zur Theorie der formal \(p\)-adischen Körper
- scientific article; zbMATH DE number 1601019 (Why is no real title available?)
- scientific article; zbMATH DE number 3581101 (Why is no real title available?)
- scientific article; zbMATH DE number 3384142 (Why is no real title available?)
- The Stone-Weierstrass theorem for valuable fields
- The Weierstrass Theorem in Fields with Valuations
- Valued Fields
- A characterization of rings of density continuous functions
- Algebraic description of rings of continuous functions
- Algebraic characterization of rings of continuous \(p\)-adic valued functions
- scientific article; zbMATH DE number 1979713 (Why is no real title available?)
- scientific article; zbMATH DE number 5167273 (Why is no real title available?)
This page was built for publication: Algebraic characterization of rings of continuous \(\mathbb{R}((t))\)-valued functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2136909)
