- Regarde
- Manipule
- Écris
- Correction
Montrer qu'une partie est un sous-groupe
Non vide, stable par la loi, stable par symétrique. Trois points, pas quatre.
la méthode
- 1Montrer que H est non vide (le neutre y appartient).
- 2Montrer que H est inclus dans G.
- 3Montrer que pour tous a, b de H, a*b⁻¹ appartient à H.
le piège
Refaire toute la démonstration de groupe. L'associativité est héritée de G — la redémontrer fait perdre du temps, pas des points, mais l'oubli de « non vide » en fait perdre.