Ore condition (source code)

= Ore condition
{c}
{wiki}

The Ore condition is a common-multiple condition that permits fractions to be formed in a noncommutative ring.