Let RR be a . A subset SRS\subseteq R is a multiplicative set if

  1. 1S1\in S, and
  2. whenever s,tSs,t\in S, then stSst\in S.

Often one also assumes 0S0\notin S when the goal is to form the S1RS^{-1}R; if 0S0\in S, then 00 becomes invertible in S1RS^{-1}R, forcing 1=01=0 and hence S1RS^{-1}R is the zero ring.

A key source of multiplicative sets is complements of primes: if pR\mathfrak p\subset R is prime, then RpR\setminus \mathfrak p is multiplicative, and this choice produces the .

Examples

  1. Powers of an element. For fRf\in R, the set
    S={1,f,f2,f3,}S=\{1,f,f^2,f^3,\dots\}
    is multiplicative. (If ff is nilpotent, then 0S0\in S and the corresponding localization collapses to the zero ring.)
  1. Complement of a prime ideal. If p\mathfrak p is a prime ideal of RR, then
    S=RpS=R\setminus \mathfrak p
    is multiplicative (primality ensures stpst\notin\mathfrak p whenever s,tps,t\notin\mathfrak p). Localizing at this SS gives RpR_{\mathfrak p}.
  1. Inverting a prime number in Z\mathbb Z. In R=ZR=\mathbb Z, the subset S={1,p,p2,}S=\{1,p,p^2,\dots\} (for a prime pp) is multiplicative. The localization S1ZS^{-1}\mathbb Z is the subring of Q\mathbb Q consisting of fractions whose denominator is a power of pp.