Fonction zêta de Dedekind
Un article de Wikipédia, l'encyclopédie libre.
En mathématiques, la fonction zêta de Dedekind est une série de Dirichlet définie pour tout corps de nombres algébriques 
, et notée
où s est une variable complexe. C'est la somme infinie
prise sur tous les idéaux I de l'anneau des entiers 
de K, avec 
, où
exprime la norme de I (dans le corps rationnel Q). Ceci est égal à la cardinalité de
,
en d'autres mots, le nombre de classes de résidus modulo I. Dans le cas 
cette définition se réduit à la fonction zêta de Riemann.
Les propriétés de 
comme une fonction méromorphe ont une signification considérable dans la théorie algébrique des nombres. Elle possède un produit eulérien, avec un facteur pour un nombre premier donné p, le produit pris sur tous les idéaux premiers P de OK divisant p de
.
Ceci est l'expression en termes analytiques de l'unicité de la factorisation en nombres premiers des idéaux I.
Il est connu (démontré en général en premier par Erich Hecke) que ζK(s) a un prolongement analytique dans le plan complexe entier en fonction méromorphe, ayant un pôle simple seulement à s = 1. Le résidu à ce pôle est une quantité importante, impliquant les invariants du groupe des unités et du groupe de classe de K. Il existe une équation fonctionnelle pour la fonction zêta de Dedekind, en reliant ses valeurs à s et 1 − s.
Pour le cas dans lequel K est une extension abélienne de Q, sa fonction zêta de Dedekind peut être écrite comme un produit de fonctions L de Dirichlet. Par exemple, quand K est un corps quadratique ceci montre que le rapport
est une fonction L
où 
est un symbole de Jacobi comme caractère de Dirichlet. Ceci est une formulation de la loi de réciprocité quadratique.
En général si K est une extension galoisienne de Q avec un groupe de Galois G, sa fonction zêta de Dedekind possède une factorisation comparable en termes de fonctions L d'Artin. Celles-ci sont attachées aux représentations linéaires de G.
