12
$\begingroup$

Let $r \ge 3$ be a fixed integer. I'm interested in primes p such that no integer in the interval $(-\sqrt{p}, \sqrt{p})$, except $1$ (and $-1$ if $r$ is even), is an r-th root of unity modulo p.

The naive heuristic that $r$-th roots of unity should be "randomly distributed" suggests that there should be infinitely many such primes, and indeed they should have density 1 among all primes. Can this be made rigorous?

Improve this question
$\endgroup$
2
  • 1
    $\begingroup$ Suppose $r=3$, so that we are looking at roots of $x^2+x+1$. Then this seems like it should follow immediately from results on uniform distribution of solutions to quadratic congruences mod $p$; see imrn.oxfordjournals.org/content/2000/14/719.abstract $\endgroup$
    – so-called friend Don
    Apr 11, 2014 at 15:36
  • 1
    $\begingroup$ Yes, it definitely does, and $r=4,r=6$ as well. $\endgroup$
    – Will Sawin
    Apr 11, 2014 at 15:38

1 Answer 1

Reset to default
16
$\begingroup$

OK, thinking a little more clearly about this... (hopefully) Say $p\le N$ fails to have the property you want. Then $p | n^r-1$ for some $|n| < \sqrt{p} \le \sqrt{N}$. There are only $O(\sqrt{N})$ integers of the form $n^r-1$ with $n$ in this range, and each has only $O(\log{N})$ prime factors. So there are only $O(\sqrt{N} \log{N})$ exceptional primes $p \leq N$, which is tiny compared to $\pi(N)$.

Improve this answer
$\endgroup$
1
  • 4
    $\begingroup$ Sweet! So this shows in fact that I could replace $(-\sqrt{p}, \sqrt{p})$ with any interval of the form $(-p^{\delta}, p^\delta)$ with $\delta < 1$ (which seems reasonable). $\endgroup$
    – David Loeffler
    Apr 11, 2014 at 16:26

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.