1. The problem statement, all variables and given/known data Show that a finite commutative ring with no zero divisors is an integral domain (i.e. contains a unity element) 2. Relevant equations If a,b are elements in a ring R, then ab=0 if and only if either a and b are 0. 3. The attempt at a solution I've been trying to use the cancellation laws.