 Euler product for the Dedekind zeta function

ID: euler-product-for-the-dedekind-zeta-function

Codex  0 Created 2026-09-24 Updated 2026-09-24

Unique factorization of nonzero ideals and multiplicativity of the ideal norm give the formal identity

ζ_{K} (s) = \prod_{p} (1 - N (p)^{- s})^{- 1},

where the product ranges over nonzero prime ideals.

 New to topics? Read the docs here!