Status
On this page
Status
Topics
Status
On this page
Status
Topics
Is it true that, for every prime , there is a prime which is a primitive root modulo ?
Is it true that, for every prime , there is a prime which is a primitive root modulo ?
Source: erdosproblems.com/985
No claim settles this problem.
Open. The site's label is OPEN, which describes the corrected Statement. No claim page is recorded.
The site's wording quantifies over every prime and fails at the smallest one: no prime is smaller than , so has no prime primitive root . A comment of 17 August 2025 by Woett in the site's discussion thread makes this remark, that is required, and the formal-conjectures statement assumes . The change inserts "" after "every prime "; nothing else changes. The defect is already in the poser's text: Erdős asks the question for every prime with no restriction, in [Er61e], p. 11, and in [Er65b], printed p. 233: "As far as I know it is not even known whether to every there is a prime which is a primitive root of ." The problem's standing judges the corrected Statement.