Home » Blog » Zero has no reciprocal

Zero has no reciprocal

Prove from the field axioms that the additive identity, 0, has no multiplicative inverse.

Proof. The proof is by contradiction. Suppose otherwise, that there is some a \in \mathbb{R} such that a \cdot 0 = 1 (this is the definition of multiplicative inverse). Then, by part (b) of this exercise, we know that a \cdot 0 = 0 for any a. Hence,

    \[ a \cdot 0 = 1 \quad \text{and} \quad a \cdot 0 = 0 \qquad \implies \qquad 1 = 0 \]

since equality is transitive. However, this contradicts field Axiom 4 that 0 and 1 must be distinct elements. \qquad \blacksquare

One comment

Point out an error, ask a question, offer an alternative solution (to use Latex type [latexpage] at the top of your comment):