Greatest Common Divisor of Integers/Examples/n and 0

From ProofWiki
Jump to navigation Jump to search



Example of Greatest Common Divisor of Integers

Let $n \in \Z_{>0}$.

The greatest common divisor of $n$ and $0$ is:

$\gcd \set {n, 0} = n$


Proof

The strictly positive divisors of $0$ are:

$\set {x \in \Z_{>0}: x \divides 0} = \Z_{>0}$