Definition:Pairwise Coprime/GCD Domain

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct {D, +, \times}$ be a GCD domain.


A subset $S \subseteq D$ is pairwise coprime (in $D$) if and only if:

$\forall x, y \in S: x \ne y \implies x \perp y$

where $x \perp y$ denotes that $x$ and $y$ are coprime.


Also see