A multiplicative set of regular elements of a ring admits a right ring of fractions exactly when it satisfies the right Ore condition. The resulting localization embeds the original ring, inverts , and expresses every element as . For denominators that can be zero divisors, an additional denominator reversibility condition is required.
New to topics? Read the docs here!