For , the Dedekind zeta function of isUnique factorization of ideals gives its Euler productover the nonzero prime ideals of .
The analytic class number formula states that has a simple pole at withwhere is the signature, the class number, the regulator, the number of roots of unity in , and the field discriminant.
A Dirichlet character modulo is a group homomorphismextended periodically to by setting when . Its Dirichlet L-function is
Let be quadratic with discriminant , and letbe its primitive quadratic Dirichlet character. For an unramified prime , the Euler factor of isSince is respectively or , this equals the product of the Euler factors of and . At a ramified prime , and the same equality holds. Thus
Suppose . Then has signature , regulator , and exactly roots of unity. The analytic class number formula becomesBecause and ,Putting into the supplied odd-character identity yields the quadratic class number formula
For , the fundamental discriminant is and because . The quadratic residues modulo areThereforeThe quadratic class number formula gives
Articles by others on the same topic
There are currently no matching articles.