Ore-Bedingung

Ein Kriterium für ein cancellatives Halbgruppensystem oder einen Integritätsbereich, wonach für jedes Paar von Nichtnull-Elementen a,b nichtnull s,t existieren mit as=bt (rechte Ore) bzw. sa=tb (linke Ore), wodurch eine Lokalisierung bzw. ein Bruchring im nichtkommutativen Fall konstruiert werden kann.