For a positive integer , define
The sequence has sieve distribution when is a multiplicative arithmetic function on the squarefree divisors of , with , and
for every . The function models the local density of divisibility by , while is the remainder.
Put and let be the number of roots of modulo . For squarefree , the Chinese remainder theorem gives
Indeed, for the three roots are distinct. Counting in each of the residue classes gives
Consequently a suitable sieve distribution is
This is the polynomial root density in a sieve calculation.
For an integer polynomial and squarefree , let count the roots of modulo . The Chinese remainder theorem makes multiplicative, and
Thus and define a sieve distribution.