mathlib documentation

topology.algebra.localization

Localization of topological rings #

The topological localization of a topological commutative ring R at a submonoid M is the ring localization M endowed with the final ring topology of the natural homomorphism sending x : R to the equivalence class of (x, 1) in the localization of R at a M.

Main Results #

The ring topology on localization M coinduced from the natural homomorphism sending x : R to the equivalence class of (x, 1).

Equations
@[protected, instance]