Théorème de la progression arithmétique de Dirichlet

François DE M ARÇAY
Département de Mathématiques d’Orsay
Université Paris-Sud, France

1. Introduction
2. Arithmétique élémentaire et formule d’Euler
Avant d’entamer les raisonnements, des préliminaires s’imposent. Soit :
N∗ = 1, 2, 3, . . . = N\{0}


l’ensemble des entiers naturels > 1. Soient deux entiers a, b > 1. On dit que a divise b s’il
existe c ∈ N, c > 1, tel que b = ac, ce qu’on note :
a | b.
Ainsi, 1 | a et a | a, pour tout a ∈ N∗ .
Définition 2.1. Un nombre entier p > 2 n’ayant aucun autre diviseur que 1 et lui-même est
appelé (nombre) premier.
On notera :
P := p > 2 : p est premier


= 2, 3, 5, 7, 11, 13, 17, 19, 23, . . . .
Définition 2.2. Le plus grand commun diviseur de deux entiers a > 1 et b > 1, noté :
pgcd (a, b),

est le plus grand entier c qui divise simultanément a et b.

Le Théorème Fondamental de l’Arithmétique s’énonce alors comme suit.
Théorème 2.3. Tout entier n > 1 se factorise de manière unique comme produit de
nombres premiers :
α
αr
n = p1 1 · · · p r ,
avec p1 < · · · < pr ∈ P et des puissances entières α1 , . . . , αr > 1. 
Sa démonstration, non remobilisée ici, repose sur le lemme de division d’Euclide, et sur
le théorème de Gauss.
Théorème 2.4. Il y a une infinité de nombres premiers :
∞ = Card P.
1
2 François DE M ARÇAY, Département de Mathématiques d’Orsay, Université Paris-Sud

Puisque l’objectif est d’établir le Théorème de Dirichlet, qui en est une généralisa-
tion non-élémentaire, il est avisé de se remémorer les arguments, faciles, qui remontent
au moins à Euclide.
Démonstration. Par l’absurde, s’il n’y avait qu’un nombre fini K < ∞ d’entiers premiers :
? 
P = p1 , . . . , p K ,

avec 2 = p1 < · · · < pK , alors l’entier astucieusement formé :

1 + p1 · · · p K ,
visiblement divisible par aucun des pk , 1 6 k 6 K, devrait toutefois, à cause du théorème
qui précède, être produit fini d’entiers appartenant à P = {p1 , . . . , pK }, contradiction. 
Une démonstration élémentaire d’un résultat plus précis mérite d’être détaillée.
Théorème 2.5. La série :
X 1
= ∞
p∈P
p
diverge.
Il en découle instantanément que Card P = ∞.
Démonstration. Supposons par l’absurde que cette série, à termes > 0, converge. En nu-
mérotant par ordre croissant :
P = p1 , p2 , . . . , pk , . . . ,


il existe alors un entier K  1 assez grand pour que :

∞
X 1 1
(2.6) 6 .
k=K+1
pk 2
Introduisons alors le produit :
Q := p1 · · · pK .
Pour tout entier n > 1, l’entier 1+n Q n’est pas divisible par p1 , . . . , pK , donc a ses facteurs
premiers parmi {pK+1 , pK+2 , . . .}.
Assertion 2.7. Pour tout N > 1 on a :
N ∞  X
∞ a
X 1 X 1
6 .
n=1
1 + nQ a=1 k=K+1
pk
1
Preuve. Chaque 1+n Q
à gauche se décompose en :
1 1
= Q (n > 1),
1 + nQ (pk )αn,k
k>K+1

avec des exposants αn,k > 0, le produit étant fini. De plus :

 
n1 6= n2 =⇒ αn1 ,k k>K+1 6= αn2 ,k k>K+1 ,
simplement parce que 1+n1 1 Q 6= 1+n1 2 Q , donc lorsque n varie, tous ces termes Q 1
αn,k
k>K+1 (pk )
sont mutuellement distincts, donc ne se rassemblent jamais à la manière de T + T = 2 T.
 2. Arithmétique élémentaire et formule d’Euler 3

Or un développement multinomial à coefficients entiers du membre de droite :

∞
X X a! 1
a a a
(pk )αk
Q
a=1 αa +αa +···=a
αK+1 ! αK+2 ! · · ·
K +1 K +2 k>K+1
1
PN
fait voir que chaque terme à gauche dans (sans rassemblement) apparaît à
n=1 1+n Q
droite toujours avec un coefficient multinomial > 1, souvent > 2 (à cause de rassemble-
ments), donc l’inégalité est vraie, et même stricte. 
Or (2.6) conduit alors à la majoration uniforme :
N ∞  
X 1 X 1 a
6 = 1 < ∞,
n=1
1 + nQ a=1
2
quel que soit N −→ ∞, mais cela est faux, puisque l’équivalence évidente :
1 1 1
∼ ,
1 + n Q n→∞ Q n
P1 P 1
fait voir, à cause de la divergence de la série harmonique n
, que 1+n Q
= ∞, en
fait ! 
Une troisième démonstration de l’infinitude des nombres premiers utilise la fonction
zêta de Riemann : ∞
X 1
ζ(s) := ,
n=1
ns
où s ∈ C est un nombre complexe.
Im s

c
Re s
0 1

Lemme 2.8. Pour tout réel c > 1, cette série converge normalement, donc uniformément,
sur le demi-plan fermé :  
Re s > c ⊂ Re s > 1
 
Démonstration. En utilisant es log n  = eRe s log n , on majore terme à terme :
∞ ∞
X 1 X 1
|ζ(s)| 6 =
n=1
|ns | n=1
nRe s
∞
X 1
6 c
< ∞,
n=1
n
d’après le critère de Riemann. 
4 François DE M ARÇAY, Département de Mathématiques d’Orsay, Université Paris-Sud

