Théorème 90 de Hilbert
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/53/Evariste_galois.jpg/27px-Evariste_galois.jpg)
Cet article est une ébauche concernant l’algèbre.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
En théorie de Galois, le théorème 90 de Hilbert est une propriété algébrique d'énoncé simple et de grande portée par son interprétation homologique.
Ce théorème tire son nom de l'ouvrage paru en 1897, Zahlbericht (en), par David Hilbert, dans lequel il est énoncé, et démontré, comme théorème 90. Il a été ensuite généralisé par Emmy Noether.
Énoncé
Théorème 90 de Hilbert — Considérant une extension cyclique de corps de nombres L/K, et g un générateur de son groupe de Galois G, un élément a de L est de norme 1 si, et seulement si, il est de la forme :
pour un certain élément b du corps L[1].
Cette propriété traduit en fait très exactement l'annulation du premier groupe de cohomologie galoisienne H1(G, L×)[2].
Démonstration
Premièrement, on montre la réciproque : Si alors . Or, la norme est un endomorphisme du groupe multiplicatif . De plus, on a . Enfin, est une extension de Galois, donc elle est en particulier séparable, c'est-à-dire que la norme de est le produit de ses conjugués, et il en est alors de même pour chacun de ses conjugués, en particulier . On a donc , d'où , ce qui conclut.
Pour montrer le sens direct, on suppose , et .
Soit . Par le théorème d'indépendance de Dedekind, notre application est non-nulle.
On pose pour . Alors par propriétés du morphisme .
Or, d'après notre hypothèse de départ, on a donc, après réduction, , c'est-à-dire , ce qui conclut.
Voir aussi
Sur les autres projets Wikimedia :
- David Hilbert, Gesammelte Abhandlungen, Band 1, 7. Kapitel, Satz 90, sur Wikisource
Notes et références
Portail de l’algèbre