*I’m going to try and start a new feature here, the “proof of the Day”. It’s based on the crossfit idea of the Workout of the Day where they post a new workout everyday. In this case, I’ll try (and maybe some of my colleagues here will also) and post a new proof (not EVERY day, but often) on a particular topic, without much but the proof itself. *

*While I’ll also try and post on these topics generally in other articles, the POD’s will consist of simply interesting, important, or fun proofs for their own sake. Proofs are pretty.
*

**A ring has the cancellation property if and only if it has no zero divisors.**

Proof:

Part I.

Suppose R is a ring that has the cancellation property. Then for , implies . Now, let such that . Further, suppose a is a zero divisor. Then, there exists a such that , but . Then, . But, since R has the cancellation property, then this implies that . This is a contradiction. Therefore, if R has the cancellation property, R has no zero divisors.

Part II.

Suppose R has no zero divisors. Let , and let , where . Then, . This implies that . Since , then must equal 0, which implies . So, R has the left cancellation property.

Similarly, if , and , then which implies , so . So, R also has the right cancellation property. Therefore, if R has no zero divisors, then it has the cancellation property.

Filed under: Algebra, Proof of the Day | Tagged: Cancellation, Rings, Zero Divisors | Leave a comment »