Chinese remainder approximation theorem

DOI10.1016/J.TOPOL.2017.02.070MaRDI QIDQ2400904zbMATH OpenOpenAlexFDO

Publication date 30 August 2017

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

Full work available at URL https://arxiv.org/abs/1509.02188

Chinese remainder theorem hyperspace uniformity interpolation supercomplete spaces topological ring

Valuations and their generalizations for commutative rings (13A18) Complete rings, completion (13J10) Moment problems and interpolation problems in the complex plane (30E05) Uniform structures and generalizations (54E15) Topological fields, rings, etc. (topological aspects) (54H13)

Abstract: We study a topological generalization of ideal co-maximality in topological rings and present some of its properties, including a generalization of the Chinese remainder theorem. Using the hyperspace uniformity, we prove a stronger version of this theorem concerning infinitely many ideals in supercomplete, pseudo-valuated rings. Finally we prove two interpolation theorems.

Review text

The author investigates topological versions of the Chinese remainder theorem (CRT) by using topological co-maximality and the hyperspace uniformity. Firstly, the author introduces the notion of topological ideal co-maximality (TCM). Then, he gives some properties and examples concerning this notion. In this study, the author proves a version of the Chinese remainder theorem for a possibly infinite family of ideals in general topological rings: Let \(R\) be a topological ring and let \(\mathcal I\) be a compact family of pairwise TCM, two-sided ideals. Consider the map \(\varphi :R\rightarrow \Pi_{I\in \mathcal I} R/I\) defined by \(\varphi(r):=(r+I)_{I\in \mathcal I}\). \(\varphi\) is a ring homomorphism whose kernel is \(\cap_{I\in \mathcal I} I\). Denote by \(\hat \varphi\) the algebraic isomorphism from \( R/\text{ker}\varphi \) to \({\varphi(R)}\) obtained from \(\varphi\) using the first isomorphism theorem. Then \textbf{Theorem 5.2.} Under the above conditions, \(\varphi\) is continuous and its image is dense in \(\Pi_{I\in \mathcal I} R/I\). Moreover, the author proves a stronger version of this theorem, using the hyperspace uniformity, concerning infinitely many ideals in supercomplete, pseudo-valuated rings: \textbf{Theorem 5.5.} If \( R \) is supercomplete and pseudo-valuated, then \(\hat{\varphi}\) is a topological isomorphism onto \(\Pi_{I\in \mathcal I} R/I\). The author also proves two interpolation theorems.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Chinese remainder approximation theorem

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