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
.