# Localization (ring theory)
**Localization** is a construction in commutative algebra that adjoins multiplicative inverses for the elements of a chosen subset S of a ring A, producing a new ring \(S^{-1}A\) together with a canonical map \(A \to S^{-1}A\). Its defining feature is a universal property: \(S^{-1}A\) is the ring in which every element of S becomes a unit, and it is universal with this property[1](https://ncatlab.org/nlab/show/localization+of+a+commutative+ring). Concretely, any ring map \(f : A \to B\) that sends every element of S to a unit of B factors uniquely through \(S^{-1}A\)[2](https://stacks.math.columbia.edu/tag/00CM). This universal property determines \(S^{-1}A\) up to isomorphism and explains why the same construction appears under the notations \(A[S^{-1}]\), \(S^{-1}A\), and \(A_S\) in different references[3](https://encyclopediaofmath.org/wiki/Localization_in_a_commutative_algebra).
| Key fact | Statement |
|---|---|
| Multiplicative set | S ⊆ R is multiplicative if 1 ∈ S and s, s′ ∈ S imply ss′ ∈ S[2](https://stacks.math.columbia.edu/tag/00CM) |
| Construction | S⁻¹A consists of fractions x/s with (x, s) ~ (y, t) iff (xt − ys)u = 0 for some u ∈ S[2](https://stacks.math.columbia.edu/tag/00CM) |
| Injectivity | A → S⁻¹A is injective exactly when S contains no zerodivisors[2](https://stacks.math.columbia.edu/tag/00CM) |
| Collapse | S⁻¹A is the zero ring iff 0 ∈ S[2](https://stacks.math.columbia.edu/tag/00CM); a nilpotent in S also forces S⁻¹A = 0[3](https://encyclopediaofmath.org/wiki/Localization_in_a_commutative_algebra) |
| At a prime | \(A_{\mathfrak{p}} = (A \setminus \mathfrak{p})^{-1}A\) is local with maximal ideal \(\mathfrak{p}A_{\mathfrak{p}}\) and residue field \(\mathrm{Frac}(A/\mathfrak{p})\)[4](https://encyclopediaofmath.org/wiki/Local_ring) |
| Flatness | S⁻¹M = M ⊗_A S⁻¹A, and S⁻¹A is a flat A-module, so localization is exact[3](https://encyclopediaofmath.org/wiki/Localization_in_a_commutative_algebra) |
## Multiplicative sets and the construction of S⁻¹A
A subset S of a ring R is a multiplicative subset if 1 ∈ S and S is closed under multiplication, that is, s, s′ ∈ S implies ss′ ∈ S[2](https://stacks.math.columbia.edu/tag/00CM). Nothing in the definition requires S to avoid 0 or zerodivisors; allowing them is a deliberate choice with consequences discussed below.
The ring S⁻¹A is built from equivalence classes of pairs (x, s) with s ∈ S, written as fractions x/s, where
(x, s) ~ (y, t) if and only if (xt − ys)u = 0 for some u ∈ S.[2](https://stacks.math.columbia.edu/tag/00CM)
The extra factor u is the one departure from the familiar rule for fractions in a domain. It encodes the fact that elements of S are being declared invertible even when they annihilate things: if sx = ty only up to something killed by an element of S, then that difference dies in S⁻¹A anyway, since the annihilating element of S becomes a unit there.
The canonical map A → S⁻¹A sends x to x/1. It is injective exactly when S contains no zerodivisors: if x/1 = 0, then xu = 0 for some u ∈ S, so x is killed by an element of S[2](https://stacks.math.columbia.edu/tag/00CM). Two collapse cases matter in practice. The localization S⁻¹A is the zero ring if and only if 0 ∈ S[2](https://stacks.math.columbia.edu/tag/00CM), and if S contains a nilpotent element then A[S⁻¹] = 0 as well[3](https://encyclopediaofmath.org/wiki/Localization_in_a_commutative_algebra).
## Universal property, functoriality and exactness
The universal property characterizes the construction: given any ring map \(f : A \to B\) sending every element of \(S\) to a unit of \(B\), there is a unique homomorphism \(g : S^{-1}A \to B\) compatible with the canonical map[2](https://stacks.math.columbia.edu/tag/00CM). The ring \(S^{-1}A\) and the map into it are determined up to unique isomorphism. The Encyclopedia of Mathematics describes \(A[S^{-1}]\) as the solution of the universal mapping problem of making all elements of \(S\) invertible, and notes alternative constructions: fractions \(a/s\), a quotient of a polynomial ring \(A[X_s]\) by the ideal generated by \(sX_s - 1\), or an inductive limit[3](https://encyclopediaofmath.org/wiki/Localization_in_a_commutative_algebra).
The construction extends from rings to modules: for any A-module M over a multiplicative set S, one forms the module of fractions S⁻¹M[5](https://math.stanford.edu/~conrad/210BPage/handouts/math210b-localization.pdf) • [2](https://stacks.math.columbia.edu/tag/00CM). It can be defined pair-wise, exactly as for rings, or as the tensor product M ⊗_A S⁻¹A[3](https://encyclopediaofmath.org/wiki/Localization_in_a_commutative_algebra). The Lean library mathlib formalizes this module version with the same pair equivalence, requiring some u ∈ S with u • s′ • m = u • s • m′ for (m, s) ≈ (m′, s′)[7](https://leanprover-community.github.io/mathlib_docs/algebra/module/localized_module.html).
**Exactness** follows from flatness. Because S⁻¹A is a flat A-module, the functor M ↦ M ⊗_A S⁻¹A is exact, and it commutes with direct sums and inductive limits[3](https://encyclopediaofmath.org/wiki/Localization_in_a_commutative_algebra). Localization also respects quotients: if N is a submodule of M, then S⁻¹(M/N) ≅ (S⁻¹M)/(S⁻¹N)[2](https://stacks.math.columbia.edu/tag/00CM). A structural companion fact is that every submodule of S⁻¹M is itself of the form S⁻¹N for some submodule N of M, obtained by taking the inverse image under M → S⁻¹M[2](https://stacks.math.columbia.edu/tag/00CM).
## Localization at prime ideals and local rings
The most important choice of S is the complement of a prime ideal. If P ⊂ A is prime, then S = A − P is multiplicative (primeness is exactly what guarantees this: products of elements outside P stay outside P), and the resulting ring is written \(A_{P}\), the localization of A at the prime P[5](https://math.stanford.edu/~conrad/210BPage/handouts/math210b-localization.pdf). Its elements are the fractions \(a/s\) with s ∉ p[4](https://encyclopediaofmath.org/wiki/Local_ring).
The point of the complement construction is that A_P is a local ring, a ring with exactly one maximal ideal. The prime ideals of R_P correspond bijectively to the prime ideals of R contained in P; in particular R_P has a unique maximal ideal, namely the extension PR_P[6](https://sites.math.washington.edu/~mcgovern/506%20pdf%202025/506.4-7.pdf). In any local ring with maximal ideal M, that ideal consists precisely of the nonunits, since any nonunit x lies in a proper principal ideal (x), which can be enlarged to a maximal ideal that must coincide with M[6](https://sites.math.washington.edu/~mcgovern/506%20pdf%202025/506.4-7.pdf). In A_p this means that everything inside p generates the maximal ideal pA_p. The residue field of A_p is identified with the field of fractions of the quotient A/p[4](https://encyclopediaofmath.org/wiki/Local_ring).
**Geometrically**, localization at a single element describes restriction to open sets. The spectrum of A[s⁻¹] is canonically identified with the Zariski-open subset D(s) ⊂ Spec A consisting of primes not containing s[3](https://encyclopediaofmath.org/wiki/Localization_in_a_commutative_algebra). More generally, localization is the mechanism that produces quasi-coherent sheaves: for an A-module M, the sections of the associated sheaf on D(s) are the localized module M[S⁻¹][3](https://encyclopediaofmath.org/wiki/Localization_in_a_commutative_algebra).
## Local-to-global: faithful localization and its limits
Many theorems in commutative algebra are proved by checking a condition in every local ring \(A_{p}\). A property of a ring, module, or algebra is called a local property when its validity for A is equivalent to its validity for all the localizations \(A_{p}\) at prime ideals of A; this equivalence is the formal basis of the local-to-global method[4](https://encyclopediaofmath.org/wiki/Local_ring).
Faithfulness of localization is the question of when S⁻¹M = 0 forces M = 0. For finitely generated modules there is a clean criterion:
Not every property is local. Being a domain and being Noetherian therefore cannot be tested on localizations alone. Related routes to local rings, beside localization, include Henselization, and completion with respect to a maximal ideal[4](https://encyclopediaofmath.org/wiki/Local_ring); those constructions are treated in companion articles.
## Worked examples and the total quotient ring
Two further standard examples illustrate the range of the construction.
- **Localizing at powers of one element.** With \(S = \{1, f, f^{2}, \ldots\}\) one obtains \(A_{f}\). Here \(A_{f} = 0\) if and only if \(f\) is nilpotent in \(A\)[2](https://stacks.math.columbia.edu/tag/00CM).
A further example is the total quotient ring Q(A), the localization of A at the set of all non-zerodivisors of A[2](https://stacks.math.columbia.edu/tag/00CM). When A is an integral domain, the complete ring of fractions is the field of fractions of A[3](https://encyclopediaofmath.org/wiki/Localization_in_a_commutative_algebra).
## References
1. [Localization of a commutative ring — nLab](https://ncatlab.org/nlab/show/localization+of+a+commutative+ring)
2. [Section 10.9 (00CM): Localization — The Stacks Project](https://stacks.math.columbia.edu/tag/00CM)
3. [Localization in a commutative algebra — Encyclopedia of Mathematics (V.I. Danilov)](https://encyclopediaofmath.org/wiki/Localization_in_a_commutative_algebra)
4. [Local ring — Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Local_ring)
5. [Localization (Stanford Math 210B handout, Keith Conrad)](https://math.stanford.edu/~conrad/210BPage/handouts/math210b-localization.pdf)
6. [Lectures 4–7: Localization of commutative rings (University of Washington 506, 2025)](https://sites.math.washington.edu/~mcgovern/506%20pdf%202025/506.4-7.pdf)
7. [algebra.module.localized_module — mathlib docs](https://leanprover-community.github.io/mathlib_docs/algebra/module/localized_module.html)
---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Algebraic structures › Ring theory › Commutative algebra › Localization and local rings*
*Initially written Sep 17, 2026 · Edited: Oct 11, 2026; Oct 15, 2026; Oct 25, 2026*
*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*
License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license