For , the Dedekind zeta function of is
Unique factorization of ideals gives its Euler product
over the nonzero prime ideals of .
The analytic class number formula states that has a simple pole at with
where 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 homomorphism
extended periodically to by setting when . Its Dirichlet L-function is
Let be quadratic with discriminant , and let
be its primitive quadratic Dirichlet character. For an unramified prime , the Euler factor of is
Since 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 becomes
Because 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 are
Therefore
The quadratic class number formula gives

Articles by others on the same topic (0)

There are currently no matching articles.