1 Théorème de la progression arithmétique de Dirichlet
On va présenter dans cette sous-partie un cas particulier du théorème de Dirichlet.
Pour ce faire, on prouvera avant quelques propriétés des polynômes cyclotomiques.
1.1 Polynômes cyclotomiques
Définition 1 Pour nN, on appelle n-ième polynôme cyclotomique, que l’on note Φn,
Φn=Y
0kn
kn=1
Xe2ikπ/n=Y
zC/ ω(z)=n
(Xz).
Proposition 1
Xn1 = Y
d|n
Φd.
Démonstration :
Xn1 = Y
zC/ zn=1
(Xz) = Y
d|n
Y
zC/ ω(z)=d
(Xz)
=Y
d|n
Φd.
Proposition 2 ΦnZ[X]. En particulier, le terme constant de Φn, qui est le produit de ses racines, au signe près,
vaut ±1.
Démonstration : On raisonne par récurrence sur n.
n= 1 : c’est clair car Φ1=X1.
HRn1=HRn: D’après la proposition précédente, on peut écrire Φn=Xn1
Qd|n, d<n Φd.Il suffit alors de repenser
au fait qu’une division euclidienne existe lorsque le diviseur est à coefficient dominant valant 1.
1.2 Un cas particulier du théorème de Dirichlet
Dans la suite, on choisit n2et on note Pn={p∈ P / p 1 [n]}. On cherche en fait à montrer que Pnest infini.
Lemme 1 Soient p∈ P et n2premier avec p. S’il existe qZtel que p|Φn(q), alors p∈ Pn.
Démonstration : Sachant que Xn1 = Qd|nΦd,χp(q)est un élément de F
pd’ordre divisant n. Supposons cet ordre,
noté mstrictement inférieur à n. Alors, comme mdivise n, d’après l’égalité précédente, on a (Xm1)Φn|(Xn1) ;
cela voudrait dire que Xn1a une racine double. Or, pn= 1 et donc dP 6= 0 ; c’est donc absurde. Donc l’ordre
de χp(q)dans (F
p,×)est n. Le théorème de Lagrange assure que n|(p1).
Théorème 1 Soit n2. Alors il existe une infinité de nombres premiers congrus à 1 modulo n.
Démonstration : Raisonnons par l’absurde et supposons Pnfini. Posons q=nQp∈Pnp2. La factorisation de
Φnsur Cmontre que |Φn(q)|>1. Soit alors p0un diviseur premier de Φn(q). Puisque le terme constant de Φn
vaut ±1, on a Φn(q)q= 1. Donc p0est premier avec q. Donc : p0/∈ Pnet p0n. Le lemme précédent assure
alors que p0∈ Pn. C’est absurde.
1
1 / 1 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !