Ring Zero is not Cancellable
Jump to navigation Jump to search
Let $0$ be the ring zero of $R$.
Let $a, b \in R$ such that $a \ne b$.
By definition of ring zero:
- $0 \circ a = 0 = 0 \circ b$
But if $0$ were cancellable, then $a = b$.
The result follows by Proof by Contradiction.