Artin’s primitive root conjecture

Still openEvidence checked

Subjects: Number theory · Arithmetic geometry

Collections: Primes and integers · Prime patterns

Reading depth

The problem

Repeatedly multiply by 2 and keep only the remainder after division by 5. The remainders are 2, 4, 3, 1, then the cycle repeats: every nonzero remainder appears. Division by 7 gives 2, 4, 1, then repeats, missing 3, 5 and 6. Artin's conjecture asks whether one fixed eligible integer succeeds like the first example for a predicted positive share of primes. The integer can be any integer other than −1 or a perfect square, and primes dividing it are excluded.[1]

Scope

For an integer a other than −1 or a perfect square, predict the density of primes p for which a is a primitive root modulo p.

What remains open

The predicted frequency has not been proved without extra assumptions.[1]

Why it matters

For the fixed integer 10, the same question governs how often reciprocals of primes have the longest possible repeating decimal. For example, one seventh repeats 142857, a six-digit block. It connects a familiar decimal pattern with the distribution of primes.[2]

Definitions

4 terms
modulo

Working modulo a positive integer means keeping remainders after division by it. For example, 8≡3(mod5)8\equiv3\pmod5.[1]

primitive root

For a prime p, a nonzero remainder whose successive powers visit all p−1p-1 nonzero remainders before repeating.[1]

multiplicative order

For an integer a not divisible by a prime p, the least positive k with ak≡1(modp)a^k\equiv1\pmod p. It is the length of the power cycle.[1]

density

Here, the limiting fraction of all primes that satisfy a specified property, counted up to larger and larger cutoffs. This is a proportion among primes, not among all integers.[1]

Sources

  1. Refinements of Artin’s primitive root conjecture Leo Goldmakher, Greg Martin and Paul Péringuey · 2025-02-26
    Notes on Refinements of Artin’s primitive root conjecture

    States the predicted positive density, its dependence on the fixed integer, and the generalized-Riemann-hypothesis condition.

  2. A non-abelian large sieve and Artin’s primitive root conjecture M. Ram Murty and Sunil Naik · 2026-08-21
    Notes on A non-abelian large sieve and Artin’s primitive root conjecture

    Assumes a non-abelian sieve inequality for infinitude, a weaker target than the full density formula; also explains decimal periods.

Related problems

Suggest a correction