FIMFA 2007-2008-TD d’algèbre I
Rachel Ollivier
TD 2 - Actions de groupes, théorèmes de Sylow
Exercice 1 (Théorème de Cauchy). 1. Soit Gun groupe fini et pun facteur premier de
|G|. Montrer que Ga au moins un élément d’ordre p.
2. Que dire si p2divise |G|?
Exercice 2. Soit Gun groupe d’ordre 24. On suppose que ses sous-groupes de Sylow ne sont
pas distingués. On veut montrer que Gest isomorphe à S4.
1. Combien Ga-t-il de 3-Sylow ? De 2-Sylow ?
2. Quel est le cardinal du normalisateur d’un 3-Sylow ? D’un 2-Sylow ?
3. En faisant agir Gpar conjugaison sur ses 3-Sylow, montrer que l’on a un morphisme non
trivial φ:G→ S4dont le noyau a pour cardinal 1,2ou 6.
4. En comptant le nombre d’éléments contenus dans la réunion des 3-Sylow de G, montrer
que le cardinal du noyau de φne peut pas être égal à 6.
5. Supposons qu’il est égal à 2. Montrer que G/kerφ possède trois 2-Sylow distincts. Conclure.
Exercice 3 (Collier de perles). 1. Soit Gle groupe des permutations d’un ensemble fini
Xànéléments. Quel est le nombre de classes de G-équivalence de coloriages de Xavec N
couleurs ?
2. Quel est le nombre de colliers de nperles que l’on peut former avec Ncouleurs ?
3. Coloriage de l’hexagone. Soit P6un polygone régulier à 6cotés centré en l’origine dans le
plan euclidien orienté de dimension 2. On colorie les cotés de P6avec deux couleurs, blanc et
noir. Deux coloriages sont dits équivalents s’ils sont images l’un de l’autre par une rotation
du plan qui laisse P6invariant. Calculer le nombre de classes de coloriages de P6.
Exercice 4. Soit Gun groupe fini de cardinal n. Une représentation linéaire de dimension finie
de Gsur le corps Kest la donnée d’un K-espace vectoriel V6={0}de dimension finie et d’un mor-
phisme de groupes ρ:G→GL(V). Autrement dit, le groupe Gagit sur Vpar automorphismes
linéaires.
La représentation Gest dite irréductible si les seuls sous-espaces de Vstables sous l’action de G
sont {0}et Vlui-même. Elle est dite décomposable si on peut la réaliser comme somme directe
de sous-représentations irréductibles.
1. Supposons que la caractéristique de Kne divise pas le cardinal de G.
(a) Soit Wun sous-espace de Vstable sous l’action de Get pune projection d’image W.
Montrer que
π=1
nX
g∈G
ρ(g)◦p◦ρ(g−1)
est une projection d’image Wqui commute à l’action de G.
1