- Localization of a module
In
mathematics , the localization of a module is a construction to introducedenominator s in a module for a ring. More precisely, it is a systematic way to construct a new module "S"−1"M" out of a given module "M" containingfraction s :.where thedenominator s "s" range in a given subset "S" of "R".The technique has become fundamental in particular in
algebraic geometry , as the link between modules and sheaf theory. Localization of a module generalizeslocalization of a ring .Definition
In this article, let "R" be a
commutative ring and "M" an "R"-module.Let "S" a multiplicatively closed subset of "R", i.e. for any "s" and "t" ∈ "S", the product "st" is also in "S". Then the localization of "M" with respect to "S", denoted "S"−1"M", is defined to be the following module: as a set, it consists of equivalence classes of pairs ("m", "s"), where "m" ∈ "M" and "s" ∈ "S". Two such pairs ("m", "s") and ("n", "t") are considered equivalent if there is a third element "u" of "S" such that:"u"("sn"-"tm") = 0It is common to denote these equivalence classes :.
To make this set a "R"-module, define:and:("a" ∈ "R"). It is straightforward to check that the definition is well-defined, i.e. yields the same result for different choices of representatives of fractions.
One case is particularly important: if "S" equals the complement of a
prime ideal "p" ⊂ "R" (which is multiplicatively closed by definition of prime ideals) then the localization is denoted "M""p" instead of ("R""p")−1"M". The support of the module "M" is the set of prime ideals "p" such that "M""p" ≠ 0. Viewing "M" as a function from the spectrum of "R" to "R"-modules, mapping :this corresponds to the support of a function.Remarks
* The definition applies in particular to "M"="R", and we get back the localized ring "S"−1"R".
* There is a module homomorphism::φ: "M" → "S"−1"M":mapping::φ("m") = "m" / 1.:Here φ need not be
injective , in general, because there may be significanttorsion . The additional "u" showing up in the definition of the above equivalence relation can not be dropped, unless the module is torsion-free.*Some authors allow not necessarily multiplicatively closed sets "S" and define localizations in this situation, too. However, saturating such a set, i.e. adding "1" and finite products of all elements, this comes down to the above definition.
Tensor product interpretation
By the very definitions, the localization of the module is tightly linked to the one of the ring via the
tensor product :"S"−1"M" = "M" dirprod"R""S"−1"R",This way of thinking about localising is often referred to as "extension of scalars".As a tensor product, the localization satisfies the usual
universal property .Flatness
From the definition, one can see that localization of modules is an
exact functor , or in other words (reading this in the tensor product) that "S"−1"R" is aflat module over "R". This is actually foundational for the use of flatness in algebraic geometry, saying in particular that the inclusion of anopen set in Spec("R") (seespectrum of a ring ) is aflat morphism .(Quasi-)coherent sheaves
In terms of localization of modules, one can define quasi-coherent sheaves and coherent sheaves on
locally ringed space s. In algebraic geometry, the quasi-coherent "O""X"-modules for schemes "X" are those that are locally modelled on sheaves on Spec("R") of localizations of any "R"-module "M". A coherent "O""X"-module is such a sheaf, locally modelled on afinitely-presented module over "R".References
Any textbook on commutative algebra covers this topic, such as:
* | year=1995 | volume=150
Wikimedia Foundation. 2010.