Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Statement
Notation (p. 11): is the least primitive root of the prime . The passage follows conjecture (4) and states, in this order, without proof:
- A proof of
seems very hard. 2. It has not even been proved that does not tend to infinity with . 3. Artin conjectured that is a primitive root of infinitely many primes, and a proof seems very hard. 4. As far as the author knows, it has not even been proved that every prime has a prime that is a primitive root of . In the paper's words: "Tudtommal még az sincs bebizonyítva, hogy minden prímszámhoz van oly prímszám, mely -nek primitív gyöke." 5. After reviewing upper bounds for (Vinogradov's (5), for ; the improvement of Hua, H. Shapiro and the author to , with the number of distinct prime factors of ; and a sharper power bound of Burgess and Wang), the paper says it may well be that .
Item 4 quantifies over every prime , as printed; for there is no prime below .
Source. P. Erdős, Számelméleti megjegyzések, I. (Remarks on number theory, I.; in Hungarian), Mat. Lapok 12 (1961), 10--17; MR 26 #2410, Zbl 0154.294. All five remarks on printed p. 11, read on the page image of the edition identified on the source card. The exponent in the displayed Burgess--Wang bound is not legible on the scan and is not recorded here.
Read depth. Claims checked: the passage was read clause by clause on the page image. It contains no proofs.
Bears on
- Problem 985: item 4 is the problem's question in the site's wording (every prime ), which the problem page cites at p. 11; the problem page's corrected Statement asks it for every prime . The paper records it as not known and proves nothing about it.