Corollaire 2.9. La fonction ζ(s) est holomorphe dans le demi-plan ouvert {Re s > 1}.
Démonstration. En effet, toutes les fonctions s 7−→ n1s y sont holomorphes, et un théorème
dû à Cauchy assure qu’une série de fonctions holomorphes, uniformément convergente sur
les compacts d’un ouvert, a une limite continue qui est de plus holomorphe. 
Le résultat-clé, pour re-démontrer Card P = ∞, est la formule de produit d’Euler.
Théorème 2.10. Pour tout s ∈ C avec Re s > 1, on a :
Y 1
ζ(s) = .
p∈P
1 − p1s

Il importe de remarquer que cette identité exprime analytiquement le Théorème Q 2.3

fondamental de l’arithmétique. En effet, chaque terme 1−p1 −s dans le produit infini p∈P
se développe comme série géométrique convergente :
1 1 1 1
1 = 1 + s + 2s + · · · + Ms + · · · .
1 − ps p p p
Ainsi, en numérotant les entiers P = {p1 < p2 < · · · }, nous considérons :
∞  
Y 1 1 1
1+ s
+ 2s
+ ··· + Ms
+ ··· .
k=1
(p k) (p k) (p k)

En développant formellement tout ceci, outre le terme initial 1 = ∞

Q
k=1 1, on obtient une
somme dont les termes sont des produits :
1 1 1
α s
· · · α s
=: ,
(pk1 ) 1 (pkν ) ν ns
avec ν > 1, avec 2 6 pk1 < · · · < pkν premiers, et avec des exposants 1 6 α1 , . . . , αν ,
et de cette manière, on reconstitue une et une seule fois tous les n1s , avec n > 2 entier
quelconque.
Ainsi, ce (gigantesque) produit vaut bien :
∞
X 1
.
n=1
ns
L’Exercice 1 propose de se convaincre que ces manipulations formelles convergent
lorsque Re s > 1.
Venons-en à la démonstration par Euler de Card P = ∞, celle qui a inspiré Dirichlet
pour son théorème de la progression arithmétique.
Théorème 2.11. [Euler] La série p∈P p1 = ∞ diverge.
P

Démonstration. Prenons le logarithme complexe de la formule de produit d’Euler :

Y 1
1 = ζ(s) (Re s > 1),
p∈P
1 − p s

ce qui donne :
X  1
− log 1− = log ζ(s).
p∈P
ps
 3. Présentation des idées de Dirichlet dans un cas simple 5

Comme log (1 + z) = z + O(z 2 ) pour |z| 6 21 (exercice), il vient :

X 1  1 
− − s + O 2s = log ζ(s).
p∈P
p p

Or la somme-reste converge, car :

∞
π2
X 
 1  X 1 X 1 X 1
  6
2s  2 Re s
6 2
6 2
= < ∞,

p∈P
p p∈P
p p∈P
p n=1
n 6

et ainsi, nous pouvons écrire :

X 1
+ O(1) = log ζ(s),
p∈P
ps

ce qui signifie l’existence d’une constante 0 < C < ∞ telle que :

 
X 1 
 − log ζ(s) 6 C (∀ Re s > 1).
 ps
p∈P


Maintenant, faisons s −→ 1 dans {Re s > 1}. À droite, il est clair que :
lim log ζ(s)
s−→1
= ∞,
Re s > 1

simplement parce que, pour tout N  1 entier :

∞ N
X 1 X 1
lim inf > −→ ∞,
s−→1
Re s > 1 n=1
ns n=1
n N→∞

cette série harmonique tendant vers l’infini avec N, comme on le sait.

Par conséquent, on doit aussi avoir à gauche :
X 1
lim = ∞,
s−→1
Re s > 1 p∈P
ps
1 1
et comme avec s ∈ R, s > 1, on a p
> ps
, nous concluons bien que :
X 1
= ∞. 
p∈P
p

La suite de ce chapitre est consacrée à dévoiler comment Dirichlet a prolongé et adapté

cette magnifique démonstration d’Euler.

3. Présentation des idées de Dirichlet dans un cas simple

L’objectif est donc d’établir le
Théorème 3.1. Pour tous entiers q > 2 et 1 6 ` 6 q − 1 avec ` ∧ q = 1, on a :
∞ = Card P ∩ ` + k q k∈N .

6 François DE M ARÇAY, Département de Mathématiques d’Orsay, Université Paris-Sud

Inspiré par les arguments d’Euler qui précèdent, Dirichlet a donc cherché à démontrer
que la série :
X 1 ?
= ∞
p∈P
p
p ≡ ` mod q

