Localization (commutative algebra): Difference between revisions

Revision as of 16:20, 30 May 2021

Revision as of 18:42, 10 June 2021

Line 16:

For example, the localization by a single element {{mvar|s}} introduces fractions of the form <math>\tfrac a s,</math> but also products of such fractions, such as <math>\tfrac {ab} {s^2}.</math> So, the denominators will belong to the multiplicative set <math>\{1, s, s^2, s^3,\ldots\}</math> of the powers of {{mvar|s}}. Therefore, one generally talks of "the localization by the power of an element" rather than of "the localization by an element".

The localization of a ring {{mvar|R}} by a multiplicative set {{mvar|S}} is generally denoted <math>S^{-1}R,</math> but other notations are commonly used in some special cases: if <math>S= \{1, t, t^2,\ldots \}</math> consists of the powers of a single element, <math>S^{-1}R</math> is often denoted <math>S_tR_t;</math> if <math>S=R\setminus \mathfrak p</math> is the [[complement (set theory)|complement]] of a [[prime ideal]] <math>\mathfrak p</math>, then <math>S^{-1}R</math> is denoted <math>R_\mathfrak p.</math>

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