mehdi-128 a écrit:J'arrive toujours pas à comprendre pourquoi :

(pour tout b) y a pas une démo ?
Car les classes d'équivalence de

forment une partition de

(il y a un recouvrement total de Z par les classes d'équivalence Z/bZ quelque soit b).
Par exemple, si

Le reste de la division euclidienne de 10 par b n'est qu'un élément parmi les autres éléments de

, le seul compris entre 0 et b-1 (si b=3, c'est 1).
mehdi-128 a écrit:Après si b est premier différent de 2 et 5 et 10=2*5 forcément b est premier avec 10 non ?
Oui. De toute façon, b est un nombre premier différent de 2 et de 5, donc il est premier avec 10 car les seuls nombres premiers qui divisent 10 sont 2 et 5 dont b est différent.
mehdi-128 a écrit:Puis ça change quoi si b n'est pas premier avec 10 pour montrer que

?
Tu as répondu plus haut.

dans tous les cas, mais aussi
^*)
car

si b est premier avec 10 (mais surtout parce que b ne divise pas 10).
mehdi-128 a écrit:D'après le théorème de Bezout, si b et 10 sont premiers entre eux il existe u et v entiers relatifs tel que :

ça avance à quoi ?
Pour répondre à quelle question ?
Pour l'injectivité, à mon avis le noyau de f ne va pas marcher, car

est un groupe multiplicatif, et f n'est pas un morphisme de ce groupe. Il faut à mon avis revenir à la définition.