Integral domain

From Citizendium, the Citizens' Compendium

	Main Article	Talk	Related Articles  [?]	Bibliography  [?]	External Links  [?]
	This is a draft article, under development and not meant to be cited but you can help to improve it. These unapproved articles are subject to a disclaimer. [edit intro]

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.^[1]

Properties

• 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.

References

1. ↑ Serge Lang (1993). Algebra, 3rd ed.. Addison-Wesley, 91-92. ISBN 0-201-55540-9. 

• Iain T. Adamson (1972). Elementary rings and modules. Oliver and Boyd. ISBN 0-05-002192-3. 
• David Sharpe (1987). Rings and factorization. Cambridge University Press. ISBN 0-521-33718-6.