Jump to navigation Jump to search
Revision as of 14:11, 30 October 2008 by (new entry, just a stub)
In ring theory, an integral domain is a commutative ring in which there are no non-trivial zero divisors: that is the product of non-zero elements is again non-zero. The term entire ring is sometimes used.
- A commutative ring is an integral domain if and only if the zero ideal is prime.
- A ring is an integral domain if and only if it is isomorphic to a subring of a field.