For a set of prime ideals, its Dirichlet density is
when this limit exists.
Let and let be its character group. Character orthogonality gives
For , the prime term of is
up to a function bounded as , since higher prime powers converge there. The trivial character contributes
whereas every nontrivial character contributes because its -function is nonzero at . Therefore
and the density is .
The Chebotarev density theorem states that for a finite Galois extension and a conjugacy class , the unramified primes whose Frobenius conjugacy class is have Dirichlet density
Put
It contains and has degree two over . The three quadratic subfields have discriminants , , and , so the biquadratic discriminant formula gives
The relative discriminant formula
therefore gives : no finite prime ramifies. The extension is totally real, so no infinite prime ramifies either. Since , the Hilbert class field has degree two over . Consequently
A prime ideal of is principal exactly when its Artin symbol in
is the identity. The group has order two. Applying the Chebotarev density theorem to the identity conjugacy class gives density

Articles by others on the same topic (0)

There are currently no matching articles.