Chinese remainder approximation theorem (Q2400904)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Chinese remainder approximation theorem
scientific article

    Statements

    Chinese remainder approximation theorem (English)
    0 references
    0 references
    30 August 2017
    0 references
    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.
    0 references
    Chinese remainder theorem
    0 references
    hyperspace uniformity
    0 references
    interpolation
    0 references
    supercomplete spaces
    0 references
    topological ring
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references