Total ring of fractions

Localization of a commutative ring obtained by inverting all regular elements (non-zero-divisors).
Total ring of fractions

Let RR be a (with 11). Let SRS\subseteq R be the multiplicative set of (equivalently: elements that are not a ). The total ring of fractions of RR is the localization

Q(R):=S1R. Q(R):=S^{-1}R.

The canonical map RQ(R)R\to Q(R) sends every sSs\in S to a in Q(R)Q(R), and Q(R)Q(R) is universal with this property among commutative rings receiving a map from RR.

If RR is an integral domain, then S=R{0}S=R\setminus\{0\} and Q(R)Q(R)\cong the of RR.