Euler product for the Dedekind zeta function (source code)

= Euler product for the Dedekind zeta function

Unique factorization of nonzero ideals and multiplicativity of the ideal norm give the formal identity
$$
\zeta_K(s)=\prod_{\mathfrak p}
\left(1-N(\mathfrak p)^{-s}\right)^{-1},
$$
where the product ranges over nonzero prime ideals.