Integral domain

An integral domain is a commutative domain.

More explicitly a ring, $R$, is an integral domain if:

  • it is commutative,
  • $0\neq 1$ (where $0$ and $1$ are the additive and multiplicative identities, respectively)
  • and it contains no zero divisors (i.e. there are no nonzero $x,y\in R$ such that $xy = 0$).


Some common examples of integral domains are:

This article is a stub. Help us out by expanding it.