Zero Divides Zero

From ProofWiki
Jump to: navigation, search

Theorem

Let $n \in \Z$ be an integer.


Then:

$0 \divides n \implies n = 0$

That is, zero is the only integer divisible by zero.


Proof

\(\displaystyle 0\) \(\divides\) \(\displaystyle n\)
\(\displaystyle \leadsto \ \ \) \(\displaystyle \exists q \in \Z: n\) \(=\) \(\displaystyle q \times 0\) Definition of Divisor of Integer
\(\displaystyle \leadsto \ \ \) \(\displaystyle n\) \(=\) \(\displaystyle 0\) Integers have no zero divisors, as Integers form Integral Domain.

$\blacksquare$


Sources