Ore localization

Ore localization extends localization to suitable multiplicative subsets of noncommutative rings.

A multiplicative subset $S$ is left Ore when, for every $s\in S$ and $r\in R$, there are $s^{\prime }\in S$ and $r^{\prime }\in R$ such that $s^{\prime }r=r^{\prime }s$.