Ore condition

In a commutative integral domain you build fractions freely: a/b is just a/b and you can always find common denominators by cross-multiplying. In a noncommutative ring this innocent move breaks, because a/b and 1/b times a are no longer obviously the same, and you cannot blindly cross-multiply. The Ore condition is the precise compatibility you must impose so that a sensible ring of fractions can be built at all — it guarantees that any left fraction can be rewritten as a right fraction.

Precisely, let R be a ring and S a multiplicatively closed set of would-be denominators. The right Ore condition says that for every a in R and s in S, the right multiples a*S and s*R meet: there exist b in R and t in S with a*t = s*b. When R is a domain and S is all nonzero elements, this is exactly the condition that lets you form a division ring of right fractions R*S^(-1) in which every element is written a*s^(-1).

The payoff is a localization theorem: if S satisfies the Ore condition (plus a mild reversibility hypothesis automatically satisfied in domains), then the localization R*S^(-1) exists, is flat over R, and every element has the form a*s^(-1). Ore domains — domains where the nonzero elements satisfy the condition — are exactly the noncommutative domains that embed into a division ring of fractions, the right generalization of the field of fractions.

An honest caveat: not every noncommutative domain is an Ore domain. The free algebra on two generators k⟨x, y⟩ is a domain that fails the Ore condition, and indeed it cannot be embedded in any division ring as a ring of fractions in the naive way. So the Ore condition is a real restriction; Noetherian domains satisfy it, which is why so many rings in practice — Weyl algebras, enveloping algebras of Lie algebras — do admit fraction division rings.