`mes de Mathe

matiques
Proble
briques. Loi de re
ciprocite
quadratique.
Entiers alge

Enonc
e

Entiers alg
ebriques. Loi de r
eciprocit
e quadratique.
E.N.S Ulm et Lyon 2001
Avertissement
La partie 1 nest utilisee que dans la partie 6. Les parties 4 et 5 sont mutuellement independantes
ainsi quessentiellement du reste du probl`eme : seules les formules obtenues dans les questions
4.5 et 5.6 sont utilisees dans la partie 6.
Notations
Soit un nombre complexe. On note Q[] le Q-espace vectoriel engendre par { n | n N} :
cest une Q-alg`ebre. On note Z[] le sous-groupe additif de Q[] engendre par { n | n N} .
Un sous-corps de C qui est de dimension finie en tant que Q-espace vectoriel est appele corps
de nombre.
Soient n , k deux entiers. Si est une racine ne de lunite, le complexe k ne depend que de la
classe x de k dans Z/nZ et sera note x .
X
2
2i
Dans le cas particulier o`
u = e n on notera n la somme n =
x .
xZ/nZ

1. Pr
eliminaires
Soit p un nombre premier impair et y (Z/pZ) . On dit que y est un carre sil existe z (Z/pZ)
tel que y = z 2 .
( p1
Y
si y est un carre,
y 2
1.1. Montrer legalite
x=
[S]
p1
2
y
sinon.
x(Z/pZ)
y
[Indication : regrouper deux `a deux dans le produit les termes x , , x (Z/pZ) ].
x

p1
1 si y est un carre
[S]
1.2. En deduire les egalites y 2 =
1 sinon
2. G
en
eralit
es
2.1. Montrer que les deux propositions suivantes sont equivalentes :
(i) Il existe un polynome unitaire `a coefficients rationnels annulant ;
(ii) La Q-alg`ebre Q[] est un corps de nombres.

[S]

Soit V un Q-espace vectoriel de dimension finie et f un endomorphisme de V . Si

v1 , , vn sont des elements de V , on note Zv1 + + Zvn lensemble des combinaisons
lineaires `a coefficients entiers des vi , i [[ 1 , n ]] .
2.2. Montrer que les deux propositions suivantes sont equivalentes :
(i) Il existe un polynome unitaire `a coefficients entiers annulant f ;

c
Page 1/14
Michel Lepez
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
briques. Loi de re
ciprocite
quadratique.
Entiers alge

Enonc
e

(ii) Il existe un entier n et une famille generatrice (v1 , v2 , . . . , vn ) de V telle que

f hZv1 + + Zvn i Zv1 + + Zvn . [ S ]
[Indication : Pour (ii) = (i) on pourra introduire une matrice carree A dont les
n
X
coefficients aij verifient f (vj ) =
aij vi pour tout j [[ 1 , n ]] et considerer son polynome
i=1

caracteristique].
Un tel endomorphisme est dit entier.
2.3. Montrer que le compose et la somme de deux endomorphismes entiers f , g de V qui
commutent (i.e f g = g f ) sont entiers.
[Indication : On pourra montrer quon peut choisir un entier n et des vecteurs v1 , , vn
comme dans (ii) de 2.2 qui conviennent `a la fois pour f et g].
Donner un exemple de deux endomorphismes entiers dont le compose nest pas entier.
[S]
Soit K un corps de nombres, muni de sa structure de Q-espace vectoriel de dimension finie.
On dira qu x K est entier lorsque lendomorphisme de multiplication K ` K est
y xy
entier. On note OK lensemble des elements de K qui sont entiers : OK est un sous-anneau
de K dapr`es la question 2.3.
2.4. Montrer legalite OK Q = Z .

[S]

3. Entiers des corps quadratiques

p

Soit D Q qui nest pas

le
carr
e
dun
rationnel.
Si
D
<
0
on
notera
D
le
complexe
i
|D| .

Un corps
de la forme Q[ D] est dit corps quadratique.
On remarque que
(1 , D) est une
base
de Q[ D] . On note lautomorphisme du corps Q[ D] defini par Q[ D]
` Q[ D]
.

a + b D a b D

3.1. Montrer que les seuls automorphismes du corps Q[ D] sont lidentite et . [ S ]

D
3.2. Soit D0 Q . Montrer que Q[ D] = Q[ D0 ] si et seulement si 0 est le carre dun
D
rationnel. [ S ]

3.3. Montrer quil existe un unique d Z sans facteur carre tel que Q[ D] = Q[ d] . [ S ]
3.4. Soit K un sous-corps de C de dimension 2 sur Q . Montrer que K est un corps quadratique.
[S]

Soit d un entier sans diviseur carre et K = Q[ d] .


x + (x) Z
[S]
3.5. Montrer que x OK si et seulement si x K et
x (x) Z .

c
Page 2/14
Michel Lepez
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
briques. Loi de re
ciprocite
quadratique.
Entiers alge

Enonc
e

Soit OK

1 + d si d 1 [4]
defini par =
2

d
sinon .

3.6. Montrer que lapplication : Z2 ` OK est un isomorphisme de groupes additifs.

(p , q) p + q
[S]
4. Un calcul analytique de n
On se donne un entier n N . Pour k [[ 1 , n 1 ]] on note fk la fonction
fk : [0 , 1] `
C
et f =
2i(k+t)2

t
exp( n )
4.1. Montrer que la suite de terme general uk =

Z
k
X

n
X

fk .

k=0

f (t) e2imt dt converge vers n .

m=k

[S]
Z
4.2. Montrer que la fonction de R+ dans C x

2it2
n

dt admet une limite In quand

x + .

[S]

4.3. Montrer que n + f

4.4. Comparer In et I1 .

1
2

= 2In .

[S]

[S]

1 + in
n. [S]
1 + i1
4.6. Soit K un corps quadratique. Montrer quil existe une racine de lunite telle que
K Q[] . [ S ]
4.5. Montrer la formule n =

5. Un calcul alg
ebrique de n
2i

Soit n un entier impair > 3 , et le complexe = e n . Soit V le C-espace vectoriel des

applications de Z/nZ vers C . Soit lendomorphisme de V qui `a tout f V associe
(f ) : Z/nZ ` X C
x
f (y) xy
yZ/nZ

5.1. Soit f V . Montrer legalite

(f )(x) = nf (x) pour tout x Z/nZ .

[S]

c
Page 3/14
Michel Lepez
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
briques. Loi de re
ciprocite
quadratique.
Entiers alge

Enonc
e

5.2. Montrer que est diagonalisable et localiser son spectre.

X
2
On observe que n =
x est la trace de .

[S]

xZ/nZ

5.3. Montrer que |n | =

n.

[S]

On note a , b , c et d la multiplicite de n , n , i n et n dans le polynome

caracteristique de .
n1
n+1
, c+d=
5.4. Montrer que a + b =
et que (a b)2 + (c d)2 = 1 . [ S ]
2
2
5.5. Calculer Det .

[S]


n si n 1 [4]
5.6. En deduire les valeurs de a , b , c et d en fonction de n et la formule n =
i n si n 3 [4]
(compatible avec le resultat de 4.5).

[S]

6. R
eciprocit
e quadratique
On consid`ere deux nombres premiers impairs distincts p , q . On note L le corps
  de nombres
2i
q
Q[e p ] et K le corps quadratique Q[p ] , qui est contenu dans L . On note
lentier qui
p
vaut 1 si la classe de q modulo p est un carre et 1 sinon. On se propose de montrer par deux
methodes differentes que
  
p1 q1
p
q
= (1) 2 2 .
(1)
p
q
Premi`ere methode
6.1. Montrer legalite OL K = OK . [ S ]
 
q
q
6.2. Montrer la relation p
qOL K = qOK .
p p
6.3. Soit n Z . Montrer que si np qOK alors q divise n .

[S]
[S]

[Indication : utiliser le resultat de 3.6].

6.4. Montrer legalite (1) .

[S]
Seconde methode

6.5. Montrer que lon definit bien une application : Z/pZ Z/qZ 7 Z/pqZ par la formule
(x mod p , y mod q) = qx + py mod pq ,

pour tout (x , y) Z2 ,

[S]

et que cette application est bijective.

c
Page 4/14
Michel Lepez
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
briques. Loi de re
ciprocite
quadratique.
Entiers alge

Enonc
e

6.6. Montrer la formule

pq

  
p
q
=
.
q
p p q

[S]

6.7. Deduire de (2) legalite (1) en utilisant le resultat de 5.6.

(2)
[S]

6.8. Dans cette question K designe le corps quadratique Q[i] . En etudiant (1 + i)q dans OK ,
montrer legalite
 
q 2 1
2
= (1) 8 .
[S]
q

 


c
Page 5/14
Michel Lepez
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
briques. Loi de re
ciprocite
quadratique.
Entiers alge
Corrige

Corrig
e du probl`
eme
1. Pr
eliminaires
p1
1.1. Soit y (Z/pZ) . Si y nest pas un carre, pour tout x (Z/pZ) , x 6= yx1 . Il y a
2
Y
p1
paires {x , yx1 } distinctes formant une partition de (Z/pZ) et ainsi
x=y 2 .
x(Z/pZ)

Si y est un carre, il existe exactement deux elements x0 de
(Z/pZ) dont le carre est y
car Z/pZ est un anneau int`egre et x2 x20 = (xx0 )(x+x0 ) . Dans ce cas on obtient une
p3
partition de (Z/pZ) en deux singletons {x0 } , {x0 } et
paires {x , yx1 } distinctes.
2
Y
p3
p1
On a donc
x = x20 y 2 = y 2 . [ Q ]
x(Z/pZ)

1.2. On peut choisir le carre y0 = 1Z/pZ (note simplement 1) qui donne

x = 1 , donc

x(Z/pZ)

p1
2


=

1 si y est un carre
1 sinon

[Q]

2. G
en
eralit
es
2.1. Si la condition (i) est verifiee, la Q-alg`ebre Q[] est de dimension finie sur Q egale au
degre du polynome minimal de . Cette Q alg`ebre est int`egre puisquelle est incluse dans
C qui est un corps. Toute alg`ebre int`egre de dimension finie etant un corps, Q[] est un
corps de nombres lorsque la condition (i) est verifiee.
Reciproquement, si la condition (ii) est verifiee, Q[] est de dimension finie sur Q donc
lideal annulateur dans Q[X] de nest pas nul et la condition (i) est verifiee. [ Q ]
2.2. Supposons la condition (i) verifiee : il existe une famille (a1 , a2 , . . . , ap ) Zp telle que
p
X
p
f =
ak f pk . Considerons alors une famille generatrice (g1 , g2 , . . . , gq ) du Q-espace
k=1

de type fini V et posons vi(pk+1) = f pk (gi ) pour tout (k , i) [[ 1 , p ]] [[ 1 , q ]] . Par

pq
X
construction, la famille (v1 , v2 , . . . , vpq ) est generatrice de V et verifie f (vj )
Zvr
r=1

pour tout j [[ 1 , pq ]] . La condition (ii) est alors verifiee.

Reciproquement, supposons la condition (ii) est verifiee : on peut trouver une famille
n
X
(v1 , v2 , . . . , vn ) generatrice de V et une matrice A Mn (Z) telle que f (vj ) =
aij vi
i=1

pour tout j [[ 1 , n ]] . Le theor`eme de Cayley-Hamilton permet daffirmer que le polynome

caracteristique A est un polynome annulateur de A . En actionnant la matrice
eA (A)
sur les vecteurs colonnes canoniques de Qn on obtient
eA (f )(vj ) = OV pour tout

c
Page 6/14
Michel Lepez
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
briques. Loi de re
ciprocite
quadratique.
Entiers alge
Corrige

j [[ 1 , n ]] . Lendomorphisme
eA (f ) de V sannule sur une famille generatrice de V :
cest donc lendomorphisme nul. Ainsi A est un polynome unitaire annulateur de f et
par construction A Z[X] . Donc (ii) = (i) . [ Q ]
2.3. Considerons deux endomorphismes entiers de V qui commutent. On peut trouver des
familles generatrices finies u et v associ
et verifiant la condition
X ees `a f et g respectivement
X
imposee dans 2.2.(ii) : f (ui )
Zuj et g(vi )
Zvj . Par linearite de f et g ,
j

f g(ui ) = g f (ui )

X
j

Zg(uj ) et f g(vi ) = g f (vi )

Zf (uj ) si bien quen notant

w la famille obtenue en reunissant les vecteurs de u , v , f u et f v , on obtient une

famille generatrice de V verifiant la condition (ii) aussi bien pour f g que pour f + g :
les endomorphismes f g et f + g sont donc entiers.
1+i
(x + y) (x , y) Q2 donne deux
Lexemple V = Q[i] f (x + iy) = x et g(x + iy) =
2
projecteurs,donc des endomorphismes entiers de V tels que le compose f g defini par
x+y
f g(x + iy) =
nest pas entier (cest la moitie dun projecteur). [ Q ]
2
p
X
p
2.4. Soit x OK Q . Il existe alors un polynome unitaire P = X
ak X pk `a coefficients
k=1

X
m
dans Z annulateur de mx . Donc le rationnel x =
est racine de P : mp =
ak mpk nk .
n
k=1
p
X
On peut choisir les entiers relatifs m et n etrangers, et comme n divise
ak mpk nk = mp
k=1

en etant etranger avec mp , il faut que |n| = 1 . On a donc x = m Z . On en deduit que

OK Q Z . Linclusion inverse est immediate. [ Q ]
3. Entiers des corps quadratiques

3.1. Un automorphisme
f
du
corps
Q[
D]doit conserver
1, par suite f induit lidentite sur

D
si
bien
Q . Ainsi f ( D)2 = f (D) = D donc f ( D) =

que lapplication Q-lineaire f

concide aveclidentite ou avec sur la base (1 , D) de Q[ D] . Les seuls automorphismes
du corps Q[ D] sont donc lidentite et (on verifie sans difficulte que est bien un
automorphisme de corps). [ Q ]

0 ] = Q[ D] .
3.2. Soit D0 Q et 0 lautomorphisme associe deQ[ D0 ] . Supposons
que
Q[
D

Alors = 0 (dapr`es 3.1.) donc en ecrivant D0 = a + b D avec (a , b) Q2 on a aussi

