FIMFA 2007-2008-TD d’algèbre I
Rachel Ollivier
TD 6 - Formes quadratiques
Exercice 1. On appelle niveau d’un corps Kl’élément ν(K)de N1∪ {∞} défini par :
ν(K) = si 1n’est pas une somme de carrés d’éléments de K,
inf{nN, n 1,(x1,...,xn)Kn, x2
1+···+x2
n=1}sinon.
1. Montrer que si deux corps sont isomorphes alors ils ont le même niveau. La réciproque
est-elle vraie ?
2. Calculer le niveau des corps suivants : Fpn,Q(i2),Q(j)et Q(j21/3).
3. Soit Kun corps de niveau fini. Montrer que ν(K) = ν(K(X)).
4. On suppose maintenant que Kest un corps de caractéristique différente de deux. Pour
n1, on considère la forme quadratique
Q(X1,...,Xn) =
n
X
i=1
X2
i.
Si Qadmet un vecteur isotrope dans Kn, montrer que Q(Kn) = K.
5. Supposons que nest de la forme n= 2kavec kNet que Qn’a pas de vecteur isotrope.
Montrer que pour tout vecteur non nul (x1,...,xn), il existe une matrice Tx1,...,xn∈ Mn(K)
telle que :
(a) tTx1,...,xnTx1,...,xn=Q(x1,...,xn) Id.
(b) La première ligne de Tx1,...,xnest (x1,...,xn).
6. En déduire que l’ensemble des sommes non nulles de 2kcarrés d’éléments de Kest un
groupe multiplicatif.
7. Montrer que si le niveau d’un corps est fini, alors c’est une puissance de 2.
Exercice 2. Soit Eun K-espace vectoriel de dimension finie n2et Qune forme quadratique
non dégénérée sur Ede forme polaire B. Soient Hun hyperplan de Eet uO(Q)vérifiant
u|H= IdH.
1. Si Q|Hest non dégénérée, montrer que si u6= IdEalors uest la réflexion orthogonale
d’hyperplan H.
2. Si Q|Hest dégénérée, montrer que u= IdE.
Exercice 3. Soient Eun K-espace vectoriel de dimension finie n2,Qune forme quadratique
non dégénérée sur E.
1. Soient xE− {0}un vecteur isotrope et λK. Montrer qu’il existe uO(Q)tel que
u(x) = λx. On fixe cet élément de O(Q)et l’on pose
F1= ker(uIdE),F1= ker(u+ IdE).
2. Soit xun vecteur non nul propre pour uet non isotrope. Montrer que xF1F1.
3. (a) On suppose que nest impair et det(u) = 1. Montrer que F16={0}.
(b) On suppose que nest impair et det(u) = 1. Montrer que F16={0}.
1
2
(c) On suppose que nest pair et det(u) = 1. Montrer que F16={0}.
4. On suppose que Kest algébriquement clos. En choisissant la forme quadratique Q(x, y, z) =
2xz +y2sur K3, montrer que si n3, l’endomorphisme un’est pas nécessairement diago-
nalisable.
Exercice 4. Soit pun nombre premier impair et sun carré dans F
p. Soit tF
p. Calculer le
nombre de couples (x, y)Fp×Fptels que x2+sy2=t.
Exercice 5. Soit mNm1et Vun espace vectoriel de dimension msur le corps Fpp
est un nombre premier impair. Soit B:V×VFpune forme bilinéaire symétrique.
1. Démontrer que si B(x, x) = 0 pour tout xV, alors la forme bilinéaire Best nulle.
2. Si Best non nulle, démontrer que Vadmet une base orthogonale pour B.
Exercice 6. Soit Vun espace vectoriel hermitien de dimension 2. On note El’ensemble des
éléments hermitiens de End Vdont la trace est nulle et pour xE, on pose Q(x) = det(x).
1. Calculer la dimension du R-espace vectoriel E.
2. Prouver que Qest une forme quadratique définie positive sur E.
3. Calculer la forme polaire associée à Q.
Exercice 7. Soit q:Mn(R)R,q(A) = tr(A2). Calculer le rang et la signature de q.
Exercice 8. Soit Eun K-espace vectoriel sur un corps Kalgébriquement clos de caractéristique
différente de 2. Soient Qet Qdeux formes quadratiques sur Etelles que Q1(0) = Q1(0).
Montrer qu’il existe aKtel que Q=aQ. Donner un contre exemple pour E=R2.
Exercice 9. Soit Kun corps de caractéristique différente de 2 et E=R[X]. Déterminer une
base orthogonale de Epour la forme bilinéaire symétrique
b:E×EK, b(
X
n=0
pnXn,
X
n=0
qnXn) =
X
n=1
n1
X
m=0
pnqm+pmqn.
Exercice 10. Soit Kun corps de caractéristique différente de 2distinct de F3. Soient Qune
forme quadratique sur un K-espace vectoriel Eet sKtel que l’ensemble Q1(s)est non
vide. Montrer que Q1(s)engendre E. (Indication : pour aQ1(s), on considère f(x) =
Q(a+x)Q(a)Q(x). Si Q1(s)n’engendre pas E, il existe une forme linéaire gtelle que
Q1(s)ker g. On montrera que f gQ = 0.)
1 / 2 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !