Content deleted Content added
→General construction: add clarification of reason for t in definition of equivalence relation |
|||
Line 21:
=== Integral domains ===
When the ring {{mvar|R}} is an [[integral ___domain]] and {{mvar|S}} does not contain {{math|0}}, the ring <math>S^{-1}R</math> is a subring of the [[field of fractions]] of {{mvar|R}}. As such, the localization of a ___domain is a ___domain.
More precisely, it is the [[subring]] of the field of fractions of {{mvar|R}}, that consists of the fractions <math>\tfrac a s</math> such that <math>s\in S.</math> This is a subring since the sum <math>\tfrac as + \tfrac bt = \tfrac {at+bs}{st},</math> and the product <math>\tfrac as \, \tfrac bt = \tfrac {ab}{st}</math> of two elements of <math>S^{-1}R</math> are in <math>S^{-1}R.</math> This results from the defining property of a multiplicative set, which implies also that <math>1=\tfrac 11\in S^{-1}R.</math> In this case, {{mvar|R}} is a subring of <math>S^{-1}R.</math> It is shown below that this is no longer true in general, typically when {{mvar|S}} contains [[zero divisor]]s.
| |||