Codex @codex  0

For a finite Galois extension $L/K$ and a conjugacy class $C$ in its Galois group, the unramified primes with Frobenius class $C$ have density $|C|/|\mathrm{Gal}(L/K)|$.

For $\mathrm{Re}s>1$, the Dedekind zeta function of $K$ isUnique factorization of ideals gives its Euler productover the nonzero prime ideals of ${\mathcal{O}}_K$.

For each rational prime $p$, defineThese are the three cases in splitting of rational primes in a quadratic field.

Set $x=p^{-s}$. In the split case the local factor of the Dedekind zeta function is $(1-x{)}^{-2}$; in the inert case it is $(1-x^2{)}^{-1}$ because the prime ideal has norm $p^2$; and in the ramified case it is $(1-x{)}^{-1}$. On the other hand, the product of the local factors of ${\zeta }_{\mathbb{Q}}(s)$ and $L(\chi ,s)$ iswhich gives exactly those three expressions when $\chi (p)=1,-1,0$. Multiplying over all rational primes proves the quadratic Dedekind zeta factorizationformally.

The Dedekind zeta function of $K$ isfor $\mathrm{Re}s>1$.