OEIS/Harrows

In the early 1930s Erdős introduced a covering system (also called complete residue systems) as a collection

\{a_{1}(\mathrm {mod} \ {n_{1}}),\ \ldots ,\ a_{k}(\mathrm {mod} \ {n_{k}})\}

of finitely many residue classes $a_{i}(\mathrm {mod} \ {n_{i}})=\{a_{i}+n_{i}x:\ x\in \mathbb {Z} \}$

In the following we will use a slightly different definition:

negative integers and zero are excluded,
there may be infinitely many residue classes, and
any positive integer is covered by exactly one residue class only,
the residue classes that define the arithmetic progressions are ordered, and this order defines the permutation of the integers.

We will call such a modified covering system a harrow. An arithmetic progression with a residue class 0 mod k will start with k.

 0 mod 1

 2 mod 6
 1 mod 2 (odd numbers)
 4 mod 6
 0 mod 6

 2 mod 12
 1 mod  4
 6 mod 12
 3 mod  4
10 mod 12
 4 mod  4

 2 mod 4
 4 mod 4
 5 mod 8
 1 mod 8
 7 mod 16
15 mod 16
19 mod 32

Contents