Let a be an integer that is not a square number and not −1. Write a = a₀b² with a₀ square-free. Denote by S(a) the set of prime numbers p such that a is a primitive root modulo p. Then the conjecture states

1. S(a) has a positive asymptotic density inside the set of primes. In particular, S(a) is infinite.
2. Under the conditions that a is not a perfect power and that a₀ is not congruent to 1 modulo 4 (sequence A085397 in the OEIS), this density is independent of a and equals Artin's constant, which can be expressed as an infinite product

   ${\displaystyle C_{\mathrm {Artin} }=\prod _{p\ \mathrm {prime} }\left(1-{\frac {1}{p(p-1)}}\right)=0.3739558136\ldots }$  (sequence A005596 in the OEIS).

Similar conjectural product formulas^[1] exist for the density when a does not satisfy the above conditions. In these cases, the conjectural density is always a rational multiple of C_Artin.

For example, take a = 2. The conjecture claims that the set of primes p for which 2 is a primitive root has the above density C_Artin. The set of such primes is (sequence A001122 in the OEIS)

S(2) = {3, 5, 11, 13, 19, 29, 37, 53, 59, 61, 67, 83, 101, 107, 131, 139, 149, 163, 173, 179, 181, 197, 211, 227, 269, 293, 317, 347, 349, 373, 379, 389, 419, 421, 443, 461, 467, 491, ...}.

It has 38 elements smaller than 500 and there are 95 primes smaller than 500. The ratio (which conjecturally tends to C_Artin) is 38/95 = 2/5 = 0.4.

In 1967, Christopher Hooley published a conditional proof for the conjecture, assuming certain cases of the generalized Riemann hypothesis.^[2]

Without the generalized Riemann hypothesis, there is no single value of a for which Artin's conjecture is proved. D. R. Heath-Brown proved (Corollary 1) that at least one of 2, 3, or 5 is a primitive root modulo infinitely many primes p.^[3] He also proved (Corollary 2) that there are at most two primes for which Artin's conjecture fails.

Elliptic curve edit

An elliptic curve ${\displaystyle E}$  given by ${\displaystyle y^{2}=x^{3}+ax+b}$ , Lang and Trotter gave a conjecture for rational points on ${\displaystyle E(\mathbb {Q} )}$  analogous to Artin's primitive root conjecture.^[4]

Specifically, they said there exists a constant ${\displaystyle C_{E}}$  for a given point of infinite order ${\displaystyle P}$  in the set of rational points ${\displaystyle E(\mathbb {Q} )}$  such that the number ${\displaystyle N(P)}$  of primes (${\displaystyle p\leq x}$ ) for which the reduction of the point ${\displaystyle P{\pmod {p}}}$  denoted by ${\displaystyle {\bar {P}}}$  generates the whole set of points in ${\displaystyle \mathbb {F_{p}} }$  in ${\displaystyle E}$ , denoted by ${\displaystyle {\bar {E}}(\mathbb {F_{p}} )}$ , is given by ${\displaystyle N(P)\sim C_{E}\left({\frac {x}{\log x}}\right)}$ .^[5] Here we exclude the primes which divide the denominators of the coordinates of ${\displaystyle P}$ .

Gupta and Murty proved... the Lang and Trotter conjecture for ${\displaystyle E/\mathbb {Q} }$  with complex multiplication under the Generalized Riemann Hypothesis, for primes splitting in the relevant imaginary quadratic field, i. e., they proved some asymptotic formula for only half of the prime numbers without actually verifying any particular case of Lang and Trotter conjecture which is stated for all prime numbers and which probably is totally false! Moreover Gupta and Murty proved that the main term of their asymptotic formula is positive for some particular classes of elliptic curves with complex multiplication. If one consideres the group P generated by several independently linear points P1, P2,...,Pg in ${\displaystyle E(\mathbb {Q} )}$ , for g sufficiently large (i.e. g>20), then indeed Goupta and Murty obtainded an asymptotic formula for all prime numbers with positive main term, for some particular classes of elliptic curves with complex multiplication, and one could ask what are the minimum subsets of P1, P2,...,Pg, for which such asymptotic formula exists. This result could be considered as an analogous to Artin's primitive root conjecture!

^[6]

Even order edit

Krishnamurty proposed the question how often the period of the decimal expansion ${\displaystyle 1/p}$  of a prime ${\displaystyle p}$  is even.

The claim is that the period of the decimal expansion of a prime in base ${\displaystyle g}$  is even if and only if ${\displaystyle g^{\left({\frac {p-1}{2^{j}}}\right)}\not \equiv 1{\bmod {p}}}$  where ${\displaystyle j\geq 1}$  and ${\displaystyle j}$  is unique and p is such that ${\displaystyle p\equiv 1+2^{j}\mod {2^{j}}}$ .

The result was proven by Hasse in 1966.^[4][7]

• Stephens' constant, a number that plays the same role in a generalization of Artin's conjecture as Artin's constant plays here
• Brown–Zassenhaus conjecture
• Full reptend prime
• Cyclic number (group theory)