D0
0
0
= b2 est un
D = a b D ce qui exige a = 0 . On a donc D = b D et alors
D
carre dans Q .

D0
D0
Reciproquement si
est le carre dun rationnel b on a = b 6= 0 si bien que les
D
D

0
Q-droites engendrees par D et D sont les memes. D`es lors Q[ D0 ] = Q[ D] . [ Q ]

c
Page 7/14
Michel Lepez
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
briques. Loi de re
ciprocite
quadratique.
Entiers alge
Corrige
m
avec m et n entiers relatifs etrangers. Soit d lentier relatif du signe
n
la valeur absolue est le produit des facteurs premiers de m et de n dont
impair dans la decomposition de m et n en produit de facteurs premiers.

D
Par construction
est le carre dun rationnel, donc, par 3.2., Q[ D] = Q[ d] , et d nest
d
divisible par aucun autre carre dans Z que 1 (d est sans facteur carre autre que 1).

Si Q[ d] = Q[ d0 ] avec (d , d0 ) Z2 et d et d0 sans facteur carre autre que 1 alors dapr`es

d0
a2
3.2., on peut ecrire
= 2 avec a et b entiers relatifs etrangers. Legalite d0 b2 = da2
d
b
montre que b2 divise da2 et comme b2 et a2 sont etrangers, le theor`eme de Gauss dit que
b2 divise d . Comme d est sans facteur carre autre que 1, b2 = 1 et d0 = da2 . De meme
a2 = 1 puisque d0 est sans facteur carre autre que 1. Ainsi d = d0 . [ Q ]

3.3. Ecrivons
d =
de D et dont
lexposant est

3.4. Soit (1 , ) une base du corps K regarde comme Q-espace vectoriel de dimension 2. Alors
2
il existe (a , b) Q2 tel que 2 = a + b . Enposant D = a
+ 4b on obtient un element
de Q qui nest pas un carre et tel que Q[ D] . K et Q[ D] sont deux plans tels que

K Q[ D] : ils sont egaux et K est un corps quadratique. [ Q ]

3.5. Soit x
OK . Alors

x est racine dun polynome unitaire P Z[X] et comme 0 =
e
e
P (x) = P (x) , on a aussi (x) OK (cf 2.2.(ii)). Comme OK est un sous-anneau
de K on a x + (x) OK Q et x(x) OK Q . Or OK Q = Z dapr`es 2.4. Donc
x + (x) = s et x(x) = p sont des entiers relatifs.
Reciproquement, si x + (x) = s et x(x) = p sont des entiers relatifs, x et (x) sont
racines du polynome unitaire P = X 2 sX + p Z[X] . En particulier x OK dapr`es
2.2.(ii) . [ Q ]

3.6. Soit x OK . Dapr`es 3.5., x+(x) est un entier relatif. Donc x = a+b d avec 2a = a0 Z

