A subset of a ring closed under multiplication and containing 1, used to form localizations.
Let R be a commutative ring. A subset S⊆R is a multiplicative set if
1∈S, and
whenever s,t∈S, then st∈S.
Often one also assumes 0∈/S when the goal is to form the localization of a ringS−1R; if 0∈S, then 0 becomes invertible in S−1R, forcing 1=0 and hence S−1R is the zero ring.
A key source of multiplicative sets is complements of primes: if p⊂R is prime, then R∖p is multiplicative, and this choice produces the localization at a prime.
Examples
Powers of an element. For f∈R, the set
S={1,f,f2,f3,…}
is multiplicative. (If f is nilpotent, then 0∈S and the corresponding localization collapses to the zero ring.)
Complement of a prime ideal. If p is a prime ideal of R, then
S=R∖p
is multiplicative (primality ensures st∈/p whenever s,t∈/p). Localizing at this S gives Rp.
Inverting a prime number in Z. In R=Z, the subset S={1,p,p2,…} (for a prime p) is multiplicative. The localization S−1Z is the subring of Q consisting of fractions whose denominator is a power of p.
A commutative ring is a ringR such that ab=ba for all a,b∈R.
As a set, S−1R can be constructed from pairs (r,s)∈R×S modulo the equivalence relation
(r,s)∼(r′,s′)⟺∃t∈S such that t(rs′−r′s)=0 in R.
Write the class of (r,s) as sr. Addition and multiplication are defined by
sr+s′r′=ss′rs′+r′s,sr⋅s′r′=ss′rr′.
The canonical map is ι(r)=1r.
If 0∈S, then ι(0) is invertible, hence 1=0 in S−1R; in this case S−1R is the zero ring.
Universal property
The localization is characterized by the following universal mapping property:
If A is any commutative ring and φ:R→A is a ring homomorphism such that φ(s) is a unit of A for every s∈S, then there exists a unique ring homomorphism φ:S−1R→A with φ∘ι=φ. Explicitly,