Definition:Common Divisor/Integral Domain

Definition

Let $\left({D, +, \times}\right)$ be an integral domain.

Let $S \subseteq D$ be a finite subset of $D$.

Let $c \in D$ such that $c$ divides all the elements of $S$, that is:

$\forall x \in S: c \mathop \backslash x$

Then $c$ is a common divisor (or common factor) of all the elements in $S$.

Sources

• Thomas A. Whitelaw: An Introduction to Abstract Algebra (1978)... (previous)... (next): $\S 62$