Autres résultats utiles

• Déf. 1 Soit  l'ensemble des résidus modulo n qui sont premiers avec n (  se comporte très bien)

 
•  Déf. 2  est le nombre des entiers positifs strictement inférieurs à n et premiers avec n
  
  
• Déf. 3 Pour un groupe fini multiplicatif G,  l'ordre d'un élément  est le plus petit m tel que  .   ( L'ordre de G est son cardinal. )
•  Théorème de Lagrange Si le groupe G est un groupe multiplicatif d'ordre n et si  , alors l'ordre de g divise n

 
•  Corollaire  Si  ,  alors 

(Dem:  )

 
•  Théorème de Fermat  Si p est un nombre premier et si  , on a 


 
• Théorème  Si p est un nombre premier,  est un groupe cyclique