📚 Introduction
Les théorèmes de Sylow, énoncés par le mathématicien norvégien Peter Ludwig Sylow en 1872, sont des résultats fondamentaux en théorie des groupes. Ils concernent l'existence et les propriétés des sous-groupes d'ordre égal à une puissance d'un nombre premier dans un groupe fini.
Rappels importants :
- Groupe fini : Un groupe G avec un nombre fini d'éléments
- Ordre d'un groupe : Le nombre d'éléments dans G, noté |G|
- Sous-groupe : Un sous-ensemble H ⊆ G qui forme lui-même un groupe
- p-groupe : Un groupe dont l'ordre est une puissance d'un nombre premier p
🔧 Définitions clés
Soit G un groupe fini d'ordre n = p^k × m où p est un nombre premier, k ≥ 1, et gcd(p, m) = 1.
Un p-sous-groupe de Sylow (ou p-Sylow) de G est un sous-groupe de G d'ordre p^k.
Deux sous-groupes H₁ et H₂ de G sont conjugués s'il existe g ∈ G tel que :
H₂ = gH₁g⁻¹
⭐ Les Trois Théorèmes de Sylow
🥇 Premier Théorème de Sylow (Existence)
Soit G un groupe fini d'ordre n = p^k × m où p est premier et gcd(p, m) = 1.
Alors pour tout 0 ≤ i ≤ k, il existe un sous-groupe de G d'ordre p^i.
En particulier, il existe au moins un p-sous-groupe de Sylow.
🥈 Deuxième Théorème de Sylow (Conjugaison)
Tous les p-sous-groupes de Sylow d'un groupe G sont conjugués entre eux.
Si P₁ et P₂ sont deux p-Sylow de G, alors il existe g ∈ G tel que P₂ = gP₁g⁻¹.
🥉 Troisième Théorème de Sylow (Dénombrement)
Soit n_p le nombre de p-sous-groupes de Sylow dans G.
Alors :
- n_p ≡ 1 (mod p)
- n_p divise |G|
💡 Exemples détaillés
Analyse du groupe symétrique S₃
Données : |S₃| = 6 = 2¹ × 3¹
Pour p = 2 :
- Ordre maximal d'un 2-Sylow : 2¹ = 2
- Les 2-Sylow sont : ⟨(1 2)⟩, ⟨(1 3)⟩, ⟨(2 3)⟩
- n₂ = 3
- Vérification : 3 ≡ 1 (mod 2) ✓ et 3 | 6 ✓
Pour p = 3 :
- Ordre maximal d'un 3-Sylow : 3¹ = 3
- Le seul 3-Sylow est : ⟨(1 2 3)⟩
- n₃ = 1
- Vérification : 1 ≡ 1 (mod 3) ✓ et 1 | 6 ✓
Groupe d'ordre 12 = 2² × 3¹
Pour p = 2 :
- Les 2-Sylow ont ordre 4
- n₂ ≡ 1 (mod 2) donc n₂ est impair
- n₂ | 12 donc n₂ ∈ {1, 3}
- Possibilités : n₂ = 1 ou n₂ = 3
Pour p = 3 :
- Les 3-Sylow ont ordre 3
- n₃ ≡ 1 (mod 3) donc n₃ ∈ {1, 4, 7, ...}
- n₃ | 12 donc n₃ ∈ {1, 2, 3, 4, 6, 12}
- Intersection : n₃ ∈ {1, 4}
🎯 Exercices interactifs
Progression : 0/4
Exercice 1 : QCM
Quel est l'ordre des 2-sous-groupes de Sylow dans un groupe d'ordre 24 = 2³ × 3¹ ?
Exercice 2 : Calcul
Dans un groupe d'ordre 15 = 3¹ × 5¹, combien y a-t-il de 3-sous-groupes de Sylow ?
Exercice 3 : Application
Un groupe G d'ordre 20 = 2² × 5¹. Quelles sont les valeurs possibles de n₅ ?
Exercice 4 : Théorie
Si un groupe G a un unique p-sous-groupe de Sylow P, que peut-on dire de P ?
🚀 Applications pratiques
Classification des groupes d'ordre faible
Les théorèmes de Sylow permettent de classifier complètement les groupes d'ordre :
- p² : Isomorphes à ℤ/p²ℤ ou ℤ/pℤ × ℤ/pℤ
- pq (p < q premiers) : Si q ≢ 1 (mod p), alors G ≅ ℤ/pqℤ
- 2p (p premier impair) : G ≅ ℤ/2pℤ ou D_p (groupe diédral)
Démonstration que tout groupe d'ordre 15 est cyclique
Preuve :
- |G| = 15 = 3 × 5
- n₃ ≡ 1 (mod 3) et n₃ | 15 ⟹ n₃ = 1
- n₅ ≡ 1 (mod 5) et n₅ | 15 ⟹ n₅ = 1
- Donc G a un unique 3-Sylow P₃ et un unique 5-Sylow P₅
- P₃ ⊴ G et P₅ ⊴ G (car uniques)
- P₃ ∩ P₅ = {e} et |P₃P₅| = 15 = |G|
- Donc G = P₃ × P₅ ≅ ℤ₃ × ℤ₅ ≅ ℤ₁₅
💡 Conseils pour maîtriser les théorèmes
Méthode de résolution type :
- Factoriser l'ordre du groupe : n = p₁^(k₁) × p₂^(k₂) × ...
- Pour chaque premier p, calculer les contraintes sur n_p
- Utiliser n_p ≡ 1 (mod p) et n_p | n
- Analyser les cas particuliers (n_p = 1 ⟹ normalité)
- Conclure sur la structure du groupe
Erreurs courantes à éviter :
- ❌ Oublier que n_p doit vérifier LES DEUX conditions
- ❌ Confondre l'ordre d'un p-Sylow avec le nombre de p-Sylow
- ❌ Ne pas utiliser la conjugaison des p-Sylow
- ✅ Toujours vérifier ses calculs avec les deux conditions