Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Chinese remainder approximation theorem - MaRDI portal

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