Artin's Constant

DOWNLOAD Mathematica Notebook

Let n be a positive nonsquare integer. Then Artin conjectured that the set S(n) of all primes for which n is a primitive root is infinite. Under the assumption of the generalized Riemann hypothesis, Artin's conjecture was solved by Hooley (1967; Finch 2003, p. 105).

Let n be not an rth power for any r>1 such the squarefree part n^' of n satisfies n^'≢1 (mod 4). Let S^'(n) be the set of all primes for which such an n is a primitive root. Then Artin also conjectured that the density of S^'(n) relative to the primes is given independently of the choice of n by C_(Artin), where

 C_(Artin)=product_(k=1)^infty[1-1/(p_k(p_k-1))]=0.3739558136...
(1)

(OEIS A005596), and p_k is the kth prime.

The significance of Artin's constant is more easily seen by describing it as the fraction of primes p for which 1/p has a maximal period repeating decimal, i.e., p is a full reptend prime (Conway and Guy 1996) corresponding to a cyclic number.

C_(Artin) is connected with the prime zeta function P(n) by

 lnC_(Artin)=-sum_(n=2)^infty((L_n-1)P(n))/n,
(2)

where L_n is a Lucas number (Ribenboim 1998, Gourdon and Sebah). Wrench (1961) gave 45 digits of C_(Artin), and Gourdon and Sebah give 60.

If n^'=1 (mod 4) and n is still restricted not to be an rth power, then the density is not C_(Artin) itself, but a rational multiple thereof. The explicit formula for computing the density in this case is conjectured to be

 C_(Artin)^'=[1-mu(n^')product_(prime q; q|n^('))1/(q^2-q-1)]C_(Artin)
(3)

(Matthews 1976, Finch 2003), where mu(n) is the Möbius function. Special cases can be written down explicitly for n^'=p a prime,

 C_(Artin)^'=(1+1/(p^2-p-1))C_(Artin),
(4)

or n^'=pq, where p,q are both primes with u,v=1 (mod 4),

 C_(Artin)^'=(1+1/(p^2-p-1)1/(q^2-q-1))C_(Artin),
(5)

If n is a perfect cube (which is not a perfect square), a perfect fifth power (which is not a perfect square or perfect cube), etc., other formulas apply (Hooley 1967, Western and Miller 1968).

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.