Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Dedekind zeta function
Summary
In mathematics, the Dedekind zeta function of an algebraic number field K, generally denoted ζK(s), is a generalization of the Riemann zeta function (which is obtained in the case where K is the field of rational numbers Q). It can be defined as a Dirichlet series, it has an Euler product expansion, it satisfies a functional equation, it has an analytic continuation to a meromorphic function on the complex plane C with only a simple pole at s = 1, and its values encode arithmetic data of K. The extended Riemann hypothesis states that if ζK(s) = 0 and 0 < Re(s) < 1, then Re(s) = 1/2.
The Dedekind zeta function is named for Richard Dedekind who introduced it in his supplement to Peter Gustav Lejeune Dirichlet's Vorlesungen über Zahlentheorie.
Let K be an algebraic number field. Its Dedekind zeta function is first defined for complex numbers s with real part Re(s) > 1 by the Dirichlet series
where I ranges through the non-zero ideals of the ring of integers OK of K and NK/Q(I) denotes the absolute norm of I (which is equal to both the index [OK : I] of I in OK or equivalently the cardinality of quotient ring OK / I). This sum converges absolutely for all complex numbers s with real part Re(s) > 1. In the case K = Q, this definition reduces to that of the Riemann zeta function.
The Dedekind zeta function of has an Euler product which is a product over all the non-zero prime ideals of
This is the expression in analytic terms of the uniqueness of prime factorization of ideals in . For is non-zero.
Erich Hecke first proved that ζK(s) has an analytic continuation to the complex plane as a meromorphic function, having a simple pole only at s = 1. The residue at that pole is given by the analytic class number formula and is made up of important arithmetic data involving invariants of the unit group and class group of K.
The Dedekind zeta function satisfies a functional equation relating its values at s and 1 − s. Specifically, let ΔK denote the discriminant of K, let r1 (resp. r2) denote the number of real places (resp.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood