A ring $R$ is a cancellation ring if for all $a,b \in R$ if $a \cdot b = 0$ then either $a=0$ or $b=0$