Separable completion of a ring

From Encyclopedia of Mathematics
Revision as of 16:59, 7 February 2011 by (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The completion of the topological ring , where is a topological ring and is the closure in of the zero ideal . The separable completion of a ring is also a topological ring and is usually denoted by . Every continuous homomorphism from into a complete separable ring can be uniquely extended to a continuous homomorphism .

In the most important case where the topology of the ring is linear and is defined by a fundamental system of ideals , the separable completion is canonically identified with the projective limit of the discrete rings . The separable completion of a module is achieved in the same way.



[a1] N. Bourbaki, "Algèbre commutative" , Eléments de mathématiques , Hermann (1961) pp. Chapt. 3. Graduations, filtrations, et topologies
How to Cite This Entry:
Separable completion of a ring. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by V.I. Danilov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article