 Noncommutative domain

A noncommutative domain is a nonzero unital ring without zero divisors; commutativity is not required, but commutative integral domains are included in this usage. Left and right cancellation hold for nonzero elements. A right Noetherian domain embeds in a division ring by the right Ore condition.