p
et b Q . De meme x(x) = 2b d OK donc 4b2 d Z . En ecrivant b = , (p , q) Z2
q
2
2
2
2
2
et p q = 1 , on observe que q divise 4p d et comme q p = 1 , q divise 4d . Puisque d
est sans facteur carre, |q| 6 2 donc 2b = b0 Z . Ainsi a02 b02 d = 4x(x) 0 [4] . Cela
2
exige que a0 et b0 soient de meme parite (en
effet d nest
pas divisible par4 = 2 ).
0
0
Cas
u a et b sont pairs : x = a + b d Z[ d] . Inversement d OK donc
o`
Z[ d] OK .
a0
1
1
Cas o`
u a0 et b0 sont impairs : a =
= u + avec u Z et de meme b = v +
2
2
2

1
+
d
on a
avec v Z . Dans ce cas a02 b02 d 1 d 0 [4] et en posant =
2
x = (u v) + (2v + 1) Z[] . Inversement, lorsque d 1 [4] , d = 1 4d0 avec d0 Z
1d
et () =
= d0 Z et + () = 1 Z donc OK et alors Z[] OK .
4

1+ d
ou d selon que d est, ou nest pas congru `a 1 modulo 4, on a
En posant =
2
montre que OK = Z[] . Lapplication : Z2 7 OK = Z[] definie par (p , q) = p + q
est alors un isomorphisme de groupes additifs. [ Q ]

c
Page 8/14
Michel Lepez
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
briques. Loi de re
ciprocite
quadratique.
Entiers alge
Corrige

4. Un calcul analytique de n
4.1. La fonction f est de classe C 1 sur [0 , 1] et f (0) = f (1) = n . On peut donc appliquer le
theor`eme de Dirichlet `a la fonction 1-periodique et C 1 par morceaux associee `a f :
t [0 , 1] ,

+
X

f (t) =

cm (f ) e

f (t) e2imt dt .

o`
u cm (f ) =
0

m=
+
X

En particulier, pour t = 0 : n =

2imt

cm (f ) .

[Q]

m=

4.2. La fonction g : R 7 C definie par g(t) = e

2it2
n

est paire
et continueZ sur R donc elle y est
Z
x

localement integrable. Pour montrer que Gn (x) =

g(t) dt = 2

g(t) dt admet une

Z x
limite quand le reel x tend vers + il suffit de montrer que Hn (x) =
g(t) dt admet
x

une limite quand x + . En integrant par parties on a


t=x
Z x
Z x
2it2 dt
n
1  2it2 
n 1 2it2
n
n
n
e
e n 2
Hn (x) =
d e
=
+
4i 1 t
4i t
4i 1
t
t=1
 
 
g(t)
1
g(x)
1
Comme 2 = O 2 est integrable sur [1 , +[ et
=O
0 , Hn (x)
x+
t
t
x
x
Z
x

admet une limite quand x + , ce qui assure lexistence de In = lim

x+

g(t) dt .
x

[Q]
4.3. Par la relation de Chasles
p1 Z (m+1)n
p1 Z n
p1 Z n
X
X
X
2i(t+mn)2
2it2
n
e
e n e4imt dt .
In = lim
g(t) dt = lim
dt = lim
p+

m=p

p+

mn

m=p

p+

m=p

` nouveau par la relation de Chasles

