Criterio para un semigrupo o dominio cancellativo que exige que para todo par de elementos no nulos a,b existan no nulos s,t tales que as=bt (Ore derecha) o sa=tb (Ore izquierda), lo que permite construir una localización o anillo de fracciones en el contexto no conmutativo.

Principio

Exigir la existencia de múltiplos no nulos comunes por la derecha o por la izquierda para poder eliminar denominadores y lograr que las fracciones se comporten coherentemente; esto sustituye a la conmutatividad al formar un anillo de fracciones clásico.

Demostración

En cualquier dominio íntegro conmutativo D, para a,b≠0 se puede tomar s=b y t=a, de modo que as=b a=a b=b t, por lo que el dominio satisface Ore a izquierda y derecha y se localiza en su cuerpo de fracciones.

Aplicación incorrecta

Suponer que todo dominio cancellativo no conmutativo cumple la condición de Ore e intentar formar un anillo de fracciones bilateral sin verificar la existencia de múltiplos comunes; ello puede producir fracciones inexistentes o no únicas.

Consecuencia

Cuando la condición de Ore se satisface por algún lado y para un conjunto adecuado de denominadores, se puede construir una localización clásica que embebe el dominio original en un anillo de fracciones (y, bajo hipótesis adicionales, en un cuerpo de división).

Inversión

Si la condición de Ore falla, puede no existir denominador común para pares de elementos, impidiendo una localización clásica bien definida y obstruyendo representaciones por fracciones.

Límite

Se aplica a semigrupos cancellativos o dominios (no conmutativos) y distingue Ore derecha frente a Ore izquierda; presupone elementos no nulos y típicamente excluye conjuntos con divisores de cero o falta de cancellatividad.

Tensión semántica

Contrasta con la localización por conjuntos multiplicativos en el caso conmutativo, donde basta el cierre multiplicativo; en el caso no conmutativo la condición de Ore es más exigente y no automática.

Síntesis

La condición de Ore formaliza la exigencia mínima de múltiplos comunes en álgebra no conmutativa que permite eliminar denominadores y construir un anillo de fracciones significativo, con versiones derecha e izquierda y limitaciones claras cuando falla.