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.

Prinzip

Die Forderung nach gemeinsamen nichtnullen Rechts- oder Linksmultiplikatoren erlaubt das Beseitigen von Nennern und sorgt für kohärentes Verhalten von Brüchen; dies ersetzt die Kommutativität bei der Bildung eines klassischen Bruchrings.

Demonstration

In jedem kommutativen Integritätsbereich D kann man für a,b≠0 s=b und t=a wählen, also as=b a=a b=b t, sodass D sowohl linke als auch rechte Ore erfüllt und in seinen Quotientenkörper lokalisiert werden kann.

Fehlanwendung

Davon auszugehen, dass jeder nichtkommutative cancellative Bereich die Ore-Bedingung erfüllt, und ohne Prüfung einen zweiseitigen Bruchring zu konstruieren; das kann zu nicht existierenden oder nicht eindeutigen Brüchen führen.

Konsequenz

Erfüllt eine Seite der Ore-Bedingung für eine geeignete Menge von Nennern, so lässt sich eine klassische Lokalisierung konstruieren, welche den ursprünglichen Bereich in einen Bruchring einbettet (und unter zusätzlichen Voraussetzungen in einen Schiefkörper).

Umkehrung

Versagt die Ore-Bedingung, so müssen gemeinsame Nenner für Paare von Elementen nicht existieren, wodurch eine wohldefinierte klassische Lokalisierung unmöglich wird und fraktionale Darstellungen scheitern.

Abgrenzung

Gilt für cancellative Halbgruppen oder (nichtkommutative) Bereiche und unterscheidet rechte und linke Ore; sie setzt Nichtnull-Elemente voraus und schließt typischerweise Mengen mit Nullteilern oder fehlender Cancellativität aus.

Semantische Spannung

Steht im Gegensatz zur kommutativen Lokalisierung via multiplikativer Menge, bei der Abschluss genügt; im nichtkommutativen Fall ist die Ore-Anforderung strenger und keineswegs automatisch erfüllt.

Synthese

Die Ore-Bedingung fasst die minimale gemeinsame Vielfachheitsanforderung in der nichtkommutativen Algebra zusammen, die das Beseitigen von Nennern und die Konstruktion eines sinnvollen Bruchrings erlaubt, mit klarer Unterscheidung von rechten und linken Versionen.