2. Formes quadratiques sur un corps
Nous distinguons deux cas, suivant que la caractéristique du corps de base K est distincte de 2 ou égale à 2.
• Corps de caractéristique ≠ 2
Résultats généraux
On peut se borner ici à considérer le problème de transformation d'une forme quadratique en une autre sous la forme (3). Un premier invariant est le rang de la matrice T d'une forme quadratique Q ; il est aussi appelé rang de Q ou rang de la forme bilinéaire associée B, et noté rg(Q) ou rg(B). C'est un entier qui peut prendre l'une quelconque des valeurs entre 0 et la dimension n de l'espace vectoriel V où est définie Q. On dit que la forme Q (ou B) est non dégénérée si rg (Q) = n ; la forme bilinéaire B définit alors un isomorphisme ϕ de V sur son dual V* (cf. algèbre linéaire) par la relation :
Un second invariant est l'indice de Witt ν ≤ n/2 (cf. groupes [mathématiques] - Groupes classiques et géométrie, chap. 3) ; l'espace V se décompose en somme directe d'un sous-espace W de dimension n − 2ν, ne contenant aucun vecteur isotrope ≠ 0, et d'un sous-espace orthogonal à W, dans lequel l'indice de Witt de la restriction de Q à ce sous-espace est ν ; pour n et ν donnés, la classe d'équivalence de la forme QW, restriction de Q à W, détermine entièrement celle de Q, ce qui permet de ramener le problème d'équivalence au cas des formes anisotropes (c'est-à-dire d'indice 0).
On appelle discriminant de Q (ou de B) par rapport à une base de V le déterminant de la matrice de B par rapport à […]
… pour nos abonnés, l'article se prolonge sur 9 pages…