A
Z

2it2
n

4imt

dt =

On a donc In =

n1 Z
X
k=0

+
X

k+1

2it2
n

4imt

dt =

c2m (f ) . Or dapr`es 4.1, n =

m=

n1 Z
X

2i(t+k)2
n

e4imt dt = c2m (f ) .

k=0
+
X

cm (f ) et f

m=

1
2

+
X

cm (f )(1)m .

m=

1

= 2In . [ Q ]
2

4.4. Le changement de variable t = n u dans lintegrale

definissant Gn (x) et un passage `a
la limite quand x + donnent directement In = n I1 . On a directement 1 = 1 et
1
1

i
lorsque n = 1 , f
= f0
= e 2 = i . Donc 2In = n 2I1 = n (1 + i) . [ Q ]
2
2
Il en resulte que n + f

c
Page 9/14
Michel Lepez
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
briques. Loi de re
ciprocite
quadratique.
Entiers alge
Corrige

4.5. Distinguons deux cas selon la parite de n .

p1
p1
p1
n1
X
X
X

X
i(k+p)2
ik2
ik2
2ik2
p
p
p
e
e
e p . De
e n =
Cas o`
u n = 2p : n =
+
= 1 + (1)
k=0

k=0

meme f

1
2

n1
X
k=0

i(2k+1)2
2n

p1

k=0
p1

i(2k+1)2
4p

i(2k+1+2p)2
4p

k=0

k=0

Donc si n 2 [4] , n = 0 et si n 0 [4] , f

1

k=0
p1

= 1(1)p

X

i(2k+1)2
4p

k=0

= 0 et n = n (1 + i) .
2
p
p
p
n1
X
X
X
X
2i(nk)2
2ik2
2ik2
2ik2
e n +
e n
e n .
e n = 1+
Cas o`
u n = 2p + 1 : n =
= 1+2
k=1
k=1
k=0
k=1
!
p
p
p
n1
1 X
X
X
X
i(2k+1)2
i(n2k)2
i(n+2k)2
2ik2
e 2n
e 2n +in +
e 2n
e n
f
=
=
= in 1 + 2
= in n .
2
k=0
k=1
k=1
 k=1

1

1
+
i
n
n si n 1 [4] ,
= n (1+i ) = n (1+i) . Ainsi n = n
Alors n +f
=
n
i n si n 3 [4] .
2
1+i
1 + in
1+i
1 + in
En remarquant que
=
on
observe
que
la
formule

=
n
n
1 + in
1 + i1
1 + i1
obtenue dans le cas n impair est aussi valable dans le cas n pair. [ Q ]
4.6. Soit d un entier superieur
carre.
ou egal `a 2 sans diviseur
2i
Si d
u = e d est une racine de de lunite. Dans ce
1 [4] , alors d = d Q[] o`
i
u 0 = e 2d est une racine de lunite et alors
cas
Q[ d] Q[] . De plus i d Q[ 0 ] o`
Q[i d] Q[ 0 ] .

Si d 3 [4] , on obtient les inclusions Q[ d] Q[ 0 ] et Q[i d] Q[] .

Si d 2 [4] , alors d = 2(2p + 1) et par lun des deux cas
ilexiste une
precedents,

2i
i
i
en
racine de lunit
. Comme 2 Q[e 4 ] et i 2 Q[e 4 ]
e = telle que 2p + 1 Q[]
2i
les nombres d et i
d appartiennent
`a Q[ 0 ] o`
u 0 = e n0 avec n0 = n 8 . Les deux

corps quadratiques Q[ d] et Q[i d] sont alors inclus dans Q[ 0 ] .

On a ainsi prouve que, pour tout corps quadratique K , il existe une racine de lunite
telle que K Q[] . [ Q ]
5. Un calcul alg
ebrique de n
X
X
X
X
5.1. 2 (f )(x) =
(f )(y) xy =
f (z) zy xy =
f (z)
( (z+x) )y . Or


2
yZ/nZ
yZ/nZ
zZ/nZ
(y,z) Z/nZ

pour toute racine ne de lunite 6= 1 ,

X
yZ/nZ

y =

1 n
= 0 , donc 2 (f )(x) = n f (x) .
1

[Q]
5.2. Dapr`es 5.1, un polynome annulateur de 2 est X 2 n2 : ce polynome est scinde avec
pour racines simples n . Donc 2 est diagonalisable avec spectre inclus dans {n , n} .
Comme n est non nul on en deduit que est diagonalisable avec spectre inclus dans

{ n , n , i n , i n} . [ Q ]

c
Page 10/14
Michel Lepez
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
briques. Loi de re
ciprocite
quadratique.
Entiers alge
Corrige

5.3. |n |2 = n n =

x y =

2

(xy)(x+y) . Comme on suppose n impair,

2

(x,y) Z/nZ

(x,y) Z/nZ


2
2 est inversible dans Z/nZ donc on realise une bijection de Z/nZ sur lui meme en


x= u+v
X
u=xy
2
2
posant
On
a
donc
|
|
=
uv . Or on a vu que si
n
v = x + y y = u + v

2
(u,v) Z/nZ
2
X

v
u 6= 1 la somme
u est nulle. Donc |n |2 = n et |n | = n . [ Q ]
vZ/nZ

