Noncommutative domain
= 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>.