Leçon 104
Leçon 104
Leçon 104
1
Csq 2.14. À l’aide du théorème chinois on peut déterminer les facteurs invariants Prop 3.15. D(G) est le plus petit sous-groupe H de G pour l’inclusion tel que G/H
×
des groupes abéliens (Z/nZ) . soit abélien. En quotientant par D(G) on est ainsi ramené à un groupe abélien.
×
Ex 2.15. Pour n = 5808 = 24 ×3×112 les facteurs invariants du groupe (Z/5808Z) Ex 3.16. D(H8 ) = {±1} et H8 / D(H8 ) ' (Z/2Z) .
2
Prop 3.10. Pour n ≥ 3 les 3-cycles engendrent An et pour n ≥ 5 ils sont deux à Prop 4.5. Dans Sn , σ(a1 · · · ar )σ −1 = (σ(a1 ) · · · σ(ar )) r-cycle.
deux conjugués dans An .
Prop 4.6. Pour 2 ≤ r ≤ n, les r-cycles forment un classe de conjugaison dans Sn .
Thm 3.11. Pour tout n ≥ 5, An est simple.
Soit σ 6= Id dans Sn fixé. En faisant agir <σ> sur {1, · · · , n}, on obtient :
Cor 3.12. Pour n ≥ 5, {Id}, An et Sn sont les seuls sous-groupes distingués de Sn .
Prop 4.7. Il existe un unique r ≥ 1, des uniques cycles c1 , · · · , cr à supports deux
Déf 3.13. Pour x et y dans G le commutateur associé est [x, y] = xyx−1 y −1 . On à deux disjoints tels que σ = c1 · · · cr . Notons l1 ≤ · · · ≤ lr les longueurs respectives
note D(G) le sous-groupe de G engendré par les commutateurs de G. On le nomme de ces cycles. Alors (l1 , · · · , lr ) est appelé le type de σ.
groupe dérivé de G. Il est distingué dans G.
Prop 4.8. Deux permutations σ et τ sont conjugués dans Sn si, et seulement si,
Rmq 3.14. G est abélien ⇐⇒ D(G) est trivial. elles ont même type.
2
Cor 4.9. Le nombre de classes de conjugaison de Sn est égal au nombre de partitions 5.1 Polygones réguliers
de n.
On suppose ici E = R2 .
Ex 4.10. Classes de conjugaison de S4 : {Id} (4 = 1 + 1 + 1 + 1), {6 transpositions}
(4 = 2 + 1 + 1), {8 3-cycles} (4 = 3 + 1), {3 double-transpositions} (4 = 2 + 2), Prop 5.3. Pour tout n ≥ 3 il existe un polygone régulier à n côtés. C’est l’enveloppe
{6 4-cycles} (4 = 4). convexe de Un dans C ' R2 (d’origine O), on le note Pn . Deux polygones réguliers
à n côtés sont semblables, donc leurs groupes d’isométries sont isomorphes.
4.3 p-groupe Prop 5.4. Soit ρ est la rotation de centre O et d’angle 2π/n. Soit D la droite réelle,
on note σ la réflexion d’axe D. Alors :
Déf 4.11. G est un p-groupe lorsque son ordre est une puissance de p premier : |G| — ρ est d’ordre n, σ est d’ordre 2, σρσ = ρ−1 ,
= pα , α ≥ 1. — Isom+ (Pn ) =< ρ >= {Id, ρ, . . . , ρn−1 },
En utilisant l’équation aux classes pour l’action par conjugaison, on obtient : — Isom(Pn ) =< ρ, σ >= {Id, ρ, . . . , ρn−1 } ∪ {σ, σρ, . . . , σρn−1 }.
On dit que Isom(Pn ) est diédrale d’ordre 2n. On le note Dn .
Prop 4.12. Le centre d’un p-groupe n’est pas trivial.
2 Rmq 5.5. La notation Dn a un sens pour n ≥ 1.
Cor 4.13. Si |G| = p2 , alors G est abélien, donc G ' (Z/pZ) ou Z/p2 Z.
Prop 5.6. Pour tout n ≥ 1, Z(Dn ) est trivial si n est impair et vaut {Id, ρn/2 } si n
Dans la suite |G| = pα m, avec p premier, α ≥ 1 et p non diviseur de m.
est pair. Et D(Dn ) = < ρ2 > (= < ρ > si n est impair).
Déf 4.14. Un p-Sylow de G est un sous-groupe de G d’ordre pα .
Thm 4.15 (Sylow). 1. G possède un p-Sylow, 5.2 Polyèdres convexes
2. tout p-sous-groupe de G est inclus dans un p-Sylow de G, On se place maintenant dans E = R3 .
3. les p-Sylow de G sont deux à deux conjugués,
Déf 5.7. On note T « le » tétraèdre régulier (à similitude près) de E, c’est-à-dire
4. leur nombre k vérifie k ≡ 1 mod p et k|m. l’enveloppe convexe de quatre points équidistants dans l’espace.
Cor 4.16 (du point 3). Soit S un p-Sylow de G, alors : S est l’unique p-Sylow de G
Thm 5.8. En fessant agir Isom(T) sur l’ensemble des sommets de T, on obtient :
si, et seulement, si S / G.
Isom(T) ' S4 , et donc Isom+ (T) ' A4 .
Ex 4.17. Un groupe d’ordre 63 n’est pas simple.
Faire des dessins en annexe pour illustrer le tableau suivant :
Cor 4.18 (du point 1). Pour tout 0 ≤ β ≤ α, il existe dans G un groupe d’ordre
pβ . Avec β = 1, on retrouve le théorème de Cauchy. Isométries de T Permutations de S4
Id Id
Ex 4.19. Exo du jury : déterminer les p-Sylow de S4 .
rotation d’axe sommet-centre de face opposée 3-cycle
rotation d’axe passant par le milieu de 2 arêtes opposées double-transpositions
5 Groupes et géométrie symétrie par rapport à un plan médiateur transposition
composée d’une symétrie et d’une rotation sommet-centre 4-cycle
Dans cette section, E est l’espace affine euclidien R2 ou R3 . P désignera une partie
quelconque de E. Déf 5.9. On choisit un repère dans l’espace affine E = R3 . Soit C « le » cube (à
similitude près) de E, c’est-à-dire l’enveloppe convexe de S = {(±1/2, ±1/2, ±1/2)}
Déf 5.1. Le groupe des isométries de P est le groupe des isométries de E fixant (ensemble à huit éléments).
P : Isom(P) = {ϕ ∈ Isom(E), ϕ(P) = P}. On note aussi Isom+ (P) = Isom+ (E) ∩
Isom(P) et Isom− (P) = Isom(P)\Isom+ (P). Prop 5.10. Isom(C) ' Isom(S)
Prop 5.2. — Pour toute similitude ϕ de E on a : Isom(ϕ(P)) ' Isom(P). On fait agir Isom+ (S) sur l’ensemble des quatre diagonales du cube pour obtenir :
— Si P est fini et si O est un centre de symétrie de P alors ϕ(O) = O pour tout Thm 5.11. Isom+ (S) ' S4 , puis Isom(S) ' S4 × Z/2Z.
ϕ ∈ Isom(P). De plus : Isom(P) ' Isom+ (P) × Z/2Z.
3
Annexe
Ordre Groupes à isomorphisme près
1 {1}
2 Z/2Z
3 Z/3Z
2
4 Z/4Z, (Z/2Z) ' D2
5 Z/5Z
6 Z/6Z , S3 ' D3
7 Z/7Z
3
8 Z/8Z, Z/2Z × Z/4Z, (Z/2Z) , D4 , H8
2
9 Z/9Z, (Z/3Z)
Avertissements
C’est le plan que j’ai réalisé le jour J. Il est là pour vous donner des idées. Faites
un plan à votre niveau. Développez d’avantage des parties et rajoutez/supprimez en
d’autres à votre guise.
Développements possibles
— Théorème de structure des groupes abéliens finis,
×
— Condition nécessaire et suffisante sur n ≥ 1 pour que (Z/nZ) soit cyclique,
— Simplicité des An pour n ≥ 5 et sous-groupes distingués des Sn ,
— Les théorèmes de Sylow par les actions de groupes (preuve du Perrin),
— Groupe d’isométries du cube,
— Table de caractères de S4 (si on parle de représentations).
Références
— Nouvelles histoires hédonistes de groupes et de géométrie - Caldero Germoni
(Tome 2, pour le théorème de structure et la partie 5)
— Mathématiques pour l’agrégation - Rombaldi (pour la partie 5 et un peu la
partie 1)
— Oraux X-ENS Algèbre 1 - Francinou Gianella Nicolas (pour Frobenius et pour
faire des exos)
— Cours d’algèbre - Perrin (pour tout le reste)