Common Divisor Set

Type: definition

We define the set of common divisors of $a,b$ to be
\[
  \operatorname{div}(a,b)=\operatorname{div}(a)\cap\operatorname{div}(b).
\]
This set contains exactly the divisors that divide both $a$ and $b$.