Localization (commutative algebra)

Template:Short description In commutative algebra and algebraic geometry, localization is a formal way to introduce the "denominators" to a given ring or module. That is, it introduces a new ring/module out of an existing ring/module R, so that it consists of fractions $\frac{m}{s},$ such that the denominator s belongs to a given subset S of R. If S is the set of the non-zero elements of an integral domain, then the localization is the field of fractions: this case generalizes the construction of the field $\mathbb{Q}$ of rational numbers from the ring $\mathbb{Z}$ of integers.

The technique has become fundamental, particularly in algebraic geometry, as it provides a natural link to sheaf theory. In fact, the term localization originated in algebraic geometry: if R is a ring of functions defined on some geometric object (algebraic variety) V, and one wants to study this variety "locally" near a point p, then one considers the set S of all functions that are not zero at p and localizes R with respect to S. The resulting ring $S^{-1}R$ contains information about the behavior of V near p, and excludes information that is not "local", such as the zeros of functions that are outside V (c.f. the example given at local ring).

Localization of a ring

The localization of a commutative ring Template:Mvar by a multiplicatively closed set Template:Mvar is a new ring $S^{-1}R$ whose elements are fractions with numerators in Template:Mvar and denominators in Template:Mvar.

If the ring is an integral domain the construction generalizes and follows closely that of the field of fractions, and, in particular, that of the rational numbers as the field of fractions of the integers. For rings that have zero divisors, the construction is similar but requires more care.

Multiplicative set

Localization is commonly done with respect to a multiplicatively closed set Template:Mvar (also called a multiplicative set or a multiplicative system) of elements of a ring Template:Mvar, that is a subset of Template:Mvar that is closed under multiplication, and contains Template:Math.

The requirement that Template:Mvar must be a multiplicative set is natural, since it implies that all denominators introduced by the localization belong to Template:Mvar. The localization by a set Template:Mvar that is not multiplicatively closed can also be defined, by taking as possible denominators all products of elements of Template:Mvar. However, the same localization is obtained by using the multiplicatively closed set Template:Mvar of all products of elements of Template:Mvar. As this often makes reasoning and notation simpler, it is standard practice to consider only localizations by multiplicative sets.

For example, the localization by a single element Template:Mvar introduces fractions of the form $\frac{a}{s},$ but also products of such fractions, such as $\frac{ab}{s^2}.$ So, the denominators will belong to the multiplicative set $\{1,s,s^2,s^3,\dots \}$ of the powers of Template:Mvar. Therefore, one generally talks of "the localization by the powers of an element" rather than of "the localization by an element".

The localization of a ring Template:Mvar by a multiplicative set Template:Mvar is generally denoted $S^{-1}R,$ but other notations are commonly used in some special cases: if $S=\{1,t,t^2,\dots \}$ consists of the powers of a single element, $S^{-1}R$ is often denoted $R_t;$ if $S=R\setminus 𝔭$ is the complement of a prime ideal $𝔭$, then $S^{-1}R$ is denoted $R_{𝔭}.$

In the remainder of this article, only localizations by a multiplicative set are considered.

Integral domains

When the ring Template:Mvar is an integral domain and Template:Mvar does not contain Template:Math, the ring $S^{-1}R$ is a subring of the field of fractions of Template:Mvar. As such, the localization of a domain is a domain.

More precisely, it is the subring of the field of fractions of Template:Mvar, that consists of the fractions $\frac{a}{s}$ such that $s\in S.$ This is a subring since the sum $\frac{a}{s}+\frac{b}{t}=\frac{at+bs}{st},$ and the product $\frac{a}{s}\frac{b}{t}=\frac{ab}{st}$ of two elements of $S^{-1}R$ are in $S^{-1}R.$ This results from the defining property of a multiplicative set, which implies also that $1=\frac{1}{1}\in S^{-1}R.$ In this case, Template:Mvar is a subring of $S^{-1}R.$ It is shown below that this is no longer true in general, typically when Template:Mvar contains zero divisors.

