Def. A unital Commutative ring without Zero divisors is called an integral domain

Remark (Cancelation property). In an integral domain, we can cancel factors in products, like in Groups.

$\mathbb{Z}_6$ (integers modulo $6$) is not an integral domain.

If $p$ is a Prime number, $\mathbb{Z}_p$ is an integral domain.