Skip to content

Erdős problem 541

Let a1,,apa_1, \dots, a_p be (not necessarily distinct) residues modulo a prime pp, such that there exists some rr so that if S[p]S \subseteq [p] is non-empty and iSai0(modp)\sum_{i \in S} a_i \equiv 0 \pmod{p} then S=r|S| = r.

Sources

Browse retained paths and inspect the exact material available for this Problem.

3 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

541.lean

Retained formal statement2 of 3

Gao, Hamidoune, and Wang [GHW10] solved this for all moduli p (not necessarily prime).

FormalConjectures/ErdosProblems/541.leanErdos541.erdos_541.variants.general_moduli2 linesExact file
∀ (p : ℕ) (a : Fin pZMod p),  (∃ r, ∀ (S : Finset (Fin p)), S ≠ ∅ → ∑ iS, a i = 0 → S.card = r) → (Set.range a).ncard ≤ 2
SolvedStatement only, no proof

Search problems.science

Find a Problem, Result, source, or page