Definition:Pairwise Coprime/Euclidean Domain
Jump to navigation
Jump to search
Definition
Let $\struct {D, +, \times}$ be a Euclidean 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.