Exo arithmétique

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
alex26
Membre Naturel
Messages: 27
Enregistré le: 20 Sep 2006, 20:13

exo arithmétique

par alex26 » 20 Sep 2006, 20:20

Bonjour, je suis bloqué sur cet exercice. Pourriez vous m'aider?

Soit n un entier de la forme n = h*2^m + 1 avec m et h entiers tels que m> 2 et 0 Soit p>3 un nombre premier tel que n n’est pas un résidu quadratique modulo p.
On veut montrer que n est premier si et seulement si p^((n-1)/2)=-1 mod n.
a) Montrer que, si n est premier, cette congruence est bien vérifiée.(cette question j'ai trouvé)
b) Soit q un nombre premier divisant n.
En étudiant l’ordre de la classe de p dans (Z/qZ,×), montrer que q est de la forme q =
h;)*2^m+1. (là je bloque)
c) Conclure.



abcd22
Membre Complexe
Messages: 2426
Enregistré le: 13 Jan 2006, 14:36

par abcd22 » 20 Sep 2006, 21:15

Pour faire la question b) on suppose que ? D'après la conclusion je dirais oui, mais c'est pas écrit dans la question.

alex26
Membre Naturel
Messages: 27
Enregistré le: 20 Sep 2006, 20:13

par alex26 » 21 Sep 2006, 12:20

Oui, on suppose p^((n-1)/2)=-1 mod n. C'est la réciproque qu'on veut démontrer

abcd22
Membre Complexe
Messages: 2426
Enregistré le: 13 Jan 2006, 14:36

par abcd22 » 21 Sep 2006, 16:52

Dans ce cas, on a puisque q divise n, donc , et avec ça on a des informations sur l'ordre de dans , et on sait aussi que cet ordre divise ...

yos
Membre Transcendant
Messages: 4858
Enregistré le: 10 Nov 2005, 20:20

par yos » 21 Sep 2006, 17:52

abcd22 a écrit:Dans ce cas, on a puisque q divise n, donc , et avec ça on a des informations sur l'ordre de dans , et on sait aussi que cet ordre divise ...

donc l'ordre est un entier r de la forme et qui divise q-1. Si on suppose h' impair et m'<m, on aurait , alors que cette congruence est -1.
Question : où est ce qu'on utilise ?

abcd22
Membre Complexe
Messages: 2426
Enregistré le: 13 Jan 2006, 14:36

par abcd22 » 21 Sep 2006, 18:47

yos a écrit:Question : où est ce qu'on utilise ?

Pour la question a), non ?

alex26
Membre Naturel
Messages: 27
Enregistré le: 20 Sep 2006, 20:13

par alex26 » 21 Sep 2006, 18:58

Yos, je suis ok. Donc m'>=m. Comment mq m'=m? (car rien ne prouve que m'=

yos
Membre Transcendant
Messages: 4858
Enregistré le: 10 Nov 2005, 20:20

par yos » 21 Sep 2006, 19:01

alex26 a écrit:Yos, je suis ok. Donc m'>=m. Comment mq m'=m? (car rien ne prouve que m'=<m, ce qui permetrait de conclure)

Ben on demande pas que h soit impair non? Donc on peut lui fourguer les "2" en trop?

alex26
Membre Naturel
Messages: 27
Enregistré le: 20 Sep 2006, 20:13

par alex26 » 21 Sep 2006, 19:52

Ok tu as raison, je croyais que h était sous entendu impair. Merci

yos
Membre Transcendant
Messages: 4858
Enregistré le: 10 Nov 2005, 20:20

par yos » 21 Sep 2006, 20:06

abcd22 a écrit:Pour la question a), non ?

Pour cette question, j'ai dit que d'après Fermat, p^((n-1)/2) est racine de X²-1 dans Fp et comme ce polynôme n'a que 1 et -1 comme racines, on a p^((n-1)/2) =1 ou -1 modulo p. Pourquoi c'est pas 1?

abcd22
Membre Complexe
Messages: 2426
Enregistré le: 13 Jan 2006, 14:36

par abcd22 » 21 Sep 2006, 20:26

J'ai utilisé la loi de réciprocité quadratique : car l'hypothèse m > 2 assure que est divisible par 8 donc est pair. Ca suppose que la réciprocité quadratique ait été vue avant, il y a peut-être une démonstration qui ne l'utilise pas, mais c'est la première chose à laquelle j'ai pensé.

yos
Membre Transcendant
Messages: 4858
Enregistré le: 10 Nov 2005, 20:20

par yos » 22 Sep 2006, 19:18

Oui merci.
Ce doit être la bonne méthode.

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 23 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