Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Fonction zêta de Dedekind
Résumé
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.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.