For example, the decimal fractions are the localization of the ring of integers by the multiplicative set of the powers of ten. In this case, $S^{-1}R$ consists of the rational numbers that can be written as $\frac{n}{10^k},$ where Template:Mvar is an integer, and Template:Mvar is a nonnegative integer.

General construction

In the general case, a problem arises with zero divisors. Let Template:Mvar be a multiplicative set in a commutative ring Template:Mvar. Suppose that $s\in S,$ and $0\ne a\in R$ is a zero divisor with $as=0.$ Then $\frac{a}{1}$ is the image in $S^{-1}R$ of $a\in R,$ and one has $\frac{a}{1}=\frac{as}{s}=\frac{0}{s}=\frac{0}{1}.$ Thus some nonzero elements of Template:Mvar must be zero in $S^{-1}R.$ The construction that follows is designed for taking this into account.

Given Template:Mvar and Template:Mvar as above, one considers the equivalence relation on $R\times S$ that is defined by $(r_1,s_1)\sim (r_2,s_2)$ if there exists a $t\in S$ such that $t(s_1{r}_2-s_2{r}_1)=0.$

The localization $S^{-1}R$ is defined as the set of the equivalence classes for this relation. The class of Template:Math is denoted as $\frac{r}{s},$ $r/s,$ or $s^{-1}r.$ So, one has $\frac{r_1}{s_1}=\frac{r_2}{s_2}$ if and only if there is a $t\in S$ such that $t(s_1{r}_2-s_2{r}_1)=0.$ The reason for the $t$ is to handle cases such as the above $\frac{a}{1}=\frac{0}{1},$ where $s_1{r}_2-s_2{r}_1$ is nonzero even though the fractions should be regarded as equal.

The localization $S^{-1}R$ is a commutative ring with addition

$\frac{r_1}{s_1}+\frac{r_2}{s_2}=\frac{r_1{s}_2+r_2{s}_1}{s_1{s}_2},$

multiplication

$\frac{r_1}{s_1}\frac{r_2}{s_2}=\frac{r_1{r}_2}{s_1{s}_2},$

additive identity $\frac{0}{1},$ and multiplicative identity $\frac{1}{1}.$

The function

$r\mapsto \frac{r}{1}$

defines a ring homomorphism from $R$ into $S^{-1}R,$ which is injective if and only if Template:Mvar does not contain any zero divisors.

If $0\in S,$ then $S^{-1}R$ is the zero ring that has Template:Math as unique element.

If Template:Mvar is the set of all regular elements of Template:Mvar (that is the elements that are not zero divisors), $S^{-1}R$ is called the total ring of fractions of Template:Mvar.

Universal property

The (above defined) ring homomorphism $j:R\to S^{-1}R$ satisfies a universal property that is described below. This characterizes $S^{-1}R$ up to an isomorphism. So all properties of localizations can be deduced from the universal property, independently from the way they have been constructed. Moreover, many important properties of localization are easily deduced from the general properties of universal properties, while their direct proof may be more technical.

The universal property satisfied by $j:R\to S^{-1}R$ is the following:

If $f:R\to T$ is a ring homomorphism that maps every element of Template:Mvar to a unit (invertible element) in Template:Mvar, there exists a unique ring homomorphism $g:S^{-1}R\to T$ such that $f=g\circ j.$

Using category theory, this can be expressed by saying that localization is a functor that is left adjoint to a forgetful functor. More precisely, let $𝒞$ and $𝒟$ be the categories whose objects are pairs of a commutative ring and a submonoid of, respectively, the multiplicative monoid or the group of units of the ring. The morphisms of these categories are the ring homomorphisms that map the submonoid of the first object into the submonoid of the second one. Finally, let $ℱ:𝒟\to 𝒞$ be the forgetful functor that forgets that the elements of the second element of the pair are invertible.

Then the factorization $f=g\circ j$ of the universal property defines a bijection

${\mathrm{hom}}_{𝒞}((R,S),ℱ(T,U))\to {\mathrm{hom}}_{𝒟}((S^{-1}R,j(S)),(T,U)).$

This may seem a rather tricky way of expressing the universal property, but it is useful for showing easily many properties, by using the fact that the composition of two left adjoint functors is a left adjoint functor.

Examples

• If $R=\mathbb{Z}$ is the ring of integers, and $S=\mathbb{Z}\setminus \{0\},$ then $S^{-1}R$ is the field $\mathbb{Q}$ of the rational numbers.
• If Template:Mvar is an integral domain, and $S=R\setminus \{0\},$ then $S^{-1}R$ is the field of fractions of Template:Mvar. The preceding example is a special case of this one.
• If Template:Mvar is a commutative ring, and if Template:Mvar is the subset of its elements that are not zero divisors, then $S^{-1}R$ is the total ring of fractions of Template:Mvar. In this case, Template:Mvar is the largest multiplicative set such that the homomorphism $R\to S^{-1}R$ is injective. The preceding example is a special case of this one.
• If $x$ is an element of a commutative ring Template:Mvar and $S=\{1,x,x^2,\dots \},$ then $S^{-1}R$ can be identified (is canonically isomorphic to) $R[x^{-1}]=R[s]/(xs-1).$ (The proof consists of showing that this ring satisfies the above universal property.) This sort of localization plays a fundamental role in the definition of an affine scheme.
• If $𝔭$ is a prime ideal of a commutative ring Template:Mvar, the set complement $S=R\setminus 𝔭$ of $𝔭$ in Template:Mvar is a multiplicative set (by the definition of a prime ideal). The ring $S^{-1}R$ is a local ring that is generally denoted $R_{𝔭},$ and called the local ring of Template:Mvar at $𝔭.$ This sort of localization is fundamental in commutative algebra, because many properties of a commutative ring can be read on its local rings. Such a property is often called a local property. For example, a ring is regular if and only if all its local rings are regular.

Ring properties

Localization is a rich construction that has many useful properties. In this section, only the properties relative to rings and to a single localization are considered. Properties concerning ideals, modules, or several multiplicative sets are considered in other sections.

• $S^{-1}R=0$ if and only if Template:Math contains Template:Math.
• The ring homomorphism $R\to S^{-1}R$ is injective if and only if Template:Math does not contain any zero divisors.
• The ring homomorphism $R\to S^{-1}R$ is an epimorphism in the category of rings, that is not surjective in general.
• The ring $S^{-1}R$ is a [[flat module|flat Template:Mvar-module]] (see Template:Slink for details).
• If $S=R\setminus 𝔭$ is the complement of a prime ideal $𝔭$, then $S^{-1}R,$ denoted $R_{𝔭},$ is a local ring; that is, it has only one maximal ideal.

Properties to be moved in another section

• Localization commutes with formations of finite sums, products, intersections and radicals; e.g., if $\sqrt{I}$ denote the radical of an ideal I in R, then

$\sqrt{I}\cdot S^{-1}R=\sqrt{I\cdot S^{-1}R}.$

In particular, R is reduced if and only if its total ring of fractions is reduced.

• Let R be an integral domain with the field of fractions K. Then its localization $R_{𝔭}$ at a prime ideal $𝔭$ can be viewed as a subring of K. Moreover,

$R=\bigcap _{𝔭}{R}_{𝔭}=\bigcap _{𝔪}{R}_{𝔪}$

where the first intersection is over all prime ideals and the second over the maximal ideals.

• There is a bijection between the set of prime ideals of S⁻¹R and the set of prime ideals of R that do not intersect S. This bijection is induced by the given homomorphism R → S ⁻¹R.

Saturation of a multiplicative set

Let $S\subseteq R$ be a multiplicative set. The saturation $\hat{S}$ of $S$ is the set

$\hat{S}=\{r\in R:\mathrm{\exists }s\in R,rs\in S\}.$

The multiplicative set Template:Mvar is saturated if it equals its saturation, that is, if $\hat{S}=S$, or equivalently, if $rs\in S$ implies that Template:Mvar and Template:Mvar are in Template:Mvar.

If Template:Mvar is not saturated, and $rs\in S,$ then $\frac{s}{rs}$ is a multiplicative inverse of the image of Template:Mvar in $S^{-1}R.$ So, the images of the elements of $\hat{S}$ are all invertible in $S^{-1}R,$ and the universal property implies that $S^{-1}R$ and $\hat{S}{}^{-1}R$ are canonically isomorphic, that is, there is a unique isomorphism between them that fixes the images of the elements of Template:Mvar.

