Équation principale

Imaginez un nombre construit avec une racine carrée, puis son nombre conjugué obtenu en changeant le signe de cette racine. Leur produit donne un nombre du corps de départ. Une équation principale demande de trouver un élément dont ce produit, appelé norme, prend une valeur fixée. Par exemple, dans ℚ(√2), le nombre 3 + 2√2 et son conjugué 3 − 2√2 ont pour produit 1. La question devient alors : quels éléments ont une norme donnée ?

Dans le cadre usuel d'une extension finie de corps K sur un corps F, la norme d'un élément x de K est le déterminant de la multiplication par x, considérée comme application F-linéaire de K dans lui-même. Une équation principale, aussi appelée équation de norme, cherche donc un x ∈ K tel que $N_{K\mathrm{/}F}(x)=aN\_\{K/F\}(x)=a$, où a est une valeur fixée dans F. La notation K/F indique l'extension étudiée et N_K/F la norme correspondante.

Dans l'exemple K = ℚ(√2) et F = ℚ, la conjugaison envoie √2 sur −√2. Pour x = u + v√2, avec u et v rationnels, la norme est $N_{K\mathrm{/}F}(u+v\sqrt{2})=(u+v\sqrt{2})(u-v\sqrt{2})=u^2-2v^{2}N\_\{K/F\}(u+v\backslash sqrt\{2\})=(u+v\backslash sqrt\{2\})(u-v\backslash sqrt\{2\})=u^2-2v^2$. Lorsque a est fixé, l'équation de norme devient la recherche de solutions rationnelles de l'équation polynomiale u² − 2v² = a.

Ces équations interviennent notamment dans la théorie de Kummer et dans l'étude du groupe de Brauer. Leur résolution ne dépend pas seulement d'un calcul isolé : elle peut être contrôlée par les propriétés cohomologiques de l'extension de corps.

Trois données organisent une équation principale. Le corps K contient les éléments que l'on cherche, le corps F est le corps de base, et l'extension K/F précise comment le premier se construit au-dessus du second. La norme N_K/F transforme un élément de K en un élément de F. Dans une extension finie, elle se calcule comme le déterminant de l'endomorphisme F-linéaire qui multiplie tous les éléments de K par x.

Lorsque K = ℚ(√2), chaque élément s'écrit u + v√2 avec u et v dans ℚ. Les deux facteurs conjugués u + v√2 et u − v√2 encodent la même information sous les deux plongements de cette extension dans ℝ qui fixent ℚ. Leur produit u² − 2v² appartient bien à ℚ : c'est la norme.

Prenons K = ℚ(√2), F = ℚ et la valeur a = 1. Nous cherchons un élément x de K dont la norme vaut 1. Choisissons x = 3 + 2√2 ; son conjugué est 3 − 2√2.

La norme est le produit de ces deux conjugués : $N_{K\mathrm{/}F}(x)=(3+2\sqrt{2})(3-2\sqrt{2})N\_\{K/F\}(x)=(3+2\backslash sqrt\{2\})(3-2\backslash sqrt\{2\})$.

En appliquant l'identité remarquable (p + q)(p − q) = p² − q², on obtient $N_{K\mathrm{/}F}(x)=3^2-(2\sqrt{2}{)}^2=9-8=1N\_\{K/F\}(x)=3^2-(2\backslash sqrt\{2\})^2=9-8=1$. L'élément 3 + 2√2 est donc une solution exacte de l'équation N_K/F(x) = 1.

Le même calcul montre pourquoi la conjugaison est utile : les termes en √2 disparaissent dans le produit, et le résultat revient dans ℚ.

Pour étudier une équation principale, on commence par identifier l'extension K/F et la valeur a à atteindre. On exprime ensuite un élément général de K dans une base de F, puis on calcule sa norme. Dans l'exemple quadratique, écrire x = u + v√2 ramène le problème à u² − 2v² = a. Il faut enfin vérifier que les valeurs de u et v appartiennent bien au domaine choisi, par exemple ℚ ou un anneau d'entiers.

Une équation principale ne signifie pas simplement une équation polynomiale dont le membre de gauche serait appelé principal. Ici, le mot « principale » renvoie à une équation de norme : la quantité calculée est N_K/F(x), et non le polynôme minimal de x. Il ne faut pas non plus confondre la norme d'un élément avec la norme d'un vecteur ou d'une matrice, qui dépend d'une autre structure et d'une autre définition.

La norme n'est pas une fonction qui prend toutes ses valeurs dans un ensemble donné sans condition. Elle prend ses valeurs dans F, et la possibilité de résoudre N_K/F(x) = a dépend de K, de F, de a et du domaine imposé aux solutions. Une solution dans K peut disparaître si l'on exige une solution dans un sous-anneau, comme l'anneau des entiers de K.

Dans ℚ(√2), la norme de u + v√2 vaut u² − 2v². L'équation u² − 2v² = 1 admet la solution (u, v) = (3, 2), mais cette observation ne prouve pas que toute valeur rationnelle a possède une solution. Elle ne suffit pas davantage pour conclure à l'existence d'une solution entière ou dans une autre extension.

Les propriétés cohomologiques mentionnées dans la définition servent précisément à organiser ces obstructions et ces critères de solubilité. Elles relèvent d'un cadre plus avancé que le simple développement d'un produit conjugué.

Dans une extension galoisienne finie, la norme peut se lire comme le produit des images d'un élément par les automorphismes du groupe de Galois. Cette perspective relie les équations de norme à la cohomologie galoisienne, qui étudie notamment la manière dont les symétries de l'extension créent ou lèvent des obstructions. La théorie de Kummer et le groupe de Brauer fournissent deux cadres où ces questions prennent une forme particulièrement structurée.