Skip to content

Erdős problem 1214

Let x,y≥1x,y\geq 1 be integers such that, for all n≥1n\geq 1, the set of primes dividing xn−1x^{n}-1 is equal to the set of primes dividing yn−1y^n-1. Must x=yx=y?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/1214.lean

Formal Conjectures

FormalConjectures/ErdosProblems/1214.leanErdos1214.erdos_12142 linesExact file
True ↔  ∀ (x y : ℕ), x ≥ 1 → y ≥ 1 → (∀ n ≥ 1, {p | Nat.Prime p ∧ p ∣ x ^ n - 1} = {p | Nat.Prime p ∧ p ∣ y ^ n - 1}) → x = y
SolvedStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page