diverge aussi. Avant de procéder au cas général, détaillons une preuve très simple dans
le cas q = 4, ` = 1, qui aura le mérite d’anticiper notre compréhension transparente des
choses, et de graver les idées essentielles sur notre disque dur mental.
Proposition 3.2. Il y a une infinité de nombres premiers de la forme {1 + 4 k}k∈N , et plus
précisément :
X 1
∞ = .
p∈P
p
p ≡ 1 mod 4

Démonstration. L’idée-clé est de considérer l’ensemble des entiers inversibles modulo 4 :

×
Z/4Z := ` ∈ Z/4Z : ∃ `0 ∈ Z/4Z, ``0 = 1


= {1, 3} mod 4,
autrement dit, de regarder en même temps toutes les progressions arithmétiques modulo
4 dans lesquelles il est éventuellement possible de trouver des nombres premiers, vu que
{0 + 4 k}k∈N et {2 + 4 k}k∈N , toujours multiples de 2, n’en contiennent trivialement pas.
Dirichlet introduit alors la fonction de n ∈ Z :

 0 lorsque n est pair,

(3.3) χ(n) := 1 lorsque n = 4k + 1,

 − 1 lorsque n = 4k + 3.

On vérifie (exercice) que cette fonction est complètement multiplicative :

(3.4) χ n1 n2 = χ(n1 ) χ(n2 ),
pour tous n1 , n2 ∈ Z. Dirichlet introduit aussi ce qu’on appelle une « fonction L » :
∞
X χ(n)
L(s, χ) :=
n=1
ns
1 1 1
= 1− + − + ··· ,
3s 5s 7s
P 1
qui est une ‘déformation’ de la fonction ζ(s) = ns
.
Un point absolument crucial est la non-annulation :
L(1, χ) 6= 0,
difficile à démontrer dans le cas général, mais ici facile à voir, puisque L(1, χ) est la série
alternée convergente connue :
1 1 1 π
1− + − + ··· = .
3 5 7 4
 3. Présentation des idées de Dirichlet dans un cas simple 7

Par ailleurs, la multiplicativité (3.4) de la fonction χ permet un argument formel direct

qui généralise celui d’Euler :
∞
X χ(n) X χ(2)r2 χ(3)r3 χ(5)r5 · · ·
L(s, χ) = =
s
n=1
ns r2 ,r3 ,r5 ,···>0
2r2 3r3 5r5 · · ·
Y  X χ(p)r 
=
p∈P r>0
prs
Y 1
= χ(p)
,
p∈P 1 − ps

le Théorème 5.4 infra donnant une preuve détaillé complète de la convergence de cette
formule dans un cadre général.
En admettant donc cette formule :
Y 1
χ(p)
= L(s, χ),
p∈P 1 − p s

si nous prenons à nouveau son logarithme comme nous l’avons fait plus haut dans la dé-
monstration du Théorème 2.11 d’Euler, si nous utilisons à nouveau log (1 + z) = z + O(z 2 )
pour |z| 6 21 , et si nous observons que |χ(p)| 6 1 pour majorer une série-reste, nous
obtenons :
X χ(p) X  
χ(p) 2
s
+O s
= log L(s, χ).
p∈P
p p∈P
p
| {z }
= O(1)

Or comme L(1, χ) 6= 0, lorsque s −→ 1 avec Re s > 1, le membre de droite reste

borné, donc celui de gauche aussi. Autrement dit :
Lemme 3.5. Lorsque s −→ 1 avec Re s > 1, l’expression :
X χ(p) X 1 X 1
s
= −
p∈P
p p∈P
ps p∈P
ps
p ≡ 1 mod 4 p ≡ 3 mod 4

reste bornée. 
Cette constatation essentielle termine le travail. En effet, nous savons déjà par le Théo-
rème 2.11 que :
X 1 X 1 X 1
= +
p∈P
ps p∈P
ps p∈P
ps
p ≡ 1 mod 4 p ≡ 3 mod 4

tend au contraire vers ∞ quand s −→ 1, et alors par simple addition, nous déduisons que :
X 1
∞ ←− 2 ,
1←s
1 < Re s p∈P
ps
p ≡ 1 mod 4

ce qui conclut la démonstration de la proposition. 

8 François DE M ARÇAY, Département de Mathématiques d’Orsay, Université Paris-Sud

Le cas général du théorème de Dirichlet, toujours inspiré par Euler, débute alors comme
suit. Pour q > 2 fixé, il s’agit de considérer toutes les sommes :
!
X 1
,
p∈P
ps
`∧q=1
p ≡ ` mod q

quel que soit `, et de montrer qu’elles divergent. Ainsi, le groupe des éléments inversibles
de l’anneau quotient Z/qZ, à savoir :

× n o
0 0
Z/qZ := ` ∈ Z/qZ : ∃ ` ∈ Z/qZ, `` = 1 ,
va jouer un rôle. Dans le cas q = 4, ` = 1 vu à l’instant, avec la fonction χ0 triviale :
0 lorsque pgcd (n, q) > 2,

χ0 (n) :=
1 lorsque n ∧ q = 1,
et avec la fonction χ défine ci-dessus par (3.3), l’argument final consistait à regarder (som-
mer) les deux fonctions L :
X χ0 (p) X 1 X 1
L(s, χ0 ) = s
= s
+ s
,
p
p p≡1
p p≡3
p
X χ(p) X 1 X 1
L(s, χ) = = − .
p
ps p≡1
p s p ≡ 3 ps
Aussi faut-il « inventer » des fonction χ appropriées. C’est donc à la théorie des (bons !)
caractères χ, due à Dirichlet, qu’est consacrée la section suivante. Une fois que nous aurons
présenté cette théorie arithmétique, nous pourrons revenir à la description anticipatrice des
idées.

4. Groupes abéliens finis, caractères, séries de Fourier discrètes

Soit G = (G, +) un groupe abélien quelconque fini :
Card G < ∞.
L’ensemble {f : G −→ C} des fonctions sur G est un C-espace vectoriel. Soit aussi le
cercle unité :
S 1 := {z ∈ C : |z| = 1},
qui est un groupe abélien (infini) pour la multiplication complexe.
Définition 4.1. Un caractère de (ou sur) G est un morphisme de groupes abéliens :
χ: G −→ S 1 .
On vérifie (exercice) que l’ensemble :
G
b
des caractères sur G est (aussi) un groupe abélien fini pour la multiplication :
χ χ0 (a) := χ(a) χ0 (a)


(a ∈ G).

L’Exercice 2 propose d’obtenir

Card G
b = Card G.
 4. Groupes abéliens finis, caractères, séries de Fourier discrètes 9

En particulier, le caractère trivial χ0 sur G prend pour constamment pour valeurs :

χ0 (a) := 1 (a ∈ G).

Soit maintenant f : G −→ C une fonction quelconque.

Définition 4.2. Le coefficient de Fourier de f par rapport à un caractère χ ∈ G

b est :
1 X
fb(χ) := f (a) χ(a).
Card G
a∈G

Le produit scalaire hermitien naturel entre deux fonctions f, g : G −→ C étant :

1 X
hf, giG := f (a) g(a),
Card G
a∈G

on a :
fb(χ) = hf, χiG .
Définition 4.3. La transformée de Fourier d’une fonction f : G −→ C est la fonction :
X
F (f ) := fb(χ) · χ,
χ∈G
b

à savoir dont les valeurs sur les éléments a ∈ G sont :

X
F (f )(a) := fb(χ) · χ(a).
χ∈G
b

On vérifie aisément (exercice) que les caractères de G forment une famille orthonor-
mée. Mieux encore, ils forment une base. Les résultats de cette section, issus d’un cours
d’Algèbre standard, ne seront pas re-démontrés.
Théorème 4.4. Les caractères χ : G −→ S 1 (morphismes de groupes) sur un groupe abé-
lien G de cardinal Card G < ∞ sont au nombre de Card G, et forment une base orthonor-
mée de l’espace vectoriel hermitien :

f : G −→ C ,
muni du produit scalaire :
1 X
hf, giG := f (a) g(a).
Card G
a∈G

De plus, toute fonction f : G −→ C est égale à sa transformée de Fourier :

X
f (a) = hf, χiG · χ(a) (a ∈ G).

χ∈G
b

Enfin, la formule de Plancherel-Parseval est satisfaite :

hf, χiG 2 .
X 
||f ||2G := hf, f iG = 
χ∈G
b
10 François DE M ARÇAY, Département de Mathématiques d’Orsay, Université Paris-Sud

Pour illustrer ce propos, soit le groupe cyclique G = Z/nZ avec n > 2. Via l’isomor-
phisme :
2iπ
k
k mod n ←→ e n ,
on peut le voir comme :
k
e2iπ n : k = 0, 1, 2, . . . , n − 1 .

Z/nZ =
Ici, les n = Card Z/nZ caractères distincts sont les fonctions :
2iπk 2iπk
l
χl : e n 7−→ e n (l = 0, 1, ..., n−1).

On vérifie (exercice) qu’on a bien :


χl1 , χl2 Z/nZ = δl1 ,l2 (0 6 l1 ,l2 6 n−1),

pour le produit scalaire hermitien :

X
hf, giZ/nZ := f (k) g(k),
06k6n−1

où f : Z/nZ −→ C et où g : Z/nZ −→ C sont deux fonctions quelconques.

L’égalité de toute fonction à sa transformée de Fourier :
1 X
f (k) = hf, χl i · χl (k) (k ∈ Z/nZ),
n 06l6n−1

peut être démontrée directement (exercice) sans passer par la théorie générale.
Théorème 4.5. [Structure des groupes abéliens finis] Tout groupe abélien G avec
Card G < ∞ est isomorphe à un produit direct de groupes abéliens cycliques.
Plus précisément, il existe une suite finie unique d’entiers d1 , . . . , dK se divisant succes-
sivement :
d1 | d2 , d2 | d3 , . . . . . . , dK−1 | dK ,
telle que :
G ∼
= Z/d1 Z × Z/d2 Z × · · · × Z/dK Z. 
Mentionnons que l’on peut établir le Théorème 4.4 en vérifiant d’abord que pour deux
groupes abéliens finis G1 et G2 , on a :

1 × G2 = G1 × G2 ,
G\ b b
et en utilisant ensuite ce théorème de structure.
Maintenant, étant donné q > 2 entier et 1 6 ` 6 q − 1 premier avec q, dans le Théo-
rème 3.1 de Dirichlet, le groupe abélien fini concerné se trouvera être le groupe des élé-
ments inversibles pour la multiplication (commutative) :

