Let and let be its character group. Character orthogonality givesFor , the prime term of isup to a function bounded as , since higher prime powers converge there. The trivial character contributeswhereas every nontrivial character contributes because its -function is nonzero at . Thereforeand 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
PutIt contains and has degree two over . The three quadratic subfields have discriminants , , and , so the biquadratic discriminant formula givesThe relative discriminant formulatherefore 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 inis 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
There are currently no matching articles.