Condición de Ore

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.