Par exemple, la table de multiplication modulo 7 est
* 1 2 3 4 5 6 1 1 2 3 4 5 6 2 2 4 6 1 3 5 3 3 6 2 5 1 4 4 4 1 5 2 6 3 5 5 3 1 6 4 2 6 6 5 4 3 2 1
from TD6 import *
xgcd(1234,4321)
inversemod(1234,4321)
3239 * 1234 % 4321
Affichez le triangle de Pascal jusqu'à $n=15$, successivement modulo 2,3,4,5. Où voyez-vous des zéros ?
On observe que lorsque $p$ est premier $$(a+b)^p \equiv a^p+b^p\ \mod p.$$
En itérant cette formule sur $a=1+1+\cdots +1$ ($a$ fois), on en déduit $$a^p\equiv a \mod p,$$ et si $a$ n'est pas divisible par $p$, il est inversible, d'où $$a^{p-1}\equiv 1 \mod p.$$
Quel est le chiffre des unités dans l'écriture de $3^{333333}$ en base 11 ?
Affichez les couples $(m, (m-1)! \mod m)$ pour m de 2 à 50. Que remarquez vous ?
Explorez les options de la fonction factor de sympy.
from sympy import *
var(' x ')
factor(x**6-1,modulus=7)
Pouvez vous en déduire une preuve du théorème de Wilson : Si $p$ est premier, $(p-1)!+1\equiv 0 \mod p$
Que dire de la réciproque ?