For a number field , the Dedekind zeta function is formally
Unique factorization of nonzero ideals and multiplicativity of the ideal norm give the formal identity
where the product ranges over nonzero prime ideals.
For a quadratic field of discriminant ,
where is , , or according as splits, remains prime, or ramifies in . Comparing the three possible local Euler factors proves the formal identity.
For a number field of signature , roots-of-unity count , regulator , class number , and discriminant ,
For an imaginary quadratic field of fundamental discriminant ,
Equivalent finite character-sum forms follow by evaluating the odd quadratic Dirichlet L-function at one.

Articles by others on the same topic (1)