Skip to content
7 open problems · 7 with Lean statements

Open problems about covering systems

A covering system is a finite set of congruences that every integer satisfies. Erdős asked how the moduli can be chosen; some questions are settled (minimum modulus) and others remain open.

Level A · Machine-checkable Hard Lean statement

Erdős Problem #1113

Erdős Problem 1113. Do there exist Sierpiński numbers that possess no finite covering set of primes? Erdős and Graham [ErGr80] conjectured that the answer is yes. A negative answer would imply that there are infinitely many Fermat primes.

No claims yet Be the first →
Level A · Machine-checkable Hard Lean statement

Erdős Problem #203

Is there an integer m with (m, 6) = 1 such that none of 2^k · 3^ℓ · m + 1 are prime, for any k, ℓ ≥ 0?

No claims yet Be the first →
Level A · Machine-checkable Hard Lean statement

Erdős Problem #273

Is there a covering system all of whose moduli are of the form p-1 for some primes p ≥ 5?

No claims yet Be the first →
Level A · Machine-checkable Hard Lean statement

Erdős Problem #274

If G is a group, can there exist an exact covering of G by more than one coset of different sizes? (i.e. each element is contained in exactly one of the cosets.) The conjectured answer is no: in every such exact covering, two of the subgroups have the same cardinality.

No claims yet Be the first →
Level A · Machine-checkable Hard Lean statement

Erdős Problem #276

Is there an infinite Lucas sequence a_0, a_1, … where a_n+2 = a_n+1 + a_n for n ≥ 0 such that all a_k are composite, and yet no integer has a common factor with every term of the sequence?

No claims yet Be the first →
Level A · Machine-checkable Hard Lean statement

Erdős Problem #279

Let k≥ 3. Is there a choice of congruence classes a_ppmodp for every prime p such that all sufficiently large integers can be written as a_p+tp for some prime p and integer t≥ k?

No claims yet Be the first →
Level A · Machine-checkable Hard Lean statement

Erdős Problem #7

Is there a covering system all of whose moduli are odd (and greater than 1)?

No claims yet Be the first →