Formes quadratiques `a coefficients entiers et somme de 3carr´es
Pour tout nombre premier p, on note Fple corps Z
pZdes classes r´esiduelles modulo p.
Si Sest un sous-anneau de C,on note Mn(S) l’anneau des matrices carr´ees d’ordre n`a coefficients
dans Set GL (n, S) le groupe des ´el´ements inversibles de Mn(S).Si Mest un ´el´ement de Mn(S),
M∗(resp. tM) d´esigne la matrice adjointe (resp. transpos´ee) de M.
On dit qu’une matrice hermitienne (resp. sym´etrique r´eelle) Aest d´efinie positive si la forme
hermitienne (resp. la forme bilin´eaire sym´etrique) associ´ee `a Aest d´efinie positive.
On dit que Sest un anneau principal, si tout id´eal de Speut ˆetre engendr´e par un seul ´el´ement,
euclidien s’il existe une application Nde S−{0}dans Ntelle que si a, b sont deux ´el´ements non nuls
de S, il existe q, r appartenant `a Sv´erifiant a=bq +ret r= 0 ou N(r)< N (b).
– I – Pr´eliminaires
A. Dans cette partie, pd´esigne un nombre premier impair.
1.
(a) Montrer que si u, v, w sont trois ´el´ements non nuls de Fp,l’´equation ux2+vy2=wa une
solution dans Fp(on pourra consid´erer le cardinal de l’ensemble des ´el´ements de la forme
ux2(resp. de la forme w−vy2)).
(b) Soit n > 1 un entier tel que pne divise pas 4n−1.Montrer qu’il existe des entiers relatifs
a, b et un entier m≥1 tels que :
a2+ab +nb2+ 1 = mp.
2. On suppose pde la forme 8k+ 1 ou 8k+ 3,et soit Kune extension de Fp,corps de rupture du
polynˆome t4+ 1.Soit bune racine dans Kde ce polynˆome, on pose x=b−b−1.
(a) Montrer les relations suivantes : x2=−2 et xp=x. En d´eduire que xappartient `a Fp.
(b) Montrer qu’il existe des entiers a, m tels que 2a2+ 1 = (2m−1) pet prouver que la
matrice :
p a 0
a m 1
0 1 2
est une matrice sym´etrique d´efinie positive et de d´eterminant ´egal `a 1.
D´eterminer tous les couples (a, m) lorsque p= 17.
B. Soit D≥1 un entier qui n’est pas divisible par le carr´e d’un nombre premier. On pose :
ωD=
i√Dsi D≡1 ou 2 (mod 4)
1 + i√D
2si D≡3 (mod 4)
Z[ωD] d´esigne le sous-anneau de C,ensemble des ´el´ements de la forme α+βωD, α et β´el´ements
de Z.
1. Montrer que pour tout λ∈Z[ωD],|λ|2est un entier.
2. Montrer que λest inversible dans Z[ωD] si, et seulement si, |λ|= 1.
1