Dedekind zeta function (source code)

= Dedekind zeta function
{c}
{wiki}

For a number field $K$, the Dedekind zeta function is formally
$$
\zeta_K(s)=\sum_{0\ne\mathfrak a\subseteq\mathcal O_K}N(\mathfrak a)^{-s}.
$$