Unique factorization of nonzero ideals and multiplicativity of the ideal norm give the formal identitywhere 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
The Dedekind zeta function is an important invariant in algebraic number theory associated with a number field.