# Unit Not Zero Divisor

## Theorem

A unit of a ring is not a zero divisor.

## Proof

Let $\struct {R, +, \circ}$ be a ring with unity whose unity is $1_R$ and whose zero is $0_R$.

Let $x$ be a unit of $\struct {R, +, \circ}$.

Aiming for a contradiction, suppose $x$ is such that:

- $x \circ y = 0_R, y \ne 0_R$

Then:

\(\displaystyle \paren {x^{-1} \circ x} \circ y\) | \(=\) | \(\displaystyle 0_R\) | |||||||||||

\(\displaystyle \leadsto \ \ \) | \(\displaystyle 1_R \circ y\) | \(=\) | \(\displaystyle 0_R\) | Definition of Inverse Element | |||||||||

\(\displaystyle \leadsto \ \ \) | \(\displaystyle 1_R\) | \(=\) | \(\displaystyle 0_R\) | as $y \ne 0_R$ |

From this contradiction it follows that $x$ cannot have such a property.

Thus by Proof by Contradiction $x$ is not a zero divisor.

$\blacksquare$