Greatest common divisor

Statement

For a finite sequence

Let $R$ be a commutative unital ring and $a_{1},a_{2},\dots ,a_{n}\in R$. An element $d\in R$ is termed a greatest common divisor or gcd of $a_{1},a_{2},\dots ,a_{n}$ if it satisfies the following equivalent conditions:

• $d|a_{i}$ for all $1\leq i\leq n$ and if $c|a_{i}$ for all $1\leq i\leq n$, then $c|d$.
• $c|a_{i}$ for all $1\leq i\leq n$ if and only if $c|d$.
• The ideal $(d)$ is the intersection of all the principal ideals of $R$ containing $(a_{1},a_{2},\dots ,a_{n})$.

The greatest common divisor of a finite set of elements is not unique; if two elements are both greatest common divisors of $a_{1},a_{2},\dots ,a_{n}$, then they are associate elements.

For any set

Let $R$ be a commutative unital ring and $S$ be a subset of $R$. An element $d\in R$ is termed a greatest common divisor of $S$ if it satisfies the following equivalent conditions:

• $d|a$ for all $a\in S$, and if $c|a$ for all $a\in S$, then $c|d$.
• $c|a$ for all $a\in S$ if and only if $c|d$.
• The ideal $(d)$ is the intersection of all the principal ideals of $R$ containing $S$.

Facts

• Greatest common divisors of the same subset form an associate class