Skip to content

Erdős problem 273

Start work

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

Sources

The source's own material, retained exactly.

2 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

273.lean

Retained formal statement2 of 2

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

FormalConjectures/ErdosProblems/273.leanErdos273.erdos_273.variants.three1 lineExact file
True ↔ ∃ c, ∀ (i : c.ι), ∃ p, Nat.Prime p ∧ 3 ≤ p ∧ c.moduli i = Ideal.span {p - 1}
SolvedStatement only, no proof