Le groupe multiplicatif d`un corps fini est cyclique.

Le groupe multiplicatif d’un corps fini est
cyclique.
2013 – 2014
Référence : Daniel Perrin, Cours d’algèbre, Ellipses, 1996, p.74.
Théorème.
Le groupe multiplicatif F
qest un groupe cyclique, isomorphe à Z/(q1)Z.
Lemme.
Soit nN, on a
n=X
d|n
ϕ(d).
Démonstration. Tout élément de Z/nZa pour ordre un diviseur dde net il y
a exactement ϕ(d)éléments d’ordre dcar ils engendrent l’unique sous-groupe
cyclique d’ordre dde Z/nZ.
Démonstration du théorème. Posons n:= q1, soit dun diviseur de n.
S’il existe xF
qd’ordre d, on considère le sous-groupe H:=<x>'Z/dZde
F
q. On a |H|=det pour tout yH, yd= 1. De plus, le polynôme Yd1a au
plus dracines dans Fqdonc tout élément d’ordre dde F
qest dans H.
Par conséquent, le nombre N(d)d’éléments d’ordre dde F
qvaut 0ou ϕ(d)
(nombre de générateurs de Z/dZ), donc N(d)ϕ(d). Or tout élément de F
qa
pour ordre un diviseur de ndonc
n=|F
q|=X
d|n
N(d).
Par le lemme, on en déduit N(d) = ϕ(d)pour tout d, d’où N(n) = ϕ(n)>0
donc F
qcontient un élément d’ordre ndonc est cyclique.
Remarque. Cette démonstration permet aussi de montrer que tout sous-groupe
fini du groupe multiplicatif d’un corps commutatif est cyclique, ce qui permet
par exemple de montrer que tout sous-groupe fini de SO(2) est cyclique.
1
1 / 1 100%

Le groupe multiplicatif d`un corps fini est cyclique.

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 !