9
$\begingroup$

Dear all,

I am looking for a proof or a reference of the following statement:

Let $f$ be a non-constant polynomial with integer coefficients. Then the sum $\sum \{1/p \mid f \text{ has a root modulo } p\}$ diverges.

I am pretty sure that I saw it somewhere before but I cannot remember and I failed to find it in number theory books. A possible routes that has already been suggested to me is actually showing that the sums of reciprocals for which f even decomposes into linear factors has positive density which should stem from Galois theory. I am however not an expert in Galois theory so that I would prefer a direct proofs or a reference.

Thanks in advance, Alberto

$\endgroup$

2 Answers 2

6
$\begingroup$

This should follow from the Theorem of Frobenius mentioned on p. 7 (PDF numbering) of http://websites.math.leidenuniv.nl/algebra/chebotarev.pdf.

$\endgroup$
10
$\begingroup$

Charles is completely right that this follows from Frobenius' theorem. Since you don't like Galois theory, here is a proof which does not explicitly mention Galois theory. (But it is hiding just out of sight.)

We may assume that $f$ is irreducible as, if $g$ divides $f$, then the set of primes for which $f$ has a root contains the set for which $g$ does.

Let $K$ be the field $\mathbb{Q}[x]/f(x)$. Let $R$ be the ring of integers of $K$, and let $S=\mathbb{Z}[x]/f(x)$. Note that $S$ is a finite index sublattice of $R$ and, if $p$ is a prime which does not divide $|R/S|$, then $R/p \cong S/p$. Also, for any prime $p$ which does not divide the discriminant of $f$, the polynomial $f$ factors into distinct factors in $\mathbb{F}_p[x]$.

Thus, if $p$ is large enough to not divide either $|R/S|$ or the discriminant of $f$, then $R/p \cong S/p \cong \mathbb{F}_p[x]/f(x) \cong \bigoplus \mathbb{F}_p[x]/(f_i(x))$ where $f_i$ are the irreducible factors of $f$ mod $p$. So, for such a prime $p$, prime ideals of $R$ which contain $(p)$ are in bijection with irreducible factors of $f$ mod $p$, and the norm of such a prime is $p^{\deg f_i}$.

So, if $f$ has a root modulo $p$, then $$\frac{1}{p} \leq \sum_{\pi \supseteq (p), \ \pi \ \mbox{prime}} \frac{1}{N(\pi)} \leq \frac{\deg f}{p}$$ and, if $f$ does not have a root modulo $p$, then $$\sum_{\pi \supseteq (p), \ \pi \ \mbox{prime}} \frac{1}{N(\pi)} \leq \frac{(\deg f)/2}{p^2}$$

We want to show that $$\sum_{p: \exists \pi \ \mbox{a prime of} \ R \ \mbox{with} \ N(\pi)=p} \frac{1}{p}$$ diverges. By the above inequalities, it is equivalent to show that $$\sum_{\pi \subset R, \ \pi \ \mbox{prime}} \frac{1}{N(\pi)}$$ diverges. (Note that the finitely many primes which divide $|R/S|$ or the discriminant of $f$ cannot change whether or not the sum converges.)

Now, we have unique factorization into prime ideals for $R$, so $$\sum_{I \subseteq R} \frac{1}{N(I)^s} = \prod_{\pi \subset R, \ \pi \ \mbox{prime}} \left( 1 - \frac{1}{N(\pi)^s} \right)^{-1}.$$

The left hand side is the $\zeta$ function of $K$. By the class number formula (see most books on algebraic number theory), $\zeta_K(s) = C/(s-1) + O(1)$ for some positive constant $C$, as $s \to 1^{+}$. So $$\log \zeta_K(s) = \log \frac{1}{s-1} + O(1) = \sum \log \left( \frac{1}{1-N(\pi)^{-s}} \right) = \sum \frac{1}{N(\pi)^s} + O(1/N(\pi)^{2s}).$$ We deduce that $$\sum \frac{1}{N(\pi)^s} = \log \frac{1}{s-1} + O(1)$$ so $$\sum \frac{1}{N(\pi)}$$ diverges.

$\endgroup$
1
  • $\begingroup$ Thanks a lot guys. That was what i was looking for! --Alberto $\endgroup$
    – Alberto
    Commented Sep 3, 2010 at 22:01

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .