1. Montrer que ∀a∈Z, a561 ≡a[3],[11],[17].
2. Montrer que 561 est un nombre de Carmichael.
561 est le plus petit nombre de Carmichael. Ces nombres sont rares mais il en existe une infinit´e.
Exercice 4.16 Th´eor`eme de Wilson
1. Montrer que si pest premier alors
(p−1)! ≡ −1 [p]
Lorsque p≥3, on pourra quand cela est possible regrouper chaque classe avec son inverse dans
le produit 12....p −1 de tous les ´el´ements non nul de Z/pZ.
2. La r´eciproque est-elle vraie ?
Exercice 4.17 Soit pun nombre premier, p≥3. Dans le produit 12....p −1, en regroupant les classes
xet ytelles que y=−x, montrer que :
−1 est un carr´e dans Z/pZ⇔p≡1[4]
Exercice 4.18 Caract´erisation des carr´es dans (Z/pZ)∗
Soit pun nombre premier diff´erent de 2
On note G= (Z/pZ)∗. On consid`ere le morphisme de groupe ϕde Gdans Gd´efini par :
x→x2
1. D´eterminer le noyau de ϕ.
2. D´eterminer le cardinal de l’image de ϕ. On pourra utiliser l’exercice 3.12.
3. Montrer que les ´el´ements de l’image de ϕsont racines du polynˆome P=Xp−1
2−1.
4. En utilisant le fait que le polynˆome P`a coefficient dans le corps Z/pZa au plus p−1
2racines.
Montrer que pour tout entier relatif anon divisible par p:
ap−1
2≡1 [p]⇔aest le carr´e d’un entier modulo p
Exercice 4.2 Morphisme de corps de Rdans lui mˆeme
On veut montrer que l’identit´e est le seul morphismme de corps de Rdans lui mˆeme.
Soit ϕun morphisme de corps de Rdans lui mˆeme.
1. En ´ecrivant un nombre positif comme un carr´e, montrer que ∀h > 0, ϕ(h)≥0
2. Montrer que ϕest croissant.
3. Conclure.
Exercice 4.19 Tout sous-groupe multiplicatif d’un corps fini est cyclique
Soit Kun corps commutatif fini (tout corps fini est commutatif). Soit rl’exposant de K∗, on a prouv´e
exercice 3.14 que K∗poss`ede un ´el`em´ent d’ordre r.
En utilisant le polynˆome Xr−1, montrer que :
K∗est cyclique.
Exercice 4.20 Nombres de Fermat
On appelle nombre de Fermat les entiers Fn= 22n+ 1 avec n∈N. Montrer que si n6=malors
Fn∧Fm= 1
Exercice 4.21 Les racines de P0sont dans l’enveloppe convexe des racines de P
Soit P∈C[X] de degr´e sup´erieur ou ´egal `a 2.
1. D´ecomposer la fraction rationnelle P0/P en ´el ´ements simples.
15