5.4. La trace

de ses valeurs propres repetees avec leur multiplicite. Donc
de est la somme
n = n a b + i(c d) et comme |n |2 = n on en deduit que (a b)2 + (c d)2 = 1 .
Par construction cd est la dimension de lespace propre pour 2 associe `a la valeur propre
n . Dapr`es 5.1 cet espace propre est celui des applications impaires de Z/nZ dans C .
Le seul element x Z/nZ verifiant x = x est 0 car n est impair. Donc la dimension
n1
On en conclut que
du sous-espace de V constitue des applications impaires est
2
n+1
n1
et a + b = n (c + d) =
[Q]
c+d=
2
2
5.5. La matrice de relativement `a la base canonique de V est M = ( pq )(p,q)[[ 0 , n1 ]]2 .
Le determinant de est donc le deY
terminant de Van der Monde associe `a la famille
n1
(1 , , , ). Ainsi Det =
( q p ). Il y a C2n facteurs dans ce produit
06p<q<n

(p + q)
+
. Un calcul simple donne
2
n

n1
X
X


1 2
(p + q)
(p + p) =
n (n1)n(n1) = (n1)2
n
2
p=0

chaque facteur ayant pour argument

2
1
(p+q) =
n 06p<q<n
n
X

(p,q)[[ 0 , n1 ]]

et comme (n 1)2 est multiple de 4 ,

Det = i

n(n1)
2

n2.

X
(p + q) 0 [2] . Il en resulte que
n 06p<q<n

[Q]

5.6. Dapr`es 5.4 il ny a que deux possibilites :

n+1
a = b =
et c d = 1 , auquel cas n 1 [4] . Il faut alors dapr`es 5.5
4
n(n1)
n(n1)
que i 2 = (1)b icd . Or i 2 = i12b = (1)b i . Le seul choix possible est donc
n1
n+1
n3
c d = 1 . Sachant que c + d =
il vient a = b = c =
et d =
Dans
4
4

2

ce cas n = n a b + i(c d) = i n .
n(n1)
n1
c = d =
et a b = 1 , auquel cas n 1 [4] . Cette fois i 2 = (1)c et
4
n+1
par 5.4 il faut que b et c soient de meme parite. La condition a + b =
donne
2

c
Page 11/14
Michel Lepez
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
briques. Loi de re
ciprocite
quadratique.
Entiers alge
Corrige

la seule possibilite a b = 1 avec b = c = d =

n = n a b + i(c d) = n . [ Q ]

n1
n+3
et a =
Dans ce cas
4
4

