Let $R$ be a ring with the property that whenever $a, b, c ∈ R$ with a $a\neq 0$ and $ab = ca$, it follows that $b = c$. Is $R$ a domain?
Show that a ring is commutative if it has the property that ab = ca implies b = c when $a\neq 0$