I'm reading P.J. Weinberger's article "Finding the Number of Factors of a Polynomial" (Journal of Algorithms, 5, 1984) and I can't fully understand an assertion on primes of (inertial) degree one in the ring of algebraic integers of a number field. What is stated is that, given a number field $K$ and a prime $p$, the average number of primes of degree one of $\mathcal{O}_{K}$ which lie above $p$ is one, due to prime number theorem for number fields. Why is this true?

  • $\begingroup$ Have you worked it out for $K=\Bbb Q(i)$ ? $\endgroup$ – Lubin Apr 8 '18 at 20:14
  • $\begingroup$ Unfortunately not yet...I have found some results in "A conversational introduction to algebraic number theory: arithmetic beyond $\mathbb{Z}$" by Paul Pollack, from which it seems that this follows in some way from class number formula, but it still remains quite unclear to me $\endgroup$ – thanks_emmy Apr 8 '18 at 20:25
  • $\begingroup$ Well, you do know that half the primes of $\Bbb Z$ split, and half remain prime, in $\Bbb Z[i]$, right? And that the split ones contribute two primes $\mathfrak p$ of degree one, right? And that above a nonsplit prime of $\Bbb Z$, the prime is of degree two, right? $\endgroup$ – Lubin Apr 8 '18 at 20:31
  • $\begingroup$ Right, I definitely agree! But I still don't see clearly how to move forward... $\endgroup$ – thanks_emmy Apr 8 '18 at 20:44
  • $\begingroup$ This is not my meat at all, but it looks to me like the Čebotarev Density Theorem, which you can find a Wikipedia article for. I think that this is what takes the place of the Prime Number Theorem for number fields. $\endgroup$ – Lubin Apr 8 '18 at 20:54

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.