Today, we will prove the second inequality: the norm index of the ideles is at most the degree of the field extension. We will prove this using ideles (cf. the discussion of how ideles and ideals connect to each other), and some analysis.

**1. A Big Theorem **

We shall use one key fact from the theory of L-series. Namely, it is that:

Theorem 1If is a number field, we have

as . Here ranges over the primes of . The notation means that the two differ by a bounded quantity as .

This gives a qualititative expression for what the distribution of primes must kinda look like—with the aid of some Tauberian theorems, one can deduce that the number of primes of norm at most is asymptotically for , i.e. an analog of the standard prime number theorem. In number fields. We actually need a slight refinement thereof.

Theorem 2More generally, if is a character of the group , we have

if , and otherwise it tends either to a finite limit or .

Instead of just stating this as a random, isolated fact, I’d like to give some sort of context. Recall that the Riemann-zeta function was defined as . There is a generalization of this to number fields, called the Dedekind zeta function. The Dedekind-zeta function is **not** defined by summing over for in the ring of integers (minus 0). Why not? Because the ring of integers is not a unique factorization domain in general, and therefore we don’t get a nice product formula. (more…)