Soient deux sous-groupes d’un groupe . Pour , on pose :
1
Montrer que c’est une relation d’équivalence.
2
Pour , soit tq . Montrer que est un sous-groupe de .
3
Si et sont finis, montrer que chaque classe d’équivalence est finie de cardinal divisant .