Localization (commutative algebra): Difference between revisions

Revision as of 04:10, 28 October 2021

Revision as of 15:37, 5 November 2021

Line 10:

===Multiplicative set===

Localization is commonly done with respect to a [[multiplicativemultiplicatively closed set]] {{mvar|S}} (also called a ''multiplicative set'' or a ''multiplicative system'') of elements of a ring {{mvar|R}}, that is a subset of {{mvar|R}} that is [[closure (mathematics)|closed]] under multiplication, and contains {{math|1}}.

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