× n o
Z/qZ := ` ∈ Z/qZ : ∃ `0 ∈ Z/zZ, ``0 = 1 .


Ce groupe n’est pas forcément cyclique, contrairement au groupe additif Z/qZ, + dans
lequel il est plongé.
×
Toutefois, le théorème de structure qui précède montre que Z/qZ est toujours
somme directe finie de groupes cycliques Z/di Z, avec 1 6 i 6 K(q).
 5. Présentation des idées de Dirichlet dans le cas général 11

Exemple 4.6. Pour q = 4, seuls 1 et 3 ont un inverse :

1 · 1 ≡ 1 mod 4, 3 · 3 ≡ 1 mod 4,
et ceci fait voir que :

×
Z/4Z ∼ = Z/2Z,
via l’isomorphisme :
1 ←→ 0,
3 ←→ 2.
Dans la Section 3 qui précède, cet exemple très simple s’est avéré particulièrement éclairant
pour comprendre le principe de la démonstration de Dirichlet.
Exemple 4.7. Pour q = 8, on vérifie que :

× 
Z/8Z = 1, 3, 5, 7 ,
et que :

×
Z/8Z ∼ = Z/2Z × Z/2Z,
via l’isomorphisme :
1 ←→ (0, 0),
3 ←→ (1, 0),
5 ←→ (0, 1),
7 ←→ (1, 1).
Comme nous l’avons vu, l’ensemble des caractères sur le groupe intéressant que nous
noterons parfois en abrégé :

×
Z×
q ≡ Z/qZ ,
sera noté :
b ×.
Z q

5. Présentation des idées de Dirichlet dans le cas général

De retour à la discussion laissée en suspens à la fin de la Section 3, avec ` ∧ q = 1,
l’objectif est de démontrer que :
X 1
= ∞.
p∈P
ps
p ≡ ` mod q

Au moyen de la fonction de m ∈ Z définie par :

1 lorsque m ≡ ` mod q,

δ` (m) :=
0 autrement,
cette somme se ré-exprime comme :
X 1 X δ` (p)
= .
p∈P
ps p∈P
ps
p ≡ ` mod q

Bien entendu, δ` peut aussi être vue comme fonction :

×
δ` : Z/qZ −→ {0, 1}.
12 François DE M ARÇAY, Département de Mathématiques d’Orsay, Université Paris-Sud

