total ring of fractions
For a commutative ring having regular elements, we may form , the total ring of fractions
(quotients) of , as the localization
of at , where is the set of all non-zero-divisors of . Then, can be regarded as an extension ring of (similarly as the field of fractions
of an integral domain
is an extension ring). has the non-zero unity 1.