• Aucun résultat trouvé

Th´ eorie des Nombres - TD4 Loi de r´ eciprocit´ e quadratique

N/A
N/A
Protected

Academic year: 2022

Partager "Th´ eorie des Nombres - TD4 Loi de r´ eciprocit´ e quadratique"

Copied!
2
0
0

Texte intégral

(1)

Universit´e Pierre & Marie Curie Master de math´ematiques 1

Ann´ee 2010-2011 Module MM020

Th´ eorie des Nombres - TD4 Loi de r´ eciprocit´ e quadratique

Exercice 1 : Pour quels nombres premiers pla classe de l’entier 7 modulop est-elle un carr´e ? Exercice 2 : Expliciter la fonctionp7→

3 p

.

En d´eduire que la condition “3 est un carr´e modulo p” ne d´epend que de la classe de p modulo 12.

Exercice 3 : Soitp un nombre premier impair.

a) Montrer que

X

x∈Fp

x p

= 0.

b) Soit ζp ∈ C une racine primitive p-i`eme de l’unit´e. On pose s := P

x∈Fp

x p

ζpx. Montrer que s2 =

−1 p

p.

[Indication : on pourra montrer que s2 =P

x,y∈Fp

y p

ζpx(y+1)]

c) En d´eduire que toute extension quadratique deQest contenue dans une extension cyclotomique (i.e. de la forme Q(ζn), o`u ζn est une racine primitive n-i`eme de l’unit´e).

Exercice 4 : Soitp un nombre premier impair.

a) Soitn∈Npremier `ap. Montrer qu’il existex, y∈Zpremiers entre eux tels quep|x2+ny2 si et seulement si

−n p

= 1.

b) V´erifier la formule suivante pour toutw, x, y, z, n∈Z:

(x2+ny2)(z2+nw2) = (xz±nyw)2+n(xw∓yz)2.

c) En d´eduire que si un entier N s’´ecrit N = x2 +ny2, et si un nombre premier q|N s’´ecrit q =z2+nw2 (w, x, y, z∈Z), alors l’entier Nq s’´ecrit aussi Nq =a2+nb2 (a, b∈Z).

d) On suppose que n= 1,2,3 et qu’il existe a, b∈Zpremiers entre eux tels quep|a2+nb2. i) Montrer que l’on peut supposer que|a|,|b|< p2 eta2+nb2< p2.

ii) En d´eduire qu’il existe x, y∈Z tels quep=x2+ny2. e) En d´eduire les ´enonc´es suivants :

i) un nombre premier impairpest somme de deux carr´es d’entiers si et seulement sip≡1 [4].

ii) un nombre premier impair p s’´ecrit sous la forme x2 + 2y2 (x, y ∈ Z) si et seulement si p≡1,3 [8].

iii) un nombre premier p s’´ecrit sous la forme x2 + 3y2 (x, y∈ Z) si et seulement si p = 3 ou p≡1 [3].

Exercice 5 : Une autre preuve de la loi de r´eciprocit´e quadratique.

Soient p, q deux nombres premiers impairs distincts. On d´efinit le groupe G par G := (Z/pZ) × (Z/qZ). On noteU le sous-groupe deG form´e des deux ´el´ements (1,1) et (−1,−1). Enfin, on d´efinit H comme le quotientH :=G/U. On pose alorsπ:=Q

x∈Hx∈H.

1

(2)

a) Montrer qu’un syst`eme de repr´esentants deH dansGest donn´e par les ´el´ements (i, j)∈G, avec i= 1,2, . . . , p−1 et j= 1,2, . . . ,q−12 .

b) En d´eduire que

π =

(p−1)!q−12 ,(q−1)!p−12 (−1)p−12 q−12

mod U .

c) Montrer qu’un syst`eme de repr´esentants de H dansGest donn´e par les ´el´ements (k, k)∈G, o`u k d´ecrit les entiers entre 1 et pq−12 premiers `a pq.

d) En d´eduire que

π=

(p−1)!q−12 q

p

,(q−1)!p−12 p

q

mod U . e) En d´eduire la loi de r´eciprocit´e quadratique :

p q

q p

= (−1)p−12 q−12 .

2

Références

Documents relatifs

On recommence ainsi pour tous les facteurs premiers de N distincts de p, et on obtient finalement que le quotient de N par N p est de la forme

On recommence ainsi pour tous les facteurs premiers de N distincts de p, et on obtient finalement que le quotient de N par N p est de la forme

[r]

v) D´ eterminer tous les nombres de Carmichael admettant exactement trois facteurs premiers, dont l’un vaut 3 (resp. Si ce n’est pas le cas, alors n n’est pas premier.. – Montrons

iv) Soit r un entier premier impair. Montrer qu’il n’existe qu’un nombre fini de nombres de Carmichael de la forme pqr, avec p, q premiers... [On pourra montrer que p − 1 divise

On pouvait aussi raisonner plus directement (sans la r´ eciprocit´ e quadratique) en r´ eduisant l’´ equation modulo 4, pour obtenir l’´ equation x 2 + y 2 ≡ 3 [4].. Or n

b) Soit G un groupe fini. On suppose encore que k contient une racine primitive n-i` eme de l’unit´ e. Montrer que K/k est une extension cyclique.. e) Soit K/k une extension

iv) Soit r un entier premier impair. Montrer qu’il n’existe qu’un nombre fini de nombres de Carmichael de la forme pqr, avec p, q premiers... [On pourra montrer que p − 1 divise