La théorie des caractères, à savoir le Théorème 4.4, représente alors δ` comme série de
Fourier :
X
δ` (m) = hδ` , χi · χ(m),
b×
χ∈Z q

et puisqu’un calcul simple donne :

1 X
hδ` , χi = δ` (m) χ(m)
Card Z×
q
m∈Z×
q

1
= χ(`),
ϕ(q)
on obtient :
1 X
δ` (m) = χ(`) χ(m) q ).
(m ∈ Z×
ϕ(q) ×
χ∈Z
bq

Définition 5.1. Un caractère de Dirichlet modulo q est l’extension à Z d’un caractère χ ∈

b × sur Z× :
Z q q

χ(m) lorsque m ∧ q = 1,

χ(m) :=
0 autrement,
tous deux notés avec la même lettre χ.
En particulier, le caractère de Dirichlet trivial χ0 est :
1 lorsque m ∧ q = 1,

χ0 (m) :=
0 autrement.

De manière similaire, on a noté ci-dessus δ` : Z −→ {0, 1} ainsi que δ` : Z×

q −→ {0, 1}.
Alors la somme intéressante devient :
X 1 X δ` (p)
=
p≡`
ps p
ps
1 X X χ(p)
= χ(`) s
,
ϕ(q) χ p
p

et ainsi, dans l’objectif d’atteindre ∞ = p≡` p1 , il suffit de comprendre le comportement

P
de :
X χ(p)
s
,
p∈P
p
P
sachant que la somme χ χ(`) devant est finie.
Observons que sur les entiers premiers p ∈ P, le caractère de Dirichlet trivial prend les
valeurs :
1 lorsque p - q,

χ0 (p) :=
0 autrement.
 5. Présentation des idées de Dirichlet dans le cas général 13
P
Décomposons alors cette χ en distinguant χ = χ0 , le caractère trivial, des autres carac-
tères χ 6= χ0 :
X 1 1 X χ0 (p) 1 X X χ(p)
= +
p≡`
ps ϕ(q) p ps ϕ(q) χ6=χ p ps
0

1 X 1 1 X X χ(p)
(5.2) = + .
ϕ(q) ps ϕ(q) χ6=χ p ps
p-q 0

Or puisqu’il n’existePqu’un nombre fini de nombres premiers p ∈ P ne divisant pas

1
q, le théorème d’Euler p
= ∞ implique que le premier terme à droite diverge lorsque
s −→ 1 avec Re s > 1.
Toutes ces observations montrent que le théorème de la progression arithmétique dû à
Dirichlet est conséquence de la découverte suivante, elle aussi due à Dirichlet.

×
Théorème 5.3. Pour tout caractère non trivial χ 6= χ0 sur Z/qZ , la somme :
X χ(p)

p∈P
ps
demeure bornée lorsque s −→ 1 avec Re s > 1.
En effet, l’identité (5.2) ci-dessus donnera alors :
X 1
−→ ∞.
p≡ `
ps s→1
Le reste de ce chapitre est consacré à la démonstration de ce théorème.
Terminons cette section par une preuve détaillée du :
Théorème 5.4. Pour tout caractère de Dirichlet χ modulo un entier q > 2 et tout s ∈ C
avec Re s > 1, on a :
∞
X χ(n) Y 1
s
= χ(p)
.
n=1
n p∈P 1 − s p

Démonstration. Notons S le membre de gauche et P le membre de droite :

∞
X χ(n) Y 1
S := s
et χ(p)
:= P.
n=1
n p∈P 1 − s
p

Une application d’un théorème connu d’Analyse Complexe (exercice), garantit que ce pro-
duit infini converge pour Re s > 1, puisque (solution de l’exercice), la somme infinie :
X  χ(p)  X 1 ∞
X 1
 s  6 Re s
6 Re s
< ∞
p∈P
p p∈P
p n=1
n
converge.
Pour N  1 entier, notons aussi :
X χ(n) Y 1
SN := et PN := χ(p)
.
ns 1−
16n6N 16p6N ps

Ainsi :
S = lim SN et lim PN = P,
N →∞ N →∞
14 François DE M ARÇAY, Département de Mathématiques d’Orsay, Université Paris-Sud

donc pour tout ε > 0, il existe N = N(ε)  1 assez grand pour que :
∞
 
SN(ε) − S  6
X 1  
PN(ε) − P  6 ε.
6 ε et
n=N+1
nRe s

Pour 1 6 N 6 M entiers, soit aussi :

Y  χ(p) χ(pM )

PN,M := 1 + s + · · · + Ms .
p∈P
p p
p6N

Assertion 5.5. Il existe M = M(ε) > N(ε) assez grand pour que :
   
P N , M − P N  6 ε et PN,M − SN  6 ε.

Preuve. La première inégalité provient simplement de la convergence du développement en

série infinie :
1 χ(p) χ(pM )
= 1 + + · · · + + ··· .
1 − χ(p)
s p
ps pMs
Quant à la seconde, plus subtile, avec :
t := t(N) := Card p ∈ P : 2 6 p 6 N ,


et la numérotation 2 = p1 < · · · < pt 6 N, on estime grâce à la multiplicativité complète

de χ :
 
 
S N − P N , M  = 
 X χ(n) Y  χ(p) χ(pM ) 
− 1 + s + · · · + Ms 

n6N
ns p6N
p p
X χ pβ1 1 · · · pβt t 


 X χ(n)
= 

s
− β1


βt s 
n6N
n β1 ,...,βt 6M
p1 · · · pt
β1 βt 


 X χ p 1 · · · p t

=  − β1 βt

s

β1 ,...,βt 6M p 1 · · · p t

β β
p1 1 ···pt t >N+1

X  χ(n) 
6  s 
n>N+1
n
6 ε. 
Enfin, une inégalité triangulaire à 4 termes :
       
|S − P | 6 S − SN  + SN − PN,M  + PN,M − PN  + PN − P 
6 ε + ε + ε + ε,
fait voir que S − P est arbitrairement petit, donc S = P . 

6. Non-annulation en s = 1 des fonctions L(s, χ)

Commençons par énoncer un rappel du cours d’Analyse Complexe.
 6. Non-annulation en s = 1 des fonctions L(s, χ) 15

Théorème 6.1. [Cauchy] Sur un ouvert Ω ⊂ C, soit une suite (fn )∞

n=1 de fonctions holo-
morphes fn ∈ O(Ω) qui convergent uniformément sur les compacts de Ω vers une fonction
(continue) f : Ω −→ C :
 
∀ K b C compact lim max fn (z) − f (z) = 0.
n→∞ z∈K

Alors la fonction f ∈ O(Ω) est holomorphe dans Ω.

De plus, les dérivées de tous ordres κ > 0 de (fn )∞n=1 convergent aussi uniformément
sur les compacts de Ω :
 
∀ κ ∈ N ∀ K b C compact lim max fn(κ) (z) − f (κ) (z) = 0. 
n→∞ z∈K

Un autre préliminaire connu va être utile. Soient (an )∞ ∞

n=1 et (bn )n=1 deux
P suites de
nombres complexes. Il s’agit de transformer des séries infinies de produits n an bn afin
d’établir leur convergence, et pour cela, il est avisé d’étudier leurs sommes partielles. Aussi,
pour 1 6 M 6 N entiers, on note :
X
SM,N := an b n ,
M 6n6 N

et pour n > M :
AM,n := aM + aM+1 + · · · + an .
Lemme 6.2. [d’Abel] Alors :
X

SM,N = AM,n bn − bn+1 + AM,N bN .
M 6n6 N −1

Démonstration. Avec l’assignation de valeur AM,M−1 := 0, on remplace an = AM,n −

AM,n−1 :
X

SM,N = AM,n − AM,n−1 bn ,
M 6n6 N

et on regroupe (à l’œil) les termes. 

Lemme 6.3. Étant donné deux nombres réels 0 < α < β, pour tout z = x + iy ∈ C avec
x > 0, on a :
 −αz |z| −αx
− e−βz  6 − e−βx .


e e
x
Démonstration. On majore la représentation intégrale :
Z β
−αz −βz
e −e = z e−zt dt,
α
simplement par :
β
|z| −αx
Z
 −αz
− e−βz  6 |z| e−xt dt = − e−βx .


e e 
α x
Définition 6.4. Une série de Dirichlet est une série infinie, fonction de z ∈ C, de la forme :
∞
X an
,
n=1
nz
où (an )∞
n=1 est une suite de nombres appartenant à C.
16 François DE M ARÇAY, Département de Mathématiques d’Orsay, Université Paris-Sud

Im z

α
z0
−α

Re z
0

Proposition 6.5. Si une série de Dirichlet ∞ an

P
n=1 nz converge (simplement) en un z = z0 ∈
C, alors pour tout angle 0 < α < π2 , elle converge normalement, donc uniformément, dans
le secteur ouvert :
n o
z ∈ C : Re (z − z0 ) > 0, −α < Arg (z − z0 ) < α .
Démonstration. Quitte à effectuer unePtranslation sur z, on peut supposer que z0 = 0.
L’hypothèse signifie alors que la série ∞ n=1 an converge, simplement.
Il revient au même (exercice) de démontrer qu’il y a convergence uniforme dans tout
domaine de la forme :  |z|
z ∈ C : Re z > 0 : Re z
<k ,
quel que soitPk > 1 entier.
Puisque an converge, pour tout ε > 0 (arbitrairement petit), il existe un entier N =
N (ε)  1 assez grand pour que :
 
n2 > n1 > N =⇒ An1 ,n2  6 ε,
où comme précédemment An1 ,n2 = an1 + · · · + an2 .
Une application du Lemme 6.2 avec bn := n1z donne alors :
X an
Sn1 ,n2 :=
n1 6n6n2
nz
X 1 1  1
= An1 ,n z − z
+ An1 ,n2 z .
n 6n6n −1
n (n + 1) n2
1 2

1
Ensuite, avec z = x + iy, et x > 0, le Lemme 6.3 offre, en tenant compte de |nz2 |
=
1
nx
<1:
2  
Sn1 ,n2  6 ε |z|
  X 1 1 
− +1 ,
x n 6n6n −1 nx (n + 1)x
1 2

c’est-à-dire par téléscopie :

  
Sn1 ,n2  6 ε k 1 − 1 + 1
  
nx1 nx2


6 ε k+1 ,
ce qui établit la convergence normale. 
 6. Non-annulation en s = 1 des fonctions L(s, χ) 17

an
P
Corollaire 6.6. Si une série de Dirichlet nz
converge en un z = z0 , alors elle converge
en tout point de {Re z > Re z0 } vers une fonction-limite holomorphe dans {Re z > Re z0 }.
Démonstration. En ouvrant l’angle 0 < α < π2 arbitrairement proche de π2 , on atteint
tout point de {Re z > Re z0 }. La convergence uniforme et le Théorème 6.1 établissent
l’holomorphie de la fonction-limite. 

Pour utilisation ultérieure, il faut maintenant étudier les séries de Dirichlet à coefficients
réels an > 0.

Im z

Dδ (x0 )

x0 −ε x0 Re z
0

Proposition 6.7. Soit f (z) = ∞ an

P
n=1 nz une série de Dirichlet à coefficients réels positifs
an > 0. Si f (z) converge en un point réel z = x0 ∈ R — donc aussi dans {Re z > x0 } —
et si f (z) peut être prolongée holomorphiquement à un P disque ouvert Dδ (x0 ) de rayon
an
δ > 0 centré en x0 , alors il existe ε = ε(δ) tel que la série nz
converge en fait dans :

z ∈ C : Re z > x0 − ε .
Démonstration. Quitte à translater z 7−→ z − x0 , on peut supposer que x0 = 0. Alors f est
holomorphe dans la réunion :
{Re z > 0} ∪ {|z| < δ}.

Im z

D1+ε (1)
Dδ (0)

Re z
0 1
18 François DE M ARÇAY, Département de Mathématiques d’Orsay, Université Paris-Sud

On se convainc aisément qu’il existe ε = ε(δ) > 0 assez petit pour que cette réunion
contienne un voisinage ouvert du disque fermé de centre 1 et de rayon 1 + ε :
D1+ε (1).
En particulier, la série de Taylor (standard) de f calculée au point 1 doit avoir un rayon de
convergence strictement supérieur à 1 + ε. Or le Théorème 6.1 permet de calculer toutes
les dérivées κ-ièmes, κ ∈ N, de f en dérivant terme à terme :
∞
(κ)
X (−log n)κ
f (z) = an z
,
n=1
n
d’où en z = 1 pour tout κ ∈ N :
∞
(κ) κ
X (log n)κ
(6.8) f (1) = (−1) an
n=1
n
Observons alors la positivité qui va devenir cruciale :
(−1)κ f (κ) (1) > 0.
Comme la série de Taylor de f au point z = 1 s’écrit généralement :
∞
X (z − 1)κ (κ)
f (z) = f (1),
κ=0
κ!
sa valeur au point z = −ε, qui appartient au disque de convergence, est :
∞
X (1 + ε)κ
f (−ε) = (−1)κ f (κ) (1),
κ=0
κ!
cette série étant convergente. Mais puisqu’elle est à termes tous > 0, elle est aussi absolu-
ment convergente.
Qui plus est, en remplaçant (−1)κ f (κ) (1) par (6.8), il s’ensuit que la série double à
termes positifs :
∞ X ∞
X 1 1
f (−ε) = an (1 + ε)κ (log n)κ ,
κ=0 n=1
κ! n
est elle aussi convergente — donc commutativement convergente !, d’après un résultat
classique. Or en regroupant les termes adéquatement :
∞ ∞
X an X 1  κ
f (−ε) = (1 + ε) log n
n=1
n κ=0 κ!
∞
X an (1+ε) log n
= e
n=1
n
∞
X an
= ,
n=1
n−ε
P an
on constate que la série de Dirichlet nz
converge en z = −ε, donc aussi dans {Re z >
−ε}, grâce à la Proposition 6.5. 
P an
Lemme 6.9. Si les coefficients |an | 6 C < ∞ sont bornés, la série ns
converge abso-
lument dans {Re s > 1}.
 6. Non-annulation en s = 1 des fonctions L(s, χ) 19

Démonstration. Avec c > 1 arbitrairement proche de 1, on majore en effet, pour tout

Re s > c :
 ∞ an  ∞ ∞
X  X 1 X 1

s
 6 C
Re s
6 C < ∞,
 n
n=1
 n n=1
nc n=1
d’après le critère de Riemann. 
Lemme 6.10. Si les sommes partielles AM,N = aM + · · · + aN sont bornées :
 
A M , N  6 C < ∞ (∀ N > M > 1),
P an
alors la série ns
converge (pas nécessairement de manière absolue) dans {Re s > 0}.
an
PN
Démonstration. Une application du Lemme 6.2 à la somme partielle SM,N = n=M ns
1
avec bn := ns donne :
 X   
1 1 + 1 .
  
S M , N  = C  −
 ns (n + 1)s  |Ns |
M 6n6 N −1

Supposons s = s0 > 0 réel arbitrairement proche de 0. Alors par téléscopie :

 
  1 1 1
S M , N  6 C
s0
− s0 + s0 −→ 0,
M N N N > M →∞

donc il y a convergence lorque s = s0 . La Proposition 6.5 montre alors qu’il y a conver-

gence dans {Re s > s0 }. 
1
Lemme 6.11. La fonction ζ(s) − s−1
se prolonge holomorphiquement à {Re s > 0}.
Démonstration. En effet, avec Re s > 1, il apparaît dans la différence une série :
∞ Z ∞ ∞ Z n+1  
1 X 1 1 X 1 1
ζ(s) − = − dx = dx −
s−1 n=1
ns 1 xs n=1 | n
ns xs
{z }
=: En (s)

de fonctions holomorphes qui sont majorables grâce à l’inégalité de la moyenne :

 Z n+1 Z x 
   s du   s 
En (s) =  dx 6 1 · max
 
s+1
 s+1 
n u n6u6n+1 u
 
n
|s|
= 1+Re s ,
n
ce qui montre la convergence uniforme sur {Re s > 0} vers une fonction-limite holo-
morphe. 
Après tous ces préparatifs d’Analyse, il est temps de revenir à la théorie des groupes.
b × un caractère quelconque. Rappelons la formule de produit du Théorème 5.4 :
Soit χ ∈ Z q
Y 1 Y 1
L(s, χ) = χ(p)
= χ(p)
,
p∈P 1 − ps p∈P 1 − ps
p∧q=1

puisque tout caractère de Dirichlet est identiquement nul sur les entiers non inversibles
modulo q :
p ∧ q = 1 ⇐⇒ p - q.
20 François DE M ARÇAY, Département de Mathématiques d’Orsay, Université Paris-Sud

On a de manière similaire pour la fonction ζ de Riemann :

Y 1
ζ(s) = .
p∈P
1 − p1s

Lemme 6.12. Pour le caractère trivial χ 6= χ0 , on a :

Y 1
L(s, χ0 ) = ζ(s) 1− s .
p
p|q

Démonstration. En effet :
∞
X χ0 (n) X 1 Y 1 Y  1
= = = ζ(s) 1− s . 
n=1
ns n>1
ns p∈P
1 − p1s p∈P
p
n∧q = 1 p-q p|q

Corollaire 6.13. La fonction L(s, χ0 ) est prolongeable méromorphiquement à {Re s > 0}

et y admet un unique pôle simple en s = 1, de résidu égal à :
Y 1 ϕ(q)
1− = . 
p q
p|q

b× :
Rappelons que la théorie des caractères montre que pour tout χ ∈ Zq

0 si χ 6= χ0 ,
X 
χ(m) =
×
ϕ(q) si χ = χ0 ,
m∈Zq

d’où découle, en confondant χ avec son extension à Z comme caractère de Dirichlet :

 X 
 

 χ(n) 6 ϕ(q),
16n6N

quel que soit N > 1 entier.

P χ(n)
Proposition 6.14. Pour tout caractère non trivial χ 6= χ0 , la série L(s, χ) = ns
converge uniformément (mais pas nécessairement absolument) sur les compacts de {Re s >
0}, et y définit une fonction holomorphe.
Démonstration. Grâce au Lemme 6.10, il suffit de faire voir que les sommes partielles :
X
XM,N := χ(n),
M 6n6 N

sont uniformément bornées pour tous 1 6 M 6 N, et cela est aisé :

 
   X X 
X M , N  6 
 χ(n) − χ(n) 6 2 ϕ(q). 
16n6N 16n6M−1

En particulier, au point s = 1, la valeur L(1, χ) est finie, pour tout χ 6= χ0 . Comme

cela a été annoncé au milieu de la Section 5, le point essentiel de la démonstration du
Théorème 3.1 de Dirichlet consiste à établir que :
L(1, χ) 6= 0,
et maintenant, nous sommes en mesure de faire aboutir cet objectif.
 6. Non-annulation en s = 1 des fonctions L(s, χ) 21

×
Toujours avec q > 2 entier, avec p ∈ P premier, avec Zq× = Z/qZ le groupe des
entiers inversibles modulo q de cardinal :
Card Z×
q = ϕ(q),
lorsque p - q, d’où p ∈ Z× ×
q , on notera son ordre dans le groupe Zq par :

o(p) = min 1 6 o 6 ϕ(q) : po ≡ 1 mod q .



Le groupe quotient de Z×q par le groupe cyclique que p engendre est alors de cardinal entier :

ϕ(q) .
= Card Z× q {1, p, . . . , po(p)−1 }.
o(p)
Enfin, soit T une indéterminée formelle.
Lemme 6.15. Si p - q, on a l’identité :
  ϕ(q)
o(p) o(p)
Y

1 − χ(p) T = 1 − T .
χ∈Z×
q

Démonstration. Les o(p) racines o(p)-ièmes de l’unité sont :

 2iπk
e o(p) 06k6o(p)−1 ,
et il est clair que :  
Y 2iπk
1 − e o(p) T = 1 − T o(p) .
06k6o(p)−1
Or la théorie des caractères assure, pour tout entier 0 6 k 6 o(p) − 1, qu’il existe exacte-
ment ϕ(q)
o(p)
caractères χ ∈ Z×q dont la valeur en p est constante égale à :
2iπk
χ(p) = e o(p) ,
donc le produit complet se décompose en deux produits, ce qui donne la formule. 
Introduisons maintenant la fonction de s ∈ C avec Re s > 1 :
Y
L (s) := L(s, χ)
b×
χ∈Zq
Y
= L(s, χ0 ) L(s, χ).
χ6=χ0

Elle est holomorphe dans {Re s > 1}.

Proposition 6.16. Cette fonction est égale à :
Y 1
L (s) =
ϕ(q)
1
p - q 1 − so(p)
o(p)
p

Y ϕ(q)
1 1 o(p)
= 1 + so(p) + 2so(p) + · · ·
p p
p-q
∞
X cn
=: ,
n=1
ns
22 François DE M ARÇAY, Département de Mathématiques d’Orsay, Université Paris-Sud

et elle se développe en une série de Dirichlet à coefficients réels positifs cn > 0 qui
converge dans {Re s > 1}.
Démonstration. En effet, grâce à ce qui précède, en rappelant que χ ≡ 0 sur les entiers non
premiers avec q :
Y Y Y 1
L (s) = L(s, χ) = χ(p)
χ b × p∈P 1 − ps
χ∈Zq
Y Y 1
= χ(p)
p∈P b× 1− ps
p-q
χ∈Zq

Y 1
[Lemme 6.15] =
ϕ(q) .
1
p-q 1− pso(p)
o(p)

Ensuite, le développement de produit de séries ∞ 1

P
k=0 pkso(p) à coefficients > 0 donne
bien des coefficients cn > 0, et sa convergence dans {Re s > 1} est claire. 

Nous pouvons enfin énoncer et démontrer le théorème-clé qui achève complètement la

démonstration du Théorème 3.1 de Dirichlet.
Théorème 6.17. Pour tout caractère non trivial χ 6= χ0 , on a en s = 1 :
L(1, χ) 6= 0.
Démonstration. Sinon, par contradiction, si L(1, χ1 ) = 0 pour un caractère χ1 6= χ0 ,
comme L(s, χ0 ) a été prolongée méromorphiquement à {Re s > 0} par le Corollaire 6.13
avec un unique pôle en s = 1, d’ordre 1, et comme les autres L(s, χ) ont été prolongées
holomorphiquement à {Re s > 0} par la Proposition 6.14, le zéro en s = 1 de L(s, χ1 )
« tue » le pôle en s = 1 de L(s, χ0 ), et alors le produit (fini) :
Y
L (s) = L(s, χ0 ) L(s, χ)
χ6=χ0

s’avère être holomorphe dans {Re s > 0}.

Or ce produit prolonge la série de Dirichlet à coefficients > 0 convergente dans {Re s >
1} :
∞
X cn
s
= L (s),
n=1
n
donc la Proposition 6.7 permet crucialement de déduire que cette série de Dirichlet
converge en fait dans {Re s > 0}.
Mais ceci est absurde, car pour tout p ∧ q = 1, on peut minorer :
 ϕ(q)  ϕ(q)
1 o(p) 1 1 o(p)

1 = 1+ + + ···
1− pso(p)
pso(p) p2so(p)
1 1
> 1+ + + ··· ,
psϕ(q) p2sϕ(q)
 7. Exercices 23

donc en prenant le produit :

∞ Y ϕ(q) Y 
X cn 1 o(p) 1 1
= 1 > 1 + sϕ(q) + 2sϕ(q) + · · ·
n=1
ns 1 − p so(p) p p
p-q p-q
X 1
= ,
16n
nsϕ(q)
n∧q=1

1
= ∞, donc à gauche, ∞
P 1 P cn
et cette dernière série diverge en s = ϕ(q) > 0, car n n=1 ns
ne
peut pas converger dans {Re s > 0} — contradiction conclusive. 
7. Exercices
P∞
Exercice 1. L’objectif est d’établir rigoureusement la formule n=1 n1s = p∈P 1−p1 −s du Théorème 2.10,
Q

pour s ∈ C avec Re s > 1.

(a) Justifier la convergence de ce produit infini.
(b) On suppose temporairement s ∈ R, avec s > 1. Pour un entier N > 1 quelconque, montrer que :
∞
X 1 Y 1
6 .
n=1
n s
p∈P
1 − p1s
p6N

(c) En déduire :
∞
X 1 Y 1
6 .
n=1
n s
p∈P
1 − p1s
(d) Pour deux entiers 1 6 M 6 N, montrer que :
Y   ∞
1 1 1 X 1
1 + s + 2s + · · · + Ms 6 s
.
p∈P
p p p n=1
n
p6N

(e) En déduire :
∞
Y 1 X 1
6 .
p∈P
1 − p1s n=1
ns

(f) Traiter le cas général s ∈ C avec Re s > 1.

Exercice 2. En utilisant le Théorème 4.5 de structure des groupes abéliens finis G, démontrer que le groupe
des caractères G
b sur G est toujours isomorphe à G.

Exercice 3. EE