Proposition pour , comporte un seul sous-groupe d'ordre .
Démonstration: Existence triviale, unicité en considérant l'ensemble des éléments tels que .

Proposition Etant donnés deux entiers et , on a équivalence entre les trois assertions suivantes:
- (dans ) engendre .
- et sont premiers entre eux.
- est inversible dans l'anneau .