par Ben314 » 24 Juin 2010, 13:18
Bon, un petit "rappel de cours" :
Pour tout entier n>1, l'ensemble Z/nZ est naturellement muni de deux opérations l'addition qui lui donne une structure de groupe (commutatif de neutre 0) et la multiplication (qui ne définit pas un groupe : 0 n'est pas inversible).
Muni des deux lois, cela forme un anneau et même, lorsque n est un nombre premier un corps (i.e. tout élément non nul est inversible).
Que n soit premier ou non, on peut considérer l'ensemble noté (Z/nZ)* des éléments inversibles de Z/nZ. L'addition "ne marche plus" sur (Z/nZ)* (la somme de deux inversibles n'est pas forcément inversible) mais par contre la multiplication marche mieux et (Z/nZ)* muni de la multiplication est maintenant un groupe (le produit de deux inversibles est inversible et l'inverse d'un inversible est inversible)
Exemple :
Z/7Z={0,1,2,3,4,5,6} est naturellement muni de + (groupe) et de x.
(Z/7Z)*={1,2,3,4,5,6} n'est plus muni que de x mais c'est un groupe.
Le fait que le groupe multiplicatif ((Z/7Z)*,x) est isomorphe au groupe additif (Z/6Z,+) signifie qu'il existe une bijection f de Z/6Z sur (Z/7Z)* sur telle que, pour tout a,b dans (Z/6Z), on ait f(a+b)=f(a)xf(b)
Un exemple de telle bijection est celle qui à 0,1,2,3,4,5 (modulo 6) associe respectivement 1,3,2,6,4,5 (modulo 7)
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius