Posté par
monrow monrow 
D'abord on définit une relation que tu vas faire en terminale :
On dit que
![3$\rm a\equiv b [n]](http://latex.ilemaths.net/ile_tex.cgi?3$\rm a\equiv b [n])
si n divise a-b (on note: n|a-b). On appelle cette relation, relation de congruence modulo n, et on dit que a est congru à b modulo n.
Par exemple: si
![3$\rm a\equiv 0[n]](http://latex.ilemaths.net/ile_tex.cgi?3$\rm a\equiv 0[n])
c'est que n|a donc a est un multiple de n.
un autre exemple :
![3$\rm a\equiv 5[n]](http://latex.ilemaths.net/ile_tex.cgi?3$\rm a\equiv 5[n])
c'est que n|a-5 donc il existe un entier k tel que a-5=nk c-à-d a=nk+5.
on note

l'ensemble des multiples de n, c'est à dire les a tel que

l'ensemble des a tel que
![3$\rm a\equiv 1[n]](http://latex.ilemaths.net/ile_tex.cgi?3$\rm a\equiv 1[n])
, c'est a dire les nombre dont le reste de leur division par n est 1
et ainsi de suite jusqu'à arriver à:
Remarque: 
, je te laisse y réfléchir
Ces

, on les appelles classes d'équivalence de la relation congruence modulo n.
donc pour un nombre n, on note

c'est l'ensemble des classes d'équivalences.
J'ai essayé d'être le plus clair possible ...
Edit Coll : LaTeX