Erdős problem 723 · problems.science

If there is a finite projective plane of order $n$ then must $n$ be a prime power?

Sources

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

5 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

723.lean

Retained formal statement5 of 5

These always exist if $n$ is a prime power.

FormalConjectures/ErdosProblems/723.leanErdos723.erdos_723.variants.prime_power_is_projplane_order1 lineExact file

1∀ (n : ℕ), IsPrimePow n → ∃ P L x x_1 x_2 pp, Configuration.ProjectivePlane.order P L = n

SolvedStatement only, no proof