If Template:Mvar and Template:Mvar are two multiplicative sets, then $S^{-1}R$ and $T^{-1}R$ are isomorphic if and only if they have the same saturation, or, equivalently, if Template:Mvar belongs to one of the multiplicative sets, then there exists $t\in R$ such that Template:Mvar belongs to the other.

Saturated multiplicative sets are not widely used explicitly, since, for verifying that a set is saturated, one must know all units of the ring.

Terminology explained by the context

The term localization originates in the general trend of modern mathematics to study geometrical and topological objects locally, that is in terms of their behavior near each point. Examples of this trend are the fundamental concepts of manifolds, germs and sheafs. In algebraic geometry, an affine algebraic set can be identified with a quotient ring of a polynomial ring in such a way that the points of the algebraic set correspond to the maximal ideals of the ring (this is Hilbert's Nullstellensatz). This correspondence has been generalized for making the set of the prime ideals of a commutative ring a topological space equipped with the Zariski topology; this topological space is called the spectrum of the ring.

In this context, a localization by a multiplicative set may be viewed as the restriction of the spectrum of a ring to the subspace of the prime ideals (viewed as points) that do not intersect the multiplicative set.

Two classes of localizations are more commonly considered:

• The multiplicative set is the complement of a prime ideal $𝔭$ of a ring Template:Mvar. In this case, one speaks of the "localization at $𝔭$", or "localization at a point". The resulting ring, denoted $R_{𝔭}$ is a local ring, and is the algebraic analog of a ring of germs.
• The multiplicative set consists of all powers of an element Template:Mvar of a ring Template:Mvar. The resulting ring is commonly denoted $R_t,$ and its spectrum is the Zariski open set of the prime ideals that do not contain Template:Mvar. Thus the localization is the analog of the restriction of a topological space to a neighborhood of a point (every prime ideal has a neighborhood basis consisting of Zariski open sets of this form).

Template:AnchorIn number theory and algebraic topology, when working over the ring $\mathbb{Z}$ of integers, one refers to a property relative to an integer Template:Mvar as a property true at Template:Mvar or away from Template:Mvar, depending on the localization that is considered. "Away from Template:Mvar" means that the property is considered after localization by the powers of Template:Mvar, and, if Template:Mvar is a prime number, "at Template:Mvar" means that the property is considered after localization at the prime ideal $p\mathbb{Z}$. This terminology can be explained by the fact that, if Template:Mvar is prime, the nonzero prime ideals of the localization of $\mathbb{Z}$ are either the singleton set Template:Math or its complement in the set of prime numbers.

Localization and saturation of ideals

Let Template:Mvar be a multiplicative set in a commutative ring Template:Mvar, and $j:R\to S^{-1}R$ be the canonical ring homomorphism. Given an ideal Template:Mvar in Template:Mvar, let $S^{-1}I$ the set of the fractions in $S^{-1}R$ whose numerator is in Template:Mvar. This is an ideal of $S^{-1}R,$ which is generated by Template:Math, and called the localization of Template:Mvar by Template:Mvar.

The saturation of Template:Mvar by Template:Mvar is $j^{-1}(S^{-1}I);$ it is an ideal of Template:Mvar, which can also defined as the set of the elements $r\in R$ such that there exists $s\in S$ with $sr\in I.$

Many properties of ideals are either preserved by saturation and localization, or can be characterized by simpler properties of localization and saturation. In what follows, Template:Mvar is a multiplicative set in a ring Template:Mvar, and Template:Mvar and Template:Mvar are ideals of Template:Mvar; the saturation of an ideal Template:Mvar by a multiplicative set Template:Mvar is denoted ${\mathrm{sat}}_S(I),$ or, when the multiplicative set Template:Mvar is clear from the context, $\mathrm{sat}(I).$

• $1\in S^{-1}I⟺1\in \mathrm{sat}(I)⟺S\cap I\ne \mathrm{\varnothing }$
• $I\subseteq J⟹S^{-1}I\subseteq S^{-1}J\text{and}\mathrm{sat}(I)\subseteq \mathrm{sat}(J)$
  (this is not always true for strict inclusions)
• $S^{-1}(I\cap J)=S^{-1}I\cap S^{-1}J,\mathrm{sat}(I\cap J)=\mathrm{sat}(I)\cap \mathrm{sat}(J)$
• $S^{-1}(I+J)=S^{-1}I+S^{-1}J,\mathrm{sat}(I+J)=\mathrm{sat}(I)+\mathrm{sat}(J)$
• $S^{-1}(I\cdot J)=S^{-1}I\cdot S^{-1}J,\mathrm{sat}(I\cdot J)=\mathrm{sat}(I)\cdot \mathrm{sat}(J)$
• If $𝔭$ is a prime ideal such that $𝔭\cap S=\mathrm{\varnothing },$ then $S^{-1}𝔭$ is a prime ideal and $𝔭=\mathrm{sat}(𝔭)$; if the intersection is nonempty, then $S^{-1}𝔭=S^{-1}R$ and $\mathrm{sat}(𝔭)=R.$

Localization of a module

Let Template:Mvar be a commutative ring, Template:Mvar be a multiplicative set in Template:Mvar, and Template:Mvar be an Template:Mvar-module. The localization of the module Template:Mvar by Template:Mvar, denoted Template:Math, is an Template:Math-module that is constructed exactly as the localization of Template:Mvar, except that the numerators of the fractions belong to Template:Mvar. That is, as a set, it consists of equivalence classes, denoted $\frac{m}{s}$, of pairs Template:Math, where $m\in M$ and $s\in S,$ and two pairs Template:Math and Template:Math are equivalent if there is an element Template:Mvar in Template:Mvar such that

$u(sn-tm)=0.$

Addition and scalar multiplication are defined as for usual fractions (in the following formula, $r\in R,$ $s,t\in S,$ and $m,n\in M$):

$\frac{m}{s}+\frac{n}{t}=\frac{tm+sn}{st},$

$\frac{r}{s}\frac{m}{t}=\frac{rm}{st}.$

Moreover, Template:Math is also an Template:Mvar-module with scalar multiplication

$r\frac{m}{s}=\frac{r}{1}\frac{m}{s}=\frac{rm}{s}.$

It is straightforward to check that these operations are well-defined, that is, they give the same result for different choices of representatives of fractions.

The localization of a module can be equivalently defined by using tensor products:

$S^{-1}M=S^{-1}R{\otimes }_{R}M.$

The proof of equivalence (up to a canonical isomorphism) can be done by showing that the two definitions satisfy the same universal property.

Module properties

If Template:Mvar is a submodule of an Template:Mvar-module Template:Mvar, and Template:Mvar is a multiplicative set in Template:Mvar, one has $S^{-1}M\subseteq S^{-1}N.$ This implies that, if $f:M\to N$ is an injective module homomorphism, then

$S^{-1}R{\otimes }_{R}f:S^{-1}R{\otimes }_{R}M\to S^{-1}R{\otimes }_{R}N$

is also an injective homomorphism.

Since the tensor product is a right exact functor, this implies that localization by Template:Mvar maps exact sequences of Template:Mvar-modules to exact sequences of $S^{-1}R$-modules. In other words, localization is an exact functor, and $S^{-1}R$ is a [[flat module|flat Template:Mvar-module]].

This flatness and the fact that localization solves a universal property make that localization preserves many properties of modules and rings, and is compatible with solutions of other universal properties. For example, the natural map

$S^{-1}(M{\otimes }_{R}N)\to S^{-1}M{\otimes }_{S^{-1}R}{S}^{-1}N$

is an isomorphism. If $M$ is a finitely presented module, the natural map

$S^{-1}{\mathrm{Hom}}_R(M,N)\to {\mathrm{Hom}}_{S^{-1}R}(S^{-1}M,S^{-1}N)$

is also an isomorphism.

If a module M is a finitely generated over R, one has

$S^{-1}({\mathrm{Ann}}_R(M))={\mathrm{Ann}}_{S^{-1}R}(S^{-1}M),$

where $\mathrm{Ann}$ denotes annihilator, that is the ideal of the elements of the ring that map to zero all elements of the module. In particular,

$S^{-1}M=0⟺S\cap {\mathrm{Ann}}_R(M)\ne \mathrm{\varnothing },$

that is, if $tM=0$ for some $t\in S.$

Localization at primes

The definition of a prime ideal implies immediately that the complement $S=R\setminus 𝔭$ of a prime ideal $𝔭$ in a commutative ring Template:Mvar is a multiplicative set. In this case, the localization $S^{-1}R$ is commonly denoted $R_{𝔭}.$ The ring $R_{𝔭}$ is a local ring, that is called the local ring of Template:Mvar at $𝔭.$ This means that $𝔭R_{𝔭}=𝔭{\otimes }_R{R}_{𝔭}$ is the unique maximal ideal of the ring $R_{𝔭}.$ Analogously one can define the localization of a module Template:Mvar at a prime ideal $𝔭$ of Template:Mvar. Again, the localization $S^{-1}M$ is commonly denoted $M_{𝔭}$.

Such localizations are fundamental for commutative algebra and algebraic geometry for several reasons. One is that local rings are often easier to study than general commutative rings, in particular because of Nakayama lemma. However, the main reason is that many properties are true for a ring if and only if they are true for all its local rings. For example, a ring is regular if and only if all its local rings are regular local rings.

Properties of a ring that can be characterized on its local rings are called local properties, and are often the algebraic counterpart of geometric local properties of algebraic varieties, which are properties that can be studied by restriction to a small neighborhood of each point of the variety. (There is another concept of local property that refers to localization to Zariski open sets; see Template:Slink, below.)

Many local properties are a consequence of the fact that the module

$\underset{𝔭}{⨁}{R}_{𝔭}$

is a faithfully flat module when the direct sum is taken over all prime ideals (or over all maximal ideals of Template:Mvar). See also Faithfully flat descent.

Examples of local properties

A property Template:Mvar of an Template:Mvar-module Template:Mvar is a local property if the following conditions are equivalent:

• Template:Mvar holds for Template:Mvar.
• Template:Mvar holds for all $M_{𝔭},$ where $𝔭$ is a prime ideal of Template:Mvar.
• Template:Mvar holds for all $M_{𝔪},$ where $𝔪$ is a maximal ideal of Template:Mvar.

The following are local properties:

• Template:Mvar is zero.
• Template:Mvar is torsion-free (in the case where Template:Mvar is a commutative domain).
• Template:Mvar is a flat module.
• Template:Mvar is an invertible module (in the case where Template:Mvar is a commutative domain, and Template:Mvar is a submodule of the field of fractions of Template:Mvar).
• $f:M\to N$ is injective (resp. surjective), where Template:Mvar is another Template:Mvar-module.

On the other hand, some properties are not local properties. For example, an infinite direct product of fields is not an integral domain nor a Noetherian ring, while all its local rings are fields, and therefore Noetherian integral domains.

Non-commutative case

Localizing non-commutative rings is more difficult. While the localization exists for every set S of prospective units, it might take a different form to the one described above. One condition which ensures that the localization is well behaved is the Ore condition.

One case for non-commutative rings where localization has a clear interest is for rings of differential operators. It has the interpretation, for example, of adjoining a formal inverse D⁻¹ for a differentiation operator D. This is done in many contexts in methods for differential equations. There is now a large mathematical theory about it, named microlocalization, connecting with numerous other branches. The micro- tag is to do with connections with Fourier theory, in particular.

See also

• Local analysis
• Localization of a category
• Localization of a topological space

References

• Template:Cite book
• Borel, Armand. Linear Algebraic Groups (2nd ed.). New York: Springer-Verlag. Template:ISBN.
• Template:Cite book
• Template:Cite book
• Template:Citation
• Matsumura. Commutative Algebra. Benjamin-Cummings
• Template:Cite book
• Serge Lang, "Algebraic Number Theory," Springer, 2000. pages 3–4.

External links

• Localization from MathWorld.