nLab localization of a ring


This entry is about the general notion of localization of a possible noncommutative ring. For the more restrictive but more traditional notion of localization of a commutative ring see there.




Given a (possibly noncommutative) unital ring RR there are many situations when certain elements or matrices can be inverted in a universal way obtaining a new “localized” ring S 1RS^{-1}R equipped with a localization homomorphism RS 1RR\to S^{-1}R under which all elements in SS are mapped to multiplicatively invertible elements (units). The latter property must be modified for Cohn localization at multiplicative set of matrices.

We can typically invert elements in a left or right Ore subset SRS\subset R or much more generally some multiplicative set or matrices (Cohn localization) etc. There are also some specific localizations like Martindale localizations in ring theory.

Localization “at” and “away from”

The common terminology in algebra is as follows.

For SS a set of primes, “localize at SS” means “invert what is not divisible by SS”; so for pp prime, localizing “at pp” means considering only pp-torsion.

Adjoining inverses [S 1][S^{-1}] is pronounced “localized away from SS”. Inverting a prime pp is localizing away from pp, which means ignoring pp-torsion.

See also lecture notes such as (Gathmann) and see at localization of a space for more discussion of this.

Evidently, this conflicts with more-categorial uses of “localized”; “inverting weak equivalences” is called localization, by obvious analogy, and is written as “localizing at weak equivalences”. This is confusing! It’s also weird: since a ring is a one-object Ab-enriched category with morphisms “multiply-by”, the localization-of-the-category RR “at pp” (or its Ab-enriched version, if saying that is necessary) really means the localization-of-the-ring R “away from p”.


For general rings

Let RR be a ring and (S,1,)(S, 1, \cdot) be a multiplicative submonoid of (R,1,)(R, 1, \cdot) with monoid monomorphism i:SRi:S \hookrightarrow R. The localization of RR at SS is defined as the initial ring S 1RS^{-1} R with a ring homomorphism h:RS 1Rh:R \to S^{-1} R and monoid monomorphism j:SS 1Rj:S \hookrightarrow S^{-1} R such that for all sSs \in S, j(s)h(i(s))=1j(s) \cdot h(i(s)) = 1 and h(i(s))j(s)=1h(i(s)) \cdot j(s) = 1: for every other ring AA with a ring homomorphism k:RAk:R \to A and monoid monomorphism l:SAl:S \hookrightarrow A such that for all sSs \in S, l(s)k(i(s))=1l(s) \cdot k(i(s)) = 1 and k(i(s))l(s)=1k(i(s)) \cdot l(s) = 1, there is a unique ring homomorphism g:S 1RAg:S^{-1} R \to A.

The localization of a ring at a multiplicative submonoid SS which contains 00 is the trivial ring.

For commutative rings


See localization of a commutative ring.

The localization of a commutative ring RR at a multiplicative subset SS is the commutative ring whose underlying set is the set of equivalence classes on R×SR \times S under the equivalence relation

(r 1,s 1)(r 2,s 2)uS(r 1s 2r 2s 1)u=0R. (r_1, s_1) \sim (r_2, s_2) \;\;\Leftrightarrow\;\; \exists u \in S \; (r_1 s_2- r_2 s_1) u = 0 \;\in R \,.

Write rs 1r s^{-1} for the equivalence class of (r,s)(r,s). On this set, addition and multiplication is defined by

r 1s 1 1+r 2s 2 1(r 1s 2+r 2s 1)(s 1s 2) 1 r_1 s_1^{-1} + r_2 s_2^{-1} \coloneqq (r_1 s_2 + r_2 s_1) (s_1 s_2)^{-1}
(r 1s 1 1)(r 2s 2 1)r 1r 2(s 1s 2) 1. (r_1 s_1^{-1})(r_2 s_2^{-1}) \coloneqq r_1 r_2 (s_1 s_2)^{-1} \,.

(e.g. Stacks Project, def. 10.9.1)

For E kE_k-rings

(…) By the lifting property of etale morphisms for E kE_k-rings, see here. (…)


As a modality in arithmetic cohesion

Localization away from a suitably tame ideal may be understood as the dR-shape modality in the cohesion of E-infinity arithmetic geometry:

cohesion in E-∞ arithmetic geometry:

cohesion modalitysymbolinterpretation
flat modality\flatformal completion at
shape modalityʃʃtorsion approximation
dR-shape modalityʃ dRʃ_{dR}localization away
dR-flat modality dR\flat_{dR}adic residual

the differential cohomology hexagon/arithmetic fracture squares:

localizationawayfrom𝔞 𝔞adicresidual Π 𝔞dR 𝔞X X Π 𝔞 𝔞dRX formalcompletionat𝔞 𝔞torsionapproximation, \array{ && localization\;away\;from\;\mathfrak{a} && \stackrel{}{\longrightarrow} && \mathfrak{a}\;adic\;residual \\ & \nearrow & & \searrow & & \nearrow && \searrow \\ \Pi_{\mathfrak{a}dR} \flat_{\mathfrak{a}} X && && X && && \Pi_{\mathfrak{a}} \flat_{\mathfrak{a}dR} X \\ & \searrow & & \nearrow & & \searrow && \nearrow \\ && formal\;completion\;at\;\mathfrak{a}\; && \longrightarrow && \mathfrak{a}\;torsion\;approximation } \,,


A classical account of localization of commutative rings is in section 1 of

  • Dennis Sullivan, Geometric topology: localization, periodicity and Galois symmetry, volume 8 of K- Monographs in Mathematics. Springer, Dordrecht, 2005. The 1970 MIT notes, Edited and with a preface

    by Andrew Ranicki (pdf)

A constructive account of localization of rings is in chapter 2 section 2 of

Further reviews include

Discussion of the general concept in noncommutative geometry is in

  • Zoran ?koda?, Noncommutative localization in noncommutative geometry, London Math. Society Lecture Note Series 330 (pdf), ed. A. Ranicki; pp. 220–313, math.QA/0403276.

Last revised on May 26, 2022 at 18:25:46. See the history of this page for a list of all contributions to it.