Domain ring theory
From Exampleproblems
In abstract algebra, a domain is a ring with 0 ≠ 1 such that ab = 0 implies that either a = 0 or b = 0. That is, it is a nontrivial ring without left or right zero divisors.
A commutative domain is called an integral domain.
Example
The quaternions are a non-commutative domain.
The Weyl algebra is the ring of differential operators with polynomial coefficients.
