Aidez moi : inverse modulo n - démonstration-rectif

Discussion générale entre passionnés et amateurs de mathématiques sur des sujets mathématiques variés
prof007
Messages: 6
Enregistré le: 23 Aoû 2013, 23:17

aidez moi : inverse modulo n - démonstration-rectif

par prof007 » 23 Aoû 2013, 23:28

Bonjours a tous :
pouvez vous m'aider a démontrer l'existence et l'unicité de l'inverse modulo n mais sans utiliser ni Bézout ni l'ordre
:)
Merci beaucoup



adrien69
Membre Irrationnel
Messages: 1899
Enregistré le: 20 Déc 2012, 12:14

par adrien69 » 24 Aoû 2013, 00:50

Salut,





Plus sérieusement avec la loi multiplicative, c'est faux si n n'est pas un nombre premier...
Mais admettons que c'en soit un. Alors soit k dans [1,n-1] comme on peut démontrer le petit théorème de Fermat sans les deux interdits je me permets de l'utiliser.

On a qui est divisible par n or k et n premiers entre eux, on a alors le théorème de Gauss (ou lemme d'Euclide, encore moins fort), donc est divisible par n et on a l'existence. L'unicité vient du fait que Z/nZ est un anneau pour la loi multiplicative, donc si inverse il y a, il est unique.

adrien69
Membre Irrationnel
Messages: 1899
Enregistré le: 20 Déc 2012, 12:14

par adrien69 » 24 Aoû 2013, 00:52

(Bien sûr ce n'est valable que si n est strictement supérieur à 2, mais j'espère que tu n'as pas besoin de moi pour traiter ce cas)

Avatar de l’utilisateur
leon1789
Membre Transcendant
Messages: 5478
Enregistré le: 27 Nov 2007, 15:25

par leon1789 » 24 Aoû 2013, 11:04

prof007 a écrit:Bonjours a tous :
pouvez vous m'aider a démontrer l'existence et l'unicité de l'inverse modulo n mais sans utiliser ni Bézout ni l'ordre
:)
Merci beaucoup

Question étrange car :

-1- l'existence n'est pas assurée à tous les coups : la définition dit que, pour que un entier a soit inversible modulo n, il faut que a et n vérifie une relation de Bézout, donc pgcd(a,n)=1.
Il existe bien des manières pour démontrer qu'en élément est inversible (lorsqu'il l'est...) mais tout cela dépend des circonstances : il n'y a pas de preuve "prête à l'emploi".

-2- l'unicité ne requiert pas du tout Bézout ni l'ordre ! Soit b et c deux inverses de l'entier a modulo n :
modulo n, on a ab=1 et ac=1, donc b = b(ac) = (ba)c = c

Avatar de l’utilisateur
leon1789
Membre Transcendant
Messages: 5478
Enregistré le: 27 Nov 2007, 15:25

par leon1789 » 24 Aoû 2013, 11:16

prof007 a écrit:Bonjours a tous :
pouvez vous m'aider a démontrer l'existence et l'unicité de l'inverse modulo n mais sans utiliser ni Bézout ni l'ordre
:)
Merci beaucoup

Question étrange car :

-1- l'existence n'est pas assurée à tous les coups : la définition dit que, pour que un entier a soit inversible modulo n, il faut que a et n vérifie une relation de Bézout, donc pgcd(a,n)=1.
Il existe bien des manières pour démontrer qu'en élément est inversible (lorsqu'il l'est...) mais tout cela dépend des circonstances : il n'y a pas de preuve "prête à l'emploi".

-2- l'unicité ne requiert pas du tout Bézout ni l'ordre ! Soit b et c deux inverses de l'entier a modulo n :
modulo n, on a ba=1 et ac=1, donc b = b(ac) = (ba)c = c (on utilise l'associativité de la multiplication).

prof007
Messages: 6
Enregistré le: 23 Aoû 2013, 23:17

par prof007 » 24 Aoû 2013, 13:02

avant tout merci beaucoup :)
je vois que ma question est un peut tirée par les cheveux désolé je suis pas habitué donc je reprend ma question :
Soit a et b deux entiers naturels non nuls tel que : b>=2 et PGCD(a,b)=1 ( premiers entre eux ). Montrer qu'il existe un seul entier k dans {0,1,2,..., n - 1} tel que a.k =1 ( mod b ) .
voila .

prof007
Messages: 6
Enregistré le: 23 Aoû 2013, 23:17

par prof007 » 24 Aoû 2013, 14:21

j'ai trouvé ceci " ca me plait pas trop ":
soit i dans {0,1,..,n-1} .
je montre que pour tout i il existe un unique Ri de {0,1,..,n-1} tel que a*i=Ri (mod n) ( une bijection ) (.. ) cela fait le cas particulier Ri=1 répond a la question .
(..)
soit 0<=ia*i = aj mod(n) eq a : i = j mod(n) ( car a et n premiers entre eux ) éq a : n divise (i - j ) ce qui est absurde ( i - j < n )

un avis s'il vous plait ou meilleur démonstration
merci beaucoup

 

Retourner vers ⚜ Salon Mathématique

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 13 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite