Soit un groupe fini et un sous-groupe de . On définit une relation sur par :
1
Montrer que est une relation d’équivalence. Quelle est la classe de ?
2
Soit . Montrer que est équipotent à .
3
En déduire que divise (Théorème de Lagrange).
Soit un groupe fini et un sous-groupe de . On définit une relation sur par :
Montrer que est une relation d’équivalence. Quelle est la classe de ?
Soit . Montrer que est équipotent à .
En déduire que divise (Théorème de Lagrange).