Agrégation interne de mathématiques RK
Séance n◦
Thème :
Définitions :
•On abrègera “groupe abélien fini" en “g.a.f.". La loi de tous les groupes cités dans le problème sera
notée multiplicativement et l’élément neutre sera noté e.
•Si n∈N∗, on note Unle groupe multiplicatif des racines n-ièmes de l’unité dans C.
•Si xest un élément d’un groupe G, on note hxi={xk, k ∈Z}le sous-groupe de Gengendré par x.
•Si Gest un g.a.f., on adopte les définitions suivantes :
– On appelle exposant de G, et on note e(G), le ppcm des ordres des éléments de G.
– On appelle caractère de Gtout morphisme de Gdans C∗; l’ensemble des caractères de Gest noté
b
G.
Le but de ce problème est d’élucider la structure des groupes abéliens finis en montrant qu’un tel groupe
est isomorphe à un produit de groupes cycliques dont les cardinaux forment une suite croissante pour la
relation de divisibilité (cf l’énoncé exact dans l’unique question de la partie VII).
1 Ordre d’un élément dans un groupe fini.
On rappelle le résultat classique suivant, qui donne la structure des sous-groupes de (Z,+).
Théorème. Soit Hun sous-groupe de (Z,+) non réduit à {0}. Si nest le plus petit élément strictement
positif de H, on a
H=nZ={kn, k ∈Z}
En d’autres termes, il existe un unique entier de N∗tel que Hsoit l’ensemble des multiples de cet
entier.
On considère dans cette partie un groupe Gfini, et xun élément de G.
1. Montrer que Ax={k∈Z, xk=e}est un sous-groupe de (Z,+) non réduit à {0}.
Le théorème ci-dessus permet de définir l’ordre de xdans Gcomme l’unique entier n>1tel que Ax=nZ
ou, de façon équivalente, comme le plus petit n > 0tel que xn=e.
On observera que, par définition même, on a, pour k∈Z, équivalence entre ndivise ket xk=e. Seule
cette dernière propriété est utilisée dans la suite, et les questions suivantes de cette partie ont pour seul but
de se familiariser avec la notion d’ordre.
2. Quelques exemples.
(a) Quels sont les éléments de Gd’ordre 1?
(b) Ici, Gest le groupe symétrique (S3,◦)(groupe des permutations de l’ensemble {1,2,3}).
Enumérer les éléments de Get préciser l’ordre de chaque élément.
(c) Ici, Gest le groupe Un, avec n>2. Soit x=e2ikπ
navec 06k6n−1. Montrer que l’ordre
de xest n
d, où dest le pgcd de net k.
3. On revient au cas général. Montrer, si xest d’ordre n, que les xisont deux à deux distincts pour
06i6n−1, et que hxi={xi,06i6n−1}(donc que nest le cardinal de hxi).
1