Exponentiation modulaire
Petit théorème de Fermat
Anca Nitulescu
Ecole Normale Supérieure, Paris
12 octobre 2016
1/7 Anca Nitulescu [email protected] Petit théorème de Fermat
Exponentiation modulaire Critère d’inversibilité
Théorème de Fermat
Arithmétique modulaire
Arithmétique modulaire
Notation : Z/nZ=Zn
(Zn,+) = groupe additif abélien.
(Zn,+,·) = anneau commutatif.
(Z?
p,·) = groupe multiplicatif.
(Zp,+,·) = corps commutatif.
2/7 Anca Nitulescu [email protected] Petit théorème de Fermat
Exponentiation modulaire Critère d’inversibilité
Théorème de Fermat
Arithmétique modulaire
(Zn,+) forme un groupe additif commutatif d’ordre n.
(Zn,+,·)forme un anneau commutatif.
Inverse modulaire de adans Zn: entier b=a1tel que
a×b=1 mod n
Z?
n=l’ensemble des éléments inversibles modulo n.
Attention !
Z?
n6=Zn\ {0}pour ncomposé
Z?
p=Zp\ {0}pour pprime
3/7 Anca Nitulescu [email protected] Petit théorème de Fermat
Exponentiation modulaire Critère d’inversibilité
Théorème de Fermat
Critère d’inversibilité
Les entiers inversibles modulo n
xZ?
nest inversibles modulo nsi et seulement si pgcd(x,n) = 1.
Preuve : T. Bézout.
Calcul de l’inverse modulaire
Trouver x1mod n
Il existe uet vtels que xu +nv =pgcd(x,n) = 1
Trouver l’inverse d’un élément revient à calculer u.
L’algorithme d’Euclid étendu calcule des coeficients (u,v)
4/7 Anca Nitulescu [email protected] Petit théorème de Fermat
Exponentiation modulaire Critère d’inversibilité
Théorème de Fermat
Fonction d’Euler
Définition
ϕ(n)est le nombre d’entiers de [1,n]qui sont premiers avec n.
ϕ(n)désigne l’ordre du groupe multiplicatif Z?
n
Propriétés
Si p,qsont deux nombres premiers distinctes :
ϕ(p) = p1
ϕ(pq) = ϕ(p)ϕ(q)
5/7 Anca Nitulescu [email protected] Petit théorème de Fermat
1 / 7 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !