Classical left ring of quotients

ID: classical-left-ring-of-quotients

This is the localization of a ring at all its regular elements of a ring, with left fractions. It exists precisely when those denominators satisfy the left Ore condition. If embeds in a ring , all regular elements become units in , and every element of is such a fraction, the Ore condition follows by writing , which gives .

New to topics? Read the docs here!