6. R
eciprocit
e quadratique
6.1. Soit x OL K . Lendomorphisme mx,L = x IdL de L laisse stable K L et il existe un
polynome unitaire P Z[X] annulateur de mx,L . Ce polynome annule aussi la restriction
mx,K = x IdK de mx,L `a K donc x OK .


Reciproquement soit x OK . Le polynome unitaire Px = X 2 x + (x) X + x(x) est
`a coefficients entiers dapr`es 3.5 et comme Pex (mx,L ) = Pex (x) IdL , la relation Pe(x) = 0
montre que mx,L est annule par Px donc x OL . Il en resulte que OL K = OK .
6.2. Posons = e

2i
p

. On a p =

p
X
k=1

k2

donc

pq

X
n1 ++np

[Q]

p
Y
q!
2
k nk . Dans cette
n ! np ! k=1
=q 1

q!
somme tous les coefficients
sont des entiers divisibles par q d`es que tous les
n1 ! np !
entiers nk sont differents de q car q etant premier, q est etranger avec n1 ! , . . . , np !
(theor`eme de Gauss). Comme les puissances de sont elements de lanneau OL , on en
p
X
2
q
deduit que p
k q qOL . Par ailleurs lapplication x x2 q de Z/pZ dans lui
k=1
 
q
meme induit une permutation de lensemble des carres de Z/pZ si
= 1 et induit une
p 
q
bijection de lensemble des carres de Z/pZ sur son complementaire si
= 1 . Comme
p
 
 X
p
p
X
q
q
e
k2 q
k2
la somme des racines p de lunite est nulle, il vient
=
=
. On
p
p p
k=1
k=1
 
q
en conclut que pq
qOL K = qOK . [ Q ]
p p
n
1 + p o
6.3. Si np qOK il existe (a , b) Z2 tel que np = q(a + b) o`
u p ,
(cf 3.6).
2
Il en resulte que qb {n , 2n} et comme q est etranger avec 2, on deduit du theor`eme de
Gauss que q divise n . [ Q ]
 
 
p1 q1 q1
q
q
q
6.4. Dapr`es 5.6, p
= np avec n = (1) 2 2 p 2
. Or par 6.2 et 6.3,
p
p p
 
 
 
q1
p1 q1
p
p
q
n 0 [q] et par 1.2, p 2
[q] , donc (1) 2 2

[q] . Il sagit l`a

q
q
p
dune congruence modulo q entre entiers 
relatifs
egaux `a 1 et q > 2 : on a donc une
 
p1 q1
p
q
egalite, que lon peut ecrire sous la forme
= (1) 2 2 . [ Q ]
q
p

c
Page 12/14
Michel Lepez
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
briques. Loi de re
ciprocite
quadratique.
Entiers alge
Corrige

6.5. Pour n N , soit On la surjection canonique de Z sur Z/nZ . Si (x , x0 ) Z2 et (y , y 0 ) Z2

verifient respectivement Op (x) = Op (x0 ) et Oq (y) = Oq (y 0 ) alors q(x x0 ) + p(y y 0 ) est
multiple de pq donc Opq (qx + py) = Opq (qx0 + py 0 ) . On definit donc bien une application
: Z/pZ Z/qZ 7 Z/pqZ par la formule : (X , Y ) = Opq (qx + py) pour tout
(x , y) X Y . Comme p et q sont etrangers, le theor`eme de Bezout montre que pour
tout z Z il existe (x , y) Z2 tel que z = qx + py donc (Op (x) , Oq (y)) = Opq (z) .
Lapplication est donc surjective, et comme la source et le but de ont le meme cardinal
pq , est bijective. [ Q ]
6.6. Grace `a la bijection precedente on a
X

pq =

2iZ 2
pq

ZZ/pqZ

2i(qX+pY )2
pq

(X,Y )Z/pZZ/qZ

2iqX 2
p

2iqX 2
p

2ipY 2
q

(X,Y )Z/pZZ/qZ

2ipY 2
q

Y Z/qZ

XZ/pZ

On a dej`a vu en 6.2 pourquoi

2iqX 2
p

XZ/pZ

 
  
q
p
q
=
p si bien que pq =
.
p
q
p p q

[Q]
p1
q1
et
de meme parite :
2
2
  

p
q
Ou bien p et q 1 [4] : alors pq = pq = p q (cf 5.6) et
= 1 (cf 6.6).
q
p
  

p
q
Ou bien p et q 3 [4] : alors pq = pq = p q (cf 5.6) et
= 1 (cf 6.6).
q
p
p1
q1

Supposons
et
de parite contraire : alors pq 3 [4] et pq = i pq = ip q
2   2

p
q
(cf 5.6) donc
= 1 (cf 6.6).
q
p
  
p1 q1
p
q
Dans tous les cas
= (1) 2 2 . [ Q ]
q
p

6.7. Supposons

6.8. Par la formule du binome et le fait que le nombre premier q divise Ckq pour k [[ 1 , q 1 ]] ,
le complexe zq = (1 + i)q (1 + iq ) est element de qZ[i] . 
Si q 1
q1
2

q1
4

q1

q1
2

q1

(1) 4 1 qZ[i] . Cela exige que

 
 
q1
q+1
2
2

[q] , on a
= (1) 4 avec
q
q
2

[4] , alors zq = (1 + i) 2

1 [q] , et comme 2 2
 
q1 q+1
q 2 1
2
impair. Donc
= (1) 4 2 = (1) 8 .
q

2

(1)


Si q 1 [4] , alors zq = (1i) 2 (1) 1 qZ[i] . Comme ci-dessus on obtient
 
 
q+1
q+1 q1
q 2 1
q1
2
2
= (1) 4 avec
impair. Donc
= (1) 4 2 = (1) 8 .
q
q
2
q1
2

q+1
4

c
Page 13/14
Michel Lepez
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
briques. Loi de re
ciprocite
quadratique.
Entiers alge
Corrige

 
q 2 1
2
Dans tous les cas
= (1) 8 .
q

[Q]

 


c
Page 14/14
Michel Lepez
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.