5
$\begingroup$

If $q\in\mathbb{Z}^+$ is not a perfect square, does there always exist an odd prime $p$ such that $q$ is a generator of $\mathbb{Z}/p\mathbb{Z}^\times$? Can we find always find infinitely many such $p$?

1 Answers 1

11

This is a conjecture of Artin. Hooley proved the conjecture is true for all nonsquare $q > 1$ if the generalized Riemann hypothesis is true for zeta-functions of number fields. Later work by Hooley, following work by R. Murty and Gupta, established the conjecture unconditionally (i.e., with no GRH assumptions) for all prime $q$ with at most 2 exceptions (and nobody expects there really are any exceptions at all). For example, the conjecture is provably true for at least one of the choices $q = 2$, 3, or 5 (and surely is true for all three!) but we can't pin down a specific one of those three values for which the conjecture is definitely true. To this day the conjecture is not proved for any specific value of $q$.

  • 0
    @Gerry, that's a good point. I thought about this a little and didn't get much further than observing that you want to demand p>2 lest the problem become trivial.2011-05-18