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!