Right Noetherian domains satisfy the Ore condition

ID: right-noetherian-domains-satisfy-the-ore-condition

If two nonzero principal right ideals in a right Noetherian domain had zero intersection, the sums would be strictly increasing. Directness follows by splitting the lowest term into and the other terms into , then cancelling and repeating. This contradicts the ascending chain condition. A nonzero common element gives the right Ore condition. The left version follows from the opposite ring. Consequently a noncommutative domain Noetherian on both sides has a single division ring of fractions with both left and right fraction presentations.

New to topics? Read the docs here!