Category:Greatest Common Divisor

From ProofWiki
Jump to navigation Jump to search

This category contains results about Greatest Common Divisor.
Definitions specific to this category can be found in Definitions/Greatest Common Divisor.

Let $a, b \in \Z: a \ne 0 \lor b \ne 0$.


Definition 1

The greatest common divisor of $a$ and $b$ is defined as:

the largest $d \in \Z_{>0}$ such that $d \divides a$ and $d \divides b$


Definition 2

The greatest common divisor of $a$ and $b$ is defined as the (strictly) positive integer $d \in \Z_{>0}$ such that:

$(1): \quad d \divides a \land d \divides b$
$(2): \quad c \divides a \land c \divides b \implies c \divides d$


This is denoted $\gcd \set {a, b}$.


When $a = b = 0$, $\gcd \set {a, b}$ is undefined.

Pages in category "Greatest Common Divisor"

The following 50 pages are in this category, out of 50 total.