العربية
中国
Français
Deutsch
Ελληνική
हिन्दी
Italiano
日本語
Português
Русский
EspañolLOCALIZATION OF A RING
In abstract algebra, 'localization' is a systematic method of adding multiplicative inverses to a ring. Given a ring ''R'' and a subset ''S'', one wants to construct some ring ''R
★ '' and ring homomorphism from ''R'' to ''R
★ '', such that the image of ''S'' consists of ''units'' (invertible elements) in ''R
★ ''. Further one wants ''R
★ '' to be the 'best possible' or 'most general' way to do this - in the usual fashion this should be expressed by a universal property. The localization of ''R'' by ''S'' can be denoted by ''S'' -1''R'' or ''R''''S''.
The term ''localization'' originates 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 which are non-zero at ''p'' and localizes ''R'' with respect to ''S''. The resulting ring ''R
★ '' contains only information about the behavior of ''V'' near ''p''. Cf. the example given at local ring.
Since the product of units is a unit and since ring homomorphisms respect products, we may and will assume that ''S'' is multiplicatively closed, i.e. that for ''s'' and ''t'' in ''S'', we also have ''st'' in ''S''. For the same reason, we also assume that 1 is in ''S''.
In case ''R'' is an integral domain there is an easy construction of the localization. Since the only ring in which 0 is a unit is the trivial ring {0}, the localization ''R
★ '' is {0} if 0 is in ''S''. Otherwise, the field of fractions ''K'' of ''R'' can be used: we take ''R
★ '' to be the subring of ''K'' consisting of the elements of the form ''r''⁄''s'' with ''r'' in ''R'' and ''s'' in ''S''. In this case the homomorphism from ''R'' to ''R
★ '' is the standard embedding and is injective: but that will not be the case in general. See for example dyadic fraction, for the case R the integers and S the powers of 2.
For general commutative rings, we don't have a field of fractions. Nevertheless, a localization can be constructed consisting of "fractions" with denominators coming from ''S''; in contrast with the integral domain case, one can safely 'cancel' from numerator and denominator only elements of ''S''.
This construction proceeds as follows: on ''R'' × ''S'' define an equivalence relation ~ by setting (''r''1,''s''1) ~ (''r''2,''s''2) iff there exists ''t'' in ''S'' such that
:''t''(''r''1''s''2 − ''r''2''s''1) = 0.
We think of the equivalence class of (''r'',''s'') as the "fraction" ''r''⁄''s'' and, using this intuition, the set of equivalence classes ''R
★ '' can be turned into a ring; the map ''j'' : ''R'' → ''R
★ '' which maps ''r'' to the equivalence class of (''r'',1) is then a ring homomorphism. The ring ''R
★ '' is sometimes called the 'total ring of fractions'.
The above mentioned universal property is the following: the ring homomorphism ''j'' : ''R'' → ''R
★ '' maps every element of ''S'' to a unit in ''R
★ '', and if ''f'' : ''R'' → ''T'' is some other ring homomorphism which maps every element of ''S'' to a unit in ''T'', then there exists a unique ring homomorphism ''g'' : ''R
★ '' → ''T'' such that ''f'' = ''g'' o ''j''.
For example the ring 'Z'/''n'''Z' where ''n'' is composite is not an integral domain. When ''n'' is a prime power it is a finite local ring, and its elements are either units or nilpotent. This implies it can be localized only to a zero ring. But when ''n'' can be factorised as ''ab'' with ''a'' and ''b'' coprime and greater than 1, then 'Z'/''n'''Z' is by the Chinese remainder theorem isomorphic to 'Z'/''a'''Z' × 'Z'/''b'''Z'. If we take ''S'' to consist only of (1,0) and 1 = (1,1), then the corresponding localization is 'Z'/''a'''Z'.
Two classes of localizations occur commonly in commutative algebra and algebraic geometry:
★ The set ''S'' consists of all powers of a given element ''r''. In the theory of the spectrum of a ring, these localizations are used to identify basic open sets in Spec(''R'').
★ ''S'' is the complement of a given prime ideal ''P'' in ''R'' (this is a multiplicatively closed set). In this case, one also speaks of the "localization at ''P''".
Some properties of the localization ''R
★ '' = ''S'' -1''R'':
★ ''S''-1''R'' = {0} if and only if ''S'' contains 0.
★ The ring homomorphism ''R'' → ''S'' -1''R'' is injective if and only if ''S'' does not contain any zero divisors.
★ There is a bijection between the set of prime ideals of ''S''-1''R'' and the set of prime ideals of ''R'' which do not intersect ''S''. This bijection is induced by the given homomorphism ''R'' → ''S'' -1''R''.
★ In particular: after localization at a prime ideal ''P'', one obtains a local ring, or in other words, a ring with one maximal ideal, namely the ideal generated by the extension of P.
Localizing non-commutative rings is more difficult; the localization does not exist for every set ''S'' of prospective units. One condition which ensures that the localization exists 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-1 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.
★ Localization of a module
★ Localization of a category
★ Local ring
★ Valuation ring
★ Homomorphism
★ Localization from MathWorld.
★ '' and ring homomorphism from ''R'' to ''R
★ '', such that the image of ''S'' consists of ''units'' (invertible elements) in ''R
★ ''. Further one wants ''R
★ '' to be the 'best possible' or 'most general' way to do this - in the usual fashion this should be expressed by a universal property. The localization of ''R'' by ''S'' can be denoted by ''S'' -1''R'' or ''R''''S''.
The term ''localization'' originates 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 which are non-zero at ''p'' and localizes ''R'' with respect to ''S''. The resulting ring ''R
★ '' contains only information about the behavior of ''V'' near ''p''. Cf. the example given at local ring.
| Contents |
| Commutative case |
| Non-commutative case |
| See also |
| External links |
Commutative case
Since the product of units is a unit and since ring homomorphisms respect products, we may and will assume that ''S'' is multiplicatively closed, i.e. that for ''s'' and ''t'' in ''S'', we also have ''st'' in ''S''. For the same reason, we also assume that 1 is in ''S''.
In case ''R'' is an integral domain there is an easy construction of the localization. Since the only ring in which 0 is a unit is the trivial ring {0}, the localization ''R
★ '' is {0} if 0 is in ''S''. Otherwise, the field of fractions ''K'' of ''R'' can be used: we take ''R
★ '' to be the subring of ''K'' consisting of the elements of the form ''r''⁄''s'' with ''r'' in ''R'' and ''s'' in ''S''. In this case the homomorphism from ''R'' to ''R
★ '' is the standard embedding and is injective: but that will not be the case in general. See for example dyadic fraction, for the case R the integers and S the powers of 2.
For general commutative rings, we don't have a field of fractions. Nevertheless, a localization can be constructed consisting of "fractions" with denominators coming from ''S''; in contrast with the integral domain case, one can safely 'cancel' from numerator and denominator only elements of ''S''.
This construction proceeds as follows: on ''R'' × ''S'' define an equivalence relation ~ by setting (''r''1,''s''1) ~ (''r''2,''s''2) iff there exists ''t'' in ''S'' such that
:''t''(''r''1''s''2 − ''r''2''s''1) = 0.
We think of the equivalence class of (''r'',''s'') as the "fraction" ''r''⁄''s'' and, using this intuition, the set of equivalence classes ''R
★ '' can be turned into a ring; the map ''j'' : ''R'' → ''R
★ '' which maps ''r'' to the equivalence class of (''r'',1) is then a ring homomorphism. The ring ''R
★ '' is sometimes called the 'total ring of fractions'.
The above mentioned universal property is the following: the ring homomorphism ''j'' : ''R'' → ''R
★ '' maps every element of ''S'' to a unit in ''R
★ '', and if ''f'' : ''R'' → ''T'' is some other ring homomorphism which maps every element of ''S'' to a unit in ''T'', then there exists a unique ring homomorphism ''g'' : ''R
★ '' → ''T'' such that ''f'' = ''g'' o ''j''.
For example the ring 'Z'/''n'''Z' where ''n'' is composite is not an integral domain. When ''n'' is a prime power it is a finite local ring, and its elements are either units or nilpotent. This implies it can be localized only to a zero ring. But when ''n'' can be factorised as ''ab'' with ''a'' and ''b'' coprime and greater than 1, then 'Z'/''n'''Z' is by the Chinese remainder theorem isomorphic to 'Z'/''a'''Z' × 'Z'/''b'''Z'. If we take ''S'' to consist only of (1,0) and 1 = (1,1), then the corresponding localization is 'Z'/''a'''Z'.
Two classes of localizations occur commonly in commutative algebra and algebraic geometry:
★ The set ''S'' consists of all powers of a given element ''r''. In the theory of the spectrum of a ring, these localizations are used to identify basic open sets in Spec(''R'').
★ ''S'' is the complement of a given prime ideal ''P'' in ''R'' (this is a multiplicatively closed set). In this case, one also speaks of the "localization at ''P''".
Some properties of the localization ''R
★ '' = ''S'' -1''R'':
★ ''S''-1''R'' = {0} if and only if ''S'' contains 0.
★ The ring homomorphism ''R'' → ''S'' -1''R'' is injective if and only if ''S'' does not contain any zero divisors.
★ There is a bijection between the set of prime ideals of ''S''-1''R'' and the set of prime ideals of ''R'' which do not intersect ''S''. This bijection is induced by the given homomorphism ''R'' → ''S'' -1''R''.
★ In particular: after localization at a prime ideal ''P'', one obtains a local ring, or in other words, a ring with one maximal ideal, namely the ideal generated by the extension of P.
Non-commutative case
Localizing non-commutative rings is more difficult; the localization does not exist for every set ''S'' of prospective units. One condition which ensures that the localization exists 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-1 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
★ Localization of a module
★ Localization of a category
★ Local ring
★ Valuation ring
★ Homomorphism
External links
★ Localization from MathWorld.
This article provided by Wikipedia. To edit the contents of this article, click here for original source.
psst.. try this: add to faves
