Cor Exo4 F1.5
Cor Exo4 F1.5
Cor Exo4 F1.5
Salim Rostam
Soit p un nombre premier. On veut montrer que (Z/pZ)× ' Z/(p − 1)Z. Plus généralement,
on va montrer le résultat suivant.
Le théorème nous permettra bien de conclure puisque Z/pZ est un corps. On va donner deux
démonstrations : la deuxième sera plus longue mais sera l’occasion de montrer quelques résultats
sur Z/nZ.
Soit k un corps (commutatif). On rappelle le résultat suivant, qui nous servira pour les deux
démonstrations.
Démonstration. Si a ∈ k est une racine de P ∈ k[X] alors par division euclidienne on peut écrire
P = (X − a)Q avec deg Q = deg P − 1. On recommence, et on s’arrête au plus tard quand le
degré du quotient devient nul.
Remarque 3. Cette proposition n’est plus valable si k n’est pas commutatif ! Par exemple, le
polynôme X 2 + 1 possède une infinité de racines dans le corps (non commutatif, donc) des
quaternions.
1 Première preuve
On rappelle tout d’abord les résultats suivants.
Lemme 4. Soit G un groupe et soit g ∈ G un élément d’ordre fini n. Alors pour tout a ∈ N∗ ,
n
l’élément g a est d’ordre pgcd(n,a) . En particulier, si n et a sont premiers entre eux alors g a est
d’ordre n.
1
— Si les éléments ne commutent pas c’est la catastrophe car gh peut devenir d’ordre infini.
Par exemple, on peut considérer le groupe ha, b : a2 = b2 = 1i, ou bien, pour ceux
qui n’aiment pas les groupes définis par générateurs et relations, on peut considérer le
sous-groupe des isométries de R2 engendré par les symétries orthogonales d’axe x = 0 et
x = 1. Si on veut rester dans un groupe fini, on peut par exemple considérer les deux
matrices g := 10 11 et h := 11 01 d’ordre 2 de GL2 (Z/2Z), dont le produit gh = 01 11 est
d’ordre 3.
— Si les éléments commutent mais que les ordres ne sont pas premiers entre eux, on peut par
a
exemple prendre h := g k . Par le Lemme 4, l’élément h est d’ordre pgcd(a,k) et gh = g k+1
a a
est d’ordre pgcd(a,k+1) , qui n’a aucune raison d’être égal à a pgcd(a,k) (si vous n’êtes pas
−1
convaincus, prenez h = g !).
(Je ne trouve plus la référence bibliographique pour la suite de la preuve, si vous en avez une
n’hésitez pas à me l’indiquer.) Soit H un sous-groupe fini non trivial de k × . Notons n := |H| et
écrivons n = pα1 1 · · · pαr r la décomposition de n en produit de facteurs premiers. Par le Lemme 5,
il suffit de montrer que H possède un élément d’ordre pαi i pour chaque i.
β
S’il existe x ∈ H d’ordre pαi i q avec q := j6=i pi j et 0 ≤ βj ≤ αi , alors par le Lemme 4
Q
l’élément xq est d’ordre pαi i et c’est gagné. On va montrer que l’on est nécessairement dans ce
β
cas. Si chaque x ∈ H est d’ordre pβi i q où q := j6=i pj j avec βi < αi et 0 ≤ βj ≤ αj si j 6= i,
Q
n
alors x est d’ordre divisant pαi i −1 q = pni . Ainsi, les éléments de H sont des racines de X pi − 1,
mais alors par la Proposition 2 on aurait |H| ≤ pni ce qui est absurde.
2 Deuxième preuve
Cette preuve est plus longue mais sera l’occasion d’énoncer quelques résultats complémen-
taires.
Démonstration. Vient du fait que k ∈ {1, . . . , n} est inversible dans Z/nZ si et seulement si k
est premier à n.
Démonstration. (Voir [Gou, Proposition 6 page 32].) On écrit les fractions n1 , n2 , . . . , nn sous forme
irréductible. On obtient chaque kd , où d | n et k ∈ {1, . . . , d} est premier à d. Ainsi, pour chaque
d | n il y a exactement ϕ(d) fractions avec d au dénominateur. Au départ on avait n fractions,
P
on conclut donc que n = d|n ϕ(d).
2
Lemme 11. Soit n ∈ N∗ et soit d |n. Le nombre d’éléments d’ordre d dans Z/nZ est ϕ(d).
Démonstration. Soit a ∈ {1, . . . , n} d’ordre divisant d dans Z/nZ. On a n | da, autrement dit, il
existe k ∈ N tel que da = kn et donc a = k nd (on a bien nd ∈ N∗ ). Puisque a ∈ {1, . . . , n}, l’entier
k est dans {1, . . . , d}. Cela montre qu’il y a exactement d éléments d’ordre divisant d dans Z/nZ,
ces éléments étant nd , 2 nd , . . . , d nd . Mais nd est d’ordre d dans Z/nZ, donc par le Lemme 4 (pris
en notation additive) les seuls élément d’ordre d sont ceux de la forme k nd avec k ∈ {1, . . . , n}
premier à d. Par définition de ϕ, il y en a exactement ϕ(d).
Références
[Per] D. Perrin, Cours d’algèbre. CAPES / Agrégation, Ellipses.
[Gou] X. Gourdon, Algèbre (2e édition). Les maths en tête, Ellipses.