Quand on a une relation d’équivalence, on peut construire l’ensemble de toutes les classes d’équivalences, ce que l’on appelle ensemble quotient de l’ensemble X, et on le note comme :
Dans l’exemple d’avant, l’ensemble quotient est
0, 1.
Car, si le nombre est pair, il sera relié à 0, et si le nombre est impair, il sera relié à 1. Il y a donc deux classes d’équivalence.
Dans ces conditions, on peut dire que l’ensemble est un anneau. Comme il n’a que deux éléments, 0 et 1, on l’appelle Z2. Et dans cet ensemble l’addition change ! Voici le tableau des additions de Z2.