Chebotarev density theorem (source code)

= Chebotarev density theorem
{c}
{wiki}

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|/|\operatorname{Gal}(L/K)|$.